Modultheorie
Die Modultheorie untersucht Moduln, die Verallgemeinerung von Vektorräumen, bei denen die Skalare aus einem Ring statt aus einem Körper stammen, und vereinigt so die lineare Algebra, die Theorie der abelschen Gruppen und die Darstellungstheorie von Ringen.
Definition
Ein Modul über einem Ring R ist eine abelsche Gruppe zusammen mit einer Operation von R, die mit der Gruppenstruktur kompatibel ist, und verallgemeinert Vektorräume (Moduln über einem Körper) und abelsche Gruppen (Moduln über den ganzen Zahlen). Die Modultheorie untersucht solche Strukturen und die Abbildungen zwischen ihnen.
Scope
Dieser Bereich umfasst Moduln und Untermoduln, Quotientenmoduln und Homomorphismen, freie und projektive Moduln, direkte Summen und Produkte, exakte Sequenzen, Tensorprodukte und bilineare Abbildungen sowie den Struktursatz für endlich erzeugte Moduln über einem Hauptidealring. Er liefert die homologische Sprache, die in der gesamten modernen Algebra verwendet wird.
Sub-topics
Core questions
- Wann besitzt ein Modul eine Basis, und wie unterscheiden sich freie Moduln von Vektorräumen?
- Wie werden endlich erzeugte Moduln über einem Hauptidealring klassifiziert?
- Wie kodiert das Tensorprodukt bilineare Konstruktionen und Ringwechsel?
- Welche homologischen Invarianten (Projektivität, Exaktheit) messen das Versagen eines Moduls, sich wie ein Vektorraum zu verhalten?
Key theories
- Struktursatz für endlich erzeugte Moduln über einem PID
- Jeder endlich erzeugte Modul über einem Hauptidealring zerfällt als direkte Summe eines freien Moduls und zyklischer Torsionsmoduln, mit Invarianten (Elementarteilern oder Invariantenteilern), die ihn bis auf Isomorphie klassifizieren.
- Universelle Eigenschaft des Tensorprodukts
- Das Tensorprodukt zweier Moduln ist das universelle Ziel für bilineare Abbildungen, das bilineare Konstruktionen in lineare umwandelt und einen Basiswechsel zwischen Ringen ermöglicht.
- Freie, projektive und exakte Sequenzen
- Freie Moduln verallgemeinern Basen, projektive Moduln sind direkte Summanden freier Moduln, und kurze exakte Sequenzen sowie deren Zerlegung erfassen, wie Moduln aus Unter- und Quotientenmoduln aufgebaut sind, und bilden die Grundlage der homologischen Algebra.
Clinical relevance
Die Modultheorie vereinheitlicht und verallgemeinert Kernkonstruktionen: Die Klassifikation endlich erzeugter abelscher Gruppen und die kanonischen Formen linearer Operatoren sind beides Instanzen des PID-Struktursatzes, während Moduln über Gruppenringen genau Darstellungen sind, was die Modultheorie mit der Darstellungstheorie, der algebraischen Topologie und der kommutativen Algebra verbindet.
History
Moduln verallgemeinerten Dedekinds Ideale und die abelschen Gruppen der Arithmetik des neunzehnten Jahrhunderts und wurden von Emmy Noether in den Mittelpunkt der Algebra gestellt, die erkannte, dass Ideale, Quotienten von Idealen und Darstellungen alle Moduln sind. Das Thema wurde zum natürlichen Rahmen für die von Cartan, Eilenberg und Mac Lane entwickelte homologische Algebra.
Key figures
- Emmy Noether
- Richard Dedekind
- Wolfgang Krull
- Emil Artin
- Saunders Mac Lane
Related topics
Seminal works
- lang2002
- dummit2004
- atiyah1969
Frequently asked questions
- Warum ist nicht jeder Modul frei wie ein Vektorraum?
- Über einem Körper hat jeder Modul eine Basis, aber über einem allgemeinen Ring können Elemente Torsion oder Relationen aufweisen, die keine Basis ausdrücken kann; zum Beispiel sind die ganzen Zahlen modulo n ein Modul über den ganzen Zahlen ohne Basis. Freie Moduln sind die speziellen Moduln, die eine Basis zulassen.
- Wie stellt die Modultheorie die lineare Algebra und abelsche Gruppen wieder her?
- Ein Modul über einem Körper ist genau ein Vektorraum, und ein Modul über den ganzen Zahlen ist genau eine abelsche Gruppe. Der einzige Struktursatz über einem Hauptidealring liefert daher sowohl die Klassifikation endlich erzeugter abelscher Gruppen als auch die kanonischen Formen von Matrizen.