Units of special Church-Rosser monoids (Q1821207): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0304-3975(87)90098-3 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2027815727 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3677188 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4195154 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems / rank
 
Normal rank

Latest revision as of 18:22, 17 June 2024

scientific article
Language Label Description Also known as
English
Units of special Church-Rosser monoids
scientific article

    Statements

    Units of special Church-Rosser monoids (English)
    0 references
    0 references
    1987
    0 references
    Let \(\Sigma\) be an alphabet, \(\Sigma^*\) the free monoid on \(\Sigma\) and \(R\subseteq \Sigma\). Let \(\sim\) denote the equivalence on \(\Sigma^*\) generated by a relation \(\to\) on \(\Sigma^*\) whereby \(w_ 1\to w_ 2\) iff there exists \(u,v\in \Sigma^*\) and \(r\in R\) such that \(w_ 1=urv\) and \(w_ 2=uv\). Then \(\sim\) is a congruence on \(\Sigma^*\), \(\Sigma^*/\sim\) is denoted by M(\(\Sigma\),R) and (\(\Sigma\),R) is called a special presentation of M(\(\Sigma\),R) which is called finite if both \(\Sigma\) and R are finite. A special presentation (\(\Sigma\),R) is said to have the Church-Rosser property provided for all \(x,y\in \Sigma^*\), whenever \(x\sim y\) then there exists \(z\in \Sigma^*\) such that \(x\to^*z\) and \(y\to^*z\) where \(\to^*\) is the reflexive, transitive closure of \(\to\). A monoid M which has a special presentation with the Church-Rosser property is called a special Church-Rosser monoid. This property is inherited by the submonoid of \(U_{\rho}(M)\) of right-invertible elements and U(M), the group of units of M. In this case U(M) is a free product of cyclic groups while \(U_{\rho}(M)\) is the free product of U(M) with a free monoid. In addition, finiteness of presentation and generating sets of the monoids involved is also preserved.
    0 references
    free monoid
    0 references
    equivalence
    0 references
    congruence
    0 references
    special presentation
    0 references
    Church-Rosser property
    0 references
    special Church-Rosser monoid
    0 references
    right-invertible elements
    0 references
    group of units
    0 references
    free product of cyclic groups
    0 references
    generating sets
    0 references

    Identifiers