www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Algebra" - Q_8 , Normalteiler
Q_8 , Normalteiler < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Q_8 , Normalteiler: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 00:30 So 09.12.2012
Autor: Lu-

Aufgabe
Finden SIe alle Elemnte der Gruppe [mm] Q_8, [/mm] die Ordnung 2 besitzen.
Beweisen Sie, dass jede Untergruppe der Gruppe [mm] Q_8 [/mm] Normalteiler von [mm] Q_8 [/mm] ist.

[mm] Q_8 [/mm] = <A= [mm] \pmat{ 0& 1 \\ -1 & 0 }, [/mm] B= [mm] \pmat{ 0 & i \\ i & 0 }= \{ I , -I, A , -A , B , -B , AB, -AB \} [/mm]
[mm] (-I)^2 [/mm] = I
[mm] A^2 [/mm] = [mm] B^2 [/mm] = -I
[mm] (AB)^2= [/mm] (- [mm] AB)^2 [/mm] = - I

=> -I besitz als einziges Elemt Ordnung 2.

Wir hatten einen Satz, der vlt helfen könnte:
Es sei G eine Gruppe und H [mm] \le [/mm] G mit der Eigenschaft [G:H]=2. Dann gilt H Normalteiler von G.
Trotzdem komme ich bei 2) nicht wirklich weiter.
Liebe Grüße

        
Bezug
Q_8 , Normalteiler: Antwort
Status: (Antwort) fertig Status 
Datum: 14:16 So 09.12.2012
Autor: wieschoo

Hi,
> Finden SIe alle Elemnte der Gruppe [mm]Q_8,[/mm] die Ordnung 2
> besitzen.
>  Beweisen Sie, dass jede Untergruppe der Gruppe [mm]Q_8[/mm]
> Normalteiler von [mm]Q_8[/mm] ist.
>  [mm]Q_8[/mm] = <a= <span="" class="math">[mm]\pmat{ 0& 1 \\ -1 & 0 },[/mm] B= [mm]\pmat{ 0 & i \\ i & 0 }= \{ I , -I, A , -A , B , -B , AB, -AB \}[/mm]
>  
> [mm](-I)^2[/mm] = I
>  [mm]A^2[/mm] = [mm]B^2[/mm] = -I
>  [mm](AB)^2=[/mm] (- [mm]AB)^2[/mm] = - I
>  
> => -I besitz als einziges Elemt Ordnung 2.
>  
> Wir hatten einen Satz, der vlt helfen könnte:
>  Es sei G eine Gruppe und H [mm]\le[/mm] G mit der Eigenschaft
> [G:H]=2. Dann gilt H Normalteiler von G.
>  Trotzdem komme ich bei 2) nicht wirklich weiter.

Das liefert dir nur ein paar Normalteiler.

Schau dir doch einfach erst einmal an, welche Untergruppen überhaupt so existieren.

Es sind nur 6 Stück. Die einfachen ;-) nehme ich dir mal ab:
- triviale Gruppe ist Normalteiler
- ganze Gruppe Q8 ist Normalteiler

Schau dir mal die Erzeugnisse von [mm] $\langle [/mm] A [mm] \rangle,\langle [/mm] B [mm] \rangle,\langle [/mm] AB [mm] \rangle$ [/mm]
an.

z.B. [mm] $\langle [/mm] A [mm] \rangle$ [/mm]

Was ist [mm] $AAA^{-1}, BAB^{-1}, (AB)A(AB)^{-1}$? [/mm]

Oder Alternativ kannst du dir auch [mm] $|G:\langle [/mm] A [mm] \rangle|$ [/mm] anschauen und die Sache mit dem Index benutzen.

Dann fehlt noch soetwas, wie  [mm] $\langle [/mm] -I [mm] \rangle$. [/mm] Hier gilt [mm] $\langle [/mm] -I [mm] \rangle\in \operatorname{Z}(Q_8)$. [/mm]

In jedem Fall, solltest du dir mal explizit aufschreiben, was es hier an Untergruppen so gibt.

gruß
wieschoo</a=>

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]