|
Magma[IsLeftIdentity] - test whether an element of a magma is a left identity
|
|
Calling Sequence
|
|
IsLeftIdentity( m, id )
|
|
|
Parameters
|
|
|
m
|
-
|
Array; magma represented by its Cayley table
|
|
id
|
-
|
posint; candidate left identity element
|
|
|
|
|
|
Description
|
|
|
•
|
The IsLeftIdentity command determines whether an element id of a magma m is a left identity for m. It returns true if id is a left identity of m, and returns false otherwise. The element id is a left identity of m if id * x = x, for all x in m.
|
|
|
|
Compatibility
|
|
|
•
|
The Magma[IsLeftIdentity] command was introduced in Maple 15.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
![m := Matrix([[1, 1, 3], [3, 3, 3], [1, 2, 3]])](/support/helpjp/helpview.aspx?si=8577/file02128/math101.png)
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
|
Download Help Document
Was this information helpful?
