Noetherian ring
From Commalg
This article is about a standard (though not very rudimentary) definition in commutative algebra. The article text may, however, contain more than just the basic definition
View a complete list of semi-basic definitions on this wiki
This article defines a property of commutative unital rings; a property that can be evaluated for a commutative unital ring
View all properties of commutative unital rings
VIEW RELATED: Commutative unital ring property implications | Commutative unital ring property non-implications |Commutative unital ring metaproperty satisfactions | Commutative unital ring metaproperty dissatisfactions | Commutative unital ring property satisfactions | Commutative unital ring property dissatisfactions
Definition
Below are some equivalent definitions of Noetherian ring:
No. | Shorthand | A commutative unital ring is termed Noetherian if ... | A commutative unital ring is termed Noetherian if ... |
---|---|---|---|
1 | ascending chain condition on ideals | any ascending chain of ideals stabilizes after a finite length | arbitrary version: if is a well-ordered set and are ideals such that for , there exists some such that for all . countable chain version: If is an ascending chain of ideals, then there exists such that for all . |
2 | finite generation of ideals | every ideal in the ring is finitely generated. | for every ideal in , there exist elements such that is the ideal generated by . |
3 | finite generation of prime ideals | every prime ideal in the ring is finitely generated. | for every prime ideal in , there exist elements such that equals the ideal generated by . |
Equivalence of definitions
Further information: equivalence of definitions of Noetherian ring
Metaproperties
Metaproperty name | Satisfied? | Proof | Statement with symbols |
---|---|---|---|
polynomial-closed property of commutative unital rings | Yes | Noetherianness is polynomial-closed | Suppose is a Noetherian ring. Then, the polynomial ring is also a Noetherian ring. |
quotient-closed property of commutative unital rings | Yes | Noetherianness is quotient-closed | Suppose is a Noetherian ring and is an ideal in . Then, the quotient ring is also a Noetherian ring. |
subring-closed property of commutative unital rings | No | Noetherianness is not subring-closed | It is possible to have the following: is a Noetherian ring and is a (unital) subring of , but is not a Noetherian ring. For instance, consider any non-Noetherian integral domain; this is a subring of a field, which is Noetherian. |
localization-closed property of commutative unital rings | Yes | Noetherianness is localization-closed | Suppose is a Noetherian ring and is a multiplicatively closed subset of . Then, the localization of at is also Noetherian. |
finite direct product-closed property of commutative unital rings | Yes | Noetherianness is finite direct product-closed | Suppose are Noetherian rings. Then, the direct product is also a Noetherian ring. |
completion-closed property of commutative unital rings | Yes | Noetherianness is completion-closed | Suppose is a commutative unital ring and is a maximal ideal in . The completion of at is also Noetherian. |
Relation with other properties
Conjunction with other properties
Conjunction | Other component of conjunction | Additional comments |
---|---|---|
Noetherian domain | integral domain | |
reduced Noetherian ring | reduced ring: it has no nonzero nilpotent elements. | |
Noetherian normal domain | normal domain | |
Noetherian unique factorization domain | unique factorization domain | |
local Noetherian ring | local ring | |
local Noetherian domain | local domain | |
zero-dimensional Noetherian ring | zero-dimensional ring: every prime ideal in it is a maximal ideal | |
one-dimensional Noetherian domain | one-dimensional domain: integral domain in which every nonzero prime ideal is maximal | |
finite-dimensional Noetherian ring | finite-dimensional ring: its Krull dimension is finite. |
Stronger properties
Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|
Polynomial ring over a field | for a field | click here | ||
Artinian ring | descending chain of ideals stabilizes eventually | Artinian implies Noetherian | Noetherian not implies Artinian | click here |
Principal ideal ring | every ideal is principal | principal ideal ring implies Noetherian | Noetherian not implies principal ideal ring | click here |
Dedekind domain | click here | |||
Cohen-Macaulay ring | click here | |||
Affine ring | click here |
Weaker properties
Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|
Coherent ring | click here |