OpenMath Content Dictionary: monoid3

Canonical URL:

http://www.openmath.org/cd/monoid3.ocd

CD Base:

http://www.openmath.org/cd

CD File:

monoid3.ocd

CD as XML Encoded OpenMath:

monoid3.omcd

Defines:

automorphism_group, concatenation, cyclic_monoid, direct_power, direct_product, emptyword, free_monoid, left_regular_representation, maps_monoid, strings

Date:

2004-06-01

Version:

3 (Revision 2)

Review Date:

2006-06-01

Status:

experimental

---

Monoid constructions

Initiated by Arjeh M. Cohen 2003-10-02
Edited AMC 2004-03-05
Edited AMC 2004-06-27

---

cyclic_monoid

Description:

This symbol is a function of two natural numbers, the first of which should be positive. When evaluated at k and l, it denotes the cyclic monoid with a cycle of length l and a tail (including the identity element) of length k.

Example:

OpenMath XML (source)

    <OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
     <OMA>
      <OMS cd="monoid3" name="cyclic_monoid"/>
      <OMV name="k"/>
      <OMV name="l"/>
     </OMA>
    </OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML"><apply><csymbol cd="monoid3">cyclic_monoid</csymbol><ci>k</ci><ci>l</ci></apply></math>

Prefix

cyclic_monoid ( k, l)

Popcorn

monoid3.cyclic_monoid($k, $l)

Rendered Presentation MathML

$$\mathrm{cyclic\_monoid}(k,l)$$

Commented Mathematical property (CMP):

The size of cyclickl(k,l) equals k+l.

Formal Mathematical property (FMP):

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
  <OMA><OMS cd="relation1" name="eq"/>
       <OMA><OMS cd="set1" name="size"/>
            <OMA><OMS cd="monoid1" name="carrier"/>
                 <OMA><OMS cd="monoid3" name="cyclic_monoid"/>
                      <OMV name="k"/>   <OMV name="l"/>
                 </OMA>
            </OMA>
       </OMA>
       <OMA><OMS cd="arith1" name="plus"/>
            <OMV name="k"/> <OMV name="l"/>
      </OMA>
 </OMA>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relation1">eq</csymbol>
  <apply><csymbol cd="set1">size</csymbol>
   <apply><csymbol cd="monoid1">carrier</csymbol>
    <apply><csymbol cd="monoid3">cyclic_monoid</csymbol><ci>k</ci><ci>l</ci></apply>
   </apply>
  </apply>
  <apply><csymbol cd="arith1">plus</csymbol><ci>k</ci><ci>l</ci></apply>
 </apply>
</math>

Prefix

eq (size (carrier (cyclic_monoid ( k, l) ) ) , plus ( k, l) )

Popcorn

set1.size(monoid1.carrier(monoid3.cyclic_monoid($k, $l))) = $k + $l

Rendered Presentation MathML

$$\mathrm{size}\left(\mathrm{carrier}\left(\mathrm{cyclic\_monoid}(k,l)\right)\right)=k+l$$

Signatures:

sts

---

[Next: maps_monoid] [Last: concatenation] [Top]

---

maps_monoid

Description:

This is a unary function whose argument must be a set X or a positive integer. When applied to X, it refers to the monoid of all functions from X to X if X is a set and to {1,...,X} if X is an integer, whose binary operation is composition of maps and whose identity element is the identity map on the set X, respectively {1,...,X}.

Signatures:

sts

---

[Next: left_regular_representation] [Previous: cyclic_monoid] [Top]

---

left_regular_representation

Description:

This is a unary function whose argument must be a monoid M. When applied to M, it represents the map from M to the maps monoid on M that assigns to m left multiplication by m on M.

Commented Mathematical property (CMP):

The left regular representation on M applied to the element x of M represents left multiplication by x on M

Formal Mathematical property (FMP):

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
       <OMBIND><OMS cd="quant1" name="forall"/>
            <OMBVAR><OMV name="M"/> <OMV name="x"/>  </OMBVAR>
            <OMA><OMS cd="relation1" name="eq"/>
                 <OMA><OMA><OMS cd="monoid3" name="left_regular_representation"/>
                           <OMV name="M"/>
                      </OMA>
                      <OMV name="x"/>
                 </OMA>
                 <OMA><OMS cd="monoid2" name="left_multiplication"/>
                      <OMV name="M"/> <OMV name="x"/>
                 </OMA>
             </OMA>
        </OMBIND>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <bind><csymbol cd="quant1">forall</csymbol>
  <bvar><ci>M</ci></bvar>
  <bvar><ci>x</ci></bvar>
  <apply><csymbol cd="relation1">eq</csymbol>
   <apply><apply><csymbol cd="monoid3">left_regular_representation</csymbol><ci>M</ci></apply><ci>x</ci></apply>
   <apply><csymbol cd="monoid2">left_multiplication</csymbol><ci>M</ci><ci>x</ci></apply>
  </apply>
 </bind>
</math>

Prefix

forall [ M x ] . (eq (left_regular_representation ( M) ( x) , left_multiplication ( M, x) ) )

Popcorn

quant1.forall[$M, $x -> monoid3.left_regular_representation($M)($x) = monoid2.left_multiplication($M, $x)]

Rendered Presentation MathML

$$\forall \hspace{0.17em}M,x.\left(\mathrm{left\_regular\_representation}\left(M\right)\right)\left(x\right)=\mathrm{left\_multiplication}(M,x)$$

Commented Mathematical property (CMP):

The left regular representation is a homomorphism of monoids from M to the maps monoid on M.

Formal Mathematical property (FMP):

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
       <OMBIND><OMS cd="quant1" name="forall"/>
            <OMBVAR><OMV name="M"/>  </OMBVAR>
            <OMA><OMS cd="monoid2" name="is_homomorphism"/>
                 <OMV name="M"/>
                 <OMA><OMS cd="monoid3" name="maps_monoid"/>
                      <OMV name="M"/>
                 </OMA>
                 <OMA><OMS cd="monoid3" name="left_regular_representation"/>
                      <OMV name="M"/>
                 </OMA>
            </OMA>
        </OMBIND>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <bind><csymbol cd="quant1">forall</csymbol>
  <bvar><ci>M</ci></bvar>
  <apply><csymbol cd="monoid2">is_homomorphism</csymbol>
   <ci>M</ci>
   <apply><csymbol cd="monoid3">maps_monoid</csymbol><ci>M</ci></apply>
   <apply><csymbol cd="monoid3">left_regular_representation</csymbol><ci>M</ci></apply>
  </apply>
 </bind>
</math>

Prefix

forall [ M ] . (is_homomorphism ( M, maps_monoid ( M) , left_regular_representation ( M) ) )

Popcorn

quant1.forall[$M -> monoid2.is_homomorphism($M, monoid3.maps_monoid($M), monoid3.left_regular_representation($M))]

Rendered Presentation MathML

$$\forall \hspace{0.17em}M.\mathrm{is\_homomorphism}(M,\mathrm{maps\_monoid}\left(M\right),\mathrm{left\_regular\_representation}\left(M\right))$$

Signatures:

sts

---

[Next: automorphism_group] [Previous: maps_monoid] [Top]

---

automorphism_group

Description:

This is a function with a single argument which must be a monoid. It refers to the automorphism group of its argument.

Signatures:

sts

---

[Next: direct_product] [Previous: left_regular_representation] [Top]

---

direct_product

Description:

This is an n-ary function whose arguments must be monoids. It refers to the direct product of its arguments.

Signatures:

sts

---

[Next: direct_power] [Previous: automorphism_group] [Top]

---

direct_power

Description:

This is a binary function whose first argument should be a monoid M and whose second argument should be a natural number n. It refers to the direct product of n copies of M.

Signatures:

sts

---

[Next: free_monoid] [Previous: direct_product] [Top]

---

free_monoid

Description:

This symbol represents a unary function. The argument is a list or a set. When evaluated on such an argument, the function represents the free monoid generated by the entries of the list or set.

Example:

The free monoid on the letters a, b:

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
  <OMA><OMS cd="monoid3" name="free_monoid"/>
       <OMA><OMS cd="list1" name="list"/>
            <OMV name="a"/>  <OMV name="b"/>
       </OMA>
  </OMA>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="monoid3">free_monoid</csymbol>
  <apply><csymbol cd="list1">list</csymbol><ci>a</ci><ci>b</ci></apply>
 </apply>
</math>

Prefix

free_monoid (list ( a, b) )

Popcorn

monoid3.free_monoid([$a , $b])

Rendered Presentation MathML

$$\mathrm{free\_monoid}\left((a,b)\right)$$

Signatures:

sts

---

[Next: strings] [Previous: direct_power] [Top]

---

strings

Description:

This symbol represents a unary function. The argument is a list or a set. When evaluated on such an argument, the function represents the set of all strings whose characters are entries of the list or set.

Signatures:

sts

---

[Next: emptyword] [Previous: free_monoid] [Top]

---

emptyword

Description:

This symbol represents a constant. It represents the empty string.

Signatures:

sts

---

[Next: concatenation] [Previous: strings] [Top]

---

concatenation

Description:

This symbol represents a binary concatenation operation on strings.

Signatures:

sts

---

[First: cyclic_monoid] [Previous: emptyword] [Top]