|
Magma[IsIdentity] - test whether an element of a magma is a (two-sided) identity
|
|
Calling Sequence
|
|
IsIdentity( m, id )
|
|
|
Parameters
|
|
|
m
|
-
|
Array; magma represented by its Cayley table
|
|
id
|
-
|
posint; candidate identity element
|
|
|
|
|
|
Description
|
|
|
•
|
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.
|
|
|
|
Compatibility
|
|
|
•
|
The Magma[IsIdentity] command was introduced in Maple 15.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
![m := Matrix([[1, 2, 3], [2, 3, 1], [3, 1, 2]])](/support/helpjp/helpview.aspx?si=8572/file02122/math101.png)
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
|
Download Help Document
Was this information helpful?
