Untergruppen, Untergruppenkriterien

Beispiele, Gegenbeispiele Beispiel 1 Wir gehen von der additiven Gruppe der Restklassen modulo 6 aus $[{\mathbb{\mathbb{Z}}}_6,\oplus ]$. Die Gruppe besteht aus den folgenden Restklassen: ${\mathbb{\mathbb{Z}}}_6=\{\bar{0},\bar{1},\bar{2},\bar{3},\bar{4},\bar{5}\}$ Die Gruppentafel sieht wie folgt aus: $\oplus$ $\bar{0}$ $\bar{1}$ $\bar{2}$ $\bar{3}$ $\bar{4}$ $\bar{5}$ $\bar{0}$ $\bar{0}$ $\bar{1}$ $\bar{2}$ $\bar{3}$ $\bar{4}$ $\bar{5}$ $\bar{1}$ $\bar{1}$ $\bar{2}$ $\bar{3}$ $\bar{4}$ $\bar{5}$ $\bar{0}$ $\bar{2}$ $\bar{2}$ $\bar{3}$ $\bar{4}$ $\bar{5}$ $\bar{0}$ $\bar{1}$ $\bar{3}$ $\bar{3}$ $\bar{4}$ $\bar{5}$ $\bar{0}$ $\bar{1}$ $\bar{2}$ $\bar{4}$ $\bar{4}$ $\bar{5}$ $\bar{0}$ $\bar{1}$ $\bar{2}$ $\bar{3}$ $\bar{5}$ $\bar{5}$ $\bar{0}$ $\bar{1}$ $\bar{2}$ $\bar{3}$ $\bar{4}$ Wir wählen aus ${\mathbb{\mathbb{Z}}}_6$ die folgende Teilmenge $2{\mathbb{\mathbb{Z}}}_6$aus: $2{\mathbb{\mathbb{Z}}}_6:=\{\bar{0},\bar{2},\bar{4}\}$ $[2{\mathbb{\mathbb{Z}}}_6,\oplus ]$ ist eine Gruppe und damit eine Untergruppe von $[{\mathbb{\mathbb{Z}}}_6,\oplus ]$ $\oplus$ $\bar{0}$ $\bar{2}$ $\bar{4}$ $\bar{0}$ $\bar{0}$ $\bar{2}$ $\bar{4}$ $\bar{2}$ $\bar{2}$ $\bar{4}$ $\bar{0}$ $\bar{4}$ $\bar{4}$ $\bar{0}$ $\bar{2}$