; TeX output 2004.11.13:0521 }html: html:c}html: html:* R("V
3
cmbx10FRtOMtCLASSICALTONON-COMMUT\ATIVEtIWASAWATHEOR\Y !^ANtINTRtODUCTIONTOTHE*b>
3
cmmi10GLz)|{Y cmr82
4MAINCONJECTURE lo cmr9OTMARTVENJAK9OB)zsrc:225ecm_proc.texsrc:225ecm_proc.texK`y
3
cmr10This:papMer,whic!hisanextended;versionofmytalk`TheGLz2 ?mainconjecturefor
ellipticjcurv!esjwithoutcomplexm!ultiplication'givenonjthe4ECM,aimstogiv!easur-v!ey*on)recentdevelopments)innon-commutative)Iwasawatheorye.'Itis)writtenmainlyfornon-expMertsanddoesnotcon!tainneitherproofsnoran!ynewresults,buthope-fullyM?serv!esasintroMductiontotheoriginalarticlessrc:231ecm_proc.tex[html:4 html:y,html:33 html:@s].hAlso,vtechnicaldetailsaresometimesplacedin!tofoMotnotesinordertokeepthemaintextaseasilyaccessibleaspMossible.html: html:ݍ~src:235ecm_proc.tex1. {4-
3
cmcsc10Classical"IwasawatheorEy6src:237ecm_proc.texFeorethemotivdDationoffnon-comm!utativeeIwasawatheoryitmightbMefhelpfultorstgobac!ktotheoriginofclassicalIwasawatheorystartinginsomesensewiththeworkofKummerfoncyclotomicelds.src:242ecm_proc.texThe=idealclassgroup=src:242ecm_proc.texC ȁl7)(K)=ofan!umbMer=eldKmeasuresthefailureofuniquefac-torisationMin!toprimeelementsinitsringMofintegerssrc:244ecm_proc.texO+2 cmmi8K;:ItwasKummerwhoobservedthat6thevdDanishing6ofsrc:245ecm_proc.texC ȁl7)(2
3
msbm10Q(zp]));wherezpdenotesaprimitiv!epthroMotofunit!yforaxedfoMddprimesrc:246ecm_proc.texp;impliesthatthefamousequation. Sssrc:248ecm_proc.texxzp6I+nydzp6=
z{Izp/src:248ecm_proc.texonlyhastrivialsolutionsinsrc:249ecm_proc.texZ:html:1@ html:Infact,/itisev!ensucientthatonlythesrc:256ecm_proc.texp-primarypartAz1 =:=O:C ȁl7)(Q(zp]))(p)i%oftheidealclassgroupvdDanishes;ʅinthiscasesrc:257ecm_proc.texpiscalled5 ':
3
cmti10rpegular,otherwise0irrpegular.2Th!us,2ifeallprimenumbMerfwouldbMeregulartheproofofFeermat'slasttheoremw!ouldhavebMeenrathereasye.CHence,itwasimpMortantforKummertobMeable^to]telltheregularfromtheirregularprimesandhefoundthefollo!wingcriterionwhic!hcrevealscamysteriouscrelationshipbMetweensrc:262ecm_proc.texAz1 #andcertaincspMecialvdDaluesofthecomplexfRiemannzetafunctionZ src:264ecm_proc.tex Թ(s)
=O -K cmsy81
$.u
3
cmex10X
n=1r1ן㦉 p П
n0s%T=Yp#1㦉 p #hȟ
1n,!",
3
cmsy10 p0 s8;src:265ecm_proc.tex ff <