## [Modul](/de/node/63312) Definition 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 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 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 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 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 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 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 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 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.