Magma
IsAssociative
test whether a given magma is associative
IsSemigroup
test whether a given magma is a semigroup
Calling Sequence
Parameters
Description
Examples
Compatibility
IsAssociative( m )
IsSemigroup( m )
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.
with⁡Magma:
m ≔ 1|2|3,2|3|1,3|1|2
m≔123231312
IsAssociative⁡m
true
m ≔ 1|2|3,2|3|3,3|1|2
m≔123233312
IsSemigroup⁡m
false
The Magma[IsAssociative] and Magma[IsSemigroup] commands were introduced in Maple 15.
For more information on Maple 15 changes, see Updates in Maple 15.
See Also
Download Help Document
What kind of issue would you like to report? (Optional)