定義
有理整数環 Z 上整(前スレ１の506)な複素数を代数的整数と呼ぶ。