3
$\begingroup$

Let $K$ be the subfield of $\mathbb{C}$ generated by all the $n$-th roots of unity for all $n$ over $\mathbb{Q}$. Let $\bar{\mathbb{Q}}$ be the algebraic closure of $\mathbb{Q}$ in $\mathbb{C}$. Is $Gal(\bar{\mathbb{Q}}/K)$ an infinite non-abelian group?

  • 0
    yes, very. As you know, $K$ is the max ab of $\mathbb Q$, and this is relatively small extension, as these things go.2012-11-11
  • 0
    @Lubin I guessed so. I would like to know the proof.2012-11-11
  • 0
    The only thing that pops into my mind is something unnecessarily complicated. Let me think about it a bit more.2012-11-11

1 Answers 1

4

Here’s an argument that’s fairly crude, to show that $K$ has nonabelian extensions of arbitrarily large degree, which will answer your question positively, but I’m sure that many others can give better.

We know that “generically”, whatever that means, all $n$-th degree polynomials over $\mathbb Q$ have Galois group $\mathcal S_n$, the full symmetric group on $n$ letters. For each $n$, let $F^0_n$ be the splitting field of one of these, and let $F_n=KF^0_n$, an extension of $K$ that you see has Galois group $\mathcal A_n$, the $n$-th alternating group. And there you are.

  • 0
    Could you explain why $Gal(F_n/K) = A_n$?2012-11-11
  • 0
    Sure, it’s because $K\cap F^0_n$ is quadratic over $\mathbb Q$. Then apply the theorem about the Galois group of $KF^0_n$ over $K$ versus the Galois group of $F^0_n$ over $\mathbb Q$, which I'm sure you know. I always think of it as the Theorem on Natural Irrationalities, but I may be misattributing here.2012-11-11
  • 0
    Thanks. "$K \cap F_n^0$ is quadratic over $\mathbb{Q}$" I think this is reduced to the following question. http://math.stackexchange.com/questions/235196/quotient-groups-of-a-finite-symmetric-group Here is a proof of the existence of a Galois extension $F_n^0/\mathbb{Q}$ whose Galois group is $S_n$ http://math.stackexchange.com/questions/165675/constructing-a-galois-extension-field-with-galois-group-s-n2012-11-11
  • 0
    Sure you have to be aware that for $n\ge5$, the only nontrivial abelian quotient is cyclic of order two.2012-11-11