Noetherian ring
Noun
Meaning
Noetherian ring (plural Noetherian rings)
(algebra, ring theory) A ring which is either: (a) a commutative ring in which every ideal is finitely generated, or (b) a noncommutative ring that is both left-Noetherian (every left ideal is finitely generated) and right-Noetherian (every right ideal is finitely generated).
Related terms
Examples
If is a Noetherian ring, then is a Noetherian ring.
In a Noetherian ring, every prime ideal has finite height.
The notion of a Noetherian ring is of fundamental importance in both commutative and noncommutative ring theory, due to the role it plays in simplifying the ideal structure of a ring.
Nonetheless, Nagata gave an example of a Noetherian ring of infinite Krull dimension.
Stated differently, the image of any surjective ring homomorphism of a Noetherian ring is Noetherian.
The integers, however, form a Noetherian ring which is not Artinian.