Ringtheorie
Die Ringtheorie untersucht Mengen, die mit kompatiblen Additions- und Multiplikationsoperationen ausgestattet sind, verallgemeinert die Arithmetik von ganzen Zahlen und Polynomen und bildet die strukturelle Grundlage für einen Großteil der Algebra und der algebraischen Geometrie.
Definition
Ein Ring ist eine Menge mit zwei binären Operationen, Addition (die sie zu einer abelschen Gruppe macht) und Multiplikation (assoziativ und distributiv über der Addition), typischerweise mit einem multiplikativen Einselement. Die Ringtheorie untersucht diese Strukturen, ihre Ideale und die Abbildungen zwischen ihnen.
Scope
Dieser Bereich umfasst Ringe, Unterringe und Ideale; Quotientenringe und die Isomorphiesätze; Ringhomomorphismen; Integritätsbereiche, Quotientenkörper und eindeutige Faktorisierung; Polynomringe sowie euklidische Ringe, Hauptidealringe und noethersche Ringe. Er umfasst sowohl kommutative als auch nichtkommutative Theorie auf dem Niveau eines Graduiertenkurses in Algebra.
Sub-topics
Core questions
- Wie steuern Ideale eines Rings seine Quotientenstruktur und homomorphen Bilder?
- Unter welchen Bedingungen lässt ein Ring eine eindeutige Faktorisierung in irreduzible Elemente zu?
- Wie übertragen sich Eigenschaften eines Rings auf Polynomringe und Ringe von Brüchen über ihm?
- Welche strukturellen Hypothesen (noethersch, Hauptideal, euklidisch) führen zu einer handhabbaren Arithmetik?
Key theories
- Isomorphiesätze für Ringe
- Ringhomomorphismen faktorisieren durch Quotienten nach ihren Kernen, und die resultierende Korrespondenz zwischen Idealen und Quotientenringen ist den gruppentheoretischen Isomorphiesätzen vergleichbar.
- Hierarchie der eindeutigen Faktorisierung
- Euklidische Ringe sind Hauptidealringe, die wiederum eindeutige Faktorisierungsbereiche sind; diese Kette von Implikationen organisiert die Arithmetik von Integritätsbereichen und erklärt, wann die Faktorisierung in irreduzible Elemente im Wesentlichen eindeutig ist.
- Hilberts Basissatz
- Ist ein Ring noethersch, so ist es auch der Polynomring über ihm in endlich vielen Variablen, was sicherstellt, dass endlich erzeugte Algebren über Körpern eine gutartige Idealtheorie aufweisen.
Clinical relevance
Die Ringtheorie liefert das algebraische Substrat für die algebraische Geometrie (Koordinatenringe von Varietäten), die algebraische Zahlentheorie (Ganzheitsringe), die Kodierungstheorie und Kryptographie (Polynom- und Quotientenringe) sowie für Computeralgebrasysteme, die Polynome symbolisch manipulieren.
History
Die Ringtheorie entwickelte sich aus Dedekinds Idealen in der algebraischen Zahlentheorie und Hilberts Invariantentheorie und wurde in den 1920er Jahren von Emmy Noether zu einer strukturellen Disziplin abstrahiert, deren aufsteigende Kettenbedingungen das Fach neu gestalteten. Artin und andere erweiterten die Strukturtheorie auf den nichtkommutativen Bereich.
Key figures
- Richard Dedekind
- David Hilbert
- Emmy Noether
- Wolfgang Krull
- Emil Artin
Related topics
Seminal works
- lang2002
- dummit2004
- atiyah1969
Frequently asked questions
- Was ist der Unterschied zwischen einem Ideal und einem Unterring?
- Ein Unterring ist unter den Ringoperationen abgeschlossen, während ein Ideal zusätzlich unter Multiplikation mit jedem Ringelement absorbierend ist. Ideale, nicht beliebige Unterringe, sind genau die Kerne von Ringhomomorphismen und die Objekte, nach denen man quotieren kann.
- Warum sind Polynomringe so wichtig?
- Polynomringe sind die freien kommutativen Algebren: Sie modellieren das Hinzufügen von Unbestimmten, ihre Ideale entsprechen Systemen von Polynomgleichungen, und der Hilbertsche Basissatz macht ihre Idealtheorie endlich kontrollierbar, was der Zugang zur algebraischen Geometrie ist.