4
$\begingroup$

Let $G$ be a finite solvable group. Let $K/H$ be a chief factor of $G$ that is not of prime order, where $K$ is a $p$-subgroup of $G$ for some prime $p$ divides the order of $G$. Let $S$ be a proper normal subgroup of $K$ with $H and $|S/H|=p$. If $H$ contain every element of order $p$ of $S$ and $K= \langle S^{g},g \in G \rangle$, then $H$ contains every element of order $p$ of $K$.

I need to prove the above statement.

Here is what I know.

Since $G$ is solvable then $K/H$ is abelian $p$-group of exponent $p$. $\bigcap_{g \in G}S^{g}$ is a normal subgroup of $G$ that contains $H$. So $H= \bigcap_{g \in G}S^{g}$.

Thanks in advance.

I got my question from the shaded area here

  • 0
    @JackSchmidt You are right about the research. I thought that L is generated by those conjugate but it seems that L is the union of those conjugate. I tried to prove that L equals that union but I failed.2012-08-19

1 Answers 1

0

$G$ acts transitively on $K/H$, and so if $x\in K$ is of order $p$, there is some $s\in S^g$ with $sx^{-1}$ in $H$, implying $x\in S^g$, so that we must have had $x\in H$.

  • 0
    @JackSchmidt I post where I got the question from.2012-08-18