magnus/inventory/OneRelatorWithTorsion/subgroup_homomorphism
