|
Krull–Akizuki Theorem
In algebra, the Krull–Akizuki theorem states the following: let ''A'' be a one-dimensional reduced noetherian ring, ''K'' its total ring of fractions. If ''B'' is a subring of a finite extension ''L'' of ''K'' containing ''A'' then ''B'' is a one-dimensional noetherian ring. Furthermore, for every nonzero ideal ''I'' of ''B'', B/I is finite over ''A''. Note that the theorem does not say that ''B'' is finite over ''A''. The theorem does not extend to higher dimension. One important consequence of the theorem is that the integral closure of a Dedekind domain ''A'' in a finite extension of the field of fractions of ''A'' is again a Dedekind domain. This consequence does generalize to a higher dimension: the Mori–Nagata theorem states that the integral closure of a noetherian domain is a Krull domain In commutative algebra, a Krull ring, or Krull domain, is a commutative ring with a well behaved theory of prime factorization. They were introduced by Wolfgang Krull in 1931. They ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Krull Dimension
In commutative algebra, the Krull dimension of a commutative ring ''R'', named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals. The Krull dimension need not be finite even for a Noetherian ring. More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the deviation of the poset of submodules. The Krull dimension was introduced to provide an algebraic definition of the dimension of an algebraic variety: the dimension of the affine variety defined by an ideal ''I'' in a polynomial ring ''R'' is the Krull dimension of ''R''/''I''. A field ''k'' has Krull dimension 0; more generally, ''k'' 'x''1, ..., ''x''''n''has Krull dimension ''n''. A principal ideal domain that is not a field has Krull dimension 1. A local ring has Krull dimension 0 if and only if every element of its maximal ideal is nilpotent. There are several other ways that have been used to define the dimension of a ring. Most of them coinci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reduced Ring
In ring theory, a branch of mathematics, a ring is called a reduced ring if it has no non-zero nilpotent elements. Equivalently, a ring is reduced if it has no non-zero elements with square zero, that is, ''x''2 = 0 implies ''x'' = 0. A commutative algebra over a commutative ring is called a reduced algebra if its underlying ring is reduced. The nilpotent elements of a commutative ring ''R'' form an ideal of ''R'', called the nilradical of ''R''; therefore a commutative ring is reduced if and only if its nilradical is zero. Moreover, a commutative ring is reduced if and only if the only element contained in all prime ideals is zero. A quotient ring ''R/I'' is reduced if and only if ''I'' is a radical ideal. Let ''D'' be the set of all zero-divisors in a reduced ring ''R''. Then ''D'' is the union of all minimal prime ideals. Over a Noetherian ring ''R'', we say a finitely generated module ''M'' has locally constant rank if \mathfrak \mapsto \operatorname_ ... [...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] |
Total Ring Of Fractions
In abstract algebra, the total quotient ring, or total ring of fractions, is a construction that generalizes the notion of the field of fractions of an integral domain to commutative rings ''R'' that may have zero divisors. The construction embeds ''R'' in a larger ring, giving every non-zero-divisor of ''R'' an inverse in the larger ring. If the homomorphism from ''R'' to the new ring is to be injective, no further elements can be given an inverse. Definition Let R be a commutative ring and let S be the set of elements which are not zero divisors in R; then S is a multiplicatively closed set. Hence we may localize the ring R at the set S to obtain the total quotient ring S^R=Q(R). If R is a domain, then S=R-\ and the total quotient ring is the same as the field of fractions. This justifies the notation Q(R), which is sometimes used for the field of fractions as well, since there is no ambiguity in the case of a domain. Since S in the construction contains no zero divisor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral Closure
In commutative algebra, an element ''b'' of a commutative ring ''B'' is said to be integral over ''A'', a subring of ''B'', if there are ''n'' ≥ 1 and ''a''''j'' in ''A'' such that :b^n + a_ b^ + \cdots + a_1 b + a_0 = 0. That is to say, ''b'' is a root of a monic polynomial over ''A''. The set of elements of ''B'' that are integral over ''A'' is called the integral closure of ''A'' in ''B''. It is a subring of ''B'' containing ''A''. If every element of ''B'' is integral over ''A'', then we say that ''B'' is integral over ''A'', or equivalently ''B'' is an integral extension of ''A''. If ''A'', ''B'' are fields, then the notions of "integral over" and of an "integral extension" are precisely " algebraic over" and "algebraic extensions" in field theory (since the root of any polynomial is the root of a monic polynomial). The case of greatest interest in number theory is that of complex numbers integral over Z (e.g., \sqrt or 1+i); in this context, the integral elements are usual ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dedekind Domain
In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily unique up to the order of the factors. There are at least three other characterizations of Dedekind domains that are sometimes taken as the definition: see below. A field is a commutative ring in which there are no nontrivial proper ideals, so that any field is a Dedekind domain, however in a rather vacuous way. Some authors add the requirement that a Dedekind domain not be a field. Many more authors state theorems for Dedekind domains with the implicit proviso that they may require trivial modifications for the case of fields. An immediate consequence of the definition is that every principal ideal domain (PID) is a Dedekind domain. In fact a Dedekind domain is a unique factorization domain (UFD) if and only if it is a PID. Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mori–Nagata Theorem
In algebra, the Mori–Nagata theorem introduced by and , states the following: let ''A'' be a noetherian reduced commutative ring with the total ring of fractions ''K''. Then the integral closure of ''A'' in ''K'' is a direct product of ''r'' Krull domains, where ''r'' is the number of minimal prime ideals of ''A''. The theorem is a partial generalization of the Krull–Akizuki theorem, which concerns a one-dimensional noetherian domain. A consequence of the theorem is that if ''R'' is a Nagata ring In commutative algebra, an N-1 ring is an integral domain A whose integral closure in its quotient field is a finitely generated A-module. It is called a Japanese ring (or an N-2 ring) if for every finite extension L of its quotient field K, the ..., then every ''R''-subalgebra of finite type is again a Nagata ring . The Mori–Nagata theorem follows from Matijevic's theorem. References * * * * Commutative algebra Theorems in ring theory {{abstract-algebra-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Krull Domain
In commutative algebra, a Krull ring, or Krull domain, is a commutative ring with a well behaved theory of prime factorization. They were introduced by Wolfgang Krull in 1931. They are a higher-dimensional generalization of Dedekind domains, which are exactly the Krull domains of dimension at most 1. In this article, a ring is commutative and has unity. Formal definition Let A be an integral domain and let P be the set of all prime ideals of A of height one, that is, the set of all prime ideals properly containing no nonzero prime ideal. Then A is a Krull ring if # A_ is a discrete valuation ring for all \mathfrak \in P , # A is the intersection of these discrete valuation rings (considered as subrings of the quotient field of A ). #Any nonzero element of A is contained in only a finite number of height 1 prime ideals. It is also possible to characterize Krull rings by mean of valuations only: An integral domain A is a Krull ring if there exists a family \ _ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artinian Ring
In mathematics, specifically abstract algebra, an Artinian ring (sometimes Artin ring) is a ring that satisfies the descending chain condition on (one-sided) ideals; that is, there is no infinite descending sequence of ideals. Artinian rings are named after Emil Artin, who first discovered that the descending chain condition for ideals simultaneously generalizes finite rings and rings that are finite-dimensional vector spaces over fields. The definition of Artinian rings may be restated by interchanging the descending chain condition with an equivalent notion: the minimum condition. Precisely, a ring is left Artinian if it satisfies the descending chain condition on left ideals, right Artinian if it satisfies the descending chain condition on right ideals, and Artinian or two-sided Artinian if it is both left and right Artinian. For commutative rings the left and right definitions coincide, but in general they are distinct from each other. The Artin–Wedderburn theorem charact ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nicolas Bourbaki
Nicolas Bourbaki () is the collective pseudonym of a group of mathematicians, predominantly French alumni of the École normale supérieure (Paris), École normale supérieure - PSL (ENS). Founded in 1934–1935, the Bourbaki group originally intended to prepare a new textbook in mathematical analysis, analysis. Over time the project became much more ambitious, growing into a large series of textbooks published under the Bourbaki name, meant to treat modern pure mathematics. The series is known collectively as the ''Éléments de mathématique'' (''Elements of Mathematics''), the group's central work. Topics treated in the series include set theory, abstract algebra, topology, analysis, Lie groups and Lie algebras. Bourbaki was founded in response to the effects of the First World War which caused the death of a generation of French mathematicians; as a result, young university instructors were forced to use dated texts. While teaching at the University of Strasbourg, Henri Carta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
