Integrals of groups II

An $integral$ of a group $G$ is a group $H$ whose commutator subgroup is isomorphic to $G$. This paper continues the investigation on integrals of groups started in the work arXiv:1803.10179. We study: (1) A sufficient condition for a bound on the order of an integral for a finite integrable group and a necessary condition for a group to be integrable. (2) The existence of integrals that are $p$-groups for abelian $p$-groups, and of nilpotent integrals for all abelian groups. (3) Integrals of (finite or infinite) abelian groups, including nilpotent integrals, groups with finite index in some integral, periodic groups, torsion-free groups and finitely generated groups. (4) The variety of integrals of groups from a given variety, varieties of integrable groups and classes of groups whose integrals (when they exist) still belong to such a class. (5) Integrals of profinite groups and a characterization for integrability for finitely generated profinite centreless groups. (6) Integrals of Cartesian products, which are then used to construct examples of integrable profinite groups without a profinite integral. We end the paper with a number of open problems.
Comment: 44 pages, no figures. Revised version with a new co-author (Claudio Quadrelli). The proof of Theorem 4.1(c) has been revised and Section 8 has been rewritten to address the comments of an anonymous referee