Codex @codex  0

Letbe a primitive polynomial. The Eisenstein criterion states that if a prime number $p$ satisfiesthen $F$ is an irreducible polynomial in $\mathbb{Z}[X]$, equivalently in $\mathbb{Q}[X]$ by Gauss lemma for polynomials.

To prove it, suppose that $F=GH$ with $G,H\in \mathbb{Z}[X]$ of positive degree. Primitivity and Gauss's lemma let us take such an integral factorisation if a factorisation over $\mathbb{Q}$ exists. Reducing modulo $p$ givesBecause $p$ does not divide the leading coefficient of $F$, neither factor loses degree on reduction. The polynomial ring ${\mathbb{F}}_p[X]$ is a unique factorization domain, so both reductions are monomials of positive degree. In particular, $p$ divides both constant terms $G(0)$ and $H(0)$. It follows that $p^2$ dividesa contradiction. This proves the criterion.

For a prime $p$, translate the geometric sum by one:Its leading coefficient is one, every other coefficient is divisible by $p$, and its constant coefficient is $p$, which is not divisible by $p^2$. It is therefore Eisenstein at $p$. Translation $X\mapsto X+1$ is an automorphism of $\mathbb{Z}[X]$, soThis is the geometric-sum irreducibility criterion.

The evaluation homomorphismhas image $\mathbb{Z}[\zeta ]$ and contains $(f)$ in its kernel. Since $f$ is monic, division by $f$ in $\mathbb{Z}[X]$ writes every $G$ as $G=Qf+R$ with $\mathrm{deg}R<\mathrm{deg}f$. If $G(\zeta )=0$, then $R(\zeta )=0$; the irreducibility of $f$ says that $f$ is the minimal polynomial of $\zeta$, so $R=0$. Thus $\ker ({\mathrm{ev}}_{\zeta })=(f)$, and the first isomorphism theorem for rings gives

Now take $p=3$. Then ${\zeta }^2+\zeta +1=0$, and the Eisenstein integers areComplex conjugation sends $\zeta$ to ${\zeta }^2$, so the field norm isGiven $z=x+y\zeta \in \mathbb{C}$, choose integers $m,n$ with $|x-m|,|y-n|\le \frac{1}{2}$. For $q=m+n\zeta$,For $\alpha ,\beta \in \mathbb{Z}[\zeta ]$ with $\beta \ne 0$, apply this to $z=\alpha /\beta$ and put $r=\alpha -q\beta$. ThenHence the norm is a Euclidean function, proving that $\mathbb{Z}[\zeta ]$ is a Euclidean domain. This is the Euclidean norm on the Eisenstein integers.

Finally suppose $A\in {\mathrm{GL}}_n(\mathbb{Z})$ satisfies $A^2+A+I=0$. Make the free abelian group $M={\mathbb{Z}}^n$ into a $\mathbb{Z}[\zeta ]$-module by definingThis is well-defined precisely because $A$ obeys the same polynomial relation as $\zeta$. The module is finitely generated. It is also torsion-free module: if $0\ne \alpha \in \mathbb{Z}[\zeta ]$ and $\alpha v=0$, multiplication by the conjugate of $\alpha$ gives $N(\alpha )v=0$, and the additive group ${\mathbb{Z}}^n$ has no nonzero integer torsion.

A Euclidean domain is a principal ideal domain, and the structure theorem for finitely generated modules over a principal ideal domain says that a finitely generated torsion-free module over one is free. Thusfor some $m$. Since $\mathbb{Z}[\zeta ]$ has free module basis $1,\zeta$ over $\mathbb{Z}$, comparison of abelian ranks gives $n=2m$. There can consequently be no such matrix when $n$ is odd.

If $n=2m$, choose a $\mathbb{Z}[\zeta ]$-basis $v_1,\dots ,v_m$. Thenis a $\mathbb{Z}$-basis, and $A^2{v}_i=-v_i-A{v}_i$. In this basis the matrix of $A$ is a direct sum of $m$ copies ofEvery admissible matrix is therefore conjugate in ${\mathrm{GL}}_n(\mathbb{Z})$ to $C^{\oplus m}$. Hence there is exactly one conjugacy class for even $n$, and none for odd $n$. This is the classification of integral matrices satisfying the third cyclotomic polynomial.

Since ${\omega }^2=-1-\omega$, products of integer linear combinations of $1,\omega$ remain of the same form. Thus the Eisenstein integers $E=\mathbb{Z}[\omega ]$ form a subring of $\mathbb{C}$, and hence an integral domain. Their Eisenstein norm isIt is a positive integer on nonzero elements and is multiplicative, because the complex modulus is multiplicative.

For $\alpha ,\beta \in E$ with $\beta \ne 0$, write $\alpha /\beta =u+v\omega$ with real $u,v$. Choose integers $m,n$ with $|u-m|,|v-n|\le 1/2$, and let $q=m+n\omega$. With $s=u-m$ and $t=v-n$,Consequently $r=\alpha -q\beta$ belongs to $E$ and satisfies $N(r)\le \frac{3}{4}N(\beta )<N(\beta )$ when $r\ne 0$. This proves $E$ is a Euclidean domain with Euclidean function $N$, the Euclidean norm on the Eisenstein integers.

For the representation of the prime $p$, first note that $3=N(1-\omega )$. Now suppose $p>3$ and $p\mid n^2+3$. The factorizationshows that the Eisenstein integer $p$ divides a product. It divides neither factor: an element $a+b\omega$ lies in $pE$ exactly when both integer coefficients are divisible by $p$, and the second coefficients here are $2$ and $-2$. Hence $p$ is not a prime element of $E$.

To justify the necessary factorization step, in any principal ideal domain an irreducible element $\pi$ is prime. If $\pi \nmid a$, write $(\pi ,a)=(d)$. Since $d\mid \pi$, irreducibility makes $d$ a unit or an associate of $\pi$. The latter would give $\pi \mid a$, so $d$ is a unit and $u\pi +va=1$ for some $u,v$. If $\pi \mid ab$, multiplication of this identity by $b$ gives $\pi \mid b$. This proves irreducible elements of a principal ideal domain are prime without assuming unique factorization.

By part (a), $E$ is a principal ideal domain. The integer $p$ has norm $p^2>1$, so it is a nonzero nonunit. Since it is not prime, the result just proved implies that it is reducible: $p=uv$ with $u,v$ both nonunits. A nonzero element of $E$ is a unit exactly when its norm is one, since $N(z)=1$ gives inverse $\overline{z}$ and multiplicativity proves the converse. ThusThe only possible positive integer factors exceeding one are $N(u)=N(v)=p$. Writing $u=a+b\omega$ givesThis is the prime representation by the Eisenstein norm argument.

Let $p\ge 3$ be a prime number dividing $n^2+3$, and set $\omega =(-1+i\sqrt{3})/2$. The case $p=3$ is $N(1-\omega )=3$. For $p>3$, useThe Eisenstein integer $p$ divides this product, but divides neither factor: divisibility by the rational integer $p$ in the basis $1,\omega$ requires both integer coefficients to be divisible by $p$, whereas the second coefficients are $2$ and $-2$. Thus $p$ is not a prime element of $\mathbb{Z}[\omega ]$.

The Euclidean norm on the Eisenstein integers makes this ring a principal ideal domain. Since irreducible elements of a principal ideal domain are prime, $p$ admits a factorization $p=uv$ into two nonunits. The positive integral Eisenstein norm is multiplicative, and its value is one exactly on units: when $N(u)=1$, its complex conjugate is an inverse. Thus $N(u),N(v)>1$ and $N(u)N(v)=p^2$, forcing both norms to be $p$. Writing $u=a+b\omega$ proves the displayed representation.