4
$\begingroup$

Suppose I have a field $k$ and two extensions $K/k$ and $L/k$ which are both abelian Galois extensions of $k$. Then (assuming $K$ and $L$ are both contained in some bigger field) is the compositum $KL$ an abelian Galois extension of $k$?

2 Answers 2

14

Let $\psi\colon \text{Gal}(KL/k) \rightarrow \text{Gal}(K/k)\times \text{Gal}(L/k)$ be a map such that $\psi(\sigma) = (\sigma|K, \sigma|L)$. $\psi$ is clearly a group homomorphism. It's easy to see that $\psi$ is injective. Hence $\text{Gal}(KL/k)$ is abelian.

  • 6
    @Donantonio: he bit you for several seconds??? I think I'll come back to this site only after everyone has had lunch:-) I have upvoted Makoto nevertheless...2012-09-06
0

Yes, find the Fixed fields in $\mathrm{Gal}(KL/k)$. You can proceed

  1. If $K$ is splitting field of separable polynomials $\{f_i\}$ in $F$, is $KL$ also a splitting field of those polynomials over $L$?

  2. What is the image of the homomorphism $\mathrm{Gal}(KL/L)$ to $\mathrm{Gal}(K/F)$ by fixing automorphisms of $K$.