代数的整数

数論において代数的整数（だいすうてきせいすう、）とは、ある整数係数モニック多項式の根となる複素数のことである。代数的整数の全体  は加法と乗法について閉じており、ゆえに複素数環  の部分環をなす。この環 A は有理整数環 Z の C における整閉包となっている。

代数体 K の整数環 O は K ∩ A に等しく、また体 K の極大整環（）となっている。全ての代数的整数はそれぞれ何らかの代数体の整数環に属している。x が代数的整数であることは、環 Z[x] がアーベル群として有限生成（即ち有限生成 Z-加群）であることと同値である。

 定義 
以下は  が代数的整数であることの同値な定義である。ここで K は代数体（有理数体 Q の有限拡大）とする。原始元定理より、この K は適当な代数的数 θ ∈ C によって K = Q(θ) とすることもできる。
  を満たすモニック多項式  が存在する。
  の  上の最小モニック多項式  が存在する。
 Z[α] が有限生成 Z-加群となる。
 αM ⊆ M を満たす有限生成 Z-部分加群 0 ≠ M ⊂ C が存在する。
代数的整数は有限拡大 K / Q の整元となっている。即ち代数的整数は環の拡大における整元の特別な場合である。

代数的整数をこのように定義する背景には次のような考え方がある。まず、有理数に対する整数のように、代数的数全体の集合の中で「整数の集合」 が何らかの方法で定義できたとする。すると  は次の性質を持っているはずである。

 (S1)  は加減算と乗算で閉じている。
 (S2)  の元の任意の共役は  に含まれる。
 (S3) 有理整数はすべて  に属し、 に含まれる有理数は有理整数のみである。
 (S4)  は以上の性質を持つ集合の中でなるべく大きいものである。

このような性質を持つ集合  は実は代数的整数の集合と一致する。実際、 の任意の元  に対してその有理数体上の最小多項式  を取ってみる。 の係数は  の共役達の基本対称式であるから、(S2)と(S1)よりこれは  に含まれる。 の係数は有理数であるから、(S3)よりこれらは有理整数である。よって  は有理整数係数のモニック多項式であるから  は代数的整数である。したがって  は代数的整数の集合に含まれる。代数的整数の集合は(S1)～(S3)を満たす集合であるので、(S4)により  は代数的整数の集合に一致する。

 代数的整数となる例 
 有理数のうち代数的整数となるのは有理整数に限る。即ち  は  に等しい。有理数  は  が  を割り切らなければ代数的整数とはならない（多項式  の主係数が  であることに注意）。ほか、非負整数  の平方根  が有理整数となるのは  が平方数のときに限り、それ以外のときは無理数となる。
  が平方因子をもたない整数のとき、拡大  は二次体となる。ここで  はモニック多項式  の根であるから、 の代数的整数環  は  をもつ。加えて  が  を満たすとき、元  もまた代数的整数となる。これは、 を根として持つ二次多項式  のが、 のとき整数となるためである。 は  と  よりそれぞれ生成される。詳細は :en:Quadratic integer を参照。
 平方因子を持たない互いに素な整数  に対し  とし、さらに  とする。このとき体  の整数環は以下の整数底を持つ, chapter 2, p. 38 and exercise 41.。

  を 1 の原始  乗根とする。このとき円分体  の整数環は  に等しい。
  が代数的整数ならば  もまた代数的整数となる。これは  についての多項式に  を代入すると  についての多項式が得られるためである。

 代数的整数とならない例 
  をモニックでない整数係数で、かつ  上既約であるとする。このとき  の根は代数的整数とならない。（ここで原始多項式とは、係数の最大公約数が 1 であるような多項式のことを言う。これは「係数が互いに素であるような多項式」よりも弱い条件である。）

 性質 
 二つの代数的整数の和、差、積もまた代数的整数となる。ただし一般に商は代数的整数とならない。これは代数的整数  とその積  について、それらを根とするモニック多項式の次数を比べると、一般に  のほうが高くなるためである。このことは終結式を求めて因数分解することで分かる。例として、代数的整数  がモニック多項式  を満たすとし、加えて積を  とおく。これらの左辺の多項式から終結式を用いて  と  を消去することで、 に関するモニック多項式  が得られる。この多項式は既約であり、 を根に持つ。（ は多項式  に対して  を定数とみたときの終結式となっている。このことは「与えられた多項式  の終結式は  が生成するイデアルに属する」ことからも確認できる。）
 上の理由より、整数から冪根・加法・乗法を用いて構成可能な数は全て代数的整数である。しかしその逆、即ち「全ての代数的整数が整数から冪根・加法・乗法を用いて構成可能」は成り立たない。素朴な例としては、五次の既約多項式の根の殆どは整数から冪根・加法・乗法を用いて構成可能でないことがアーベル・ルフィニの定理から従う。
 代数的整数を係数とするモニック多項式の根は全て代数的整数となる。即ち代数的整数は、任意の拡大に対し整閉であるような環をなす。
 より、代数的整数環  はベズー整域となる。

 脚注 

 参考文献 

 Daniel A. Marcus, Number Fields, third edition, Springer-Verlag, 1977

 関連項目 
ガウス整数
アイゼンシュタイン整数
1の冪根
ディリクレの単数定理
基本単数
整元：代数的整数の環への拡張
代数的数
シルベスター行列

Category:代数的整数論
*たいすうてきせいすう
Category:数学に関する記事