26
EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13 : Hauptsatzder Galoistheorie : Beispiele CAROLINE LASSUEUR TU KAISERSLAUTERN

EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

  • Upload
    others

  • View
    5

  • Download
    0

Embed Size (px)

Citation preview

Page 1: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

EINFULH RUNG IN DIE ALGEBRAWS 2016/17

WOCHE 13 : Hauptsatzder Galoistheorie : Beispiele

CAROLINE LASSUEUR

TU KAISERSLAUTERN

Page 2: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

SeilfkeineendlicheGalois . Erweiterung and Gi=Gal( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( UK ) isteinebijektion .

M ¥ > Gal( 414 )LH¥

H

Page 3: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

SeilfkeineendlicheGalois . Erweiterung and G :=Gal( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( UK ) isteinebijektion .

M ¥ > Gall 414 )LH¥1

H

¥1

Page 4: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

SeilfkeineendlicheGalois . Erweiterung and G :=Gal( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( UK ) isteinebijektion .

M

¥> Gall 414 )

LH¥H

¥1

:Y

K

Page 5: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

SeilfkeineendlicheGalois . Erweiterung and G :=Gal( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( UK ) isteinebijektion .

M

¥> Gall 414 )

LH#H

¥1L

IM

~

K

Page 6: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Seilfkeineendlichecalois. Erweiterungund G :=Ga1( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( 4k ) isteinebijektion .

M

¥> Gall 414 )

LH¥H

¥1[ GAKLIK ) = G

M ¥GAKHM )K

Gal(4L)=fId

, }

Page 7: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Seilfkeineendlichecalois. Erweiterungundc :=Gal( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( UK ) isteinebijektion .

M

¥> Gall 414 )

LH

#H

¥1[ GAKLIK

)=G16 :Gal( YM )|

M ¥GAKHM )IGAKYMHK

GAKLK

)=fId , }

(Cyan .Index )

Page 8: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Seilfkeineendlichecalois. Erweiterungundc :=Ga1( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( 4k ) isteinebijektion .

M

¥> Gall 414 )

LH

#H

¥1[ GAKLIK

)=G[L:M]=IGa1(YMH 16 :Ga1( YM )|

M ¥GAKHM)=±HIGAKYMH

K

GAKLK

)=fId , }

(Cyan :=Grad ) (Cyan: Index )

Page 9: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Seilfkeineendlichegalois. Erweiterungundc :=Gal( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( UK ) isteinebijektion .

M

¥> Gall 414 )

LH

#H

¥1[ GAKLIK

)=G[L:M]=IGa1(YMH IG :Ga1( YM )|

M ¥GAKHM)=±H[M :K]=lG :Gak4MH IGAKYM)|

K

Gal(4L)=fId

, }

(Cyan -Grad ) (Cyan. Index )

Page 10: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

SeilfkeineendlicheGalois . Erweiterung and G :=Ga1( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( 4k ) isteinebijektion .

M ¥ > Gall 414 )LH#

H

¥1

Page 11: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

SeilfkeineendlicheGalois . Erweiterung and G :=Gal( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( UK ) isteinebijektion .

M ¥ > Gall 414 )LH#

H

¥1G=GaK4K )

:=IIdi}

Page 12: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

SeilfkeineendlicheGalois . Erweiterung and G :=Gal( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( UK ) isteinebijektion .

M¥> Gall 414 )LH# H

¥1G=GaK4K )¥H

1=IIdi}

Page 13: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Seilfkeineendlichecalois. Erweiterungund G :=Gal( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( UK ) isteinebijektion .

M

¥> Gall 414 )

LH#H

¥1

a

=L G=GaK4K )

5E ' I Hd=K

1=lId , }

Page 14: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Seilfkeineendlichecalois. Erweiterungundc :=Gal( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( UK ) isteinebijektion .

M

¥> Gall 414 )

LH

¥H

¥1

ii.

L G - GAKLIK )

IG :H1

EE ' I H

IHIC=K1=lId , }

(Cyan .Index )

Page 15: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Seilfkeineendlichecalois. Erweiterungundc :=Gal( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( UK ) isteinebijektion .

M

¥> Gall 414 )

LH

#H

¥1

ii.

L G - GAKLIK )

[ LI' ]=lHI IG :Hl

EE ' I H

IHIC=K1=lId , }

(Cyan -Grad ) (Cyan. Index )

Page 16: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Seilfkeineendlichecalois. Erweiterungundc :=Ga1( 4k ) .

HAUPTSATZDERGALOISTHEORIE : ( YK ) ⇐ > H( 4k ) isteinebijektion .

M

¥> Gall 414 )

LH

¥H

¥1

a

=L G=GaK4K )

[ LI' ]=1HI IG :Hl

5E ' I H

[ E :K]=lG:HI IHIC=K1=lId , }

(Cyan :=Grad ) (Cyan. Index )

Page 17: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Beispiel : K=Q

Page 18: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Beispiel : K=Q,L = QGYI .

w ] mit w=e2"% ( w3=1 )

Page 19: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Beispiel : K=Q,L = QGYI .

w ] mit w=e2"" 3 ( w3=1 )

L= Zerfallumgskorperdespolynoms 3-2 e Q[ ]

3-2=1×-411/1 . walk. oh ) E Ux ]

Page 20: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Beispiel : K=Q,L = QGYI .

w ] mit w=e2"" 3 ( w3=1 )

L= Zerfallumgskorperdespolynoms 3-2 e Q[ ]

3-2=1×-4 ) ( × .walk . oh ) E Ux ]Jedes Element von Gal ( LIK ) permutiertdie Nullstellenvon 113-2

Page 21: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Beispiel : K=Q,L= QGYI .

w ] mit w=e2"" 3 ( w3=1 )

L= Zerfallumgskorperdespolynoms 3-2 e Q[ ]

3-2=1×-411/1 .

walk. oh ) E Ux ]

Jedes Element von Gal ( LIK ) permutiertdie Nullstellenvon 113-2

⇒ Gal ( YK ) = cost > wobei o : 3h itwinW 1- ) W

T : he - s 3rdW 1- )

W2=w-

Page 22: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Beispiel : K=Q,L = QGYI .

w ] mit w=e2"" 3 ( w3=1 )

L= Zerfallumgskorperdespolynoms 3-2 e Q[ ]

3-2=1×-4 ) ( × .

walk. oh ) E Ux ]

Jedes Element von Gal ( LIK ) permutiertdie Nullstellenvon 113-2

⇒ Gal ( YK ) = cost > wobei o : 3h itwin- w it W

E 53 T : in it 'veW 1- )

W2=w-

Page 23: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Beispiel : K=Q,L= QGYI .

w ] mit w=e2"" 3 ( w3=1 )

L= Zerfallumgskorperdespolynoms 3-2 e Q[ ]

3-2=1×-52 ) ( × .

walk. oh ) E Ux ]

Jedes Element von Gal ( LIK ) permutiertdie Nullstellenvon 113-2

⇒ Gal ( YK ) = cost > wobei o : 3h itwin- w it W

E 53 T : in it 'veW 1- )

W2=w-

Die Galoiskorrespondenzsieht so aus :

Page 24: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Beispiel : K=Q,L=Q[ II. w ] mit w=e2"" 3 ( w3=1 )

L= Zerfallumgskorperdespolynoms 3-2 e Q[ ]

3-2=1×-411/1 .

walk. oh ) ELK ]

Jedes Element von Gal ( LIK ) permutiertdie Nullstellenvon 113-2

⇒ Gal ( 4k )=< r ,t > wobei o : 3h itwin- w it W

E 53 T : he it 'veW 1- )

W2=w-

Die Galoiskorrespondenzsiehtso aus :

S}

< I > c to > < tr > < r >

{ Id. }

Page 25: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Beispiel : K=Q,L=Q[ II. w ] mit w=e2"" 3 ( w3=1 )

L= Zerfallumgskorperdespolynoms3- 2eQ[ ]

3-2=1×-411/1 .

walk. oh ) E Ux ]

Jedes Element von Gal ( LIK ) permutiertdie Nullstellenvon 113-2

⇒ Gall 4k )=< r ,t > wobei o : 3h -win- w it W

E 53 T : in it 'veW 1- )

W2=w-

Die Galoiskorrespondenzsiehtso aus :

QGYI .w ] s

}

#

QEKY Of air ] Of cityQ[at at > ceo > car > < r >

I

Q { Id. }

Page 26: EINFULH RUNG DIE ALGEBRA WS 2016/17 - mathematik.uni-kl.delassueur/en/teaching/EALG1617/... · EINFULH RUNG IN DIE ALGEBRA WS 2016/17 WOCHE 13: Hauptsatzder Galoistheorie: Beispiele

Beispiel : K=Q,L=Q[ II. w ] mit w=e2"" 3 ( w3=1 )

L= Zerfallumgskorperdespolynoms3- 2eQ[ ]

3-2=1×-411/1 .

walk. oh ) ELK ]

Jedes Element von Gal ( LIK ) permutiertdie Nullstellenvon 113-2

⇒ Gal ( YK ) = cost > wobei 0:52 -win cordnung = 2)- w it W

E 53 T : 3vI - s 527 C Ordnung =3 )W 1- )

w2=w-

Die Galoiskorrespondenzsiehtsoaus :

QGYI .w ] s

}

22 2 3 3 3 3 2

#

QEKY Q[ air ] Of cityQ[at at > ceo > car > < r >I

z3 3

z z2 2

3

Q { Id. }

[ cyan = Grad ] [ cyan -. Index ]