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$?
Compositum of abelian Galois extensions is also?
4
$\begingroup$
field-theory
galois-theory
2 Answers
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
If $K$ is splitting field of separable polynomials $\{f_i\}$ in $F$, is $KL$ also a splitting field of those polynomials over $L$?
What is the image of the homomorphism $\mathrm{Gal}(KL/L)$ to $\mathrm{Gal}(K/F)$ by fixing automorphisms of $K$.