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

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

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

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

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

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

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

Ä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

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.