Noetherscher Ring

algebraische Struktur
(Weitergeleitet von Noetherscher Modul)

In der Algebra werden bestimmte Strukturen (Ringe und Moduln) noethersch genannt, wenn sie keine unendliche Schachtelung von immer größeren Unterstrukturen enthalten können. Der Begriff ist nach der Mathematikerin Emmy Noether benannt.

Noethersche Moduln

Bearbeiten

Es sei   ein unitärer Ring (d. h. ein Ring mit Einselement). Ein  -Linksmodul   heißt noethersch, wenn er eine der folgenden äquivalenten Bedingungen erfüllt:

  • Jeder Untermodul ist endlich erzeugt.
  • (Aufsteigende Kettenbedingung) Jede unendliche aufsteigende Kette
 
von Untermoduln wird stationär, d. h., es gibt einen Index  , so dass
 
  • (Maximalbedingung für Untermoduln) Jede nichtleere Menge von Untermoduln von   hat ein maximales Element bezüglich Inklusion.

Beispiele

Bearbeiten
  • Jeder endliche Modul ist noethersch.
  • Jeder endlich erzeugte Modul über einem noetherschen Ring ist noethersch.
  • Jede endliche direkte Summe noetherscher Moduln ist noethersch.
  •   ist nicht noethersch als  -Modul.

Eigenschaften

Bearbeiten
  • Jeder surjektive Endomorphismus ist ein Automorphismus.
  • Für eine kurze exakte Sequenz   sind äquivalent:
    1.   ist noethersch.
    2.   sind noethersch.
  • Ist   ein Vektorraum, so ist   genau dann noethersch, wenn er endlich-dimensional ist. In diesem Fall ist der Modul auch artinsch.
  • Ist   linksnoethersch, das Jacobson-Radikal   nilpotent und   halbeinfach, dann ist   auch linksartinsch.
  • Über einem noetherschen Ring ist jeder endlich erzeugte Modul auch endlich präsentiert (die Umkehrung gilt immer).
  • Die endlich erzeugten Moduln über einem noetherschen Ring bilden eine abelsche Kategorie; die Voraussetzung, dass der Ring noethersch ist, ist dabei essentiell.
  • Jeder echte Untermodul eines noetherschen Moduls besitzt eine Primärzerlegung.

Noethersche Ringe

Bearbeiten

Ein Ring   heißt

  • linksnoethersch, wenn er als  -Linksmodul noethersch ist;
  • rechtsnoethersch, wenn er als  -Rechtsmodul noethersch ist;
  • noethersch, wenn er links- und rechtsnoethersch ist.

Bei kommutativen Ringen sind alle drei Begriffe identisch und äquivalent dazu, dass alle Ideale in   endlich erzeugt sind.

Beispiele

Bearbeiten
  • Artinsche Ringe sind noethersch.
  •   ist noethersch, aber nicht artinsch.
  • Quotienten und Lokalisierungen noetherscher Ringe sind noethersch.
  • Hauptidealringe oder allgemeiner Dedekindringe sind noethersch.
  • Ist   ein noetherscher Ring, so ist auch der Polynomring   noethersch (Hilbertscher Basissatz).
  • Daraus folgt, dass allgemein endlich erzeugte Algebren über einem noetherschen Ring wieder noethersch sind. Insbesondere sind endlich erzeugte Algebren über Körpern noethersch.
  • Der Polynomring   in unendlich vielen Unbestimmten ist nicht noethersch, da das Ideal, das von allen Unbestimmten erzeugt wird, nicht endlich erzeugt ist.
  • Der Matrizenring   ist rechtsnoethersch, aber weder linksartinsch noch linksnoethersch.

Eigenschaften

Bearbeiten
  • Jedes irreduzible Ideal in einem noetherschen Ring ist ein primäres Ideal.
  • In einem noetherschen Ring kann jedes echte Ideal als Schnitt endlich vieler irreduzibler Ideale dargestellt werden. Insbesondere existiert in noetherschen Ringen eine Primärzerlegung.
  • In einem noetherschen Ring gibt es nur endlich viele minimale Primideale.
  • Jede von Null verschiedene Nichteinheit in einem noetherschen Ring lässt sich als endliches Produkt irreduzibler Elemente schreiben. Insbesondere ist ein noetherscher Ring, in welchem alle irreduziblen Element Primelemente sind, ein faktorieller Ring.
  • Ist in einem Ring das Nullideal Produkt maximaler Ideale, so ist der Ring genau dann noethersch, wenn er artinsch ist.

Siehe auch

Bearbeiten

Literatur

Bearbeiten
  • Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, S. 24–66, GDZ
  • Nicolas Bourbaki: Algèbre commutative. Band 8/9: Chapitre 8: Dimension. Chapitre 9: Anneaux locaux noethériens complets. Masson, Paris 1983, ISBN 2-225-78716-6 (Éléments de mathématique).
  • David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry. Corrected 3rd printing. Springer-Verlag, New York NY 1999, ISBN 0-387-94268-8 (Graduate Texts in Mathematics 150), (engl.).