
Let A be a finite alphabet, denote by \(\theta\) the commutation relation on A and let \(A^*\) be the free monoid over A. For any \(u,v\in A^*\) let \(u=v| \theta |\) iff there exist \(u_ 1,...,u_ n\in A^*\) such that \(u_ 1=u\), \(u_ n=v\) and for all \(i=1,...,n-1\), \(u_ i=g_ iabd_ i\) and \(u_{i+1}=g_ ibad_ i\) with (a,b)\(\in \theta\) holds. This relation on \(A^*\) is a congruence and the quotient monoid \(M_{\theta}(A)\) is the free partially commutative monoid. The canonical morphism of \(A^*\) onto \(M_{\theta}(A)\) is denoted by f. The author determines the set \(C(u)=\{v\in A^*|\) \(uv=vu| \theta | \}\) for all \(u\in A^*\), which is equivalent to determining the set \(C(m)=\{m'\in M_{\theta}(A)|\) \(mm'=m'm\}\) for every \(m=f(u)\).
Free semigroups, generators and relations, word problems, commutation relation, finite alphabet, free monoid, free partially commutative monoid
Free semigroups, generators and relations, word problems, commutation relation, finite alphabet, free monoid, free partially commutative monoid
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 19 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
