## [Modul](/de/node/59175) Definition Eine algebraische Struktur, bestehend aus einer abelschen Gruppe (M, +) zusammen mit einer Wirkung eines Rings R (nicht notwendigerweise kommutativ oder ein Körper) auf M, die distributiv und assoziativ in Bezug auf die Ringmultiplikation ist und die Ringidentität respektiert, falls vorhanden; Moduln verallgemeinern Vektorräume, indem Skalare aus Ringen stammen. ## Prinzip Prinzip Das Ersetzen des Skalarkörpers durch einen Ring lockert die Invertierbarkeit der Skalare und erlaubt reichere, oft subtilere algebraische Phänomene (Erweiterungen, Torsion, nichtfreie Moduln) bei Erhalt der linearen Kombinationsstruktur. ## Demonstration Demonstration Z-Moduln sind genau die abelschen Gruppen (die ganzen Zahlen wirken durch wiederholte Addition oder Subtraktion); R^n als R-Modul ist das standardfreie Modul vom Rang n; Moduln über einem PID besitzen Strukturtheoreme zur Zerlegung in zyklische Teile. ## Fehlanwendung Fehlanwendung Die Annahme, jedes Modul besitze wie Vektorräume eine Basis, kann fehlschlagen: Moduln über allgemeinen Ringen müssen nicht frei sein, und Begriffe wie Dimension können fehlen oder nicht eindeutig sein. ## Konsequenz Konsequenz Die Modultheorie erweitert lineare Algebra auf Ringkontexte: man studiert Untermoduln, Homomorphismen, exakte Folgen, Torsionselemente, projektive und injektive Moduln und ermöglicht Klassifikationsprobleme in Algebra und Geometrie. ## Umkehrung Umkehrung Ist der Ring ein Körper, ist ein Modul ein Vektorraum und erhält Eigenschaften wie Existenz von Basen und eine wohldefinierte Dimension zurück; Entfernen der Skalarwirkung reduziert auf eine abelsche Gruppe. ## Abgrenzung Abgrenzung Gilt wenn Skalare aus einem spezifizierten Ring stammen; schließt zusätzliche Strukturen wie Topologie oder Skalarprodukt aus, sofern nicht hinzugefügt; unterscheidet sich grundlegend von Vektorräumen, wenn der Ring Nicht-Einheiten oder Nullteiler enthält. ## Semantische Spannung Semantische Spannung Ähnlich zum 'Vektorraum', aber Spannung besteht bezüglich Freiheit und Basen: wichtige Unterscheidungen zwischen freien, projektiven, torsionsbehafteten und teilbaren Moduln prägen ihre Klassifikation und Anwendung. ## Synthese Synthese Ein Modul ist eine abelsche Gruppe mit einer kompatiblen Wirkung eines Rings, die Vektorräume verallgemeinert, indem sie die Invertierbarkeit der Skalare lockert und Phänomene (Torsion, Nicht-Freiheit) einführt, die für die moderne Algebra zentral sind.