On Frattini-like subgroups

Beidleman, James C. ; Smith, Howard

Glasgow mathematical journal, Tome 35 (1993) no. 1, pp. 95-98

Résumé

For any group G, denote by φf(G respectively L(G)) the intersection of all maximal subgroups of finite index (respectively finite nonprime index) in G, with the usual provision that the subgroup concerned equals Gif no such maximals exist. The subgroup φf(G) was discussed in [1] in connection with a property v possessed by certain groups: a group G has v if and only if every nonnilpotent, normal subgroup of G has a finite, nonnilpotent G-image. It was shown there, for instance, that G/φf(G) has v for all groups G. The subgroup L(G), in the case where G is finite, was investigated at some length in [3], one of the main results being that L(G) is supersoluble. (A published proof of this result appears as Theorem 3 of [4]). The present paper is concerned with the role of L(G) in groups G having property v or a related property a, the definition of which is obtained by replacing “nonnilpotent” by “nonsupersoluble” in the definition of v. We also present a result (namely Theorem 4) which displays a close relationship between the subgroups L(G) and φf(G) in an arbitrary group G. Some of the results for finite groups in [3] are found to hold with rather weaker hypotheses and, in fact, remain true for groups with v or a. We recall that if a group has a it also has v ([2]Theorem 2) but not conversely. For example, G = (x, y: y-1xy = x2)has v but not a. It is a well-known result of Gaschütz ([8], 5.2.15) that, in a finite group G, if His a normal subgroup containing φ(G) such that H/φ(G) is nilpotent than His nilpotent. This remains true in the case where G is any group with v [1, Proposition 1]. Our first result is in a similar vein and is a generalization of Theorem 9 of [7] and Theorem 1.2.9 of [3], the latter of which states that, for a finite group G, if G/L(G) is supersoluble, then so is G.

Détail

DOI : 10.1017/S0017089500009605

Bibliographie

[1] 1.Beidleman, J. C. and Robinson, D. J. S., On the structure of the normal subgroups of a group: nilpotency, Forum Math., 3 (1991), 581–593. Google Scholar | DOI

[2] 2.Beidleman, J. C. and Robinson, D. J. S., On the structure of the normal subgroups of a group: supersolubility, Rend. Sem. Mat. Padova, to appear. Google Scholar

[3] 3.Bhatia, H. C., A generalized Frattini subgroup of a finite group, Ph.D. thesis, Michigan State University, East Lansing, MI, 1972. Google Scholar

[4] 4.Bhattacharya, P. and Mukherjee, N. P., On the intersection of a class of maximal subgroups of a finite group II, J. Pure Appl. Algebra, 42 (1986), 117–124. Google Scholar | DOI

[5] 5.Huppert, B., Endliche Gruppen I, (Springer-Verlag, Berlin, 1967). Google Scholar | DOI

[6] 6.Hall, P., The Frattini subgroups of finitely generated groups, Proc. London Math. Soc, 11 (1961), 327–352. Google Scholar | DOI

[7] 7.Mukherjee, N. P. and Bhattacharya, P., On the intersection of a class of maximal subgroups of a finite group, Canad. J. Math., 39 (1987), 603–611. Google Scholar | DOI

[8] 8.Robinson, D. J. S., A course in the theory of groups (Springer-Verlag, New York, 1982). Google Scholar | DOI

[9] 9.Wehrfritz, B. A. F., Infinite linear groups (Springer-Verlag, Berlin, 1973). Google Scholar | DOI