Eine Struktur M mit einer additiven abelschen Gruppenoperation und einer Wirkung eines Rings R (Skalarmultiplikation), die mit Ringmultiplikation und Addition verträglich ist: r·(m+n) = r·m + r·n, (r+s)·m = r·m + s·m und (rs)·m = r·(s·m).

Prinzip

Vektorräume verallgemeinern, indem Skalare aus einem beliebigen Ring statt aus einem Körper stammen dürfen, wobei Distributiv- und Assoziativitätsbedingungen zwischen Skalaren und Modulelementen erhalten bleiben.

Demonstration

Jede abelsche Gruppe ist ein Z-Modul mittels Multiplikation mit ganzen Zahlen; R^n über einem Ring R ist ein R-Modul; Module über Polynomringen treten natürlich als Koeffizientenmodule in linearen Rekurrenzbeziehungen auf.

Fehlanwendung

Zu glauben, jedes Modul habe eine Basis und eine wohldefinierte endliche Dimension wie Vektorräume, oder Module über nicht PID-Ringen so zu behandeln, als zerlegten sie sich stets in direkte Summen zyklischer Komponenten.

Konsequenz

Module erweitern linearalgebraische Techniken auf Division-freie Bereiche, ermöglichen homologische Algebra, Auflösungen und eine reiche Klassifikationstheorie, die stark von Eigenschaften des Grundrings abhängt.

Umkehrung

Die Umkehrung, dass Skalare einen Körper bilden, führt zurück zum Vektorraum; viele Sätze vereinfachen sich dann, weil skalare Division zur Verfügung steht.

Abgrenzung

Skalare müssen aus einem Ring stammen; Module brauchen nicht frei, endlich erzeugt oder projektiv zu sein. Schließt Wirkungen von Strukturen aus, die keine Ringaxiome erfüllen, sofern die Definition nicht angepasst wird.

Semantische Spannung

Spannung zwischen der Sicht von Moduln als Darstellungen eines Rings und als Verallgemeinerungen abelscher Gruppen; Eigenschaften hängen stark davon ab, ob der Grundring kommutativ, PID oder nichtkommutativ ist.

Synthese

Ein Modul ist eine additive abelsche Gruppe mit verträglicher Skalarmultiplikation durch einen Ring, eine flexible Verallgemeinerung des Vektorraums, die algebraische und homologische Methoden an den Grundring anpasst.