Abstract
An integral of a group G is a group H whose derived group (commutator subgroup) is isomorphic to G. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those integrals can be. Our main results are:
If a finite group has an integral, then it has a finite integral.
A precise characterization of the set of natural numbers n for which every group of order n is integrable: these are the cubefree numbers n which do not have prime divisors p and q with q | p − 1.
An abelian group of order n has an integral of order at most n1+o(1), but may fail to have an integral of order bounded by cn for constant c.
A finite group can be integrated n times (in the class of finite groups) for every n if and only if it is a central product of an abelian group and a perfect group.
There are many other results on such topics as centreless groups, groups with composition length 2, and infinite groups. We also include a number of open problems.
Similar content being viewed by others
References
A. Abdollahi, Integral of a group, in Proceedings of the 29th Iranian International Conference on Mathematics, Amirkabir University of Technology, Tehran, 1998.
K. Filom and B. Miraftab, Integral of groups, Communications in Algebra 45 (2017), 1105–1113.
D. Gorenstein, Finite Groups, Chelsea Publishing, New York, 1980.
Group Properties, Not all groups are commutator-realizable, https://doi.org/groupprops.subwiki.org/wiki/Derived_subgroup#Group_properties.
R. M. Guralnick, On groups with decomposable commutator subgroups, Glasgow Mathematical Journal 19 (1978), 159–162.
G. A. Jones and J. S. Thornton, Automorphisms and congruence subgroups of the extended modular group, Journal of the London Mathematical Society 34 (1986), 26–40.
MathOverflow, Finite nonabelian groups of odd order, https://doi.org/mathoverflow.net/questions/31553/finite-nonabelian-groups-of-odd-order/31558#31558.
MathOverflow, Realizing groups as commutator subgroups, https://doi.org/mathoverflow.net/questions/85540/realizing-groups-as-commutator-subgroups.
J. B. McLeod, On the commutator subring, Quarterly Journal of Mathematics 9 (1958), 207–209.
M. D. Miller, Existence of finite groups with classical commutator subgroup, Journal of the Australian Mathematical Society 25 (1978), 41–44.
B. H. Neumann, Ascending derived series, Compositio Mathematica 13 (1956), 47–64.
M. F. Newman, On a class of nilpotent groups, Proceedings of the London Mathematical Society 10 (1960), 365–375.
J. Nielsen, Kommutatorgruppen for det frie produkt af cykliske grupper, Matematisk Tidsskrift (1948), 49–56.
D. Robinson, A Course in the Theory of Groups, Graduate Texts in Mathematics, Vol. 80, Springer, New York, 1996.
J. J. Rotman, Introduction to the Theory of Groups, Graduate Texts in Mathematics, Vol. 148, Springer, New York, 1995.
R. Sahin, O. Bizim and I. N. Cangul, Commutator subgroups of the extended Hecke groups \(\overline H \left({{{\rm{\lambda}}_q}} \right)\), Czechoslovak Mathematical Journal 54 (2004), 253–259.
H. Wielandt, Eine Verallgemeinerung der invarianten Untergruppen, Mathematische Zeitschrift 45 (1939), 209–244.
H. Zassenhaus, Lehrbuch der Gruppentheorie, Teubner, Leipzig-Berlin, 1937.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Araújo, J., Cameron, P.J., Casolo, C. et al. Integrals of groups. Isr. J. Math. 234, 149–178 (2019). https://doi.org/10.1007/s11856-019-1926-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-019-1926-y