  
  [1X35 [33X[0;0YMagmas[133X[101X
  
  [33X[0;0YThis   chapter   deals   with   domains   (see [14X31[114X)  that  are  closed  under
  multiplication  [10X*[110X.  Following [Bou70],  we call them [13Xmagmas[113X in [5XGAP[105X. Together
  with  the  domains  closed  under  addition  [10X+[110X  (see [14X55[114X), they are the basic
  algebraic  structures;  every  semigroup  (see [14X51[114X),  monoid  (see [14X52[114X), group
  (see [14X39[114X),  ring  (see [14X56[114X),  or  field (see [14X58[114X) is a magma. In the cases of a
  [13Xmagma-with-one[113X  or  [13Xmagma-with-inverses[113X, additional multiplicative structure
  is present, see [14X35.1[114X. For functions to create free magmas, see [14X36.4[114X.[133X
  
  
  [1X35.1 [33X[0;0YMagma Categories[133X[101X
  
  [1X35.1-1 IsMagma[101X
  
  [29X[2XIsMagma[102X( [3Xobj[103X ) [32X Category
  
  [33X[0;0YA   [13Xmagma[113X   in  [5XGAP[105X  is  a  domain  [22XM[122X  with  (not  necessarily  associative)
  multiplication [10X*[110X[22X: M × M → M[122X.[133X
  
  [1X35.1-2 IsMagmaWithOne[101X
  
  [29X[2XIsMagmaWithOne[102X( [3Xobj[103X ) [32X Category
  
  [33X[0;0YA [13Xmagma-with-one[113X in [5XGAP[105X is a magma [22XM[122X with an operation [10X^0[110X (or [2XOne[102X ([14X31.10-2[114X))
  that yields the identity of [22XM[122X.[133X
  
  [33X[0;0YSo  a magma-with-one [22XM[122X does always contain a unique multiplicatively neutral
  element   [22Xe[122X,   i.e.,   [22Xe[122X[10X   *   [110X[22Xm  =  m  =  m[122X[10X  *  [110X[22Xe[122X  holds  for  all  [22Xm  ∈  M[122X
  (see [2XMultiplicativeNeutralElement[102X ([14X35.4-10[114X)). This element [22Xe[122X can be computed
  with  the operation [2XOne[102X ([14X31.10-2[114X) as [10XOne( [110X[22XM[122X[10X )[110X, and [22Xe[122X is also equal to [10XOne( [110X[22Xm[122X[10X
  )[110X and to [22Xm[122X[10X^0[110X for each element [22Xm ∈ M[122X.[133X
  
  [33X[0;0Y[13XNote[113X  that a magma may contain a multiplicatively neutral element but [13Xnot[113X an
  identity (see [2XOne[102X ([14X31.10-2[114X)), and a magma containing an identity may [13Xnot[113X lie
  in the category [2XIsMagmaWithOne[102X (see Section [14X31.6[114X).[133X
  
  [1X35.1-3 IsMagmaWithInversesIfNonzero[101X
  
  [29X[2XIsMagmaWithInversesIfNonzero[102X( [3Xobj[103X ) [32X Category
  
  [33X[0;0YAn  object in this [5XGAP[105X category is a magma-with-one [22XM[122X with an operation [10X^-1[110X[22X:
  M  ∖  Z  →  M  ∖ Z[122X that maps each element [22Xm[122X of [22XM ∖ Z[122X to its inverse [22Xm[122X[10X^-1[110X (or
  [10XInverse(  [110X[22Xm[122X[10X  )[110X,  see [2XInverse[102X ([14X31.10-8[114X)), where [22XZ[122X is either empty or consists
  exactly of one element of [22XM[122X.[133X
  
  [33X[0;0YThis  category  was  introduced mainly to describe division rings, since the
  nonzero  elements  in  a  division  ring  form  a  group;  So an object [22XM[122X in
  [2XIsMagmaWithInversesIfNonzero[102X  will usually have both a multiplicative and an
  additive  structure  (see [14X55[114X),  and  the  set [22XZ[122X, if it is nonempty, contains
  exactly the zero element (see [2XZero[102X ([14X31.10-3[114X)) of [22XM[122X.[133X
  
  [1X35.1-4 IsMagmaWithInverses[101X
  
  [29X[2XIsMagmaWithInverses[102X( [3Xobj[103X ) [32X Category
  
  [33X[0;0YA  [13Xmagma-with-inverses[113X in [5XGAP[105X is a magma-with-one [22XM[122X with an operation [10X^-1[110X[22X: M
  →  M[122X  that  maps  each  element [22Xm[122X of [22XM[122X to its inverse [22Xm[122X[10X^-1[110X (or [10XInverse( [110X[22Xm[122X[10X )[110X,
  see [2XInverse[102X ([14X31.10-8[114X)).[133X
  
  [33X[0;0YNote  that  not  every  trivial magma is a magma-with-one, but every trivial
  magma-with-one  is a magma-with-inverses. This holds also if the identity of
  the  magma-with-one  is  a zero element. So a magma-with-inverses-if-nonzero
  can  be  a  magma-with-inverses  if  either  it  contains no zero element or
  consists of a zero element that has itself as zero-th power.[133X
  
  
  [1X35.2 [33X[0;0YMagma Generation[133X[101X
  
  [33X[0;0YThis  section  describes  functions  that create magmas from generators (see
  [2XMagma[102X  ([14X35.2-1[114X),  [2XMagmaWithOne[102X  ([14X35.2-2[114X),  [2XMagmaWithInverses[102X  ([14X35.2-3[114X)), the
  underlying   operations   for   which   methods   can   be   installed  (see
  [2XMagmaByGenerators[102X      ([14X35.2-4[114X),      [2XMagmaWithOneByGenerators[102X     ([14X35.2-5[114X),
  [2XMagmaWithInversesByGenerators[102X  ([14X35.2-6[114X)),  functions  for  forming submagmas
  (see   [2XSubmagma[102X  ([14X35.2-7[114X),  [2XSubmagmaWithOne[102X  ([14X35.2-8[114X),  [2XSubmagmaWithInverses[102X
  ([14X35.2-9[114X)),  and functions that form a magma equal to a given collection (see
  [2XAsMagma[102X ([14X35.2-10[114X), [2XAsSubmagma[102X ([14X35.2-11[114X)).[133X
  
  [33X[0;0Y[2XInjectionZeroMagma[102X ([14X35.2-12[114X) creates a new magma which is the original magma
  with a zero adjoined.[133X
  
  [1X35.2-1 Magma[101X
  
  [29X[2XMagma[102X( [[3XFam[103X, ][3Xgens[103X ) [32X function
  
  [33X[0;0Yreturns the magma [22XM[122X that is generated by the elements in the list [3Xgens[103X, that
  is, the closure of [3Xgens[103X under multiplication [2X\*[102X ([14X31.12-1[114X). The family [3XFam[103X of
  [22XM[122X  can be entered as the first argument; this is obligatory if [3Xgens[103X is empty
  (and hence also [22XM[122X is empty).[133X
  
  [1X35.2-2 MagmaWithOne[101X
  
  [29X[2XMagmaWithOne[102X( [[3XFam[103X, ][3Xgens[103X ) [32X function
  
  [33X[0;0Yreturns  the  magma-with-one [22XM[122X that is generated by the elements in the list
  [3Xgens[103X, that is, the closure of [3Xgens[103X under multiplication [2X\*[102X ([14X31.12-1[114X) and [2XOne[102X
  ([14X31.10-2[114X).  The  family  [3XFam[103X  of [22XM[122X can be entered as first argument; this is
  obligatory if [3Xgens[103X is empty (and hence [22XM[122X is trivial).[133X
  
  [1X35.2-3 MagmaWithInverses[101X
  
  [29X[2XMagmaWithInverses[102X( [[3XFam[103X, ][3Xgens[103X ) [32X function
  
  [33X[0;0Yreturns  the  magma-with-inverses [22XM[122X that is generated by the elements in the
  list  [3Xgens[103X,  that is, the closure of [3Xgens[103X under multiplication [2X\*[102X ([14X31.12-1[114X),
  [2XOne[102X  ([14X31.10-2[114X), and [2XInverse[102X ([14X31.10-8[114X). The family [3XFam[103X of [22XM[122X can be entered as
  first  argument;  this  is  obligatory  if  [3Xgens[103X  is  empty  (and hence [22XM[122X is
  trivial).[133X
  
  [1X35.2-4 MagmaByGenerators[101X
  
  [29X[2XMagmaByGenerators[102X( [[3XFam[103X, ][3Xgens[103X ) [32X operation
  
  [33X[0;0YAn underlying operation for [2XMagma[102X ([14X35.2-1[114X).[133X
  
  [1X35.2-5 MagmaWithOneByGenerators[101X
  
  [29X[2XMagmaWithOneByGenerators[102X( [[3XFam[103X, ][3Xgens[103X ) [32X operation
  
  [33X[0;0YAn underlying operation for [2XMagmaWithOne[102X ([14X35.2-2[114X).[133X
  
  [1X35.2-6 MagmaWithInversesByGenerators[101X
  
  [29X[2XMagmaWithInversesByGenerators[102X( [[3XFam[103X, ][3Xgens[103X ) [32X operation
  
  [33X[0;0YAn underlying operation for [2XMagmaWithInverses[102X ([14X35.2-3[114X).[133X
  
  [1X35.2-7 Submagma[101X
  
  [29X[2XSubmagma[102X( [3XD[103X, [3Xgens[103X ) [32X function
  [29X[2XSubmagmaNC[102X( [3XD[103X, [3Xgens[103X ) [32X function
  
  [33X[0;0Y[2XSubmagma[102X  returns the magma generated by the elements in the list [3Xgens[103X, with
  parent the domain [3XD[103X. [2XSubmagmaNC[102X does the same, except that it is not checked
  whether the elements of [3Xgens[103X lie in [3XD[103X.[133X
  
  [1X35.2-8 SubmagmaWithOne[101X
  
  [29X[2XSubmagmaWithOne[102X( [3XD[103X, [3Xgens[103X ) [32X function
  [29X[2XSubmagmaWithOneNC[102X( [3XD[103X, [3Xgens[103X ) [32X function
  
  [33X[0;0Y[2XSubmagmaWithOne[102X  returns the magma-with-one generated by the elements in the
  list [3Xgens[103X, with parent the domain [3XD[103X. [2XSubmagmaWithOneNC[102X does the same, except
  that it is not checked whether the elements of [3Xgens[103X lie in [3XD[103X.[133X
  
  [1X35.2-9 SubmagmaWithInverses[101X
  
  [29X[2XSubmagmaWithInverses[102X( [3XD[103X, [3Xgens[103X ) [32X function
  [29X[2XSubmagmaWithInversesNC[102X( [3XD[103X, [3Xgens[103X ) [32X function
  
  [33X[0;0Y[2XSubmagmaWithInverses[102X   returns  the  magma-with-inverses  generated  by  the
  elements  in the list [3Xgens[103X, with parent the domain [3XD[103X. [2XSubmagmaWithInversesNC[102X
  does  the  same,  except that it is not checked whether the elements of [3Xgens[103X
  lie in [3XD[103X.[133X
  
  [1X35.2-10 AsMagma[101X
  
  [29X[2XAsMagma[102X( [3XC[103X ) [32X attribute
  
  [33X[0;0YFor  a collection [3XC[103X whose elements form a magma, [2XAsMagma[102X returns this magma.
  Otherwise [9Xfail[109X is returned.[133X
  
  [1X35.2-11 AsSubmagma[101X
  
  [29X[2XAsSubmagma[102X( [3XD[103X, [3XC[103X ) [32X operation
  
  [33X[0;0YLet  [3XD[103X  be  a  domain and [3XC[103X a collection. If [3XC[103X is a subset of [3XD[103X that forms a
  magma  then  [2XAsSubmagma[102X returns this magma, with parent [3XD[103X. Otherwise [9Xfail[109X is
  returned.[133X
  
  [1X35.2-12 InjectionZeroMagma[101X
  
  [29X[2XInjectionZeroMagma[102X( [3XM[103X ) [32X attribute
  
  [33X[0;0YThe  canonical  homomorphism [3Xi[103X from the magma [3XM[103X into the magma formed from [3XM[103X
  with  a  single new element which is a multiplicative zero for the resulting
  magma.[133X
  
  [33X[0;0YThe  elements  of  the  new  magma form a family of elements in the category
  IsMultiplicativeElementWithZero, and the new magma is obtained as Range([3Xi[103X).[133X
  
  
  [1X35.3 [33X[0;0YMagmas Defined by Multiplication Tables[133X[101X
  
  [33X[0;0YThe most elementary (but of course usually not recommended) way to implement
  a magma with only few elements is via a multiplication table.[133X
  
  [1X35.3-1 MagmaByMultiplicationTable[101X
  
  [29X[2XMagmaByMultiplicationTable[102X( [3XA[103X ) [32X function
  
  [33X[0;0YFor  a  square  matrix  [3XA[103X  with [22Xn[122X rows such that all entries of [3XA[103X are in the
  range  [22X[  1  ..  n  ][122X,  [2XMagmaByMultiplicationTable[102X  returns  a  magma [22XM[122X with
  multiplication [10X*[110X defined by [3XA[103X. That is, [22XM[122X consists of the elements [22Xm_1, m_2,
  ..., m_n[122X, and [22Xm_i * m_j = m_k[122X, with [22Xk =[122X [3XA[103X[22X[i][j][122X.[133X
  
  [33X[0;0YThe  ordering  of  elements is defined by [22Xm_1 < m_2 < ⋯ < m_n[122X, so [22Xm_i[122X can be
  accessed as [10XMagmaElement( [3XM[103X[10X, [3Xi[103X[10X )[110X, see [2XMagmaElement[102X ([14X35.3-4[114X).[133X
  
  [1X35.3-2 MagmaWithOneByMultiplicationTable[101X
  
  [29X[2XMagmaWithOneByMultiplicationTable[102X( [3XA[103X ) [32X function
  
  [33X[0;0YThe   only   differences  between  [2XMagmaByMultiplicationTable[102X  ([14X35.3-1[114X)  and
  [2XMagmaWithOneByMultiplicationTable[102X    are   that   the   latter   returns   a
  magma-with-one  (see [2XMagmaWithOne[102X  ([14X35.2-2[114X))  if  the magma described by the
  matrix [3XA[103X has an identity, and returns [9Xfail[109X if not.[133X
  
  [1X35.3-3 MagmaWithInversesByMultiplicationTable[101X
  
  [29X[2XMagmaWithInversesByMultiplicationTable[102X( [3XA[103X ) [32X function
  
  [33X[0;0Y[2XMagmaByMultiplicationTable[102X                    ([14X35.3-1[114X)                   and
  [2XMagmaWithInversesByMultiplicationTable[102X   differ  only  in  that  the  latter
  returns magma-with-inverses (see [2XMagmaWithInverses[102X ([14X35.2-3[114X)) if each element
  in  the  magma described by the matrix [3XA[103X has an inverse, and returns [9Xfail[109X if
  not.[133X
  
  [1X35.3-4 MagmaElement[101X
  
  [29X[2XMagmaElement[102X( [3XM[103X, [3Xi[103X ) [32X function
  
  [33X[0;0YFor  a  magma  [3XM[103X  and  a  positive  integer [3Xi[103X, [2XMagmaElement[102X returns the [3Xi[103X-th
  element of [3XM[103X, w.r.t. the ordering [10X<[110X. If [3XM[103X has less than [3Xi[103X elements then [9Xfail[109X
  is returned.[133X
  
  
  [1X35.3-5 [33X[0;0YMultiplicationTable[133X[101X
  
  [29X[2XMultiplicationTable[102X( [3Xelms[103X ) [32X attribute
  [29X[2XMultiplicationTable[102X( [3XM[103X ) [32X attribute
  
  [33X[0;0YFor a list [3Xelms[103X of elements that form a magma [22XM[122X, [2XMultiplicationTable[102X returns
  a  square  matrix  [22XA[122X of positive integers such that [22XA[i][j] = k[122X holds if and
  only  if [3Xelms[103X[22X[i] *[122X [3Xelms[103X[22X[j] =[122X [3Xelms[103X[22X[k][122X. This matrix can be used to construct a
  magma isomorphic to [22XM[122X, using [2XMagmaByMultiplicationTable[102X ([14X35.3-1[114X).[133X
  
  [33X[0;0YFor   a  magma  [3XM[103X,  [2XMultiplicationTable[102X  returns  the  multiplication  table
  w.r.t. the sorted list of elements of [3XM[103X.[133X
  
  [4X[32X  Example  [32X[104X
    [4X[25Xgap>[125X [27Xl:= [ (), (1,2)(3,4), (1,3)(2,4), (1,4)(2,3) ];;[127X[104X
    [4X[25Xgap>[125X [27Xa:= MultiplicationTable( l );[127X[104X
    [4X[28X[ [ 1, 2, 3, 4 ], [ 2, 1, 4, 3 ], [ 3, 4, 1, 2 ], [ 4, 3, 2, 1 ] ][128X[104X
    [4X[25Xgap>[125X [27Xm:= MagmaByMultiplicationTable( a );[127X[104X
    [4X[28X<magma with 4 generators>[128X[104X
    [4X[25Xgap>[125X [27XOne( m );[127X[104X
    [4X[28Xm1[128X[104X
    [4X[25Xgap>[125X [27Xelm:= MagmaElement( m, 2 );  One( elm );  elm^2;[127X[104X
    [4X[28Xm2[128X[104X
    [4X[28Xm1[128X[104X
    [4X[28Xm1[128X[104X
    [4X[25Xgap>[125X [27XInverse( elm );[127X[104X
    [4X[28Xm2[128X[104X
    [4X[25Xgap>[125X [27XAsGroup( m );[127X[104X
    [4X[28X<group of size 4 with 2 generators>[128X[104X
    [4X[25Xgap>[125X [27Xa:= [ [ 1, 2 ], [ 2, 2 ] ];[127X[104X
    [4X[28X[ [ 1, 2 ], [ 2, 2 ] ][128X[104X
    [4X[25Xgap>[125X [27Xm:= MagmaByMultiplicationTable( a );[127X[104X
    [4X[28X<magma with 2 generators>[128X[104X
    [4X[25Xgap>[125X [27XOne( m );  Inverse( MagmaElement( m, 2 ) );[127X[104X
    [4X[28Xm1[128X[104X
    [4X[28Xfail[128X[104X
  [4X[32X[104X
  
  
  [1X35.4 [33X[0;0YAttributes and Properties for Magmas[133X[101X
  
  [33X[0;0Y[13XNote[113X  that [2XIsAssociative[102X ([14X35.4-7[114X) and [2XIsCommutative[102X ([14X35.4-9[114X) always refer to
  the multiplication of a domain. If a magma [3XM[103X has also an [13Xadditive structure[113X,
  e.g.,  if  [3XM[103X is a ring (see [14X56[114X), then the addition [10X+[110X is always assumed to be
  associative and commutative, see [14X31.12[114X.[133X
  
  [1X35.4-1 GeneratorsOfMagma[101X
  
  [29X[2XGeneratorsOfMagma[102X( [3XM[103X ) [32X attribute
  
  [33X[0;0Yis  a list [3Xgens[103X of elements of the magma [3XM[103X that generates [3XM[103X as a magma, that
  is, the closure of [3Xgens[103X under multiplication [2X\*[102X ([14X31.12-1[114X) is [3XM[103X.[133X
  
  [33X[0;0YFor  a  free magma, each generator can also be accessed using the [10X.[110X operator
  (see [2XGeneratorsOfDomain[102X ([14X31.9-2[114X)).[133X
  
  [1X35.4-2 GeneratorsOfMagmaWithOne[101X
  
  [29X[2XGeneratorsOfMagmaWithOne[102X( [3XM[103X ) [32X attribute
  
  [33X[0;0Yis  a  list  [3Xgens[103X  of elements of the magma-with-one [3XM[103X that generates [3XM[103X as a
  magma-with-one,  that  is,  the  closure  of  [3Xgens[103X  under  multiplication [2X\*[102X
  ([14X31.12-1[114X) and [2XOne[102X ([14X31.10-2[114X) is [3XM[103X.[133X
  
  [33X[0;0YFor  a  free magma with one, each generator can also be accessed using the [10X.[110X
  operator (see [2XGeneratorsOfDomain[102X ([14X31.9-2[114X)).[133X
  
  [1X35.4-3 GeneratorsOfMagmaWithInverses[101X
  
  [29X[2XGeneratorsOfMagmaWithInverses[102X( [3XM[103X ) [32X attribute
  
  [33X[0;0Yis  a list [3Xgens[103X of elements of the magma-with-inverses [3XM[103X that generates [3XM[103X as
  a  magma-with-inverses, that is, the closure of [3Xgens[103X under multiplication [2X\*[102X
  ([14X31.12-1[114X) and taking inverses (see [2XInverse[102X ([14X31.10-8[114X)) is [3XM[103X.[133X
  
  [1X35.4-4 Centralizer[101X
  
  [29X[2XCentralizer[102X( [3XM[103X, [3Xelm[103X ) [32X operation
  [29X[2XCentralizer[102X( [3XM[103X, [3XS[103X ) [32X operation
  [29X[2XCentralizer[102X( [3Xclass[103X ) [32X attribute
  
  [33X[0;0YFor  an element [3Xelm[103X of the magma [3XM[103X this operation returns the [13Xcentralizer[113X of
  [3Xelm[103X. This is the domain of those elements [3Xm[103X [22X∈[122X [3XM[103X that commute with [3Xelm[103X.[133X
  
  [33X[0;0YFor  a  submagma [3XS[103X it returns the domain of those elements that commute with
  [13Xall[113X elements [3Xs[103X of [3XS[103X.[133X
  
  [33X[0;0YIf  [3Xclass[103X is a class of objects of a magma (this magma then is stored as the
  [10XActingDomain[110X   of   [3Xclass[103X)   such  as  given  by  [2XConjugacyClass[102X  ([14X39.10-1[114X),
  [2XCentralizer[102X  returns  the  centralizer  of [10XRepresentative([3Xclass[103X[10X)[110X (which is a
  slight abuse of the notation).[133X
  
  [4X[32X  Example  [32X[104X
    [4X[25Xgap>[125X [27Xg:=Group((1,2,3,4),(1,2));;[127X[104X
    [4X[25Xgap>[125X [27XCentralizer(g,(1,2,3));[127X[104X
    [4X[28XGroup([ (1,2,3) ])[128X[104X
    [4X[25Xgap>[125X [27XCentralizer(g,Subgroup(g,[(1,2,3)]));[127X[104X
    [4X[28XGroup([ (1,2,3) ])[128X[104X
    [4X[25Xgap>[125X [27XCentralizer(g,Subgroup(g,[(1,2,3),(1,2)]));[127X[104X
    [4X[28XGroup(())[128X[104X
  [4X[32X[104X
  
  [1X35.4-5 Centre[101X
  
  [29X[2XCentre[102X( [3XM[103X ) [32X attribute
  [29X[2XCenter[102X( [3XM[103X ) [32X attribute
  
  [33X[0;0Y[2XCentre[102X returns the [13Xcentre[113X of the magma [3XM[103X, i.e., the domain of those elements
  [3Xm[103X  [22X∈[122X [3XM[103X that commute and associate with all elements of [3XM[103X. That is, the set [22X{
  m ∈ M; ∀ a, b ∈ M: ma = am, (ma)b = m(ab), (am)b = a(mb), (ab)m = a(bm) }[122X.[133X
  
  [33X[0;0Y[2XCenter[102X is just a synonym for [2XCentre[102X.[133X
  
  [33X[0;0YFor  associative  magmas  we  have  that  [10XCentre( [3XM[103X[10X ) = Centralizer( [3XM[103X[10X, [3XM[103X[10X )[110X,
  see [2XCentralizer[102X ([14X35.4-4[114X).[133X
  
  [33X[0;0YThe  centre  of  a magma is always commutative (see [2XIsCommutative[102X ([14X35.4-9[114X)).
  (When one installs a new method for [2XCentre[102X, one should set the [2XIsCommutative[102X
  ([14X35.4-9[114X)  value  of  the  result  to [9Xtrue[109X, in order to make this information
  available.)[133X
  
  [1X35.4-6 Idempotents[101X
  
  [29X[2XIdempotents[102X( [3XM[103X ) [32X attribute
  
  [33X[0;0YThe set of elements of [3XM[103X which are their own squares.[133X
  
  [1X35.4-7 IsAssociative[101X
  
  [29X[2XIsAssociative[102X( [3XM[103X ) [32X property
  
  [33X[0;0YA  magma  [3XM[103X is [13Xassociative[113X if for all elements [22Xa, b, c ∈[122X [3XM[103X the equality [22X(a[122X[10X *
  [110X[22Xb)[122X[10X * [110X[22Xc = a[122X[10X * [110X[22X(b[122X[10X * [110X[22Xc)[122X holds.[133X
  
  [33X[0;0YAn  associative  magma  is  called  a  [13Xsemigroup[113X  (see [14X51[114X),  an  associative
  magma-with-one   is   called   a   [13Xmonoid[113X   (see [14X52[114X),   and  an  associative
  magma-with-inverses is called a [13Xgroup[113X (see [14X39[114X).[133X
  
  [1X35.4-8 IsCentral[101X
  
  [29X[2XIsCentral[102X( [3XM[103X, [3Xobj[103X ) [32X operation
  
  [33X[0;0Y[2XIsCentral[102X returns [9Xtrue[109X if the object [3Xobj[103X, which must either be an element or
  a magma, commutes with all elements in the magma [3XM[103X.[133X
  
  [1X35.4-9 IsCommutative[101X
  
  [29X[2XIsCommutative[102X( [3XM[103X ) [32X property
  [29X[2XIsAbelian[102X( [3XM[103X ) [32X property
  
  [33X[0;0YA magma [3XM[103X is [13Xcommutative[113X if for all elements [22Xa, b ∈[122X [3XM[103X the equality [22Xa[122X[10X * [110X[22Xb = b[122X[10X
  * [110X[22Xa[122X holds. [2XIsAbelian[102X is a synonym of [2XIsCommutative[102X.[133X
  
  [33X[0;0YNote  that  the  commutativity  of  the [13Xaddition[113X [2X\+[102X ([14X31.12-1[114X) in an additive
  structure can be tested with [2XIsAdditivelyCommutative[102X ([14X55.3-1[114X).[133X
  
  [1X35.4-10 MultiplicativeNeutralElement[101X
  
  [29X[2XMultiplicativeNeutralElement[102X( [3XM[103X ) [32X attribute
  
  [33X[0;0Yreturns  the element [22Xe[122X in the magma [3XM[103X with the property that [22Xe[122X[10X * [110X[22Xm = m = m[122X[10X *
  [110X[22Xe[122X  holds  for  all  [22Xm  ∈[122X  [3XM[103X,  if  such  an element exists. Otherwise [9Xfail[109X is
  returned.[133X
  
  [33X[0;0YA  magma  that  is  not  a  magma-with-one can have a multiplicative neutral
  element  [22Xe[122X;  in  this  case,  [22Xe[122X  [13Xcannot[113X  be  obtained  as  [10XOne( [3XM[103X[10X )[110X, see [2XOne[102X
  ([14X31.10-2[114X).[133X
  
  [1X35.4-11 MultiplicativeZero[101X
  
  [29X[2XMultiplicativeZero[102X( [3XM[103X ) [32X attribute
  
  [33X[0;0YReturns  the  multiplicative  zero  of the magma which is the element [3Xz[103X such
  that for all [3Xm[103X in [3XM[103X, [10X[3Xz[103X[10X * [3Xm[103X[10X = [3Xm[103X[10X * [3Xz[103X[10X = [3Xz[103X[10X[110X.[133X
  
  [1X35.4-12 IsMultiplicativeZero[101X
  
  [29X[2XIsMultiplicativeZero[102X( [3XM[103X, [3Xz[103X ) [32X operation
  
  [33X[0;0Yreturns true iff [10X[3Xz[103X[10X * [3Xm[103X[10X = [3Xm[103X[10X * [3Xz[103X[10X = [3Xz[103X[10X[110X for all [3Xm[103X in [3XM[103X.[133X
  
  [1X35.4-13 SquareRoots[101X
  
  [29X[2XSquareRoots[102X( [3XM[103X, [3Xelm[103X ) [32X operation
  
  [33X[0;0Yis  the  proper  set  of all elements [22Xr[122X in the magma [3XM[103X such that [22Xr * r =[122X [3Xelm[103X
  holds.[133X
  
  [1X35.4-14 TrivialSubmagmaWithOne[101X
  
  [29X[2XTrivialSubmagmaWithOne[102X( [3XM[103X ) [32X attribute
  
  [33X[0;0Yis  the magma-with-one that has the identity of the magma-with-one [3XM[103X as only
  element.[133X
  
