Open Access

A characterization of supersolubility of finite groups

Journal of Inequalities and Applications20122012:266

https://doi.org/10.1186/1029-242X-2012-266

Received: 11 September 2012

Accepted: 30 October 2012

Published: 15 November 2012

Abstract

In this paper, we study the structure of finite groups whose minimal subgroups are λ-supplemented and give a new characterization of supersolubility of finite groups.

MSC:20D10, 20D15, 20D20.

Keywords

finite groupsminimal subgroupsλ-supplemented subgroupssupersoluble groups

1 Introduction

All groups considered in this paper are finite.

It is an interesting topic in group theory to study the generalized permutable subgroups and generalized supplemented subgroups. The present paper is a contribution to this line of research.

Let G be a group and H be a subgroup of G. H is said to be a permutable (or quasinormal) subgroup of G if H permutes with every subgroup of G. If H permutes with every Sylow subgroup of G, then we call H an S-permutable (or S-quasinormal) subgroup of G. Recently, these concepts have been generalized by many authors. In [1], Ballester and Pedraza-Aguilera called H an S-quasinormally embedded subgroup of G if a Sylow p-subgroup of H is also a Sylow p-subgroup of some S-quasinormal subgroup of G for each prime p dividing the order of H. In [2], Skiba introduced the concepts of weakly S-permutable subgroups and weakly S-supplemented subgroups. H is said to be weakly S-supplemented (weakly S-permutable) in G if G has a subgroup (subnormal subgroup) T such that G = H T and H T H s G , where H s G denotes the subgroup of H generated by all those subgroups of H which are S-quasinormal in G. As a generalization and unification of the above two different kinds of embedding property of subgroups, Li and Chen in [3] introduced the concept of λ-supplemented subgroups. Let H be a subgroup of a group G. H is said to be λ-supplemented in G if G has a subgroup T such that G = H T and H T H S E . In this definition, H S E denotes the subgroup of H generated by all those subgroups of H which are S-quasinormally embedded in G. Using this idea, some new characterizations of p-supersolubility of finite groups are obtained in [3] under the assumption that the maximal subgroups of the Sylow subgroups of some special subgroups are λ-supplemented.

In this paper, we study the structure of groups with some λ-supplemented minimal subgroups and give a new characterization of supersolubility of finite groups. In fact, the main result established in this paper provides a new criterion, in terms of the λ-supplemented cyclic subgroups of order prime or 4 contained in the generalized Fitting subgroups, for a group to be contained in a saturated formation containing all supersoluble groups.

We prove the main result in Section 3. Section 4 includes some applications of our main result, which unify and extend many previous known results; and the paper concludes with a partial answer to a question of Skiba.

The notation and terminology in this paper are standard. The reader is referred to [4] if necessary.

2 Preliminaries

We cite here some known results which are useful in the sequel.

Lemma 2.1 [[3], Lemma 2.3]

Let G be a group and H K G .
  1. (1)

    Suppose that H is normal in G. Then K / H is λ-supplemented in G / H if and only if K is λ-supplemented in G.

     
  2. (2)

    If H is λ-supplemented in G, then H is λ-supplemented in K.

     
  3. (3)

    Suppose that H is normal in G. Then N H / H is λ-supplemented in G / H for every λ-supplemented subgroup N of G satisfying ( | N | , | H | ) = 1 .

     

Lemma 2.2 [[3], Lemma 2.2]

Suppose that U is S-quasinormally embedded in a group G. If U O p ( G ) , then U is S-quasinormal in G.

Lemma 2.3 [[5], Lemma 2.8]

Let H be a normal subgroup of a group G. Then H Z U ( G ) if and only if H / Φ ( H ) Z U ( G ) .

Lemma 2.4 [[6], Theorem 3.1]

Let p be the smallest prime dividing the order of a group G and P be a Sylow p-subgroup of G. Then G is p-nilpotent if and only if every cyclic subgroup H of P of order p or order 4 (if P is a non-Abelian 2-group and H Z ( G ) ) is λ-supplemented in G provided that H does not possess any supersoluble supplement in G.

Lemma 2.5 [[6], Theorem 3.2]

Let G be a group with a normal subgroup E such that G / E is supersoluble. Suppose that for every non-cyclic Sylow subgroup P of E, every cyclic subgroup H of P of prime order or order 4 (if P is a non-Abelian 2-group and H Z ( G ) ) is λ-supplemented in G provided that H does not possess any supersoluble supplement in G. Then G is supersoluble.

Lemma 2.6 [[7], Chapter X]

Let G be a group. Then
  1. (1)

    If G is quasinilpotent and N is a normal subgroup of G, then N and G / N are quasinilpotent.

     
  2. (2)

    If N is a normal subgroup of G, then F ( N ) = N F ( G ) .

     
  3. (3)

    F ( G ) F ( G ) = F ( F ( G ) ) . Moreover, if F ( G ) is soluble, then F ( G ) = F ( G ) .

     

3 Main results

Lemma 3.1 Let N be a non-trivial normal p-subgroup of a group G of exponent p. Suppose that every minimal subgroup of N without any supersoluble supplement in G is λ-supplemented in G. Then N Z U ( G ) .

Proof Assume that Φ ( N ) 1 . We check that N / Φ ( N ) satisfies the hypothesis. Let H / Φ ( N ) be a minimal subgroup of N / Φ ( N ) . Then H / Φ ( N ) = x Φ ( N ) / Φ ( N ) , where x H Φ ( N ) . By the hypothesis, x is of order p. If x has a supersoluble supplement T in G, then T Φ ( N ) / Φ ( N ) is a supersoluble supplement of H / Φ ( N ) in G / Φ ( N ) . Suppose that x does not have a supersoluble supplement in G. Then x is λ-supplemented in G by the hypothesis and so G has a subgroup T such that G = x T and x T x S E . If x S E = 1 , then x Φ ( N ) / Φ ( N ) T Φ ( N / Φ ( N ) ) = 1 . If x S E 1 , then x is S-quasinormal in G by Lemma 2.2 and therefore H / Φ ( N ) is S-quasinormal in G / Φ ( N ) . Thus, we have that H / Φ ( N ) is λ-supplemented in G / Φ ( N ) . Hence, N / Φ ( N ) satisfies the hypothesis and consequently N / Φ ( N ) Z U ( G / Φ ( N ) ) by induction. By Lemma 2.3, N Z U ( G ) . Now we consider the case Φ ( N ) = 1 . Let H / K be any chief factor of G with H N and L / K be a minimal subgroup of H / K which is normal in some Sylow p-subgroup of G / K . Then L = x K for some x L K . Suppose that x has a supersoluble supplement T in G. Then x T or x T = 1 . If x T , then H / K is of order p since G / K = T / K is a supersoluble group. Assume that x T = 1 . Then N T is normal in G and N / ( N T ) is of order p. By Lemma 2.1, N T satisfies the hypothesis and so N T Z U ( G ) by induction. It follows that N Z U ( G ) since N / ( N T ) is of order p. If x does not have a supersoluble supplement in G, then by the hypothesis, G has a subgroup T such that G = x T and x T x S E . If x T = 1 , then N Z U ( G ) as above. If x S E 1 , then x is S-quasinormal in G by Lemma 2.2. Hence, O p ( G ) N G ( x ) . Since L / K = x K / K is also a normal subgroup of some Sylow p-subgroup of G / K , we obtain that L / K is normal in G / K and so H / K is of order p, which implies that N Z U ( G ) . Thus, the proof is complete. □

Theorem 3.2 A group G is supersoluble if and only if G has a normal subgroup E such that G / E is supersoluble and for every non-cyclic Sylow subgroup P of F ( E ) , every cyclic subgroup H of P of prime order or order 4 (if P is a non-Abelian 2-group and H Z ( G ) ) is λ-supplemented in G provided that H does not possess any supersoluble supplement in G.

Proof The necessity is obvious and we consider only the sufficiency. Suppose it is false and let G be a counterexample with | G | + | E | minimal. Then G has the following properties.
  1. (1)

    F = F ( E ) = F ( E ) E .

     
By Lemma 2.4, F ( E ) is soluble. Hence, F ( E ) = F ( E ) by Lemma 2.6. If F ( E ) = E , then by Lemma 2.5, we conclude that G is supersoluble, a contradiction. Therefore, F ( E ) is a proper subgroup of E.
  1. (2)

    Let p be the smallest prime dividing the order of F and P be a Sylow p-subgroup of F. Then p > 2 .

     
Assume that p = 2 . Write V / P = F ( E / P ) . Let Q be a Sylow q-subgroup of E, where q 2 . Then PQ is 2-nilpotent by the hypothesis and Lemma 2.4. Since P is normal in G, PQ is nilpotent. It is immediate that O 2 ( E ) C E ( P ) . Consider the normal subgroup W = O 2 ( V ) P of E. Then W / P is a quasinilpotent group by Lemma 2.6. We claim that every chief factor of W below P is central in W. In fact, let H / K be a chief factor of W with H P and W p / P a Sylow p-subgroup of W / P . Then W p is a Sylow p-subgroup of W and H / K Z ( W p / K ) 1 . Let L / K be a subgroup of order p contained in H / K Z ( W p / K ) . Then L / K is centralized by W p / K . Besides, since O 2 ( E ) C E ( P ) , L / K is centralized by W q K / K for every Sylow q-subgroup W q of W with q p . Hence, L / K is centralized by W / K . It follows that H / K = L / K is a central chief factor of W, as desired. Therefore W is a quasinilpotent group and W F ( E ) = F ( E ) . Thus, W is nilpotent and V / F ( E ) is a 2-group, which shows that V is soluble. Hence, V / P = F ( E / P ) is nilpotent. Let R be a Sylow 2-subgroup of V. Then R is normal in V. Let H be a Hall 2-subgroup of V. Then H stabilizes the series R P 1 and so H C V ( R ) (see [[4], Lemma 3.2.3] or [[8], Ch.5, Theorem 3.2]). Now we have that V is nilpotent and so V = F . By Lemma 2.1, G / P satisfies the hypothesis. The choice of G implies that G / P is supersoluble and so G is supersoluble by Lemma 2.5, a contradiction. Hence, p is an odd prime.
  1. (3)

    If for some normal subgroup D of G we have D P Z U ( G ) , 1 = D 0 D 1 D t = D is a chief series of G below D and C = C 1 C 2 C t , where C i = C G ( D i / D i 1 ) , then E C .

     
Since D Z U ( G ) , G / C G ( D i / D i 1 ) is cyclic and so G / C is Abelian. Thus, G / ( E C ) is supersoluble by the hypothesis. By (1) F ( E ) = F ( E ) E C , from which we conclude that F ( E C ) = F ( E ) by Lemma 2.6. Hence, the hypothesis is still true for ( G , E C ) . The minimality of | G | + | E | implies that E C .
  1. (4)

    P is not cyclic.

     

If not, then E stabilizes a chain of subgroups of P by (3). It follows from [[4], Lemma 3.2.3] that E / C E ( P ) is a p-group. Thus, O p ( E ) C E ( P ) . Similar to (2), we have that the pair ( G / P , E / P ) satisfies the hypothesis. Therefore, the minimal choice of ( G , E ) implies that G / P is supersoluble. Hence, G is supersoluble by Lemma 2.5, a contradiction.

Final contradiction.

By (4) and [[8], Ch.5, Theorem 3.13], P possesses a characteristic subgroup D of exponent p such that every non-trivial p -automorphism of P induces a non-trivial automorphism of D. Then D Z U ( G ) by Lemma 3.1. Let 1 = D 0 D 1 D t = D be a chief series of G below D and C = C 1 C 2 C t where C i = C G ( D i / D i 1 ) . Then E C via (3). Thus, E / C E ( D ) is a p-group, which implies that E / C E ( P ) is also a p-group. Equivalently, we have O p ( E ) C E ( P ) . Using an analogous argument as in (2), we have that G / P is supersoluble and consequently G is supersoluble by Lemma 2.5, which violates the choice of G. □

4 Some applications

Since many relevant families of subgroups, such as normal subgroups, (S-)quasinormal subgroups (or (S-)permutable subgroups), c-normal subgroups, complemented subgroups, c-supplemented subgroups, weakly S-supplemented subgroups and S-quasinormally embedded subgroups, enjoy the λ-supplementary property, a lot of nice results follow from Theorem 3.2.

Recall first some concepts of subgroups mentioned above. Let H be a subgroup of a group G. We call H a complemented subgroup of G if there exists a subgroup T of G such that G = H T and the intersection of H and T is trivial. H is said to be c-normal (c-supplemented) in G if G has a normal subgroup (a subgroup) T such that G = H T and H T H G , where H G denotes the largest normal subgroup of G contained in H (see [911]).

Now, we give three corollaries which follow directly from Theorem 3.2.

Corollary 4.1 [12]

If every minimal subgroup of a group G of odd order is normal in G, then G is supersoluble.

Corollary 4.2 [13]

Let G be a group with a normal soluble subgroup E such that G / E is supersoluble. If all subgroups of F ( E ) of prime order or order 4 are c-normal in G, then G is supersoluble.

Corollary 4.3 [14]

Let G be a soluble group and E be a normal subgroup of G such that G / E is supersoluble. If every minimal subgroup of F ( E ) is complemented in G, then G is supersoluble.

The following result can be established by applying a similar argument as that in the proof of Theorem 3.2.

Theorem 4.4 Let be a saturated formation containing all supersoluble groups. A group G F if and only if there exists a normal subgroup E of G such that G / E F and for every non-cyclic Sylow subgroup P of F ( E ) , every cyclic subgroup H of P of prime order or order 4 (if P is a non-Abelian 2-group and H Z ( G ) ) is λ-supplemented in G provided that H does not possess any supersoluble supplement in G.

By Theorem 4.4, we have

Corollary 4.5 [15]

Let be a saturated formation containing all supersoluble groups and G be a group with a normal soluble subgroup E such that G / E F . If all minimal subgroups and all cyclic subgroups with order 4 of F ( E ) are c-normal in G, then G F .

Corollary 4.6 [16]

Let be a saturated formation containing all supersoluble groups and G be a group with a normal subgroup E such that G / E F . If all minimal subgroups and all cyclic subgroups with order 4 of F ( E ) are c-normal in G, then G F .

Corollary 4.7 [17]

Let be a saturated formation containing all supersoluble groups and G be a group with a normal subgroup E such that G / E F . If every minimal subgroup and each cyclic subgroup with order 4 of F ( E ) is c-supplemented in G, then G F .

Corollary 4.8 [18]

Let be a saturated formation containing all supersoluble groups and G be a group with a normal soluble subgroup E such that G / E F . If all minimal subgroups of F ( E G ) are complemented in G, then G F .

Corollary 4.9 [19]

Let be a saturated formation containing all supersoluble groups and G be a group with a normal soluble subgroup E such that G / E F . If all minimal subgroups and all cyclic subgroups with order 4 of F ( E ) are S-permutable in G, then G F .

Corollary 4.10 [20]

Let be a saturated formation containing all supersoluble groups and G be a group with a normal subgroup E such that G / E F . If every cyclic subgroup of F ( E ) of prime order or order 4 is S-permutable in G, then G F .

Corollary 4.11 [21]

Let be a saturated formation containing all supersoluble groups and G be a group with a normal subgroup E such that G / E F . If each minimal subgroup of F ( E ) of order prime or 4 is S-quasinormally embedded in G, then G F .

In [2], Skiba proposed the following question.

Question 4.12 Let be a saturated formation containing all supersoluble groups and G be a group with a normal subgroup E such that G / E F . Suppose that every non-cyclic Sylow subgroup P of F ( E ) has a subgroup D such that 1 < | D | < | P | and all subgroups H of P with order | H | = | D | and with order 2 | D | (if P is a non-Abelian 2-subgroup and | P : D | > 2 ) are weakly s-supplemented in G. Is then G F ?

Our last corollary gives a positive answer to the above question in the case of minimal subgroups.

Corollary 4.13 Let be a saturated formation containing all supersoluble groups and G be a group with a normal subgroup E such that G / E F . If each cyclic subgroup of F ( E ) of order prime or 4 is weakly S-supplemented in G, then G F .

Declarations

Acknowledgements

The author would like to express his sincere thanks to the referees whose careful reading and important comments on this article led to a number of improvements. This work was supported by the Scientific Research Foundation of Chongqing University of Arts and Sciences (Grant Nos. R2012SC21, Z2012SC25) and the National Natural Science Foundation of China (Grant Nos. 11271301, 11171364, 11001226).

Authors’ Affiliations

(1)
Department of Mathematics, Chongqing University of Arts and Sciences

References

  1. Ballester-Bolinches A, Pedraza-Aguilera MC: Sufficient conditions for supersolubility of finite groups. J. Pure Appl. Algebra 1998, 127: 113–118.MathSciNetView ArticleMATHGoogle Scholar
  2. Skiba AN: On weakly s -permutable subgroups of finite groups. J. Algebra 2007, 315: 192–209.MathSciNetView ArticleMATHGoogle Scholar
  3. Li JB, Chen GY, Yan YX: New characterizations of p -supersolubility of finite groups. Commun. Algebra 2012, 40(12):4372–4388.MathSciNetView ArticleMATHGoogle Scholar
  4. Guo WB: The Theory of Classes of Groups. Kluwer Academic, Dordrecht; 2000.Google Scholar
  5. Asaad M: Finite groups with certain subgroups of Sylow subgroups complemented. J. Algebra 2010, 323: 1958–1965.MathSciNetView ArticleMATHGoogle Scholar
  6. Li, JB, Yu, DP, Chen, SM: On λ-supplemented minimal subgroups of finite groups. J. Chongqing Normal University: Natural Science Edition (to appear)Google Scholar
  7. Huppert B, Blackburn N: Finite Groups III. Springer, Berlin; 1982.View ArticleMATHGoogle Scholar
  8. Gorenstein D: Finite Groups. Chelsea Publishing Company, New York; 1980.MATHGoogle Scholar
  9. Ballester-Bolinches A, Wang YM, Guo X: c -Supplemented subgroups of finite groups. Glasg. Math. J. 2000, 42: 383–389.MathSciNetView ArticleMATHGoogle Scholar
  10. Wang YM: c -Normality of groups and its properties. J. Algebra 1996, 180(3):954–965.MathSciNetView ArticleMATHGoogle Scholar
  11. Wang YM: Finite groups with some subgroups of Sylow subgroups c -supplemented. J. Algebra 2000, 224: 467–478.MathSciNetView ArticleMATHGoogle Scholar
  12. Buckley J: Finite groups whose minimal subgroups are normal. Math. Z. 1970, 116: 15–17.MathSciNetView ArticleMATHGoogle Scholar
  13. Li D, Guo X: The influence of c -normality of subgroups on the structure of finite groups, II. Commun. Algebra 1998, 26: 1913–1922.View ArticleMATHMathSciNetGoogle Scholar
  14. Li D, Guo X: On complemented subgroups of finite groups. Chin. Ann. Math. 2001, 22B(2):249–254.View ArticleMATHMathSciNetGoogle Scholar
  15. Wei HQ: On c -normal maximal and minimal subgroups of Sylow subgroups of finite groups. Commun. Algebra 2001, 29: 2193–2200.View ArticleMATHMathSciNetGoogle Scholar
  16. Wei HQ, Wang YM, Li YM: On c -normal maximal and minimal subgroups of Sylow subgroups of finite groups, II. Commun. Algebra 2003, 31: 4807–4816.MathSciNetView ArticleMATHGoogle Scholar
  17. Wei HQ, Wang YM, Li YM: On c -supplemented maximal and minimal subgroups of Sylow subgroups of finite groups. Proc. Am. Math. Soc. 2004, 32(8):2197–2204.MathSciNetView ArticleMATHGoogle Scholar
  18. Guo X, Shum KP: Complementarity of subgroups and the structure of finite groups. Algebra Colloq. 2006, 13(1):9–16.MathSciNetView ArticleMATHGoogle Scholar
  19. Asaad M, Csörgö P: Influence of minimal subgroups on the structure of finite groups. Arch. Math. 1999, 72: 401–404.View ArticleMATHMathSciNetGoogle Scholar
  20. Li YM, Wang YM: The influence of minimal subgroups on the structure of a finite group. Proc. Am. Math. Soc. 2002, 131: 245–252.MathSciNetGoogle Scholar
  21. Li YM, Wang YM: On π -quasinormally embedded subgroups of finite groups. J. Algebra 2004, 281: 109–123.MathSciNetView ArticleGoogle Scholar

Copyright

© Li; licensee Springer 2012

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.