Magma - Maple Programming Help

Home : Support : Online Help : Mathematics : Algebra : Magma : Magma/IsLeftIdentity

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.

Examples

 > $\mathrm{with}\left(\mathrm{Magma}\right):$
 > $m≔⟨⟨⟨1|1|3⟩,⟨3|3|3⟩,⟨1|2|3⟩⟩⟩$
 ${m}{≔}\left[\begin{array}{ccc}{1}& {1}& {3}\\ {3}& {3}& {3}\\ {1}& {2}& {3}\end{array}\right]$ (1)
 > $\mathrm{IsLeftIdentity}\left(m,1\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{IsLeftIdentity}\left(m,2\right)$
 ${\mathrm{false}}$ (3)
 > $\mathrm{IsLeftIdentity}\left(m,3\right)$
 ${\mathrm{true}}$ (4)

Compatibility

 • The Magma[IsLeftIdentity] command was introduced in Maple 15.