; TeX output 2008.11.26:1828 f荠t
#html: html:덑#
html: html:* I4N cmbx12ESSENTIALٚg cmmi12p-DIMENSIONOFPGL!aXQ cmr12(p2|{Y cmr82) ~K`y
cmr10ALEXANDERUUS.MERKURJEV `$ /-
cmcsc10Abstract.\`Let~V
b>
cmmi10pbGe~WaprimeintegerandletFbGeaeldofcharacteristic $ dierentfromp.W*eprovethattheessentialp-dimensionofthegroup$ 0"V
cmbx10PGL;Ѿ 0er cmmi7FBw(p^ٓR cmr72|s)UUisequaltop^2S+81.FMhtml: html: 1. x7-
cmcsc10Introduction TheqessenrtialdimensionqofanalgebraicstructureorverqaeldF}isthesmall-est\nrumbSer]ofalgebraicallyindependenrt]parametersrequiredtodenethisstructureorveraeldextensionofFn(cf.8["html:1 html:]). LetapbSeaprimeinrteger.Essentialap-dimensionofanalgebraicstructuremeasuresthecomplexitryofthestructuremoSdulothe\eectsofdegreeprimetop". Letp¹denoteeitheraprimeinrtegeror0.>AninrtegerkissaidtobSe8@ cmti12primetop¹whenk|߹isprimetopifpUR>0andko=1ifp=0andletFbSeaeld.ConsidertheB,categoryB-9" cmssi12Fields!&=FofeldextensionsB-ofFandeldB-homomorphismsorverFƹ.
!DLetu!",
cmsy10FO::*Fields#=F!*Sets!bSetafunctor(an\algebraicstructure")andK5;E3 2~Fields!c=Fƹ.EbAn}elemenrt~x2~F1(E )issaidtobSep-deneffdoverKvandKyisaeldofp-denitionofpƹif]6there]7existaniteeldextensionE 2K cmsy80P=EMofdegree5prime5top,uaeldhomomorphismKeh!E 20orverFyandan5elementUQ2F1(K ܞ)sucrhthat theimageof0underF(E )!F(E20P) coincideswiththeimageofLunderF1(K ܞ)!F(E 20P).^@Theessentialۇp-dimensionۈof,ϐdenoted edWF"2 cmmi8p4(),istheleastinrtegertr:deg$şTF+(K ܞ)orveralleldsofp-denitionK_of.Theessential35p-dimensionofthefunctorTnistheinrtegerY ed op 7H(F1)UR=max3|fedWF"p4()glwherethemaximrumistakenoverallh2URF1(E )andeldsE i2Fields 9=Fƹ. WVewriteedW(F1)fored0ֹ(F1)andsimplycalledW(F1)theessentialhdimensionof35F1.8ClearlyV,ed(F)URedJpܧ(F1)forallp. LetSyGSxbSeanalgebraicgrouporverSyFƹ. sRTheessential~p-dimension~ofGSyistheqessenrtialpp-dimensionofthefunctorFG takingaeldEatothesetofisomorphismclassesofG-torsorsorverSpSec&(E ). IfGn=nPGL`yn)ZorverFƹ,KthefunctorFG)isisomorphictothefunctortakingaeldeCEZtotheeDsetofisomorphismclassesofcenrtralsimpleE -algebrasofdegreen.oIfUnUR=pTisprime,evrerycentralUsimpleE -algebraTofdegreepiscyclicorverUaniteeldextensionofdegreeprimetop.ItfollorwsthatedpcGu
cmex10 ePGL6,F= {(p)G "=238[#html:11 html:,Lemma8.5].> ff <