Noetherian Rings
A ring is called Noetherian (in honor of Emmy Noether, who developed this concept) if every ascending chain of ideals
- 0 ⊆ I0 ⊆ I1 ... ⊆ In ⊆ In + 1 ⊆ ...
becomes stationary, i.e. becomes constant beyond some index n. Equivalently, any ideal is generated by finitely many elements, or, yet equivalent, submodules of finitely generated modules are finitely generated. A ring is called Artinian (after Emil Artin), if every descending chain of ideals
- R ⊇ I0 ⊇ I1 ... ⊇ In ⊇ In + 1 ⊇ ...
becomes stationary eventually. Despite the two conditions appearing symmetric, Noetherian rings are much more general than Artinian rings. For example, Z is Noetherian, since every ideal can be generated by one element, but is not Artinian, as the chain
- Z ⊋ 2Z ⊋ 4Z ⊋ 8Z ⊋ ...
shows. In fact, by the Hopkins–Levitzki theorem, every Artinian ring is Noetherian.
Being Noetherian is an extremely important finiteness condition. The condition is preserved under many operations that occur frequently in geometry: if R is Noetherian, then so is the polynomial ring R (by Hilbert's basis theorem), any localization S−1R, factor rings R / I.
Read more about this topic: Commutative Ring
Famous quotes containing the word rings:
“It is told that some divorcees, elated by their freedom, pause on leaving the courthouse to kiss a front pillar, or even walk to the Truckee to hurl their wedding rings into the river; but boys who recover the rings declare they are of the dime-store variety, and accuse the throwers of fraudulent practices.”
—Administration in the State of Neva, U.S. public relief program. Nevada: A Guide to the Silver State (The WPA Guide to Nevada)