Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm working on a problem in Dummit & Foote and I'm quite stumped. The problem reads:

Let $p$ be a prime and let $F$ be a field. Let $K$ be a Galois extension of $F$ whose Galois group is a $p$-group (i.e., the degree $[K:F]$ is a power of $p$). Such an extension is called a $p$-extension (note that $p$-extensions are Galois by definition).

Let $L$ be a $p$-extension of $K$. Prove that the Galois closure of $L$ over $F$ is a $p$-extension of $F$.

This is what I've done so far:

Using the tower law we can readily show that $L$ is a $p$ extension of $F$ so we have $[L:F]=p^{\ell}$ for some integer $\ell$. Then if $M$ is the Galois closure of $L$ over $F$ then $$[M:F]=[M:L][L:F]$$ and therefore $[M:F]=p^{\ell}n$ for some integer $n$ that is not divisible by $p$. So $[M:L]=n$.

From here it seems like I want to show that either $n=1$ or that $n$ is in fact a power of $p$. I just don't see how to proceed. I've considered using the Sylow Theorems, but I'm not sure how that would really work. I also realize that this statement depends on $K$ being Galois over $F$ but I can't figure out how to take advantage of that.

share|improve this question
    
I don't want to spoil it for you, but if you have some self-restraint, there's a brief solution to this problem on this old CIT coursepage. –  Buble Apr 20 '12 at 2:56
7  
Using the Galois correspondence, this problem translates into a group theory problem. Let $1 < A \lhd B \lhd C$ be groups such that $B/A$ and $C/B$ are finite $p$-groups for some prime $p$. Then the core of $A$ in $C$ (that is, the intersection of the $C$-conjugates of $A$) has index a power of $p$ in $B$. This is true because the core is the intersection of finitely many normal subgroups of $B$, each having index a power of $p$ in $B$. –  Derek Holt Apr 20 '12 at 12:36
3  
@DerekHolt, You should post your comment as an answer. –  JSchlather Jan 25 '13 at 7:00

1 Answer 1

We denote by $G(K/F)$ the Galois group of a Galois extension $K/F$. We need the following lemma.

Lemma Let $F$ be a field, $\Omega$ its algebraic closure. Let $K_1$ and $K_2$ be subfields of $\Omega$ each of which is a Galois extension of $F$. Then $K_1K_2$ is a Galois extension of $F$ and $G(K_1K_2/F)$ is isomorphic to a subgroup of $G(K_1/F)\times G(K_2/F)$.

Proof. Let $\sigma$ be an automorphism of $\Omega/F$. Then $\sigma(K_1K_2) = \sigma(K_1)\sigma(K_2) = K_1K_2$. Hence $K_1K_2/F$ is a normal extension. Clearly it is a separable extension. Hence $K_1K_2/F$ is a Galois extension. We define a homomorphism $\psi\colon G(K_1K_2/F) \rightarrow G(K_1/F)\times G(K_2/F)$ by $\psi(\sigma) = (\sigma\mid K_1, \sigma\mid K_2)$. Since it is clearly injective, we are done.

Now let $F$ be a field, $\Omega$ its algebraic closure. Let $F \subset K \subset L \subset \Omega$ be a tower of fields such that $K/F$ and $L/K$ are $p$-extensions. Let $M/F$ be the Galois closure of $L/F$ in $\Omega$. Then $M = \sigma_1(L)\cdots \sigma_n(L)$, where $\sigma_i(L), i = 1,\cdots, n$ are all the distinct conjugates of $L$ over $F$ in $\Omega$. Since each $\sigma_i(L)$ is a Galois extension over $K$, $G(M/K)$ is isomorphic to a subgroup of $G(\sigma_1(L)/K)\times \cdots \times G(\sigma_n(L)/K)$ by the lemma. Since each $G(\sigma_i(L)/K)$ is a $p$-group, $G(M/K)$ is a $p$-group. Since $K/F$ is a $p$-extension, $(M : F)$ is a power of $p$. Hence $M/F$ is a $p$-extension and we are done.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.