# Galois group and traslations by rational numbers.

Is a well known result that, for every $n \in \mathbb{N}$, there exist an irreducible polynomial $p \in \mathbb{Q}[x]$ such that the Galois Group of its splitting field is $S_n$.

Now my question:

Given a polynomial $g(x) \in \mathbb{Q}[x]$ of degree $n$ is true that there exist a rational number $q$ such that the Galois Group of $g(x)+q$ is $S_n$?

Edit: A more complicated question:

Let's fix $g(x) \in \mathbb{Q}[x]$ of degree $n$ and define $GAL(n)$ as the set of groups that can be realized as Galois Group of a polynomial of degree $n$.

Consider the map from $\mathbb{Q}$ to $GAL(n)$ that sends $q \in\mathbb{Q}$ to $Gal (g(x)+q)$.

Is this map surjective?

• The answer to the first question (and hence also the second) is no, unless you assume something more about the polynomial (take $g(x) = x^n$ to see this). Jun 26, 2015 at 14:43
• Do you think that could be more interesting if such polynomial is squarefree? Jun 26, 2015 at 14:47
• I am not sure what sort of condition on the polynomial will work (if any will). I think for degree $5$ the polynomial $x^5 + x$ works (but I might recall incorrectly. Jun 26, 2015 at 14:49
• Maybe you should revert to the original here and ask the new version as a new question. It seems a shame that the answer now doesn't answer the question. Jun 26, 2015 at 15:03

No. Take $g(x)=x^4$, and consider the polynomial $x^4+q$, where $q$ is a rational number.
If $q$ is negative, then the roots of $x^4+q$ in $\mathbb{C}$ are $\sqrt{-q}, i\sqrt{-q}, -\sqrt{-q}$ and $-i\sqrt{-q}$, where $\sqrt{-q}$ is the positive real fourth root of $-q$. Then the decomposition field of $x^4+q$ is $$\mathbb{Q}( \sqrt{-q}, i\sqrt{-q}) = \mathbb{Q}( \sqrt{-q}, i)$$ which has degree at most $8$ over $\mathbb{Q}$. Thus the Galois group has order at most $8$, and cannot be $S_4$.
Now, if $q$ is positive, then take $\zeta = e^{i\pi/4}$, a primitive eight root of unity. Then the roots of $x^4+q$ are $\zeta \sqrt{q}, \zeta^3 \sqrt{q}, \zeta^5 \sqrt{q}$ and $\zeta^7 \sqrt{q}$. The field of decomposition is then $$\mathbb{Q}(\zeta \sqrt{q}, i),$$ which again is of degree at most $8$.
• Taking $g(x) = x^4+2$ instead, you get the same result, but this time $g(x)$ is both squarefree and irreducible. Jun 26, 2015 at 14:55
• Yes, you're right. I think the real interesting condition is $g'(x) \notin (x)$ Jun 26, 2015 at 14:59
• @JosephCurwen, your suggestion is good, but it’s specific to the point $x=0$ on the line, while the question is invariant under translations of the line. I think that when you smear your suggestion over the whole line, it becomes the hypothesis that $g$ has all roots simple. [ Whoops — not quite right, but I’ll leave what I said anyway. ] Jun 26, 2015 at 22:09