幸运的球球提示您：看后求收藏（略群小说www.luequn.com），接着再看更方便。
k=qcp=qc；+1cxoo=qcp~，
其中kjk的伽罗瓦群gn就是循环群对任意az/pnz，aacp=cpv由伽罗瓦理论，k/k的伽罗瓦群g是g的射影极限，即p进整数环zp。
……
岩泽主猜想或称主猜想，即岩泽理论的主要猜想）是说cha=chs/c。可以看出，a说明的是数域的理想类群，是一个纯粹的代数对象而分圆单位本质上是一个解析对象。事实上，令p，s=cs1-p~s=∑1/ns，此函数称为v进c函数，它是上是连续函数，并且其在负整数处的值可以用的一个首一多项式的插值来表示。
p进函数是p进i函数的一个例子，它体现了对应数域的解析性质。
ates-iles和lean在明显互反律的工作表明上述多项式和chf/c只是相差一个固定多项式。所以我们知道主猜想是关于分圆域的代数性质和解析性质的深刻联系的猜想
岩泽理论从诞生一开始就是数论研究的重要工具。在1972年，azur建立了椭圆曲线的岩泽理论，并提出了虚二次域上的主猜想后来人们又提出了许多其他形式的主猜想，包括otive上的主猜想等。p进伽罗瓦表示上的岩泽理论的研究对于p进bsd猜想、serre猜想等都非常重要
1983年，azur和iles使用深刻的代数几何办法证明了岩泽主猜想。利用科利瓦金的欧拉系的办法，rub证明了虚二次域上的主猜想，并给出了分圆域主猜想一个新的证明。
而其他形式的主猜想依旧是数论和算术代数几何研究的热点内容。”
……
