Commutative Ring - Noetherian Rings

Noetherian Rings

A ring is called Noetherian (in honor of Emmy Noether, who developed this concept) if every ascending chain of ideals

0 ⊆ I0I1 ... ⊆ InIn + 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

RI0I1 ... ⊇ InIn + 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:

    Ye say they all have passed away,
    That noble race and brave;
    That their light canoes have vanished
    From off the crested wave;
    That, mid the forests where they roamed,
    There rings no hunters’ shout;
    But their name is on your waters,
    Ye may not wash it out.
    Lydia Huntley Sigourney (1791–1865)