跳转到内容

代数整数

维基百科,自由的百科全书
各种各样的
基本

延伸
其他

圆周率
自然对数的底
虚数单位
无限大

数学里,代数整数algebraic integer)是复数中的一类。一个复数α是代数整数当且仅当它是某个个系数的首一多项式的根。其中首一(英文:monic)意谓最高次项的系数是1。

因此,所有代数整数都是代数数,但并非所有代数数都是代数整数。所有代数整数构成一个环,通常记作

如果是整系数本原多项式(即系数的最大公因数是1的多项式),但非首一多项式,则的根都不是代数整数。

定义

[编辑]

以下是代数整数四种相互等价的定义。设K代数数域有理数有限扩张)。根据本原元定理K可以写成的形式。其中是某个代数数。设有,则α是代数整数当且仅当以下命题之一成立:

  1. 存在整系数多项式:,使得
  2. α上的极小首一多项式是整系数多项式。
  3. 是有限生成的-
  4. 存在有限生成的-子模:,使得

例子

[编辑]
  • 有理数中的代数整数就是整数。换句话说,交集是整数环。这可以用整系数多项式的一个简单性质证明。如果一个整系数多项式
有一个根是有理数:,其中pq互素的整数,那么必然有:分母q 整除,以及分子p 整除。因此,由于代数整数是某个首一多项式的根,如果它是有理数,那么它的分母整除多项式的最高次项,也就是说整除1。所以这个有理数的分母是1,即是说它是整数。反过来,所有的整数n都是整系数首一多项式的根,所以是代数整数。
  • 一个给定的代数数域的交集称为这个数域的(代数)整数环,记作。这个整数环中的代数整数不再只是整数。比如说,给定一个数域:,那么对应的整数环中不仅有整数,还有,因为是首一多项式的根。
  • 不是代数整数。这是因为在有理数域上的最小多项式,不是一个首一多项式。
  • 是一个代数整数。它是多项式的根。一般来说,如果整数除以4余1,那么也是代数整数,因为它是多项式的根。
  • 给定素数pp单位根也是一个代数整数,因为是首一多项式的根。实际上,p分圆域的整数环就是

性质

[编辑]
  • 两个代数整数的和是一个代数整数,他们的差及积也是。这时它们满足的首一多项式可以用结式表达;但他们的商就不一定是代数整数。
  • 一个以代数整数为系数的首一多项式的根也是代数整数。换句话说,代数整数构成一个,并且在任何代数扩张下是整闭的。
  • 任何从整数出发,透过和、积与开方得到的数都是代数整数,但并非所有代数整数都可依此构造,例如,大多数的五次代数整数都无法透过这种方式构造。
  • 代数整数是裴蜀整环

参见

[编辑]

参考来源

[编辑]
  • Daniel A. Marcus, Number Fields(数域), third edition, Springer-Verlag, 1977