アイゼンシュタインの既約判定法
複素係数多項式 X 2 + Y 2 − 1 {\displaystyle X^{2}+Y^{2}-1} は既約である。実際 C [ X ] {\displaystyle C[X]} 係数の一変数多項式と見て素元として X − 1 {\displaystyle X-1} と選べばよい。