Magma
IsIdentity
test whether an element of a magma is a (two-sided) identity
Calling Sequence
Parameters
Description
Examples
Compatibility
IsIdentity( m, id )
m
-
Array; magma represented by its Cayley table
id
posint; candidate identity element
The IsIdentity command determines whether an element id of a magma m is an identity for m. It returns true if id is an identity of m, and returns false otherwise. The element id is an identity of m if id * x = x = x * id, for all x in m.
with⁡Magma:
m≔1|2|3,2|3|1,3|1|2
m≔123231312
IsIdentity⁡m,1
true
IsIdentity⁡m,2
false
IsIdentity⁡m,3
The Magma[IsIdentity] command was introduced in Maple 15.
For more information on Maple 15 changes, see Updates in Maple 15.
See Also
HasIdentity
Download Help Document
What kind of issue would you like to report? (Optional)