Triviale Gruppe

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

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 | Quelltext 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 | Quelltext 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 | Quelltext 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 | Quelltext bearbeiten]

Literatur[Bearbeiten | Quelltext bearbeiten]

Weblinks[Bearbeiten | Quelltext bearbeiten]