Abstract
Let G be a finite group and A a subgroup of G. We show that the Kegel–Wielandt conjecture, proved by Peter Kleidman in 1991, implies that A is subnormal in G iff \(\left| AB\right| \) divides \(\left| G\right| \) for all subgroups B of G. We also state and prove a nilpotency criterion for G and a characterization of the Fitting subgroup of G, which are related to this observation.
Similar content being viewed by others
References
Kegel, O.H.: Sylow-Gruppen und Subnormalteiler Endlicher Gruppen. Math. Z. 78(1), 205–221 (1962)
Kleidman, P.B.: A proof of the Kegel–Wielandt conjecture on subnormal subgroups. Ann. of Math. 133(2), 369–428 (1991)
Isaacs, I.M.: Finite Group Theory. Graduate Studies in Mathematics, 92. Amer. Math. Soc., Providence, RI (2008)
Wielandt, H.: Zusammengesetzte Gruppen: Hölders Programm heute. In: The Santa Cruz Conference on Finite Groups (Univ. California, Santa Cruz, Calif., 1979), pp. 161–173. Proc. Sympos. Pure Math., 37. Amer. Math. Soc., Providence, RI (1980)
Acknowledgements
I am grateful to Martino Garonzi for a useful discussion.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Levy, D. The size of a product of two subgroups and subnormality. Arch. Math. 118, 361–364 (2022). https://doi.org/10.1007/s00013-022-01710-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-022-01710-8