test whether a given magma is associative
test whether a given magma is a semigroup
IsAssociative( m )
IsSemigroup( m )
Array representing the Cayley table of a finite magma
The IsAssociative command returns true if the given magma satisfies the associativity identity (XY)Z = X(YZ). It returns false otherwise.
The IsSemigroup command is an alias for IsAssociative. A semigroup is an associative magma.
m ≔ 1|2|3,2|3|1,3|1|2
m ≔ 123231312
m ≔ 1|2|3,2|3|3,3|1|2
m ≔ 123233312
The Magma[IsAssociative] and Magma[IsSemigroup] commands were introduced in Maple 15.
For more information on Maple 15 changes, see Updates in Maple 15.
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.