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
    The conclusion is not true. SmallGroup(160,99), 5 |x SmallGroup(32,50), is a counterexample for p=2. K is the 2-core, K/H is rank 4, K=Omega(K) but K/H is not the union of only 5 1-dimensional subspaces. Your hypotheses have some redundancies. What was the original question?2012-08-18
  • 1
    The shaded line of http://www.ams.org/mathscinet-getitem?mr=2491730 seems like a gap in the proof to me. This is a proof by contradiction, so unless the theorem itself is false, it is hard to guarantee there is a mistake. However, the group I mention satisfies every hypothesis mentioned on this page (so other than being a minimal counterexample to the theorem), but in this case $L \neq \bigcup_{g \in G} T^g$.2012-08-19
  • 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