Eine algebraische Struktur, bestehend aus einer abelschen Gruppe (der zugrundeliegenden additiven Gruppe) zusammen mit einer Wirkung eines Rings R (mit Eins) auf diese Gruppe, die Distributivität, Assoziativität mit der Ringmultiplikation und die Wirkung des Einselements erfüllt; ein Modul ist eine Verallgemeinerung des Vektorraums, wobei Skalare aus einem Ring statt aus einem Körper stammen.

Prinzip

Ersetze den Skalarkörper durch einen Ring: Skalarmultiplikation muss lediglich Modulaxiome erfüllen, daher bleiben Linearkombinationen sinnvoll, aber Eigenschaften, die die Invertierbarkeit von Skalaren benötigen (wie Basenexistenz oder Dimensionslehre), können im Allgemeinen versagen.

Demonstration

Ein typisches Beispiel ist eine abelsche Gruppe als Z-Modul: Jede abelsche Gruppe A erhält durch wiederholte Addition die Skalarmultiplikation n·a und wird so zum Modul über den ganzen Zahlen Z. Ein weiteres Beispiel ist R^n als (Links-)R-Modul für jeden Ring R.

Fehlanwendung

Davon auszugehen, dass jeder Modul eine Basis und eine wohldefinierte Dimension wie Vektorräume besitzt, oder anzunehmen, Untermoduln freier Moduln seien über beliebigen Ringen wieder frei; diese Aussagen sind ohne zusätzliche Ringannahmen falsch.

Konsequenz

Module liefern den passenden Rahmen für lineare Algebra über Ringen, Homologische Algebra (exakte Folgen, Ext, Tor) und Darstellungstheorie über Ringen; sie erlauben die Begriffe Erzeuger, Relationen, endlich erzeugte Module sowie die Unterscheidung projektiv, injektiv, flach.

Umkehrung

Ein Vektorraum ist der Spezialfall, in dem der Koeffizientenring ein Körper ist; dort garantiert die Invertierbarkeit der Skalare die Existenz von Basen und eine robustere Dimensionsstruktur für endlich-dimensionale Räume.

Abgrenzung

Voraussetzung ist ein unitärer assoziativer Ring, der auf einer abelschen Gruppe wirkt; schließt Strukturen mit nichtassoziativer Skalarmultiplikation oder Wirkungen durch Halbringen ohne additive Inverse aus, sofern diese Kontexte nicht ausdrücklich gemeint sind.

Semantische Spannung

Die Spannung entsteht im Vergleich von Modul und Vektorraum: Viele Intuitionen aus Körpern (Basen, Dimension) sind nicht übertragbar, und es besteht zudem eine Spannung zwischen Begriffen wie frei, projektiv und flach, die ähnlich klingen, aber formal verschieden sind.

Synthese

Ein Modul ist eine additive Gruppe mit einer verträglichen Wirkung eines Rings und verallgemeinert Vektorräume; er bildet die grundlegende Einheit für lineare Konstruktionen über Ringen, wobei Basisexistenz und Dimensionsbegriffe ringspezifisch geprüft werden müssen.