remove duplicated 'commutative' check for multiplicative abelian groups