代數整數
各式各樣的數 |
基本 |
延伸 |
其他 |
在數學裡,代數整數(algebraic integer)是複數中的一類。一個複數α是代數整數若且唯若它是某個個整系數的首一多項式的根。其中首一(英文:monic)意謂最高冪次項的系數是1。
定義
以下是代數整數四種相互等價的定義。設K為代數數域(有理數域 的有限擴張)。根據本原元定理,K可以寫成 的形式。其中 是某個代數數。設有 ,則α是代數整數若且唯若以下命題之一成立:
- 存在整係數多項式: ,使得 。
- α在 上的極小首一多項式是整係數多項式。
- 是有限生成的 -模。
- 存在有限生成的 -子模: ,使得 。
例子
- 有理數域 中的代數整數就是整數。換句話說, 和 交集是整數環 。這可以用整係數多項式的一個簡單性質證明。如果一個整係數多項式
- 有一個根是有理數: ,其中p、q是互素的整數,那麼必然有:分母q 整除 ,以及分子p 整除 。因此,由於代數整數是某個首一多項式的根,如果它是有理數,那麼它的分母整除多項式的最高冪次項,也就是說整除1。所以這個有理數的分母是1,即是說它是整數。反過來,所有的整數n都是整係數首一多項式 的根,所以是代數整數。
- 一個給定的代數數域 與 的交集稱為這個數域的(代數)整數環,記作 。這個整數環中的代數整數不再只是整數。比如說,給定一個數域: ,那麼對應的整數環中不僅有整數,還有 ,因為 是首一多項式 的根。
- 不是代數整數。這是因為 在有理數域上的最小多項式是 ,不是一個首一多項式。
- 是一個代數整數。它是多項式 的根。一般來說,如果整數 除以4餘1,那麼 也是代數整數,因為它是多項式 的根。
性質
參見
參考來源
- Daniel A. Marcus, Number Fields(數域), third edition, Springer-Verlag, 1977