Kommutative Algebra
Die kommutative Algebra untersucht kommutative Ringe, deren Ideale und Moduln über diesen, und dient als lokale algebraische Sprache der algebraischen Geometrie und der algebraischen Zahlentheorie.
Definition
Die kommutative Algebra ist die Untersuchung von kommutativen Ringen mit Einselement, deren Idealen und Moduln über diesen, mit besonderem Augenmerk auf Endlichkeitsbedingungen, Lokalisierung und die Geometrie des Primidealspektrums.
Scope
Dieses Gebiet umfasst Noethersche Ringe und Kettenbedingungen, Lokalisierung an Primidealen und multiplikativen Mengen, das Primidealspektrum, ganze Erweiterungen und den ganzen Abschluss, Dimensionstheorie, Vervollständigung und Primärzerlegung von Idealen. Sie liefert die Grundlagen, auf denen die Schematheorie und die Untersuchung von Singularitäten aufbauen.
Sub-topics
Core questions
- Welche Endlichkeitsbedingungen (Noethersch, endliche Erzeugung) machen die Idealtheorie handhabbar?
- Wie isoliert die Lokalisierung das Verhalten eines Rings in der Nähe eines Primideals?
- Wie verbinden ganze Erweiterungen die Spektren zweier Ringe?
- Wie kann ein Ideal in Primärkomponenten zerlegt werden, was eine Verallgemeinerung der Faktorisierung darstellt?
Key theories
- Lasker-Noether-Primärzerlegung
- In einem Noetherschen Ring ist jedes Ideal ein endlicher Durchschnitt von Primäridealen, was die Faktorisierung von ganzen Zahlen in Primzahlpotenzen verallgemeinert und die assoziierten Primideale des Ideals aufzeigt.
- Lokalisierung und das Primidealspektrum
- Die Lokalisierung eines Rings an einem Primideal konzentriert die Aufmerksamkeit auf sein lokales Verhalten; die Menge der Primideale, topologisiert als Spektrum, macht einen kommutativen Ring zu einem geometrischen Objekt.
- Going-up und Noether-Normalisierung
- Ganze Erweiterungen erfüllen Lying-over- und Going-up-Theoreme, die ihre Primideale in Beziehung setzen, und jede endlich erzeugte Algebra über einem Körper ist ein endlicher Modul über einem Polynomunterring (Noether-Normalisierung), dem algebraischen Kern der Dimensionstheorie.
Clinical relevance
Die kommutative Algebra ist die algebraische Grundlage der algebraischen Geometrie: Affine Schemata sind Spektren kommutativer Ringe, lokale Ringe modellieren Singularitäten, und die Dimensionstheorie misst die geometrische Dimension. Sie ist gleichermaßen zentral für die algebraische Zahlentheorie, wo Ganzheitsringe und deren Lokalisierungen und Vervollständigungen die grundlegenden Objekte sind.
History
Die kommutative Algebra entwickelte sich aus Dedekinds und Kroneckers Arithmetik und Hilberts Invariantentheorie, wurde in den 1920er und 1930er Jahren von Emmy Noether und Wolfgang Krull durch Kettenbedingungen und Dimensionstheorie systematisiert und schließlich durch Zariski, Chevalley und Grothendiecks Schematheorie mit der Geometrie verschmolzen.
Key figures
- Emmy Noether
- Wolfgang Krull
- David Hilbert
- Oscar Zariski
- Emanuel Lasker
Related topics
Seminal works
- atiyah1969
- eisenbud1995
- matsumura1989
Frequently asked questions
- Wie hängt die kommutative Algebra mit der algebraischen Geometrie zusammen?
- Es gibt ein von Grothendieck formalisiertes Wörterbuch, in dem kommutative Ringe geometrischen Räumen (affinen Schemata), Primideale Punkten und Lokalisierung dem Hineinzoomen in die Nähe eines Punktes entsprechen. Die kommutative Algebra liefert die lokale, rechnerische Seite dieser Geometrie.
- Warum ist die Noethersche Bedingung so wichtig?
- Die aufsteigende Kettenbedingung für Ideale, äquivalent dazu, dass jedes Ideal endlich erzeugt ist, garantiert, dass Schlüsselkonstruktionen terminieren und dass die Primärzerlegung existiert. Die meisten in der Geometrie und Zahlentheorie auftretenden Ringe sind Noethersch, was die Hypothese sowohl natürlich als auch mächtig macht.