2007
DOI: 10.4171/pm/1792
|View full text |Cite
|
Sign up to set email alerts
|

Complete reducibility of systems of equations with respect to R

Abstract: It is shown that the pseudovariety R of all finite R-trivial semigroups is completely reducible with respect to the canonical signature. Informally, if the variables in a finite system of equations with rational constraints may be evaluated by pseudowords so that each value belongs to the closure of the corresponding rational constraint and the system is verified in R, then there is some such evaluation which is "regular", that is one in which, additionally, the pseudowords only involve multiplications and ω-p… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2014
2014
2019
2019

Publication Types

Select...
5

Relationship

1
4

Authors

Journals

citations
Cited by 13 publications
(1 citation statement)
references
References 43 publications
0
1
0
Order By: Relevance
“…The assessed results for the Mn-X systems are presented in Fig. 9 compared with the experimental data [50,69,[91][92][93][94][95][96][97][98][99][100][101][102][103][104][105][106]. The Mn-X systems show an excellent agreement except that the assessed data for Mn-Tm is about 8% higher than the experimental data [101].…”
Section: 7mentioning
confidence: 90%
“…The assessed results for the Mn-X systems are presented in Fig. 9 compared with the experimental data [50,69,[91][92][93][94][95][96][97][98][99][100][101][102][103][104][105][106]. The Mn-X systems show an excellent agreement except that the assessed data for Mn-Tm is about 8% higher than the experimental data [101].…”
Section: 7mentioning
confidence: 90%