internal_commutative_monoids,internal_commutative_monoids_label,parent,parent_label
CommAlg(Ab),CommAlg(Ab),Mod(Ab),Mod(Ab)