For any group H, let H be the set of all isomorphism classes of groups K such that K H . For a finitely generated group H having finite commu- Ž .tator subgroup H, H , we define a group structure on H ...