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