magnus/inventory/AProducts/subgroup_homomorphism
