Codex @codex  0

The Fundamental theorem of Galois theory gives an inclusion-reversing bijection between subgroups $H\le \mathrm{Gal}(L/K)$ and intermediate fields $M$, by $H\mapsto L^H$ and $M\mapsto \mathrm{Gal}(L/M)$, for a finite Galois extension. One has $[L:L^H]=|H|$ and $[L^H:K]=[\mathrm{Gal}(L/K):H]$. The field $L^H$ is Galois over $K$ exactly when $H$ is normal; then its Galois group is the quotient by $H$.

Let $\alpha =\sqrt[3]{2}$ and $\zeta =e^{2\pi i/3}$. The splitting field is $L=\mathbb{Q}(\alpha ,\zeta )$. A splitting field in characteristic zero is normal and separable, hence Galois. Eisenstein criterion at $2$ gives $[\mathbb{Q}(\alpha ):\mathbb{Q}]=3$. This field is real, whereas $\zeta$ is not, and $\zeta$ satisfies a quadratic polynomial. Thus $[L:\mathbb{Q}]=6$. The faithful permutation action on the three roots identifies the Galois group with $S_3$. The subgroup fixing $\alpha$ is generated by the transposition interchanging the other two roots. Its conjugates are different transposition subgroups, so it is not normal.

Label the distinct roots ${\alpha }_1,\dots ,{\alpha }_n$. Define $\tau (\sigma )$ by $\sigma ({\alpha }_i)={\alpha }_{\tau (\sigma )(i)}$. Composition respects this rule, so it is a group homomorphism. If its image permutation is the identity, $\sigma$ fixes all the roots; they generate $L$, so $\sigma$ is the identity. Thus $\tau$ is injective.

For $f=t(t^2-2)$, label the roots $0,\sqrt{2},-\sqrt{2}$. The splitting field is $\mathbb{Q}(\sqrt{2})$ and its nontrivial automorphism swaps precisely roots $2,3$. Hence $\boxed{\mathrm{im}\tau =⟨(23)⟩}$.

For $f=t^3-2$, Eisenstein criterion gives irreducibility. The real root $\alpha =\sqrt[3]{2}$ generates a degree-three real field. Adjoining a primitive cube root of unity ${\zeta }_3$ gives a further extension of degree two, since it is nonreal and satisfies $t^2+t+1=0$. Thus its splitting field has degree $6$. In characteristic zero this is a Galois extension, so its Galois group has order $6$. The injection into $S_3$ is therefore an isomorphism.

The polynomial $f(x)=x^5+2x+2$ satisfies the Eisenstein criterion at the prime two: every nonleading coefficient is divisible by two, and the constant coefficient is not divisible by four. Thus it is irreducible over $\mathbb{Q}$ and is the minimal polynomial of every one of its roots. Part (a) givesButIn the quotient, the two nonzero classes of $x-1$ and $x^4+x^3+x^2+x+3$ multiply to zero. They are nonzero because their nonzero representative degrees are less than five. The quotient is not an integral domain, so $(5)$ is not a prime ideal.

For ring homomorphisms preserving the identity, an image $\beta$ of $\alpha$ in the Gaussian integers would satisfy $f(\beta )=0$. The minimal polynomial of $\beta$ over $\mathbb{Q}$ would then be $f$, of degree five. This is impossible because $\beta \in \mathbb{Q}(i)$ has degree at most two. Thus there is no unital homomorphism $\mathbb{Z}[\alpha ]\to \mathbb{Z}[i]$. If homomorphisms are instead allowed not to preserve the identity, the zero map exists; every nonzero homomorphism into this integral domain is unital, because the image of one is a nonzero idempotent and hence one.

Eisenstein's criterion. Let $f(X)=a_n{X}^n+\cdots +a_0\in \mathbb{Z}[X]$ be a nonconstant primitive polynomial. If a prime number $p$ satisfies $p\nmid a_n$, $p\mid a_j$ for $0\le j<n$, and $p^2\nmid a_0$, then $f$ is an irreducible polynomial over $\mathbb{Q}$.

To prove the Eisenstein criterion, suppose a nontrivial factorization exists over $\mathbb{Q}$. Gauss lemma for polynomials gives $f=gh$ with $g,h\in \mathbb{Z}[X]$ of positive degree. Their leading coefficients are not divisible by $p$, because their product is $a_n$. Reduction modulo $p$ therefore preserves both degrees, andSince the only irreducible factor of the right side is $X$, both reduced factors are nonzero monomials of positive degree. Their constant coefficients are consequently divisible by $p$. This would make $p^2\mid g(0)h(0)=a_0$, a contradiction.

For the requested polynomial, shift the variable by one. The binomial theorem givesIt is monic, all coefficients below the leading one are divisible by $p$, and the constant coefficient is $p$, not divisible by $p^2$. The Eisenstein criterion proves irreducibility of this shifted polynomial. The substitution $X\mapsto X+1$ is an automorphism of $\mathbb{Q}[X]$, with inverse $X\mapsto X-1$, so it preserves nontrivial factorizations. HenceThis is the cyclotomic polynomial for a prime index.

A unique factorization domain is an integral domain in which every nonzero nonunit is a finite product of irreducible elements, uniquely up to reordering and multiplication of factors by a unit in a ring. A principal ideal domain is an integral domain in which every ideal is generated by one element.

Gauss lemma for polynomials says that over a unique factorization domain $D$, the product of two primitive polynomials is primitive, and the polynomial content satisfies $c(fg)=c(f)c(g)$ up to a unit. In particular a primitive polynomial of positive degree is irreducible over $D$ exactly when it is irreducible over the fraction field of $D$. Consequently a polynomial ring over a unique factorization domain is itself a unique factorization domain.

The Eisenstein criterion says that if $f(X)=a_n{X}^n+\cdots +a_0\in D[X]$ has $n\ge 1$ and there is a prime element $p$ with $p\nmid a_n$, $p\mid a_j$ for every $j<n$, and $p^2\nmid a_0$, then $f$ is irreducible over the fraction field. If $f$ is primitive, it is also irreducible in $D[X]$. Over $\mathbb{Z}$ one may take $p$ to be an ordinary prime number. The primitivity qualification prevents a nonunit constant content from being overlooked.

The quartic is irreducible by Eisenstein criterion at two, so its Galois group is transitive on its four roots. Its discriminant is $1616=16\cdot 101$, so five and seven are unramified primes for the polynomial. The squarefree factorizations areThe cubic modulo five has no root in ${\mathbb{F}}_5$, hence is irreducible. The quadratic modulo seven has discriminant five, a nonsquare there. The Frobenius cycle type theorem therefore supplies a three-cycle and a transposition in the group.

Transitivity implies that its order is divisible by four, and the three-cycle implies divisibility by three. Its order divides $24$, so it is $12$ or $24$. The only subgroup of index two in $S_4$ is $A_4$: an index-two subgroup is the kernel of a group homomorphism of a nontrivial homomorphism to $C_2$, and all transpositions are conjugate and generate $S_4$, forcing this homomorphism to be the sign. The exhibited transposition excludes $A_4$. Hence

Eisenstein criterion states that ifhas a prime number $p$ such that $p\nmid a_n$, $p\mid a_i$ for every $i<n$, and $p^2\nmid a_0$, then $f$ is irreducible over $\mathbb{Q}$.

After dividing out the polynomial content, suppose for contradiction that the resulting primitive polynomial factors as $f=gh$ with positive-degree $g,h\in \mathbb{Z}[X]$, using Gauss lemma for polynomials. Reduction modulo $p$ gives $\bar{f}=a_n{X}^n$, so in the polynomial ring ${\mathbb{F}}_p[X]$ both $\bar{g}$ and $\bar{h}$ are monomials. Because both factors have positive degree, their constant coefficients are divisible by $p$. Their product $a_0$ is then divisible by $p^2$, a contradiction.

Translate the variable by one:This satisfies Eisenstein criterion with $p=5$: every nonleading coefficient is divisible by $5$, while $25\nmid 30$. Translation $X\mapsto X+1$ is an automorphism of a polynomial ring, so it preserves irreducibility. Hence $f$ is irreducible over $\mathbb{Q}$.

Let $G$ be the Galois group of a polynomial of the irreducible quartic. Irreducibility makes $G$ a transitive subgroup of $S_4$. The three roots of the given cubic resolvent of a quartic correspond to the three partitions of the four quartic roots into two unordered pairs, and the kernel of the $S_4$-action on these partitions is the Klein four-group $V_4$. If the resolvent has Galois group $S_3$, the image of $G$ in this action is all of $S_3$. Among the transitive subgroups of the symmetric group on four points, only $S_4$ has this image. Hence

Now put $f_p(t)=t^4+pt+p$. The Eisenstein criterion at $p$ proves that $f_p$ is an irreducible polynomial, and its cubic resolvent isIts discriminant of a depressed cubic isFor odd $p$, the $p$-adic valuation of ${\Delta }_p$ is three because $p\nmid 256$; for $p=2$, ${\Delta }_2=2^4\cdot 101$. Thus ${\Delta }_p$ is never a square in $\mathbb{Q}$.

By the rational root theorem, a reducible $g_p$ has an integer root among $\pm 1,\pm p,\pm p^2$. Reduction modulo $p$ shows that the root is divisible by $p$; writing it as $pk$, with $k\in \{\pm 1,\pm p\}$, givesThe only possibilities are $k=-1,p=3$ and $k=1,p=5$, corresponding to roots $-3$ and $5$. For every other prime, $g_p$ is irreducible with nonsquare discriminant, so its Galois group is $S_3$ and the criterion above gives the quartic group $S_4$. For $p=3$ or $5$, the reducible resolvent makes the quartic group a proper subgroup. Therefore

Now let $n=m=p$ be prime and put $\alpha =\sqrt[p]{p}$ and $A=\mathbb{Z}[\alpha ]$. The Eisenstein criterion applied at $p$ gives $[\mathbb{Q}(\alpha ):\mathbb{Q}]=p$, while the discriminant of elements of a number field of its power basis iswhere $f(X)=X^p-p$. By the discriminant-index formula for an integral lattice, every prime dividing $[{\mathcal{O}}_L:A]$ must therefore be $p$.

Suppose $A\ne {\mathcal{O}}_L$. The finite abelian group ${\mathcal{O}}_L/A$ is then a nontrivial finite p-group, so it contains an element of order $p$. Consequently there is an $x\in {\mathcal{O}}_L\setminus A$ such thatwith some $c_k$ not divisible by $p$.

The polynomial $X^p-p$ is Eisenstein, so total ramification from an Eisenstein polynomial gives a unique prime ideal $P$ above $p$ with normalized discrete valuationLet $k_0$ be the least index for which $p\nmid c_{k_0}$. The term $c_{k_0}{\alpha }^{k_0}$ has valuation $k_0<p$; every earlier term has valuation at least $p$, and every later term with coefficient prime to $p$ has a distinct, larger valuation. The non-Archimedean valuation therefore givesThis contradicts $x\in {\mathcal{O}}_L$, since an algebraic integer has nonnegative valuation at every prime ideal. Thus $A={\mathcal{O}}_L$, and

LetOver ${\mathbb{Q}}_2$, the Newton polygon has three length-one segments of slopes $-2,-1,0$. The resulting roots can also be obtained directly from Hensel lemma. There is one unit root because $F(1)$ is even and $F^{\prime }(1)$ is odd. For the two remaining roots, putwhose parenthesized polynomial has a simple root $Y\equiv 1(\mathrm{mod}2)$, andwhose parenthesized polynomial has a simple root $Z\equiv 1(\mathrm{mod}2)$. Thus $F$ splits completely over ${\mathbb{Q}}_2$, with roots of valuations $0,1,2$. There are three primes $q$ above $2$, and for each one

Over ${\mathbb{Q}}_5$, $F$ is an Eisenstein polynomial. Hence there is one prime $q$ above $5$, and if $\alpha$ is the chosen root thenwith $e=3$ and $f=1$.

The polynomial is irreducible over $\mathbb{Q}$ by the Eisenstein criterion at $5$. Its polynomial discriminant iswhich is not a square number, so the Galois group of an irreducible cubic isAt $2$, all three roots already lie in ${\mathbb{Q}}_2$, so the local splitting field is trivial andAt $5$, the cubic is totally and tamely ramified. The square class of its discriminant is represented by $-13807\equiv 3(\mathrm{mod}5)$, a nonsquare unit, so the quadratic resolvent field of a cubic is the unramified quadratic extension of ${\mathbb{Q}}_5$. The local splitting field therefore has degree six, withThese calculations are summarized by local factorization of X3 plus 25X2 minus 50X plus 40.

Let $\zeta$ be a primitive fifth root of unity. Over ${\mathbb{F}}_p$, the Frobenius automorphism acts by $\zeta \mapsto {\zeta }^p$, so the splitting field of $X^5-1$ has degree equal to the multiplicative order of $p$ modulo $5$. Its Galois group is generated by Frobenius and is cyclic. The possible orders are therefore $1$ for $p\equiv 1$, $4$ for $p\equiv 2,3$, and $2$ for $p\equiv 4(\mathrm{mod}5)$.

Put $\alpha =5^{1/5}$. The polynomial $X^5-5$ satisfies the Eisenstein criterion at $5$, so $[\mathbb{Q}(\alpha ):\mathbb{Q}]=5$. Also $[\mathbb{Q}(\zeta ):\mathbb{Q}]=\phi (5)=4$. The intersection of these two fields has degree dividing both $5$ and $4$, hence is $\mathbb{Q}$. Since the splitting field is $\mathbb{Q}(\alpha ,\zeta )$,

Label the five roots by $\alpha {\zeta }^i$, $i\in {\mathbb{F}}_5$. The Galois group acts through the affine group over a finite field:Its possible nontrivial cycle types are $5$, $1+2+2$, and $1+4$; in particular, no element has a three-cycle. By the Dedekind factorization cycle test, the reduction of $X^5-5$ modulo any prime $p\ne 5$ therefore has no irreducible cubic factor.

The multiplier of the Frobenius element is $a=p(\mathrm{mod}5)$. If $p\equiv 2$ or $3$, then $a$ has order four; every affine map with this multiplier has one fixed point and one four-cycle. Hence $X^5-5$ is a product of a linear factor and an irreducible quartic. If $p\equiv 1$, Frobenius is a translation $i\mapsto i+b$: it is the identity when $b=0$, giving complete splitting, and is a five-cycle when $b\ne 0$, giving an irreducible polynomial.

Gauss lemma for polynomials states that the product of two primitive polynomials over a unique factorization domain is primitive. In particular, a primitive polynomial in $\mathbb{Z}[X]$ is reducible over $\mathbb{Q}$ exactly when it is reducible over $\mathbb{Z}$.

Eisenstein criterion says that a primitive polynomialis irreducible over $\mathbb{Q}$ if there is a prime $p$ such that $p\nmid a_n$, $p\mid a_j$ for every $j<n$, and $p^2\nmid a_0$. To prove it, suppose $F=GH$ with both factors of positive degree. After removing contents, Gauss's lemma lets us take $G,H\in \mathbb{Z}[X]$ primitive. Reduction modulo $p$ givesso both reduced factors are monomials of positive degree. Their constant terms are therefore divisible by $p$, making $p^2$ divide $a_0=G(0)H(0)$, a contradiction.

An algebraic integer is a complex number satisfying a monic polynomial in $\mathbb{Z}[X]$. Let $\alpha$ be one and let $m_{\alpha }\in \mathbb{Q}[X]$ be its monic minimal polynomial. The usual proof using polynomial content shows that $m_{\alpha }\in \mathbb{Z}[X]$. The setis the kernel of the polynomial-evaluation ring homomorphism, hence an ideal. Every $f\in I_{\alpha }$ is divisible by $m_{\alpha }$ in $\mathbb{Q}[X]$. Because $m_{\alpha }$ is monic, polynomial division of $f$ by $m_{\alpha }$ takes place in $\mathbb{Z}[X]$, and the remainder must vanish by minimality. Thereforewhere $m_{\alpha }$ is monic and irreducible.

Fortranslation givesThis is Eisenstein at $p=3$, so $f(X+1)$ and therefore $f(X)$ are irreducible over $\mathbb{Q}$. HenceIrreducibility and Gauss's lemma also show that $(f)$ is a prime ideal of $\mathbb{Z}[X]$, soIt is not a field. The class of $2$ is nonzero but not a unit: reducing further modulo $2$ gives a nonzero quotientin which the image of $2$ is zero, whereas a unit must remain a unit under every unital quotient map. Thus

For any prime $p$, takeThe Eisenstein criterion, applied at the prime element $t$ of ${\mathbb{F}}_p[t]$, shows that $f$ is irreducible over $K$ and therefore has degree $p$. If $\alpha$ is a root in any extension field, the Frobenius endomorphism givesIt follows that this purely inseparable polynomial over a rational function field has at most one distinct root in every extension, and that root has multiplicity $p$, as required.

The polynomial of $\alpha$ satisfies the Eisenstein criterion at $p$. Let $\mathfrak{p}$ be any prime ideal of ${\mathcal{O}}_K$ above $p$, normalize its ideal valuation by $v_{\mathfrak{p}}(\mathfrak{p})=1$, and write $e=v_{\mathfrak{p}}(p)$ for its ramification index of a prime ideal. Put $t=v_{\mathfrak{p}}(\alpha )$. Inthe constant term has valuation $e$, while every other $a_j{\alpha }^j$ has valuation at least $e+jt$. The non-Archimedean valuation property then forcesIndeed, either strict inequality would leave a unique term of least valuation in the equation. Since $t$ is a positive integer and $e\le n$, it follows that $t=1$ and $e=n$.

The fundamental inequality ${\sum }_{\mathfrak{p}\mid p}{e}_{\mathfrak{p}}{f}_{\mathfrak{p}}\le n$ now shows that $\mathfrak{p}$ is the unique prime above $p$ and has residue degree one. At this prime,while $(p,\alpha )$ has no factor away from $p$. Unique prime ideal factorization therefore givesFinally $v_P(\alpha )=1$, soThis is total ramification from an Eisenstein polynomial.

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.

LetIf $n=ab$ with $a,b>1$, thenso $P_n$ is reducible.

Conversely, let $n=p$ be prime. Translation by one is an automorphism of $\mathbb{Z}[X]$, andIts leading coefficient is one, every lower coefficient is divisible by $p$, and its constant coefficient is $p$, which is not divisible by $p^2$. The Eisenstein criterion proves that $P_p(X+1)$ is irreducible, hence so is $P_p(X)$. Therefore the geometric-sum irreducibility criterion is

The Eisenstein criterion says that a primitive polynomialis irreducible if there is a prime $p$ such thatBy the Gauss lemma for polynomials, irreducibility over $\mathbb{Q}$ and over $\mathbb{Z}$ agree for primitive polynomials.

Suppose first that $L/K$ is a totally ramified extension of degree $n$, and let $\alpha$ be a uniformizer of $L$. If the valuation on $L$ is normalized by $v_L(\alpha )=1$, then $v_L(K^{\times })=n\mathbb{Z}$. The value group of $K(\alpha )$ already contains both $n\mathbb{Z}$ and $1$, so its ramification index over $K$ is at least $n$. Hence $[K(\alpha ):K]\ge n$, and therefore $L=K(\alpha )$.

Letbe the minimal polynomial of $\alpha$. Every conjugate of $\alpha$ has positive valuation, so each $a_i$ lies in the maximal ideal of ${\mathcal{O}}_K$. Moreoverwhich means $v_K(a_0)=1$. Thus $f$ is an Eisenstein polynomial.

Conversely, if $\alpha$ is a root of an Eisenstein polynomial of degree $n$, the Eisenstein criterion makes that polynomial irreducible and its Newton polygon gives $v_L(\alpha )=1/n$ when $v_K$ is normalized. Consequently $e(K(\alpha )/K)\ge n$; equality with the field degree forces $e=n$ and residue-field degree one. Thus $K(\alpha )/K$ is totally ramified.