Modul

Ein Modul ist eine Vektorraum-ähnliche Struktur, deren Skalare aus einem Ring statt einem Körper stammen. Es ist das zentrale Objekt der Modultheorie, das abelsche Gruppen, Vektorräume und Darstellungen vereinheitlicht.

Definition

Ein Modul über einem Ring R ist eine abelsche Gruppe, die mit einer Skalarmultiplikation durch Elemente von R ausgestattet ist, die distributiv und assoziativ ist und die Identität respektiert, wodurch Vektorräume auf Ringkoeffizienten verallgemeinert werden.

Scope

Dieses Thema behandelt die Definition eines Moduls über einem Ring, Untermodule und Quotientenmodule, Modulhomomorphismen, Erzeuger und Relationen, zyklische und endlich erzeugte Module sowie die Isomorphiesätze, zusammen mit den grundlegenden Beispielen abelscher Gruppen und Vektorräume als Module.

Core questions

• Wie verallgemeinert ein Modul einen Vektorraum und eine abelsche Gruppe?
• Was sind Untermodule, Quotientenmodule und Modulhomomorphismen?
• Wie wird ein Modul durch Erzeuger und Relationen dargestellt?
• Warum können Module keine Basis haben?

Key theories

Module vereinheitlichen bekannte Strukturen

Ein Modul über einem Körper ist ein Vektorraum, und ein Modul über den ganzen Zahlen ist eine abelsche Gruppe. Die Modultheorie behandelt diese und Gruppenringdarstellungen daher innerhalb eines einzigen Rahmens.

Isomorphiesätze für Module

Modulhomomorphismen faktorisieren durch Quotienten nach ihren Kernen, und die Korrespondenz- und Isomorphiesätze übertragen sich von Gruppen und Ringen, wodurch die Struktur von Untermodulen und Quotienten organisiert wird.

Erzeuger und Relationen

Jedes Modul ist ein Quotient eines freien Moduls und wird daher durch Erzeuger und Relationen dargestellt; das Nichtverschwinden von Relationen unterscheidet allgemeine Module von Vektorräumen.

Clinical relevance

Module sind die gemeinsame Sprache für viele algebraische Strukturen: Ideale und Quotientenringe, abelsche Gruppen, Darstellungen von Gruppen und Algebren sowie die Homologie- und Kohomologiegruppen der Topologie sind alle Module. Daher bietet die Modultheorie Werkzeuge, die in der gesamten Mathematik Anwendung finden.

History

Das Modulkonzept verallgemeinerte Dedekinds Module algebraischer Zahlen und die abelschen Gruppen der Arithmetik des neunzehnten Jahrhunderts. Emmy Noether stellte es in den 1920er Jahren in den Mittelpunkt der Algebra, indem sie erkannte, dass Ideale, Quotienten und Darstellungen alle Module über geeigneten Ringen sind.

Key figures

• Emmy Noether
• Richard Dedekind
• Wolfgang Krull

Seminal works

• dummit2004
• lang2002
• atiyah1969

Frequently asked questions

Warum ist ein Modul wie ein Vektorraum mit einem Ring von Skalaren?

Die Axiome sind identisch mit denen eines Vektorraums, außer dass die Skalare aus einem Ring statt einem Körper stammen. Da Ringelemente nicht invertierbar sein müssen, können Module Torsion und Relationen aufweisen, die kein Vektorraum zeigt.

Welche bekannten Objekte sind Module?

Abelsche Gruppen sind Module über den ganzen Zahlen, Vektorräume sind Module über Körpern, und Ideale eines Rings sind Module über diesem Ring. Aus diesem Grund kann eine einzige Modultheorie so viele algebraische Kontexte gleichzeitig behandeln.