「代数的数」とは異なります。
数論において代数的整数（だいすうてきせいすう、英: algebraic integer）とは、ある整数係数モニック多項式の根となる複素数のことである。代数的整数の全体 A は加法と乗法について閉じており、ゆえに複素数環 C の部分環をなす。この環 A は有理整数環 Z の C における整閉包となっている。
代数体 K の整数環 OK は K ∩ A に等しく、また体 K の極大整環（英: maximal order
）となっている。全ての代数的整数はそれぞれ何らかの代数体の整数環に属している。x が代数的整数であることは、環 Z[x] がアーベル群として有限生成（即ち有限生成 Z-加群）であることと同値である。以下は α ∈ K が代数的整数であることの同値な定義である。ここで K は代数体（有理数体 Q の有限拡大）とする。原始元定理より、この K は適当な代数的数 θ ∈ C によって K = Q(θ) とすることもできる。
f (α) = 0 を満たすモニック多項式 f (x) ∈ Z[x] が存在する。
α の Q 上の最小モニック多項式 f (x) ∈ Z[x] が存在する。
Z[α] が有限生成 Z-加群となる。
αM ⊆ M を満たす有限生成 Z-部分加群 0 ≠ M ⊂ C が存在する。
代数的整数は有限拡大 K / Q の整元となっている。即ち代数的整数は環の拡大における整元の特別な場合である。
代数的整数をこのように定義する背景には次のような考え方がある[1]。まず、有理数に対する整数のように、代数的数全体の集合の中で「整数の集合」S が何らかの方法で定義できたとする。すると S は次の性質を持っているはずである。(S1) S は加減算と乗算で閉じている。(S2) S の元の任意の共役は S に含まれる。(S3) 有理整数はすべて S に属し、S に含まれる有理数は有理整数のみである。(S4) S は以上の性質を持つ集合の中でなるべく大きいものである。
このような性質を持つ集合 S は実は代数的整数の集合と一致する。実際、S の任意の元 α に対してその有理数体上の最小多項式 f を取ってみる。f の係数は α の共役達の基本対称式であるから、(S2)と(S1)よりこれは S に含まれる。f の係数は有理数であるから、(S3)よりこれらは有理整数である。よって f は有理整数係数のモニック多項式であるから α は代数的整数である。したがって S は代数的整数の集合に含まれる。代数的整数の集合は(S1)?(S3)を満たす集合であるので、(S4)により S は代数的整数の集合に一致する。
代数的整数となる例
有理数のうち代数的整数となるのは有理整数に限る。即ち Q ∩ A は Z に等しい。有理数 .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}a/b は b が a を割り切らなければ代数的整数とはならない（多項式 bx − a の主係数が b であることに注意）。ほか、非負整数 n の平方根 √n が有理整数となるのは n が平方数のときに限り、それ以外のときは無理数となる。
d が平方因子をもたない整数のとき、拡大 K = Q(√d) は二次体となる。ここで √d はモニック多項式 x2 − d の根であるから、K の代数的整数環 OK は √d をもつ。加えて d が d ≡ 1 (mod 4) を満たすとき、元 1 + √d/2 もまた代数的整数となる。これは、x = 1 + √d/2 を根として持つ二次多項式 x2 − x + 1 − d/4 の定数項
