e f ext some c x pi roots of unity already proved
play

::::: E F EXT " Some - c x . PI roots of unity " - PowerPoint PPT Presentation

Applications Kummer Theory II : Theorem Proof of ' Galois Lastttme Great . Necessary feel Thu ( Kummer Theory ) ::::: E F EXT " Some - c x . PI roots of unity " already proved " the we


  1. Applications Kummer Theory II :

  2. Theorem Proof of ' Galois Lastttme Great . Necessary feel Thu ( Kummer Theory ) ÷÷÷:÷÷:÷÷:÷:÷÷:÷÷÷÷ E F EXT " Some - c x .

  3. ⇐ PI roots of unity " already proved " the we in " do section . Today " ⇒ we . Gul ( Khs ) as In wa EF . and Setup : re Gall KIF ) with So exists there with mln = Gal ( KIF ) Irl and - m Lo > - " ) in Gakkai ) elements district - - irm { id.hr } ( ie , are . Gal ( KIF ) ) comprise that .

  4. - wmp ① F Pek rfpl that Strategy so - : mth not the primitive is where Wm 'm wi at unity and therefore - pm ) c- FIX ② show xm , - ( pm ) " m c- FIX ) - p " " " x = × field ⑦ Argue splitting k is the that e FCB ) of XII by showing K - treats are p ) - ' . . , wan { P , wnp , wip . .

  5. " ) distinct , . , om pairwise Eid , r , o ' Step are since , . . are independent says They of characters independence linear expression . Ie , three is K no over - ' E O , r t - - t km , rm K . id t k - km without O . - k , Ko - - - - - - - - - have - id rm we On the other hand , since - , - id TM E O . - wmp rlp ) That - PEO so want . some We 13=0 when - w mid )lp)=O only ( r , thus failed If this .

  6. equals rm - id observe But - ' id ) - ( r - wmm - Wai id ) - w mid ) ( r ( r - id ) ( r - . ) - - - Humm ) ' ) - Nx comes them the foot - wmllx - I :( x - wm xm ( this fact and th for - id ) ( p ) all p since H - o - 13=0 , we have only fer - wmid ) Ip ) - O that fr - - ' id ) - ( r - wmm - wniid ) ( r - id ) Cr . - function . the zero " ) is a dependence array { id , r . rn poly gives . . expanding this , But → a-

  7. that Hp ) - Wm P . there Hence 1340 - is some so XM - pm C- FIX ] . This Step ② just want we pm EF want we means . - pm for c- ( pm ) by shoving do this can We , this - Gall KIF ) all It Gall KIF ) Since Crs - . r ( pm ) - pm observe equivalent to is . - Hpk - Lumpy - pm - wi pm • 1pm ) - - - - .

  8. steps - Ftp ) K want we - . have rlp ) : Wm PFP , p # F Note we since . : have Since Galois KIF is we , = Kr > I = ( Gall KIF ) I [ K : F) = m . " ) - indep F . . . . pm show that We'll 9413,132 , are an since , and : F ] > m collection [ Ffp ) Hence . forces , this Lk : F) Flp ) Ek and on = - Ffp ) . K -

  9. " ) is { 413,13 dependent ' . . . ,pm Suppose instead That , over F . dependence liner have WLOG , assume we a " =D - t cm . . pm all cief ' t Colt c. Pt cap - c. effs . number of nonzero minimal the has That r is above , Tmt fer Assume Tmt . . , can . . c . ,c , , with or to : index the snarliest be to chosen " =D - t cm . . pm all cief rt ' r Cr Pt cap t -

  10. " Dividing P gives by - " r - t cm . . pm all cief t cap - O ① - t Cr - sides : both Apply to r rlcrltokr.ir/plt--trlcmn)r/plm-r--rCo ) { - t - r =p u " - rpm - t cm , wmm Cr t Crt , Wm B t ② - . relation liner back get consider ① - ② , a If we we " ) that has nonzero terms fewer . - , pm at { 1. P . → a- pg

Recommend


More recommend