Triviale Gruppe
# Triviale Gruppe

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 $(G,*)$ ist trivial, wenn $G$ eine einelementige Menge $G=\{e\}$ ist.
Die Verknüpfung $*:G\times G\to G$ ist notwendigerweise durch
    $e*e=e$
gegeben und $e$ ist das neutrale Element der Gruppe.

## Beispiele

Beispiele für triviale Gruppen sind:
* die triviale Gruppe der Addition $(\{0\},+)$,
* die triviale Gruppe der Multiplikation $(\{1\},\cdot )$,
* die triviale Gruppe der Komposition von Abbildungen $(\{\mathrm {id} \},\circ )$, wobei $\mathrm {id} :S\to S$ die Identitätsabbildung auf einer beliebigen Menge $S$ ist,
* die zyklische Gruppe $C_{1}$ von Ordnung $1$,
* die symmetrische Gruppe $S_{1}$ der Permutationen von $\{1\}$,
* die alternierende Gruppe $A_{2}$ der geraden Permutationen von $\{1,2\}$.

## Eigenschaften

* Alle trivialen Gruppen sind zueinander isomorph.
* Da die Gruppenoperation $\ast$ 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: $\{e\}=\langle \emptyset \rangle$. 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 $H$ gibt es genau einen Gruppenhomomorphismus $H\to \{e\}$ und genau einen Gruppenhomomorphismus $\{e\}\to H$. Das heißt, dass in der Kategorie der Gruppen Grp die triviale Gruppe ein Nullobjekt ist.