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

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

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

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

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

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

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

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

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.