Zum Inhalt springen

Kurs:Invariantentheorie (Osnabrück 2012-2013)/Arbeitsblatt 23

Aus Wikiversity



Aufwärmaufgaben

Es sei  ζ  eine n-te primitive Einheitswurzel. Zeige, dass die zyklische Gruppe

Zn={(ζj00ζj)j=0,,n1}SL2()

auf der Punktmenge

{(ζjζj)j=0,,n1}

treu operiert, dass sie bei n ungerade auf der Geradenmenge

{(ζjζj)j=0,,n1}

ebenfalls treu operiert und dass sie bei n gerade auf der Geradenmenge

{(ζjζj)j=0,,n21}

operiert, aber nicht treu. Was ist in diesem Fall der Kern der Operation?



Zeige, dass die binäre Diedergruppe BD1 eine zyklische Gruppe der Ordnung 4 ist.



Wir betrachten die binäre Diedergruppe BDn. Zeige, dass bei  n3  die von

B=(0ii0)

erzeugte Untergruppe kein Normalteiler ist.



Es sei  ζ  eine 2n-te primitive Einheitswurzel. Zeige, dass die binäre Diedergruppe BDn auf der Geradenmenge

{(ζjζj)j=0,,n1}{(10),(01)}

operiert.



Zeige, dass die in Beispiel 23.1, Beispiel 23.2, Beispiel 23.3 und Beispiel 23.4 beschriebenen Gruppen bereits Untergruppen der SU2() sind.



Zeige, dass die Matrix

F=15(ξ+ξ4ξ2ξ3ξ2ξ3ξξ4)

zu SU2() gehört.



Es sei  GGLn()  eine endliche Untergruppe und es sei , das Standardskalarprodukt auf dem n. Zeige, dass durch

Φ(w,z):=1#(G)σGσw,σz

ein Skalarprodukt auf n definiert wird.



Es sei  MMatn()  eine Matrix und

φ:nn

die zugehörige lineare Abbildung. Zeige, dass φ genau dann unitär ist, wenn tMM die Einheitsmatrix ist.


In den folgenden Aufgaben rekapitulieren wir einige Eigenschaften der Einheitswurzeln und der Kreisteilungspolynome.


Bestimme die Koordinaten der fünften Einheitswurzeln in .



Es sei  n+.  Zeige, dass die n Vektoren (im n)

(1,ζ,ζ2,,ζn1),ζμn(),

linear unabhängig sind.



Es sei  ζK  eine n-te primitive Einheitswurzel in einem Körper K. Zeige die „Schwerpunktformel“

1+ζ+ζ2++ζn1=0.



Bestimme die Kreisteilungspolynome Φn für  n15




Aufgaben zum Abgeben

Aufgabe (2 Punkte)

Bestimme die Eigenwerte und die Eigenvektoren der Matrix

12(ζ7ζ7ζ5ζ)

mit  ζ=1+i2



Aufgabe (3 Punkte)

Zeige, dass die Matrix

12(iiζi)

zur binären Oktaedergruppe gehört (dabei ist ζ eine primitive achte Einheitswurzel). Gehört sie auch zur binären Tetraedergruppe?



Aufgabe (6 Punkte)

Zeige, dass die binäre Ikosaedergruppe 120 Elemente besitzt.



<< | Kurs:Invariantentheorie (Osnabrück 2012-2013) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)