andvdEIJ-lpfiRedTYEI-0.cn/P0GxisxMmodpifxtker(Q:A1 -
→ 0 t) Eker 1 0 : t → 0G /pG) ⇒ vd.EC 2 1 EÉ ⇒ atist.x-gc-lkergnpN-y.it/ceroissurjectivemodulop ⇒
sug.by/VAkRmkI.2.Wecanapplypropn.withy=
oryiP-PpeEisanyelements.t.TL p
ThenBfwo-GForHXEBdi.si 0 ⇒
= ( - 1) - 2
,
tr,:D : = theringfintegersofBrisforu.is • TheactionofGQpextendstotheningAin.DE Btris.TheFrobenius4givesabjec.to map
4 :
4 : N - 4:15 → pir-7.fr Xn → x 41 → 61
Vwisj by Viprip Vtpripl 4 ) = p
Amax : = ioins Ifro , letBinax-Ba.rs
lemmo2.1.EvgelementofAiroiroicanbewritte.no g ( )jwhereg-op-adicagasj-aoandlikew.se
evergelementofAioirojcanbewrittenasj.gl)jwhereg-op-adiagasjpf.fr E"
,thenvrd-ulvdlelxa-hsothatthewngofintegersofB.TN0 = R x pk [ ( + k >_o }
, isdenseinthismgofintege.rs of ( Sec
2 1
- 1
anddefinepij-tw.compktionofBiforFrechettopology.BE Laurentseniesflncorwergentonqr.BY
Pf : Supposethaty-yntpm.znwithynEAandznEATojrjt.hn yrn-yn-jlzn-pznt.IE pm
⇒ yeitpAIo.rs f Hmzo ⇒ y-
extfsedausgakn-v.sp.vn fornlangexistiwdonVn-Lieg.ATactstuidg on Vn ⇒ TheactionlT.is
RecoverDsenufromDgiDWealreadgho.ve0:13 → G ,
D
DsenlDGodiimagela-Dse.nl
sothattxjisinvertible.in Biandhenceifyto@E.thenljmakessense.in/3dR.Wewanttocheckwhentheseries [convergesinBRLemma.3.2.Ifx.tk
= a (k-aklltL-DYP.in
1 4 + + ( )
sina.lEP-pjeker0Ep-h-DNVnlxj-supinEZS.t.PE imlijytnfixedh.at( + k → o
jkiigln-lo.pk
DsenlDProp.3.3.Ifnislargeenough.tnln :koIitD@hnDnln-DglDisanisosmorphismbet.weenK 1
X E 13 4 "
y ⇒ y E
→
⇒ k Vn-DsenlDisinjewedimlimageszdsincedimDse.nu
⇒ Theinjectionaboueisinfadaniso.IT