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 ein Ring und ein -Modul mit .

heißt einfach, wenn und die einzigen Untermoduln von sind.

Äquivalente Definitionen

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

  • und jedes Element außer erzeugt bereits
  • ist isomorph zu einem Quotientenmodul , wobei ein maximales (Links- / Rechts-)Ideal des Rings ist.
  • 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 eines einfachen -Moduls ein Schiefkörper ist.

Beispiele

  • Ist eine Primzahl, so ist ein einfacher -Modul. Dies ergibt sich aus der Tatsache, dass Moduln insbesondere Gruppen sind, und aus dem Satz von Lagrange.
  • Ist dagegen keine Primzahl, so ist kein einfacher -Modul. Denn dann besitzt einen echten Teiler , und der von erzeugte Untermodul ist weder noch der ganze Modul.

(Zusammengefasst: Die einfachen -Moduln sind genau die für Primzahlen .)

  • Ist ein Körper, so sind -Moduln nichts anderes als Vektorräume über . Diese sind genau dann einfach, wenn sie eindimensional sind.