magnus/inventory/FreeGroups/subgroup_homomorphism
