This article may be confusing or unclear to readers. Please help clarify the article. There might be a discussion about this on the talk page.(March 2011) (Learn how and when to remove this message)
In algebra, a presentation of a monoid (or a presentation of a semigroup) is a description of a monoid (or a semigroup) in terms of a set Σ of generators and a set of relations on the free monoid Σ∗ (or the free semigroup Σ+) generated by Σ. The monoid is then presented as the quotient of the free monoid (or the free semigroup) by these relations. This is an analogue of a group presentation in group theory.
As a mathematical structure, a monoid presentation is identical to a string rewriting system (also known as a semi-Thue system). Every monoid may be presented by a semi-Thue system (possibly over an infinite alphabet).[1]
A presentation should not be confused with a representation.
^Book and Otto, Theorem 7.1.7, p. 149
and 23 Related for: Presentation of a monoid information
In abstract algebra, a branch of mathematics, amonoid is a set equipped with an associative binary operation and an identity element. For example, the...
said to be amonoid generating set of G {\displaystyle G} if each non-zero element of G {\displaystyle G} is a finite sum of elements of S {\displaystyle...
obtain apresentationof the bicyclic monoid. Thus semi-Thue systems constitute a natural framework for solving the word problem for monoids and groups...
(often the positive integers) is the monoid with the following presentation: The generators are the letters of the alphabet The relations are the elementary...
of the modular group is the dyadic monoid, which is the monoidof all strings of the form STkSTmSTn... for positive integers k, m, n,.... This monoid...
group finitely presented monoid finitely presented module finitely presented algebra finitely presented scheme, a global version ofa finitely presented algebra...
move has a forced win in best play; or P The Previous player to move has a forced win. We can write down a commutative monoidpresentation for the misere...
this monoid is the set of prime numbers. Addition and multiplication are compatible, which is expressed in the distribution law: a × (b + c) = (a × b)...
group Group ring Group with operators Heap Linear algebra Magma Module MonoidMonoid ring Quandle Quasigroup Quantum group Ring Semigroup Vector space Affine...
homZ(M,A) for every abelian group A, is a right adjoint to F. From monoids and groups to rings. The integral monoid ring construction gives a functor...
diffeomorphism classes of oriented exotic spheres form the non-trivial elements of an abelian monoid under connected sum, which is a finite abelian group...
An inverse monoid S in which xx−1 = 1 = x−1x, for all x in S (a unipotent inverse monoid), is, of course, a group. There are a number of equivalent characterisations...
modern mathematics, this system is called a free monoid. In 1956 Alonzo Church wrote: "Like any branch of mathematics, theoretical syntax may, and ultimately...
validity of MapReduce operations. In the Algebird package a Scala implementation of Map/Reduce explicitly requires amonoid class type . The operations of MapReduce...
the presence of dependent typing, a category in general can be viewed as a typed monoid, and similarly, a groupoid can be viewed as simply a typed group...
(the Wirtinger presentation) in which the relations only involve conjugation. So, this presentation can also be used as apresentationofa quandle. The...
201–215, doi:10.1023/A:1015632704977, S2CID 18334698. Duncan, A. J.; Robertson, E. F.; Ruskuc, N. (1999), "Automatic monoids and change of generators", Mathematical...
words in A {\displaystyle A} and a formal set of inverses that map to the identity under the natural map from the free monoid with involution on A {\displaystyle...
{\displaystyle N} (respecting the group, or even just monoid structure) is the same thing as a functor F : B H → C a t {\displaystyle F:BH\to Cat} from the groupoid...