Kurs:Invariantentheorie (Osnabrück 2012-2013)/Arbeitsblatt 22
- Aufwärmaufgaben
Es liege eine Gruppenoperation einer Gruppe auf einer Menge vor. Zeige, dass die Isotropiegruppen zu zwei äquivalenten Elementen in natürlicher Weise isomorph sind.
Betrachte den Beweis zu Lemma 22.2 mit der dortigen Notation. Begründe die folgenden Aussagen.
- Eine eigentliche Isometrie mit zwei Fixachsen ist die Identität.
- ist die Vereinigung aller .
- Es sei . Das Element kommt in genau zwei der vor. In welchen?
- Die Halbachsenklasse enthält Elemente.
Es sei eine Gruppe, eine Menge und
ein Gruppenhomomorphismus in die Permutationsgruppe von . Zeige, dass dies in natürlicher Weise einen Gruppenhomomorphismus
in die Permutationsgruppe der Potenzmenge induziert.
Betrachte ein gleichseitiges Dreieck mit dem Nullpunkt als Mittelpunkt und mit als einem Eckpunkt. Bestimme die (eigentlichen und uneigentlichen) Matrizen, die den Symmetrien an diesem Dreieck entsprechen.
Bestimme sämtliche Matrizen, die den Symmetrien eines Quadrates mit den Eckpunkten entsprechen. Sehen diese Matrizen für jedes Quadrat (mit dem Nullpunkt als Mittelpunkt) gleich aus?
Zeige, dass sich jede endliche Gruppe als Untergruppe der realisieren lässt.
Man gebe ein Beispiel einer Raumdrehung, bei der sämtliche Matrixeinträge sind.
Bestimme die Ordnungen der Elemente aus der alternierenden Gruppe .
- Aufgaben zum Abgeben
Aufgabe (4 Punkte)
Es seien und vier Geraden im durch den Nullpunkt mit der Eigenschaft, dass keine drei davon in einer Ebene liegen. Es sei
eine lineare, eigentliche Isometrie mit für . Zeige, dass die Identität ist. Man gebe ein Beispiel an, dass diese Aussage ohne die Ebenenbedingung nicht gilt.
Aufgabe (4 Punkte)
Es seien Drehungen um die -Achse, die -Achse und die -Achse mit den Ordungen ( ist also eine Drehung um den Winkel Grad um die -Achse, etc.). Es sei . Für welche Tupel ist die von diesen drei Drehungen erzeugte Gruppe endlich?
Aufgabe (3 Punkte)
Zeige: Keine der alternierenden Gruppen besitzt eine Untergruppe vom Index zwei.
<< | Kurs:Invariantentheorie (Osnabrück 2012-2013) | >> |
---|