代数的整数
(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 は代数的整数の集合に一致する。