Untergruppen, Untergruppenkriterien: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(→‎Die Gruppe)
(→‎Die Gruppe)
Zeile 45: Zeile 45:
 
Es sei <math>\varepsilon</math> unsere Ebene.
 
Es sei <math>\varepsilon</math> unsere Ebene.
 
<math>\forall P \in \varepsilon \exist P' \in  \varepsilon: P'=\beta(P)</math><br />
 
<math>\forall P \in \varepsilon \exist P' \in  \varepsilon: P'=\beta(P)</math><br />
−
<math>\forall P  \in  \varepsilon: P'=\beta(P) \land  P*=\beta(P) \Rightarrow P'=P^*</math><br />
+
<math>\forall P  \in  \varepsilon: P'=\beta(P) \land  P^*=\beta(P) \Rightarrow P'=P^*</math><br />
 
<math>\forall P, Q \in  \varepsilon: \vert PQ \vert = \vert \beta(P) \beta(Q)\vert </math>.
 
<math>\forall P, Q \in  \varepsilon: \vert PQ \vert = \vert \beta(P) \beta(Q)\vert </math>.
  

Version vom 27. Mai 2018, 14:08 Uhr

Inhaltsverzeichnis

Beispiele, Gegenbeispiele

Beispiel 1

Wir gehen von der additiven Gruppe der Restklassen modulo 6 aus [\mathbb{Z}_6, \oplus].
Die Gruppe besteht aus den folgenden Restklassen: \mathbb{Z}_6=\{ \overline{0}, \overline{1}, \overline{2}, \overline{3}, \overline{4}, \overline{5} \}
Die Gruppentafel sieht wie folgt aus:

\oplus \overline{0} \overline{1} \overline{2} \overline{3} \overline{4} \overline{5}
\overline{0} \overline{0} \overline{1} \overline{2} \overline{3} \overline{4} \overline{5}
\overline{1} \overline{1} \overline{2} \overline{3} \overline{4} \overline{5} \overline{0}
\overline{2} \overline{2} \overline{3} \overline{4} \overline{5} \overline{0} \overline{1}
\overline{3} \overline{3} \overline{4} \overline{5} \overline{0} \overline{1} \overline{2}
\overline{4} \overline{4} \overline{5} \overline{0} \overline{1} \overline{2} \overline{3}
\overline{5} \overline{5} \overline{0} \overline{1} \overline{2} \overline{3} \overline{4}

Wir wählen aus \mathbb{Z}_6 die folgende Teilmenge 2\mathbb{Z}_6aus:

2\mathbb{Z}_6:=\{\overline{0}, \overline{2}, \overline{4}\}

[2\mathbb{Z}_6, \oplus] ist eine Gruppe und damit eine Untergruppe von [\mathbb{Z}_6, \oplus]

\oplus \overline{0} \overline{2} \overline{4}
\overline{0} \overline{0} \overline{2} \overline{4}
\overline{2} \overline{2} \overline{4} \overline{0}
\overline{4} \overline{4} \overline{0} \overline{2}

Beispiel 2

Die Gruppe

Unter einer Bewegung \beta versteht man eine abstandserhaltende Abbildung der Ebene auf sich:
Es sei \varepsilon unsere Ebene. \forall P \in \varepsilon \exist P' \in \varepsilon: P'=\beta(P)
\forall P \in \varepsilon: P'=\beta(P) \land P^*=\beta(P) \Rightarrow P'=P^*
\forall P, Q \in \varepsilon: \vert PQ \vert = \vert \beta(P) \beta(Q)\vert .

Von „http://geometrie.zum.de/index.php?title=Untergruppen,_Untergruppenkriterien&oldid=31670“