internal_commutative_monoids,parent
NormRing,NormGrp