Einfacher Modul

In der Mathematik ist ein einfacher Modul (auch irreduzibler Modul genannt) eine besondere Form eines Moduls, also einer algebraischen Struktur. Einfache Moduln erfüllen eine gewisse Minimalitätseigenschaft: Sie sind „kleinste“ Moduln in dem Sinne, dass sie keine noch kleineren Moduln „enthalten“. Einfache Moduln dienen in einem gewissen Sinn als „Bausteine“ anderer Moduln. Auf vergleichsweise leichte Weise aus einfachen Moduln aufgebaut sind zum Beispiel halbeinfache Moduln oder Moduln endlicher Länge.

Das Konzept der Einfachheit ist auch bei Gruppen anzutreffen. Dort spricht man analog von einfachen Gruppen. Ebenso analog kann man für Moduln eine Kompositionsreihe definieren. Es gelten dann ähnliche Resultate wie für Gruppen, insbesondere auch der Satz von Jordan-Hölder.

Moduln umfassen als Spezialfälle abelsche Gruppen und Vektorräume. In diesen Spezialfällen sind die einfachen Moduln die einfachen abelschen Gruppen (d. h. zyklische Gruppen mit Primzahlordnung) bzw. eindimensionale Vektorräume.

Definition

Sei $R$ ein Ring und $M$ ein $R$-Modul mit $M\neq \{0\}$.

$M$ heißt einfach, wenn $\{0\}$ und $M$ die einzigen Untermoduln von $M$ sind.

Äquivalente Definitionen

Ein Modul $M$ über einem Ring $R$ ist genau dann einfach, wenn er eine der folgenden äquivalenten Bedingungen erfüllt:

• $M\neq \{0\}$ und jedes Element außer $0$ erzeugt bereits $M$
• $M$ ist isomorph zu einem Quotientenmodul $R/I$, wobei $I$ ein maximales (Links- / Rechts-)Ideal des Rings $R$ ist.
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} hat die Länge 1.

Eigenschaften

Einfache Moduln sind stets artinsch und noethersch.

Viele Anwendungen hat das Lemma von Schur. Dieses besagt etwa, dass der Endomorphismenring Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{End}_R(M)} eines einfachen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} -Moduls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} ein Schiefkörper ist.

Beispiele

• Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} eine Primzahl, so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Z}/p\mathbb{Z}} ein einfacher Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Z}} -Modul. Dies ergibt sich aus der Tatsache, dass Moduln insbesondere Gruppen sind, und aus dem Satz von Lagrange.
• Ist dagegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n > 1} keine Primzahl, so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Z}/n\mathbb{Z}} kein einfacher Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Z}} -Modul. Denn dann besitzt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} einen echten Teiler Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m} , und der von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m} erzeugte Untermodul ist weder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0} noch der ganze Modul.

(Zusammengefasst: Die einfachen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Z}} -Moduln sind genau die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Z}/p\mathbb{Z}} für Primzahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} .)

• Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} ein Körper, so sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} -Moduln nichts anderes als Vektorräume über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} . Diese sind genau dann einfach, wenn sie eindimensional sind.