3
$\begingroup$

Let $G$ be any finite solvable group with Fitting subgroup $F(G)$. Which conditions on $F(G)$ makes $G$ to be supersolvable? (It is well-known that any finite solvable group with cyclic Fitting subgroup is supersolvable). In particular, if $F(G)$ is abelian which conditions on $F(G)$ (and $G$) are needed for $G$ being supersolvable?

$\endgroup$

2 Answers 2

6
$\begingroup$

The relation between supersolvability of a finite group and its Fitting subgroup is that for a finite group $G$ the following are equivalent:

  1. $G$ is supersolvable.

  2. $G' \leq {\rm Fit}(G)$ and ${\rm Fit}(G)$ is the product of cyclic and weak $S$-quasinormal subgroups of $G$ of prime power orders.

Here a subgroup $H$ of $G$ is called weak $S$- quasinormal in $G$ if, for every $p \in \pi(G)$, there is at least one Sylow $p$-subgroup of $G$ that permutes with $H$. -- See Theorem 2 in

Piroska Csörgö, On Supersolvability of Finite Groups, Glasgow Math. J. 43(2001), 327-333.

$\endgroup$
1
  • $\begingroup$ Dear Stefan, many thanks for the answer and reference. $\endgroup$ Apr 5, 2016 at 15:10
3
$\begingroup$

Just a remark really. If $G$ is any finite solvable group, it is well-known that $F(G/\Phi(G)) = F(G)/\Phi(G)$. Since $\Phi(F(G)) \leq \Phi(G)$, we see that $H = G/\Phi(G)$ has $F(H)$ Abelian of squarefree exponent. Hence the requirement that $F(G)$ be Abelian in the question of itself puts almost no restriction on the structure of $G$.

$\endgroup$
4
  • $\begingroup$ Dear Geoff, Thank you for your answer. $\endgroup$ Apr 6, 2016 at 3:11
  • $\begingroup$ Stefan Kohl gave a much more comprehensive answer than I did, so I do not think you should have changed the acceptance of his answer. $\endgroup$ Apr 6, 2016 at 3:11
  • $\begingroup$ Yes, but you focused on my question.However, I changed the acceptance of answer again. Many thanks again. $\endgroup$ Apr 6, 2016 at 3:22
  • $\begingroup$ Obviously, $G$ is supersolvable iff all indices of a chief series of $G$ containing $F(G)$ and lying below $F(G)$ are primes (i.e., $F(G)$ is supersolvable immersed in $G$, in terminology of R. Baer), $\endgroup$
    – yakov
    Jun 28, 2016 at 22:25

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.