internal_commutative_monoids,internal_commutative_monoids_label,parent,parent_label
BanRing,BanRing,CompNormGrp,CompNormGrp
CMon,CMon,Set,Set
CRing,CRing,Ab,Ab
CommAlg(Ab),CommAlg(Ab),Mod(Ab),Mod(Ab)
DGCAlg,DGCAlg,Ch.(Vect_k),Ch.(Vect_k)
NormRing,NormRing,NormGrp,NormGrp