Triviale Gruppe

mathematischer Begriff

Eine Gruppe in der Gruppentheorie ist trivial, wenn ihre Trägermenge genau ein Element enthält. Je zwei triviale Gruppen sind isomorph, die triviale Gruppe ist also bis auf Isomorphie eindeutig bestimmt. Jede Gruppe enthält die triviale Gruppe als Untergruppe.

Definition

Bearbeiten

Eine Gruppe   ist trivial, wenn   eine einelementige Menge   ist.

Die Verknüpfung   ist notwendigerweise durch

 

gegeben und   ist das neutrale Element der Gruppe.

Beispiele

Bearbeiten

Beispiele für triviale Gruppen sind:

  • die triviale Gruppe der Addition  ,
  • die triviale Gruppe der Multiplikation  ,
  • die triviale Gruppe der Komposition von Abbildungen  , wobei   die Identitätsabbildung auf einer beliebigen Menge   ist,
  • die zyklische Gruppe   von Ordnung  ,
  • die symmetrische Gruppe   der Permutationen von  ,
  • die alternierende Gruppe   der geraden Permutationen von  .

Eigenschaften

Bearbeiten
  • Alle trivialen Gruppen sind zueinander isomorph.
  • Da die Gruppenoperation   kommutativ ist, ist die triviale Gruppe eine abelsche Gruppe.
  • Die einzige Untergruppe der trivialen Gruppe ist die triviale Gruppe selbst.
  • Die triviale Gruppe wird von der leeren Menge erzeugt:  . Hierbei ergibt das leere Produkt nach üblicher Konvention das neutrale Element.
  • Jede Gruppe enthält die triviale Gruppe und sich selbst als (triviale) Normalteiler. Die triviale Gruppe wird daher meistens nicht als einfache Gruppe angesehen.
  • Für jede beliebige Gruppe   gibt es genau einen Gruppenhomomorphismus   und genau einen Gruppenhomomorphismus  . Das heißt, dass in der Kategorie der Gruppen Grp die triviale Gruppe ein Nullobjekt ist.

Siehe auch

Bearbeiten

Literatur

Bearbeiten
Bearbeiten