代數整數

各种各样的数

基本

$\mathbb {N} \subseteq \mathbb {Z} \subseteq \mathbb {Q} \subseteq \mathbb {R} \subseteq \mathbb {C}$

正數 $\mathbb {R} ^{ }$
自然数 $\mathbb {N}$
正整數 $\mathbb {Z} ^{ }$
小数
 有限小数
 无限小数
 循环小数
 有理数 $\mathbb {Q}$
代數數 $\mathbb {A}$
实数 $\mathbb {R}$
複數 $\mathbb {C}$
高斯整數 $\mathbb {Z} [i]$

负数 $\mathbb {R} ^{-}$
整数 $\mathbb {Z}$
负整數 $\mathbb {Z} ^{-}$
分數
 單位分數
 二进分数
 規矩數
 無理數
 超越數
 虚数 $\mathbb {I}$
二次無理數
 艾森斯坦整数 $\mathbb {Z} [\omega ]$

延伸

二元数
 四元數 $\mathbb {H}$
八元数 $\mathbb {O}$
十六元數 $\mathbb {S}$
超實數 $^{*}\mathbb {R}$
大實數
 上超實數

雙曲複數
 雙複數
 複四元數
共四元數（英语：Dual quaternion）
超复数
 超數
 超現實數

其他

質數 $\mathbb {P}$
可計算數
 基數
 阿列夫數
 同餘
 整數數列
 公稱值

規矩數
 可定义数
 序数
 超限数
 $p$ 進數
 数学常数

圓周率 $\pi =3.14159265$ …
自然對數的底 $e=2.718281828$ …
虛數單位 $i={\sqrt {-{1}}}$
無限大 $\infty$

在數學裡，代數整數（algebraic integer）是複數中的一类。一个複数α是代数整数当且仅当它是某个個整系數的首一多項式 $P(x)$ 的根。其中首一（英文：monic）意謂最高冪次項的系數是1。

因此，所有代數整數都是代數數，但並非所有代數數都是代數整數。所有代数整数构成一个环，通常记作 $\mathbb {A}$ 。

如果 $P(x)$ 是整係數本原多項式（即系數的最大公因数是1的多项式），但非首一多項式，則 $P$ 的根都不是代數整數。

定义

以下是代数整数四种相互等价的定义。设 $K$ 为代数数域（有理数域 $\mathbb {Q}$ 的有限扩张）。根据本原元定理， $K$ 可以写成 $K=\mathbb {Q} (\theta )$ 的形式。其中 $\theta \in \mathbb {C}$ 是某个代数数。设有 $\alpha \in K$ ，则 $α$ 是代数整数当且仅当以下命题之一成立：

存在整系数多项式： $P=X^{m} a_{1}X^{m-1} \cdots a_{m-1}X a_{m}\in \mathbb {Z} [X]$ ，使得 $P(\alpha )=0$ 。
$α$ 在 $\mathbb {Q}$ 上的极小首一多项式是整系数多项式。
$\mathbb {Z} [\alpha ]$ 是有限生成的 $\mathbb {Z}$ $-$ 模。
存在有限生成的 $\mathbb {Z}$ $-$ 子模： $M\subset \mathbb {C}$ ，使得 $\alpha M\subseteq M$ 。

例子

有理数域 $\mathbb {Q}$ 中的代数整数就是整数。换句话说， $\mathbb {A}$ 和 $\mathbb {Q}$ 交集是整数环 $\mathbb {Z}$ 。这可以用整系数多项式的一个简单性质证明。如果一个整系数多项式

P(x)=a_{0} a_{1}x \cdots  a_{m}x^{m}

有一个根是有理数：

\scriptstyle r={\frac {p}{q}}

，其中p、q是互素的整数，那么必然有：分母q 整除

a_{m}

，以及分子p 整除

a_{0}

。因此，由于代数整数是某个首一多项式的根，如果它是有理数，那么它的分母整除多项式的最高冪次項，也就是说整除1。所以这个有理数的分母是1，即是说它是整数。反过来，所有的整数n都是整系数首一多项式

\displaystyle x-n

的根，所以是代数整数。

一个给定的代数数域 $\mathbb {K}$ 与 $\mathbb {A}$ 的交集称为这个数域的（代数）整数环，记作 ${\mathcal {O}}_{K}$ 。这个整数环中的代数整数不再只是整数。比如说，给定一个数域： $\mathbb {K} =\mathbb {Q} ({\sqrt {2}})$ ，那么对应的整数环中不仅有整数，还有 ${\sqrt {2}}$ ，因为 ${\sqrt {2}}$ 是首一多项式 $\scriptstyle x^{2}-2$ 的根。

$\scriptstyle {\frac {\sqrt {2}}{2}}$ 不是代数整数。这是因为 $\scriptstyle {\frac {\sqrt {2}}{2}}$ 在有理数域上的最小多项式是 $\scriptstyle 2x^{2}-1$ ，不是一个首一多项式。

$\scriptstyle {\frac {1 {\sqrt {5}}}{2}}$ 是一个代数整数。它是多项式 $\scriptstyle x^{2}-x-1$ 的根。一般来说，如果整数 $\scriptstyle d$ 除以4余1，那么 $\scriptstyle {\frac {1 {\sqrt {d}}}{2}}$ 也是代数整数，因为它是多项式 $\scriptstyle x^{2}-x-{\frac {d-1}{4}}$ 的根。

给定素数 $p$ ， $p$ 次单位根 $\zeta _{p}$ 也是一个代数整数，因为是首一多项式 $\displaystyle x^{p}-1=0$ 的根。实际上， $p$ 次分圆域 $\mathbb {Q} (\zeta _{p})$ 的整数环就是 $\mathbb {Z} [\zeta _{p}]$ 。

性质

兩個代數整數的和是一個代數整數，他們的差及積也是。這時它們滿足的首一多項式可以用結式表達；但他們的商就不一定是代數整數。
一個以代數整數為系數的首一多項式的根也是代數整數。換句話說，代數整數構成一個環，並且在任何代數擴張下是整閉的。
任何從整數出發，透過和、積與开方得到的數都是代數整數，但並非所有代數整數都可依此構造，例如，大多數的五次代數整數都無法透過這種方式構造。
代數整數是裴蜀整环。

參見

参考来源

Daniel A. Marcus, Number Fields（数域）, third edition, Springer-Verlag, 1977