域 (数学)
维基百科,自由的 encyclopedia
在抽象代数中,体(德语:Körper,英语:Field)是一种具有加法跟乘法的集合(代数结构),且其加法跟乘法运算就如同普通的有理数还有实数。事实上,体正是数域以及四则运算的推广,所以被广泛运用在代数、数论等数学领域中。
体是环的一种。但区别在于域要求它的非零元素可以做除法,且体的乘法有交换律。
最有名的体结构的例子就是有理数体、实数体还有复数体。还有其他形式的体,例如有理函数体、代数函数体、代数数体、p进数体等,都很常在数学的领域中被使用或是研究,特别是数论或是代数几何。此外还有一些密码学上的安全协定都是依靠著有限体。
在两个体中的关系被表示成体扩张的观念。Galois理论,由ÉvaristeGalois在1830年代提出,致力于理解体扩展的对称性。其中Galois理论还有其他结果,解决了不能用尺规作图做出三等份角以及化方为圆的问题。此外,还解决了五次方程不能有公式解的问题。