This is a preview of subscription content, log in via an institution to check access.
References
Ist diese Potenz stets die erste, so handelt es sich bekanntlich um Primzahlen.
vermutlich gilt darüber hinaus auch das Übereinstimmen der Exponenten, und noch allgemeiner die Isomorphie entsprechender Komponenten.
E. Lasker, Zur Theorie der Moduln und Ideale. Math. Ann.60 (1905), S. 20, Satz VII und XIII.—F. S. Macaulay, On the Resolution of a given Modular System into Primary Systems including some Properties of Hilbert Numbers. Math. Ann. 74 (1913), S. 66.
W. Schmeidler, Über Moduln und Gruppen hyperkomplexer Größen. Math. Zeitschr.3 (1919), S. 29.
E. Noether W. Schmeidler, Moduln in nichtkommutativen Bereichen, insbesondere aus Differential-und Differenzenausdrücken. Math. Zeitschr.8 (1920), S. 1.
A. Fraenkel, Über die Teiler der Null und die Zerlegung von Ringen. J. f. M.145 (1914), S. 139. Über gewisse Teilbereiche und Erweiterungen von Ringen. Habilitationsschrift, Leipzig, Teubner, 1916. Über einfache Erweiterungen zerlegbarer Ringe. J. f. M.151 (1920), S. 121.
Die Definition ist der Fraenkelschen Habilitationsschrift entnommen, unter Weglassung dessen einschränkender Bedingungen 6, I und II; dafür mußte das kommutative Gesetz der Addition mit aufgenommen werden. Es handelt sich also um die den Körper definierenden Gesetze unter Weglassung der Umkehrbarkeit der Multiplikation.
Zuerst ausgesprochen für Zahlenmoduln von Dedekind: Zahlentheorie, Suppl. XI, § 172, Satz VIII (4. Auflage); unser Beweis und die Bezeichnung „Kette” ist von dort übernommen. Für Ideale aus Polynomen bei Lasker, a. a. O. Zur Theorie der Moduln und Ideale. Math. Ann.60 (1905), S. 56 (Hilfssatz). Der Satz findet aber in beiden Fällen nur vereinzelte Anwendung. Unsere Anwenwendungen beruhen durchweg auf demAuswahlpostulat.
Daß eine solche durch die gegebene Darstellung nicht eindeutig definiert ist, zeigt das vorige Beispiel. Für (x 2,xy)=[(x), (x 2,xy,y λ)], wo λ≧2, ist neben [(x), (x 2,y)] auch [(x), (x 2,μx+y)] für beliebiges μ eine reduzierte Darstellung.
Daß eine solche Darstellung im allgemeinen nicht eindeutig ist, zeigt das vorige Beispiel: (x 2,xy)=[(x), (x 2,μx+y)]. Die beiden Komponenten sind bei beliebigem μ irreduzibel. Alle Teiler von (x) sind nämlich von der Form (x, g (y)), wog (y) ein Polynom iny bedeutet; also hat auch das kleinste gemeinsame Vielfache von zweien diese Form, wird also ein echter Teiler von (x); (x 2,μx+y) besitzt nur deneinen Teiler (x, y), ist also notwendigerweise ebenfalls irreduzibel.
Für die Eindeutigkeit der unter den irreduziblen Idealen enthaltenen “isolierten” Ideale vgl. § 7.
Die Existenz der Zerlegung läßt sich auch direkt beweisen, in genauer Analogie mit der in § 2 nachgewiesenen Existenz der Zerlegung in endlich viele irreduzible Ideale.
Dieser Satz ist für Ideale aus Polynomen im Fall der Zerlegung in größte primäre schon ohne Beweis von Macaulay mitgeteilt; seine Definition der isolierten und nicht-isolierten (imbedded) primären Ideale kann als irrationale Fassung der unten mitgeteilten angesehen werden.
Die Existenz der Zerlegung läßt sich wieder in Analogie zu § 2 direkt beweisen; auch der Eindeutigkeitsbeweis läßt sich direkt führen (vgl. das in der Einleitung über Schmeidler und Noether-Schmeidler Gesagte). Der hier gegebene Beweis gibt zugleich Einblick in die Struktur der teilerfremd-irreduziblen Ideale.
Es handelt sich also hier um eine „rechtsseitige” Multiplikation, einen „rechtsseitigen” BereichT und folglich um „rechtsseitige” Moduln und Ideale. Würde man fürT eine linksseitige Multiplikation α·c zugrunde legen, so käme eine entsprechende Theorie der linksseitigen Moduln und Ideale;M enthält neben α auch α·c. Das assoziative Gesetz wäre hier von der Form(γ·b)·a=γ·(b×a).
Die ganzen Zahlen sind wieder als abkürzende Zeichen, nicht als Ringelemente zu betrachten.
Das einfachste Beispiel eines Moduls bildet der Modul aus ganzzahligen Linearformen; Σ besteht hier aus allen ganzen rationalen Zahlen,T aus allen ganzzahligen Linearformen. Ein etwas allgemeinerer Modul entsteht, wenn man in Σ undT ganze algebraische Zahlen statt der ganzrationalen Zahlen nimmt, oder etwa alle geraden Zahlen. Betrachtet man statt der Linearformen jeweils den Komplex aller Koeffizienten alsein Element, so sind die Verknüpfungen in Σ undT tatsächlich verschiedene. Ideale in nicht-kommutativen Ringbereichen aus Polynomen bilden den Gegenstand der gemeinsamen Arbeit Noether-Schmeidler. Von Idealen in weiteren speziellen nichtkommutativen Bereichen handeln die Vorlesungen über die Zahlentheorie der Quaternionen von Hurwitz (Berlin, Springer 1919) und die dort zitierten Arbeiten von Du Pasquier.
Für spezielle, „vollständig reduzible” Ideale lassen sich auch hier Eindeutigkeitssätze aufstellen; vgl. gemeinsame Arbeit Noether-Schmeidler.
Über die vollen Invariantensysteme. Math. Ann.42 (1893), § 3, S. 313.
Diese Eigenschaft eines primären Ideals, ein irreduzibles Gebilde zu besitzen, nimmt Macaulay (vgl. Einleitung) zur Definition, während Lasker nur den Begriff der Mannigfaltigkeit eines Gebildes in die Definition aufnimmt, im übrigen abstrakt definiert. Die nur fürx 1=0 ...x n =0 verschwindenden primären Ideale nehmen bei Lasker eine Sonderstellung ein.
Vgl. etwa J. König, Einleitung in die allgemeine Theorie der algebraischen Größen (Leipzig, Teubner, 1903), S. 235.
Ist umgekehrt für einen Polynombereich die Endlichkeitsbedingung erfüllt, und läßt jedes Polynom mindestens eine Darstellung zu, wo die Multiplikatoren von geringerem Grad inx sind, so ist der Bereich ein endlicher Integritätsbereich.
Die Idealtheorie dieser Bereiche bildet den Gegenstand der Arbeiten von Du Pasquier: Zahlentheorie der Tettarionen, Dissertation Zürich, Vierteljahrsschr. d. Naturf. Ges. Zürich,51 (1906). Zur Theorie der Tettarionenideale, ibid”52 (1907). Der Inhalt der zweiten Arbeit ist der Nachweis, daß jedes Ideal ein Hauptideal wird.
Den Basiselementen der einseitigen Ideale entsprechen Rechts- bzw. Linksklassen.
In der Arbeit: Zur Theorie der Moduln, Math. Ann.52 (1899), S. 1 definiert E. Steinitz das kleinste gemeinsame Vielfache (den größten gemeinsamen Teiler) von Klassen durch kleinste gemeinsame Vielfache und größte gemeinsame Teiler der Elementarsysteme. Unabhängig davon findet sich das kleinste gemeinsame Vielfache von Klassen als „Kongruenzkomposition” bei H. Brandt, Komposition der binären quadratischen Formen relativ einer Grundform, J. f. M.150 (1919), S. 1.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Noether, E. Idealtheorie in Ringbereichen. Math. Ann. 83, 24–66 (1921). https://doi.org/10.1007/BF01464225
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01464225