Magma
IsPower3Associative
test whether a finite magma is power 3-associative
Calling Sequence
Parameters
Description
Examples
Compatibility
IsPower3Associative( m )
m
-
Array representing the Cayley table of a finite magma
The IsPower3Associative command returns true if the given magma satisfies the power 3-associative law (XX)X = X(XX). It returns false otherwise.
with⁡Magma:
m≔1|2|3,2|3|1,3|1|2
m≔123231312
IsPower3Associative⁡m
true
m≔1|2|3,2|3|3,3|1|2
m≔123233312
false
The Magma[IsPower3Associative] command was introduced in Maple 15.
For more information on Maple 15 changes, see Updates in Maple 15.
See Also
IsAssociative
Download Help Document
What kind of issue would you like to report? (Optional)