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

Eine Gruppe ist trivial, wenn eine einelementige Menge ist.

Die Verknüpfung ist notwendigerweise durch

gegeben und ist das neutrale Element der Gruppe.

Beispiele

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

• 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

• Nullring
• Nullvektorraum

Literatur

• Rainer Schulze-Pillot: Einführung in Algebra und Zahlentheorie. Springer, 2008, ISBN 978-3-540-79570-4. 
• Jürgen Wolfart: Einführung in die Zahlentheorie und Algebra. Springer, 2010, ISBN 978-3-8348-9833-3. 

Weblinks

• Todd Rowland, Eric W. Weisstein: Trivial Group. In: MathWorld (englisch).