test whether a finite magma has a (two-sided) identity element
HasIdentity( m )
Array representing the Cayley table of a finite magma
The HasIdentity command returns true if the given magma has a two-sided identity element. That is, an element i such that i*x = x*i = x, for all x in m. Otherwise, it returns the value false.
m ≔ 1|2|3,2|3|1,3|1|2
m ≔ 1|1|2,2|2|3,2|1|2
The Magma[HasIdentity] 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)