internal_commutative_monoids,parent
BanRing,CompNormGrp