62.22 IsCommutative for semigroups

IsCommutative( sg )

A semigroup (S,cdot) is called commutative if forall a, b in S: a cdot b = b cdot a.

The function IsCommutative returns the according value true or false for a semigroup sg.

  gap> IsCommutative( s );
  false

Previous Up Top Next
Index