|
Fundamental Theorem Of Algebraic K-theory
In algebra, the fundamental theorem of algebraic ''K''-theory describes the effects of changing the ring of ''K''-groups from a ring ''R'' to R /math> or R , t^/math>. The theorem was first proved by Hyman Bass for K_0, K_1 and was later extended to higher ''K''-groups by Daniel Quillen. Description Let G_i(R) be the algebraic K-theory of the category of finitely generated modules over a noetherian ring ''R''; explicitly, we can take G_i(R) = \pi_i(B^+\text_R), where B^+ = \Omega BQ is given by Quillen's Q-construction. If ''R'' is a regular ring (i.e., has finite global dimension), then G_i(R) = K_i(R), the ''i''-th K-group of ''R''. This is an immediate consequence of the resolution theorem, which compares the K-theories of two different categories (with inclusion relation.) For a noetherian ring ''R'', the fundamental theorem states: *(i) G_i(R = G_i(R), \, i \ge 0. *(ii) G_i(R , t^ = G_i(R) \oplus G_(R), \, i \ge 0, \, G_(R) = 0. The proof of the theorem uses the Q-constr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary algebra deals with the manipulation of variables (commonly represented by Roman letters) as if they were numbers and is therefore essential in all applications of mathematics. Abstract algebra is the name given, mostly in education, to the study of algebraic structures such as groups, rings, and fields (the term is no more in common use outside educational context). Linear algebra, which deals with linear equations and linear mappings, is used for modern presentations of geometry, and has many practical applications (in weather forecasting, for example). There are many areas of mathematics that belong to algebra, some having "algebra" in their name, such as commutative algebra, and some not, such as Galois theory. The word ''algebra'' is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic K-theory
Algebraic ''K''-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called ''K''-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the ''K''-groups of the integers. ''K''-theory was discovered in the late 1950s by Alexander Grothendieck in his study of intersection theory on algebraic varieties. In the modern language, Grothendieck defined only ''K''0, the zeroth ''K''-group, but even this single group has plenty of applications, such as the Grothendieck–Riemann–Roch theorem. Intersection theory is still a motivating force in the development of (higher) algebraic ''K''-theory through its links with motivic cohomology and specifically Chow groups. The subject also includes classical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Change Of Rings
In algebra, given a ring homomorphism f: R \to S, there are three ways to change the coefficient ring of a module; namely, for a left ''R''-module ''M'' and a left ''S''-module ''N'', *f_! M = S\otimes_R M, the induced module. *f_* M = \operatorname_R(S, M), the coinduced module. *f^* N = N_R, the restriction of scalars. They are related as adjoint functors: :f_! : \text_R \leftrightarrows \text_S : f^* and :f^* : \text_S \leftrightarrows \text_R : f_*. This is related to Shapiro's lemma. Operations Restriction of scalars Throughout this section, let R and S be two rings (they may or may not be commutative, or contain an identity), and let f:R \to S be a homomorphism. Restriction of scalars changes ''S''-modules into ''R''-modules. In algebraic geometry, the term "restriction of scalars" is often used as a synonym for Weil restriction. Definition Suppose that M is a module over S. Then it can be regarded as a module over R where the action of R is given via : \begin M\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyman Bass
Hyman Bass (; born October 5, 1932) MacTutor History of Mathematics archive. Accessed January 31, 2010 is an American , known for work in and in . From 1959 to 1998 he was Professor in the Mathematics Department at |
Daniel Quillen
Daniel Gray "Dan" Quillen (June 22, 1940 – April 30, 2011) was an American mathematician. He is known for being the "prime architect" of higher algebraic ''K''-theory, for which he was awarded the Cole Prize in 1975 and the Fields Medal in 1978. From 1984 to 2006, he was the Waynflete Professor of Pure Mathematics at Magdalen College, Oxford. Education and career Quillen was born in Orange, New Jersey, and attended Newark Academy. He entered Harvard University, where he earned both his AB, in 1961, and his PhD in 1964; the latter completed under the supervision of Raoul Bott, with a thesis in partial differential equations. He was a Putnam Fellow in 1959. Quillen obtained a position at the Massachusetts Institute of Technology after completing his doctorate. He also spent a number of years at several other universities. He visited France twice: first as a Sloan Fellow in Paris, during the academic year 1968–69, where he was greatly influenced by Grothendieck, and the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Q-construction
In algebra, Quillen's Q-construction associates to an exact category (e.g., an abelian category) an algebraic K-theory. More precisely, given an exact category ''C'', the construction creates a topological space B^+C so that \pi_0 (B^+C) is the Grothendieck group of ''C'' and, when ''C'' is the category of finitely generated projective modules over a ring ''R'', for i = 0, 1, 2, \pi_i (B^+C) is the ''i''-th K-group of ''R'' in the classical sense. (The notation "+" is meant to suggest the construction adds more to the classifying space ''BC''.) One puts :K_i(C) = \pi_i(B^+C) and call it the ''i''-th K-group of ''C''. Similarly, the ''i''-th K-group of ''C'' with coefficients in a group ''G'' is defined as the homotopy group with coefficients: :K_i(C; G) = \pi_i(B^+ C; G). The construction is widely applicable and is used to define an algebraic K-theory in a non-classical context. For example, one can define equivariant algebraic K-theory as \pi_* of B^+ of the category of equivar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Ring
In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let ''A'' be a Noetherian local ring with maximal ideal m, and suppose ''a''1, ..., ''a''''n'' is a minimal set of generators of m. Then by Krull's principal ideal theorem ''n'' ≥ dim ''A'', and ''A'' is defined to be regular if ''n'' = dim ''A''. The appellation ''regular'' is justified by the geometric meaning. A point ''x'' on an algebraic variety ''X'' is nonsingular if and only if the local ring \mathcal_ of germs at ''x'' is regular. (See also: regular scheme.) Regular local rings are ''not'' related to von Neumann regular rings. For Noetherian local rings, there is the following chain of inclusions: Characterizations There are a number of useful definitions of a regular local ring, one of which is mentioned above. In particular, if A is a Noetherian local ring with maximal idea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Global Dimension
In ring theory and homological algebra, the global dimension (or global homological dimension; sometimes just called homological dimension) of a ring ''A'' denoted gl dim ''A'', is a non-negative integer or infinity which is a homological invariant of the ring. It is defined to be the supremum of the set of projective dimensions of all ''A''-modules. Global dimension is an important technical notion in the dimension theory of Noetherian rings. By a theorem of Jean-Pierre Serre, global dimension can be used to characterize within the class of commutative Noetherian local rings those rings which are regular. Their global dimension coincides with the Krull dimension, whose definition is module-theoretic. When the ring ''A'' is noncommutative, one initially has to consider two versions of this notion, right global dimension that arises from consideration of the right , and left global dimension that arises from consideration of the left . For an arbitrary ring ''A'' the right and left g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Resolution Theorem (algebraic K-theory)
In mathematical logic, a deduction theorem is a metatheorem that justifies doing conditional proofs—to prove an implication ''A'' → ''B'', assume ''A'' as an hypothesis and then proceed to derive ''B''—in systems that do not have an explicit inference rule for this. Deduction theorems exist for both propositional logic and first-order logic. The deduction theorem is an important tool in Hilbert-style deduction systems because it permits one to write more comprehensible and usually much shorter proofs than would be possible without it. In certain other formal proof systems the same conveniency is provided by an explicit inference rule; for example natural deduction calls it implication introduction. In more detail, the propositional logic deduction theorem states that if a formula B is deducible from a set of assumptions \Delta \cup \ then the implication A \to B is deducible from \Delta ; in symbols, \Delta \cup \ \vdash B implies \Delta \vdash A \to B . In the sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noetherian Ring
In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. That is, every increasing sequence I_1\subseteq I_2 \subseteq I_3 \subseteq \cdots of left (or right) ideals has a largest element; that is, there exists an such that: I_=I_=\cdots. Equivalently, a ring is left-Noetherian (resp. right-Noetherian) if every left ideal (resp. right-ideal) is finitely generated. A ring is Noetherian if it is both left- and right-Noetherian. Noetherian rings are fundamental in both commutative and noncommutative ring theory since many rings that are encountered in mathematics are Noetherian (in particular the ring of integers, polynomial rings, and rings of algebraic integers in number fields), and many general theorems on rings rely heavily on Noetherian property (for example, the Laskerâ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Basic Theorems In Algebraic K-theory
In mathematics, there are several theorems basic to algebraic ''K''-theory. Throughout, for simplicity, we assume when an exact category is a subcategory of another exact category, we mean it is strictly full subcategory (i.e., isomorphism-closed.) Theorems The localization theorem generalizes the localization theorem for abelian categories. Let C \subset D be exact categories. Then ''C'' is said to be cofinal in ''D'' if (i) it is closed under extension in ''D'' and if (ii) for each object ''M'' in ''D'' there is an ''N'' in ''D'' such that M \oplus N is in ''C''. The prototypical example is when ''C'' is the category of free modules and ''D'' is the category of projective modules. See also *Fundamental theorem of algebraic K-theory In algebra, the fundamental theorem of algebraic K-theory, algebraic ''K''-theory describes the effects of change of rings, changing the ring of ''K''-groups from a ring ''R'' to R or R , t^ The theorem was first proved by Hyma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Birkhäuser
Birkhäuser was a Swiss publisher founded in 1879 by Emil Birkhäuser. It was acquired by Springer Science+Business Media in 1985. Today it is an imprint used by two companies in unrelated fields: * Springer continues to publish science (particularly: history of science, geosciences, computer science) and mathematics books and journals under the Birkhäuser imprint (with a leaf logo) sometimes called Birkhäuser Science. * Birkhäuser Verlag – an architecture and design publishing company was (re)created in 2010 when Springer sold its design and architecture segment to ACTAR. The resulting Spanish-Swiss company was then called ActarBirkhäuser. After a bankruptcy, in 2012 Birkhäuser Verlag was sold again, this time to De Gruyter. Additionally, the Reinach-based printer Birkhäuser+GBC operates independently of the above, being now owned by ''Basler Zeitung''. History The original Swiss publishers program focused on regional literature. In the 1920s the sons of Emil Birkhà ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
