magnus/inventory/OneRelatorWithTorsion/homomorphism
