 Magma - Maple Programming Help

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

Magma

 IsRightIdentity
 test whether an element of a magma is a right identity

 Calling Sequence IsRightIdentity( m, id )

Parameters

 m - Array; magma represented by its Cayley table id - posint; candidate right identity element

Description

 • The IsRightIdentity command determines whether an element id of a magma m is a right identity for m.  It returns true if id is a right identity of m, and returns false otherwise.  The element id is a right identity of m if x * id = x, for all x in m.

Examples

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

Compatibility

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