## [Modul](/de/node/61457) Definition Ein R-Modul ist eine abelsche Gruppe mit einer kompatiblen Wirkung eines Rings R: eine Abbildung R × M → M, die Distributivität, Assoziativität mit der Ringmultiplikation und 1·m = m (falls R eine Eins hat) erfüllt. Er verallgemeinert Vektorräume, indem Skalare aus einem Ring statt einem Körper kommen. ## Prinzip Prinzip Die ordnende Idee ist Linearität relativ zu einem Ring: Skalare wirken linear, müssen aber nicht invertierbar sein, weshalb Basen und Dimensionen fehlen können und die Seitenstellung (Links- vs. Rechtsmodul) bei nichtkommutativem R wichtig ist. ## Demonstration Demonstration Jede abelsche Gruppe ist ein Z-Modul, wobei n·m durch wiederholte Addition definiert ist; Moduln über einem PID wie endlich erzeugte Z-Moduln zerfallen in direkte Summen zyklischer Moduln (Strukturtheorem) und zeigen sowohl freie als auch Torsionsanteile. ## Fehlanwendung Fehlanwendung Anzunehmen, Moduln verhalten sich wie Vektorräume: Alle Moduln als frei mit Basen und Dimensionen zu behandeln führt zu Fehlern — viele Moduln haben Torsion oder sind nicht frei, etwa Z/2Z als Z-Modul. ## Konsequenz Konsequenz Moduln liefern die natürliche Sprache für lineare Algebra über Ringen, homologischen Algebra, exakten Sequenzen, Tensorprodukte und Ext-Gruppen; sie organisieren viele Konstruktionen in Algebra und Geometrie. ## Umkehrung Umkehrung Die Einschränkung der Skalare auf einen Körper liefert Vektorräume mit wohldefinierter Dimension und ohne viele Pathologien; das Aufgeben der Additivität oder Kompatibilität zerstört die Modulstruktur. ## Abgrenzung Abgrenzung Man unterscheidet Links- und Rechtsmoduln, Bimoduln und verlangt die abelsche additive Struktur; Wirkungen durch Nicht-Ring-Objekte oder nichtabelsche Gruppen liegen außerhalb dieser Definition. ## Semantische Spannung Semantische Spannung Spannung zwischen 'Modul' und 'Darstellung' (eine Modulstruktur interpretiert oft die Wirkung einer Algebra oder Gruppe) und zwischen Moduln als Garben von Moduln in der Geometrie und algebraischen Moduln über Ringen. ## Synthese Synthese Ein Modul ist der flexible Begriff eines linearen Objekts über einem Ring: eine additive Gruppe mit Ringwirkung, die die Intuition von Vektorräumen erweitert, aber Torsion, nichtfreie Beispiele und Seitenphänomene erlaubt und die Grundlage homologischer Methoden bildet.