代数的整数

数論において代数的整数（だいすうてきせいすう、英: algebraic integer）とは、ある整数係数モニック多項式の根となる複素数のことである。代数的整数の全体 A は加法と乗法について閉じており、ゆえに複素数環 C の部分環をなす。この環 A は有理整数環 Z の C における整閉包となっている。 代数体 K の整数環 OK は K ∩ A に等しく、また体 K の極大整環（英: maximal order）となっている。全ての代数的整数はそれぞれ何らかの代数体の整数環に属している。x が代数的整数であることは、環 Z[x] がアーベル群として有限生成（即ち有限生成 Z-加群）であることと同値である。