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 ![]() |
---|---|---|---|
1 | ascending chain condition on ideals | any ascending chain of ideals stabilizes after a finite length | arbitrary version: if ![]() ![]() ![]() ![]() ![]() ![]() ![]() countable chain version: If ![]() ![]() ![]() ![]() |
2 | finite generation of ideals | every ideal in the ring is finitely generated. | for every ideal ![]() ![]() ![]() ![]() ![]() |
3 | finite generation of prime ideals | every prime ideal in the ring is finitely generated. | for every prime ideal ![]() ![]() ![]() ![]() ![]() |
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 ![]() ![]() |
quotient-closed property of commutative unital rings | Yes | Noetherianness is quotient-closed | Suppose ![]() ![]() ![]() ![]() |
subring-closed property of commutative unital rings | No | Noetherianness is not subring-closed | It is possible to have the following: ![]() ![]() ![]() ![]() |
localization-closed property of commutative unital rings | Yes | Noetherianness is localization-closed | Suppose ![]() ![]() ![]() ![]() ![]() |
finite direct product-closed property of commutative unital rings | Yes | Noetherianness is finite direct product-closed | Suppose ![]() ![]() |
completion-closed property of commutative unital rings | Yes | Noetherianness is completion-closed | Suppose ![]() ![]() ![]() ![]() ![]() |
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 | ![]() ![]() |
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 |