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