##  [Modul](/de/node/60191) 

 Definition

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

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

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

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

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

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

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

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

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.