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