Comultiplication on monoids (Q1380764)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Comultiplication on monoids |
scientific article |
Statements
Comultiplication on monoids (English)
0 references
22 April 1998
0 references
A comultiplication on a monoid \(S\) is a homomorphism \(m\colon S\to S*S\) (the free product of \(S\) with itself) whose composition with each projection is the identity homomorphism. A monoid \(S\) is said to have the inverse (equidivisibility) property if whenever \(a,b\in S\) and \(ab=1\), then \(ba=1\) (if, respectively, the equation \(ax=by\) in \(S\) implies that either there exists a \(c\in S\) such that \(a=bc\) and \(cx=y\) or there exists a \(d\in S\) such that \(b=ad\) and \(x=dy\)). It is proved that a monoid \(S\) having the inverse property admits a comultiplication if and only if \(S=U*M\), where \(U\) is a free group and \(M\) is a free monoid. It is also shown that a monoid which satisfies the inverse property and has a comultiplication is cancellative and equidivisible.
0 references
free products
0 references
inverse property
0 references
cancellativity
0 references
equidivisibility
0 references
semi-free monoids
0 references
comultiplications
0 references