Residual finiteness in completely regular semigroup varieties (Q581547): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Francis Pastijn / rank | |||
Normal rank | |||
Property / review text | |||
Let \({\mathcal V}\) be a group variety and \({\mathcal C}{\mathcal R}({\mathcal V})\) [\({\mathcal C}{\mathcal S}({\mathcal V})]\) the completely regular semigroup variety consisting of all completely regular semigroups [completely simple semigroups] whose maximal subgroups are in \({\mathcal V}\). For X a countably infinite set, denote by F\({\mathcal C}{\mathcal R}({\mathcal V})_ X\) [F\({\mathcal V}_ X\), F\({\mathcal C}{\mathcal S}({\mathcal V})_ X]\) the free object in \({\mathcal C}{\mathcal R}({\mathcal V})\) [\({\mathcal V}\), \({\mathcal C}{\mathcal S}({\mathcal V})]\) on X. It is shown that the word problem for F\({\mathcal V}_ X\) is solvable if and only if the word problem is solvable for F\({\mathcal C}{\mathcal R}({\mathcal V})_ X\). This result is used to show that F\({\mathcal C}{\mathcal R}({\mathcal V})_ X\) is residually finite (i.e. can be written as a subdirect product of finite completely regular semigroups) if and only if the same is true for F\({\mathcal V}_ X\) or F\({\mathcal C}{\mathcal S}({\mathcal V})_ X\). It follows in particular that the variety of completely regular semigroups is generated by its finite members. Let \({\mathcal W}\) be a variety of completely regular semigroups and \({\mathcal G}\) the variety of groups. If F\({\mathcal W}_ X\) is residually finite, then F(\({\mathcal W}\cap {\mathcal G})_ X\) is residually finite but in general the converse is false. | |||
Property / review text: Let \({\mathcal V}\) be a group variety and \({\mathcal C}{\mathcal R}({\mathcal V})\) [\({\mathcal C}{\mathcal S}({\mathcal V})]\) the completely regular semigroup variety consisting of all completely regular semigroups [completely simple semigroups] whose maximal subgroups are in \({\mathcal V}\). For X a countably infinite set, denote by F\({\mathcal C}{\mathcal R}({\mathcal V})_ X\) [F\({\mathcal V}_ X\), F\({\mathcal C}{\mathcal S}({\mathcal V})_ X]\) the free object in \({\mathcal C}{\mathcal R}({\mathcal V})\) [\({\mathcal V}\), \({\mathcal C}{\mathcal S}({\mathcal V})]\) on X. It is shown that the word problem for F\({\mathcal V}_ X\) is solvable if and only if the word problem is solvable for F\({\mathcal C}{\mathcal R}({\mathcal V})_ X\). This result is used to show that F\({\mathcal C}{\mathcal R}({\mathcal V})_ X\) is residually finite (i.e. can be written as a subdirect product of finite completely regular semigroups) if and only if the same is true for F\({\mathcal V}_ X\) or F\({\mathcal C}{\mathcal S}({\mathcal V})_ X\). It follows in particular that the variety of completely regular semigroups is generated by its finite members. Let \({\mathcal W}\) be a variety of completely regular semigroups and \({\mathcal G}\) the variety of groups. If F\({\mathcal W}_ X\) is residually finite, then F(\({\mathcal W}\cap {\mathcal G})_ X\) is residually finite but in general the converse is false. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4019333 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
completely regular semigroups | |||
Property / zbMATH Keywords: completely regular semigroups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
completely simple semigroups | |||
Property / zbMATH Keywords: completely simple semigroups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
free object | |||
Property / zbMATH Keywords: free object / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
word problem | |||
Property / zbMATH Keywords: word problem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
subdirect product | |||
Property / zbMATH Keywords: subdirect product / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
variety of completely regular semigroups | |||
Property / zbMATH Keywords: variety of completely regular semigroups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
variety of groups | |||
Property / zbMATH Keywords: variety of groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
residually finite | |||
Property / zbMATH Keywords: residually finite / rank | |||
Normal rank |
Revision as of 17:55, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Residual finiteness in completely regular semigroup varieties |
scientific article |
Statements
Residual finiteness in completely regular semigroup varieties (English)
0 references
1988
0 references
Let \({\mathcal V}\) be a group variety and \({\mathcal C}{\mathcal R}({\mathcal V})\) [\({\mathcal C}{\mathcal S}({\mathcal V})]\) the completely regular semigroup variety consisting of all completely regular semigroups [completely simple semigroups] whose maximal subgroups are in \({\mathcal V}\). For X a countably infinite set, denote by F\({\mathcal C}{\mathcal R}({\mathcal V})_ X\) [F\({\mathcal V}_ X\), F\({\mathcal C}{\mathcal S}({\mathcal V})_ X]\) the free object in \({\mathcal C}{\mathcal R}({\mathcal V})\) [\({\mathcal V}\), \({\mathcal C}{\mathcal S}({\mathcal V})]\) on X. It is shown that the word problem for F\({\mathcal V}_ X\) is solvable if and only if the word problem is solvable for F\({\mathcal C}{\mathcal R}({\mathcal V})_ X\). This result is used to show that F\({\mathcal C}{\mathcal R}({\mathcal V})_ X\) is residually finite (i.e. can be written as a subdirect product of finite completely regular semigroups) if and only if the same is true for F\({\mathcal V}_ X\) or F\({\mathcal C}{\mathcal S}({\mathcal V})_ X\). It follows in particular that the variety of completely regular semigroups is generated by its finite members. Let \({\mathcal W}\) be a variety of completely regular semigroups and \({\mathcal G}\) the variety of groups. If F\({\mathcal W}_ X\) is residually finite, then F(\({\mathcal W}\cap {\mathcal G})_ X\) is residually finite but in general the converse is false.
0 references
completely regular semigroups
0 references
completely simple semigroups
0 references
free object
0 references
word problem
0 references
subdirect product
0 references
variety of completely regular semigroups
0 references
variety of groups
0 references
residually finite
0 references