Version: Test
©Raddy 2000

Gruppen IV                                                      ZURÜCK

Weiteres Beispiel
einer Untergruppe
:


Deckdrehungen eines Quadrates
um z·90°
a-absatz.pcx (280 Byte)Beispiel
       Gegeben ist die Gruppe G der Drehungen eines Quadrates,
       die wir aus dem Kapitel Gruppen II kennen. Diese Gruppe G
       bestand aus der Menge der Drehungen eines Quadrates
       und der Verknüpfung "Addition zweier Drehungen".

       Eine Untergruppe dieser Gruppe ist die Menge der Drehungen
       eines Quadrates um z·90° zm-elem.pcx (209 Byte)Z, zusammen mit der Verknüpfung R
       aus der Gruppe G, also der "Addition zweier Drehungen".
       Zum Beweis werden wir das Untergruppen-Kriterium verwenden.

a-absatz.pcx (280 Byte)
Beweis
       a-1.pcx (190 Byte) Wir haben in der Definition oben bestimmt, das die Verknüpfung 
           "Addition zweier Drehungen" aus der Gruppe G auch dem
           Gebilde G' zugrundeliegt. Damit ist Bedingung 1 des
           Untergruppen-Kriteriums bereits erfüllt.

       a-2.pcx (192 Byte) Die Menge der Drehungen eines Quadrates um z·90° zm-elem.pcx (209 Byte)Z ist
           eine nichtleere Teilmenge der Menge der Drehungen eines
           Quadrates
. Damit ist Bedingung 2 des Untergruppen-Kriteriums
           erfüllt.  

       a-31.pcx (284 Byte) Die Verknüpfung "Addition von Drehungen" ist in der
           Teilmenge Drehungen um z·90° zm-elem.pcx (209 Byte)Z abgeschlossen:
           Addiert man eine Drehung um z1·90° mit einer Drehung
           um z2·90°, so erhält man eine Drehung um (z1+z2)·90°.
           Da die Summe zweier ganzer Zahlen wieder eine ganze
           Zahl z ist, erhalten wir eine Drehung  z·90° zm-elem.pcx (209 Byte)Z,
           also eine Drehung der Teilmenge.

       a-34.pcx (285 Byte) Zu jedem Element der Menge Drehungen um z·90° zm-elem.pcx (209 Byte)Z
           existiert ein inverses Element. Das inverse Element zu einer
           Drehung z·90° zm-elem.pcx (209 Byte)Z ist eine Drehung um -z·90°