test whether a finite magma is a group
IsGroup( m )
Array representing the Cayley table of a finite magma
The IsGroup command returns true if the given magma is a group, and returns false otherwise.
A group is an associative magma with an identity element, with respect to which identity each member has a (two-sided) inverse. Alternatively, a group is an associative loop.
m ≔ 1|2|3,2|3|1,3|1|2
m ≔ 1|2|3,2|3|3,3|1|2
The Magma[IsGroup] command was 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)