5
$\begingroup$

My question is about the realization of the symmetric group $S_n$ as a galois group of a real and normal field extension $K/\mathbb Q$. As I read, such a field $K$ can be obtained as the splitting field of a polynomial

$$f(x)=\alpha_0 + \alpha_1 x + ... + \alpha_{n-1}x^{n-1}+ x^n \in \mathbb Q[x] $$

in which all the coefficients $\alpha_i$ have to be integral for the prime numbers 2 and 3.

Furthermore, the following properties have to be satisfied:

(1) $\ f \text{ mod }3$ is irreducible

(2) $\ f \equiv (x^2+x+1)\cdot f_1 \cdots f_k \text{ mod }2$

where $f_i \in \mathbb Z / 2 \mathbb Z[x]$ are different and irreducible polynomials with odd degree.

(3) $f$ have to be near at $(x-1)\cdot (x-2) \cdots (x-n) = \beta_0 + \beta_1 x + ... + \beta_{n-1}x^{n-1}+ x^n$,

that does mean $|\alpha_i - \beta_i|< \varepsilon$ for all $i$ and $\varepsilon$ should be chosen so small, that there are $n$ real roots of $f$.

Now, it is claimed, that because of (1) the galois group of $f$ over $\mathbb Q$ is a transitive subgroup of $\mathbb S_n$. I think, this is true, because of the fact, that $f$ is also irreducible in $\mathbb Q[x]$ and therefore the galois group acts transitively on the roots of $f$.

Ok, now comes an assertion that I don't understand: Because of (2) the galois group of $f$ over $\mathbb Q$ contains a transposition. Please could you explain that to me? I think, (2) shows, that there is a permutation of the form $(ab)(...)...(...)$. But how to continue the argument?

If the galois group contains a transposition, than it is $S_n$ (this is clear and well-known).

And the second assertion I don't understand well: "Because of (3) the splitting field $K$ of $f$ is real." How to explain this in detail?

Thanks in advance!

  • 3
    Raise your $(ab)(\ldots)\cdots$ to an odd power...2012-03-30
  • 0
    for the second statement (but not in detail :) - if you change a polynomial a bit, then its roots move a bit; it works especially well if the derivatives at those roots are non-zero. As complex roots of real polynomial come in conjugate pairs, all the roots will be indeed real. BTW I'd like to know it there is an elementary proof of "(2) implies a permutation $(ab)(\dots)\dots$". The proof I know requires the use of $\mathbb{Q}_3$.2012-03-30
  • 4
    @user8268: A theorem of Dedekind implies you can reduce a polynomial mod $p$, and the factorization mod $p$ gives you the cycle type of a permutation in the Galois group (as long as the reduction stays separable). This is theorem 4.37 in Jacobson's *Basic Algebra I*.2012-03-30
  • 2
    BTW, the statement "If a [G]alois group contains a transposition, th[e]n it is $S_n$" is clearly false, as any polynomial with Galois group $D_8$ shows.2012-03-30
  • 0
    You're right. There must exist a transposition, a $n-1$-cycle and the galois group have to be a transitive subgroup of $S_n$. Then the galois group is $S_n$. But I can't see, why a $n-1$-cycle exists.2012-03-30
  • 0
    There seems to be more here than group theory, since $D_8$ is clearly a counterexample to the group theory claim, yet I cannot produce a polynomial which has Galois group $D_8$ and satisfies your (1) and (2).2012-03-30
  • 0
    Never mind, $x^4+7x+14$ satisfies (1) and (2), yet the Galois group is $D_8$.2012-03-30
  • 0
    @SteveD Please consider converting your comment into an answer, so that this question gets removed from the [unanswered tab](http://meta.math.stackexchange.com/q/3138). If you do so, it is helpful to post it to [this chat room](http://chat.stackexchange.com/rooms/9141) to make people aware of it (and attract some upvotes). For further reading upon the issue of too many unanswered questions, see [here](http://meta.stackexchange.com/q/143113), [here](http://meta.math.stackexchange.com/q/1148) or [here](http://meta.math.stackexchange.com/a/9868).2013-06-23

1 Answers 1