1. 代数数: $\al\in\bbC$ 称为代数数, 如果它是某个系数为有理数的非零多项式的根.

2. 代数数全体构成一个域. (利用伙伴矩阵, 张量积很容易证明)

3. 代数整数: $\al\in\bbC$ 称为代数整数, 如果它是某个首一整系数多项式的根.

4. 代数整数的全体构成一个环.

[再寄小读者之数学篇](2014-11-14 矩阵的应用: 数论)