0
$\begingroup$

$\DeclareMathOperator\Syl{Syl}$Let $G$ be a finite group, $\Phi(G)$ is the Frattini subgroup of $G$. And $G/\Phi(G)$ is a simple group. Let $P\in \Syl_{p}(\Phi(G))$, where $p\in \pi(\Phi(G))$ and $\pi(\Phi(G))$ is the set of prime divisors of $|\Phi(G)|$.

Suppose that every subgroup $H$ of $P$ of order $p$ is normal in $G$.

Let $P_1\in \Syl_{p}(G)$. Then for any subgroup $H$ of $P$ with $|H|=p$, $H\leq Z(P_1)$. So $P_1\leq C_G(H)\unlhd G$.

Under the above conditions, can we use the simplicity of $G/\Phi(G)$ to conclude that $H\leq Z(G)$?

$\endgroup$
4
  • $\begingroup$ (Typing tip: follow each punctuation mark (comma, period etc) with a space.) $\endgroup$
    – YCor
    May 9, 2022 at 13:06
  • 3
    $\begingroup$ Any normal subgroup of order $p$ in a finite $p$-group $P$ lies in the centre of $P$. This is hardly a research problem! $\endgroup$
    – Derek Holt
    May 9, 2022 at 13:12
  • 3
    $\begingroup$ I have added some paragraph breaks to make it easier to read. You have not said what $H$ is in the third paragraph. Presumably it is a subgroup of $P$ with $|H|=p$? $\endgroup$
    – Derek Holt
    May 9, 2022 at 13:15
  • $\begingroup$ Yes.In the third paragraph, $H$ is a subgroup of $P$ with |$H$|=$p$. $\endgroup$
    – Bob
    May 9, 2022 at 13:21

1 Answer 1

3
$\begingroup$

Yes we can.

If $P_1=P$ then, by the Schur-Zassenhaus Theorem,$P$ has a complement in $G$, contradicting $P \le \Phi(G)$.

Otherwise $P_1\Phi(G)/\Phi(G)$ is a nontrivial Sylow $p$-subgroup of the simple group $G/\Phi(G)$, and its conjugates generate $G/\Phi(G)$, so $C_G(H)\Phi(G) = G$, and hence $C_G(H)=G$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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