补充资料：Frobenius自同构

Frobenius自同构
Frobenius automorphism

E旧映如.自同构〔Fro饭址璐a此加叼和即;中p川免“叮caa盯oMo，中。3MJ C司015群中的一个特殊形式的元素.它在类域论中起关键作用.设L是有限域K的代数扩张，则Fro-比苗璐自同构叭j;定义为甲别认a)二丫，其中a‘L，、二}月(K的元素个数).当L/K为有限扩张时，汽/K生成G司。is群C饱I(L/K).当L/K为无限扩张时，叭/K是G目(L/幻的拓扑生成元.若L〕EOK且IE:KJ<叭则汽厂:二叫众‘，. 设k为具有有限剩余类域工的局部域，K是k的非分歧扩张，则剩余类域扩张的助伙泊i、自同构牧，河以唯一地提升为自同构叭，‘C佃(K/k)，，称为非分尽犷攀K/k单Fro恢而比自回汐·设}习一q，吸为K的整数环，p为叹的极大理想，则Fro灰川uS自同构伞叼*由下述条件唯一决定:对任一a‘叹有甄k(a)兰丫(modp).设K/k为局部域的任一Galo地扩张，任一自同构，任G司(K/k)若在K的最大非分歧子扩张上诱导出上述意义下的Froh泊i诏自同构，有时也称为K/k的Frobenius自同构. 设K/k为整体域的Ga】015扩张，p是k的素理想，平是K中在p之上的某一素理想.又设平在K中不分歧，蜘〔Gal(凡/气)是局部域非分歧扩张凡火的Fm-饮泪i璐自同构·如果将6司。is群Gal喝/气)与平在C透1(K/k)中的分解子群等同，则价可看作〔润(K/k)中的元素，这个元素称为对应素理想平的Fro沃浦出自同构.若K八为有限扩张，由取励Tape。密度定理(Che-加扭此v血砒ity小印n沈n)可知，对任一自同构。‘C恤l(K/k)，存在无限个在K/k中不分歧的素理想瑕使。二，，.对任一A比l扩张，蜘仅依赖于p，这时价砰己为(p，K/k)，称为素理想p的Artin符号(Anins卿比l).

说明：补充资料仅用于学习参考，请勿用于其它任何用途。