4

Find Galois group of $x^6-2x^4+2x^2-2$ over $\mathbb{Q}$ and describe an extension corresponding to any of it's proper subgroups of maximal order.

I know that the roots are $$\sqrt{\frac{1}{3}\left(2 - \frac{2}{\sqrt[3]{17 + 3\sqrt{33}}} + \sqrt[3]{17 + 3 \sqrt{33}}\right)}$$ and $$\sqrt{\frac{2}{3}+\frac{1\mp3i}{3\sqrt[3]{17 + 3\sqrt{33}}}-\frac{1}{6}(1\pm i\sqrt3)\sqrt[3]{17 + 3\sqrt{33}}}$$

This looks a bit too complex to me. Can you please help me?

UPD: I know that Galois group of $x^3-2x^2+2x-2$ is $S_3$.

2 Answers2

3

Hint: Write $x^6-2x^4+2x^2-2=g(x^2)$ and start by considering the spitting field of $g$ and its Galois group.

lhf
  • 216,483
  • Shall I find Galois group of $\mathbb{Q}(i,\sqrt3,\sqrt[3]{17+3\sqrt{33}})$? (Because one can construct the roots of $g(x^2)$ from these elements). – Maxim Nikitin May 30 '20 at 19:49
  • 2
    No need to actually compute the roots of $g$. Just their nature, real or complex. Learn about Galois groups of cubics here. – lhf May 30 '20 at 19:52
3

Let's write $$f(x)=x^6-2x^4+2x^2-2.$$ We immediately notice (see also lhf's answer) that $f(x)=g(x^2)$ where $g(x)=x^3-2x^2+2x-2.$ Furthermore, by Eisenstein's criterion ($p=2$) both $f(x)$ and $g(x)$ are irreducible in $\Bbb{Q}[x]$.

Because the quadratic $g'(x)=3x^2-4x+2$ has a negative discriminant, we can conclude that $g(x)$ is an everywhere increasing function of a real variable $x$. Consequently it has a single real zero and two complex ones. This means that adjoining the real zero of $g(x)$ won't give its splitting field. Therefore the splitting field $K$ of $g(x)$ must be a degree six extension of $\Bbb{Q}$.

If the roots of $g(x)$ in $\Bbb{C}$ are $y_1,y_2,y_3$, then the roots of $f(x)$ are $x_i=\sqrt{y_i}$, $i=1,2,3,$ (for some branch of the complex square root) and $x_{i+3}=-x_i, i=1,2,3$. If $L=\Bbb{Q}(x_1,\ldots,x_6)$ is the splitting field of $f(x)$ inside $\Bbb{C}$, then we can identify the Galois group $G=Gal(L/\Bbb{Q})$ with a subgroup of permutations of the roots, so $G\le S_6$. Obviously not all permutatios will occur as any automorphism $\tau\in G$ must observe the relations $x_{i+3}=-x_i$. Because $K$ is a normal extension of $\Bbb{Q}$, we know that $H=Gal(L/K)\unlhd G$. Furthermore, $G/H\simeq Gal(K/\Bbb{Q})\simeq S_3$.

To make further progress I invoke Dedekind's theorem. For proofs see this on our site and a proof by Tate. I also need help from Mathematica to factor $f(x)$ modulo a few primes.

Let's first figure out $[L:K]$. Clearly $$L=K(\sqrt{y_1},\sqrt{y_2},\sqrt{y_3}),$$ and adjoining those square roots in sequence either doubles the extension degree or doesn't do anything. Hence $[L:K]\in\{1,2,4,8\}$.

  • Modulo $p=3$ the polynomial $f(x)$ actually remains irreducible. This means that there exists a 6-cycle $\sigma\in G$. As $H$ is a 2-group, and $G/H\simeq S_3$, we see that the restriction of $\sigma$ to $K$ must have order three. Hence $\sigma^3\in H$, which easily implies that $\sigma^3(x_i)=-x_i$ for all $i$.
  • It can be seen that modulo $p=13$ we have the factorization $$f(x)=(x+4)(x+9)(x^5+x^2+5).$$ By Dedekind, this means that there is a 4-cycle $\tau\in G$. The automorphism $\tau$ keeps two of the roots fixed. Because $G$ acts on the set of six roots transitively, we can without loss of generality assume that those two roots are $x_1$ and $x_4=-x_1$ (we may need to replace $\tau$ with its conjugate in $G$ to achieve this).
  • Because there are no elements of order four in $S_3$, we see that the restriction $\tau^2$ to $K$ must be the identity. Because $\tau^2(y_i)=y_i, i=1,2,3,$ it follows that as a product of two disjoint 2-cycles, $\tau^2$ changes the signs of two pairs of roots.
  • As $L$ is gotten from $K$ by adjoining some square roots, $H=Gal(L/K)$ must be elementary 2-abelian. Any automorphism $\alpha\in H$ is fully determined by the choice of three signs $\epsilon_i\in\{\pm1\}$, $\alpha(\sqrt{y_i})=\epsilon_i\sqrt{y_i}, i=1,2,3.$. Conjugation by $\sigma$ shifts those three signs cyclically. Furthermore, we have seen $\sigma^3$ has $\epsilon_1=\epsilon_2=\epsilon_3=-1$, $\tau^2$ has two minus signs, and the conugate $\sigma\tau^2\sigma^{-1}$ has two minus signs at different positions. It follows that the group generated by $\sigma^3$, $\tau^2$ and $\sigma\tau^2\sigma^{-1}$ gives all the eight sign combinations.
  • Therefore $[L:K]=8$ and $Gal(L/K)\simeq C_2\times C_2\times C_2$.

It follows that $[L:\Bbb{Q}]=48=|G|$. Also, we see (a bit of work needed there) that the Galois group is the wreath product $G\simeq C_2\wr S_3$ consisting of all signed permutations of the three pairs of roots.

Jyrki Lahtonen
  • 133,153
  • Well, now we see that $G\simeq S_4\times S_2$. $S_4$ is it's maximal proper subgroup. How can we describe an extension corresponding to it? Shall we just construct an arbitrary polynomial with Galois group $S_4$? – Maxim Nikitin May 31 '20 at 16:00
  • 1
    @MaximNikitin I think you are right about $G$ being isomorphic to that group. The group of symmetries of a cube with $S_2$ generated by the negation (send all the points to the opposite side of the barycenter) and $S_4$ permuting the diagonals. I think that $\sqrt{y_1y_2y_3}=\sqrt{2}$ is a fixed point of your $S_4$, but I haven't checked everything. I would try that anyway. – Jyrki Lahtonen May 31 '20 at 16:08
  • Can I please ask you for some more details about how do we conclude that $G$ is the wreath product? – Maxim Nikitin Jun 01 '20 at 01:16
  • 1
    @MaximNikitin That wreath product is the group of all signed permutations $$(x_1,x_2,x_3)\mapsto (\pm x_{\sigma(1)},\pm x_{\sigma(2)},\pm x_{\sigma(3)})$$ with all sign combinations occurring and all permutations $\sigma\in S_3$. The fact that $\sigma$ ranges over all of $S_3$ comes basically from the fact that the Galois group of $g(x)$ is $S_3$. The fact that all the sign combinatiions occur is more or less what I try to cover in the bullets. The answer was composed while I was also thinking about the details. It might benefit from a bit of restructuring :-) – Jyrki Lahtonen Jun 01 '20 at 03:44
  • And is it true that $G\simeq C_2\wr S_3\simeq C_2\times C_2\times C_2\times S_3$? (I am not really familiar with wreath products and I wanted to clarify a bit :)) – Maxim Nikitin Jun 01 '20 at 08:41
  • 1
    That's ok @MaximNikitin. It is really the semidirect product $(C_2^3)\rtimes S_3$, where conjugation by an element of $S_3$ permutes the components of $C_2^3$. Here each copy of $C_2$ controls the sign of one of the roots $\pm\sqrt{y_i}$. – Jyrki Lahtonen Jun 01 '20 at 08:46