爱华网
fenyuanyu
分圆域
cyclotomic field
添加单位根到有理数域上而生成的扩域。
1847年，E.E.库默尔宣称他证明了费马猜想，在证明中，将费马方程 [216-02]（为奇素数）在环[216-03]中分解成[216-04][216-4],并认为环[]与通常有理数环一样,每个数都可惟一地表成一些“素数”的乘积。但不久发现他的这个看法是错误的，例如在[23]中就存在表示成一些“素数”的乘积的方式不是惟一的这种数。于是库默尔创造了“理想数”这一概念来弥补他的证明中的缺陷，并对分圆域的特性作了深刻的研究。库默尔关于分圆域的工作和C.F.高斯关于二次域的工作，是代数数论的两个源头。J.W.R.戴德金将“理想数”系统化而产生了抽象代数中的“理想”这一重要概念。
所谓分圆域，是指在有理数域上添加次本原单位根[216-05]（即复平面上单位圆的 等分点）而得到的数域=()由于当≡2(mod4)时()=(/2),从而可假定2(mod 4)。和二次域一样,分圆域中的许多数论特性也比较简单，例如：
对于分圆域=()，/是()次伽罗瓦扩张,其中()是欧拉函数，而伽罗瓦群Gal(/)={｜1≤≤,(,)=1}，其中自同构是由[216-06]所决定的，于是Gal(/)同构于乘法群
[216-07]
=()的整数环为[]，而判别式为
[216-08]。
素数在分圆域=()中分解规律为：若,则为=[]中个不同素理想之积,并且每个素理想的剩余次数均是，其中为对于模 的阶数（即为满足≡1(mod )的最小正整数），而 =()/。若│，令[217-01]，则[217-02]，其中[217-03]（从而在中分歧）,[217-04]是中个不同的素理想，其剩余次数均为，为对于模的阶数，而[217-05]。
分圆域=()的单位根群,是由生成的阶循环群，其中=(当(≡0(mod 4)时)或者=2（当≡1(mod2)时）。
分圆域K=()的单位群是单位根群和的直积，其中是由[217-06]个单位,,…,生成的（乘法）自由阿贝尔群,即中每个单位均可惟一地表示成[217-08]，其中[217-09]称为分圆域的一个基本单位组,寻求分圆域的基本单位组是一个困难的问题。
和二次域一样，分圆域的类数也具有解析的计算公式，但是在公式中包含基本单位组的知识，这使得关于分圆域类数的研究和计算成为困难问题。
库默尔关于分圆域的最重要工作，有以下几方面：
对于每个奇素数，如果除不尽分圆域 Q()的类数,那么费马方程[217-10]没有整数解（,,），≠0（例如在100以内，满足|的只有=37、59、67，从而对于不超过100的其他21个奇素数，费马方程[217-11]均没有正整数解）。
以表示域[217-12](这是()的极大实子域)的类数，则｜,即[217-13]为整数,并且[217-14][217-26]除尽伯努利数，,…,-3之中某个的分子[217-15]。
通过大量的手算,库默尔发现了当→+∞ 时，变化不大,而则飞速地增长他猜想:[217-17]（当P→+∞时）;[217-18]。后一猜想由K.乌希达于1971年和J.马斯利、H.L.蒙哥马利各自独立地证明了,H.蒙哥马利还证明了对于正整数2(mod 4)则类数为1的分圆域()共有29个，即=3,4,5,7,8,9,11，12,13 15,16,17,19,20,21,24,25,27,28,32,33,35,36,40,44,45,48,60,84。前一猜想则至今未能解决。
继库默尔之后，德国数学家H.哈塞对于分圆域以及一般阿贝尔数域的类数问题作了相当精细的研究。他于1952年所著《关于阿贝尔域的类数》就是他的这些研究工作的总结。
现代分圆域理论的创始人是岩泽健吉。基于深刻的代数思想和与代数曲线算术理论的类比，他于1959年得到一类数公式：设[217-19](其中‖表示|，而),则存在与无关的常数、和，使得当充分大时， [217-20]。他对于更一般的情形也证明了类似的公式，例如，对每个代数数域,令是[217-21]的类数，((‖,则存在与无关的常数 ()，()和(),使得当充分大时，[217-22][217-23]。岩泽健吉猜想:对于每个数域均有()=0。他的两个学生B.费雷罗和L.C.华盛顿于1978年对于阿贝尔数域证明了这个猜想,但
对于其他数域还未完全解决。岩泽健吉还猜想：对于任意全实域均有()=0这个猜想甚至对于实二次域也未能完全解决。
如果/是数域的伽罗瓦扩张,并且它的伽罗瓦群是阿贝尔群,那么称为的阿贝尔扩张。如果是有理数域的阿贝尔扩张，那么称为阿贝尔数域。从伽罗瓦理论可知，分圆域的每个子域都是阿贝尔数域。反之，每个阿贝尔数域也必是某个分圆域()的子域，其等价说法是：[217-24]是的极大阿贝尔扩域，这就是著名的韦伯-克罗内克定理。对于希尔伯特第12问题:能否对任意的代数数域 明显地构作出的全部阿贝尔扩张？或者说，能否明显地刻画出K的极大阿贝尔扩域？韦伯-克罗内克定理给出了关于=情形的答案。 是对 添加指数函数(这是单周期函数)[217-25]在全部有理点[kg2][kg2]处的值而得到的域。
1853年,20岁的L.克罗内克猜想：每个虚二次域K的极大阿贝尔扩域是将 添加某种椭圆函数（这是双周期函数）在全部有理点处的取值而得到的域。这就是所谓的克罗内克青春之梦。在1920年高木贞治创立了类域论之后，克罗内克猜想得到了证明，但是对于其他类型的代数数域，希尔伯特第12问题离完全解决还相距甚远。
分圆域的理论是代数数论中一个在不断发展的课题。它与模形式理论、代数几何（特别是椭圆曲线的算术理论）、代数理论、进分析等交织在一起，形成当前很活跃的数学领域。
参考书目
S. Lang, Cyclotomic Fields, Vol.1～2,Springer-Verlag.New York,1978,1980.
L. C. Washington, Introduction to Cyclotomic Fields,Springer-Verlag,New York,1982.
冯克勤
以上就是网友分享的关于"分圆域"的相关资料，希望对您有所帮助，感谢您对爱华网的支持！
