Residual finiteness in completely regular semigroup varieties
type: Item
instance of: scholarly article
title: Residual finiteness in completely regular semigroup varieties
zbMATH Open document ID: 0627.20032
DOI: 10.1007/BF02573130
author: Peter G. Trotter
author: Francis Pastijn
published in: Semigroup Forum
publication date: 1988-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/134921
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.
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 20M05
zbMATH DE Number: 4019333
zbMATH Keywords: completely regular semigroups
zbMATH Keywords: completely simple semigroups
zbMATH Keywords: free object
zbMATH Keywords: word problem
zbMATH Keywords: subdirect product
zbMATH Keywords: variety of completely regular semigroups
zbMATH Keywords: variety of groups
zbMATH Keywords: residually finite
MaRDI profile type: Publication
cites work: Q5344208
cites work: The free completely regular semigroup on a set
cites work: The lattice of semigroup varieties
cites work: Regular semigroup congruences
cites work: The word problem for semigroups satisfying x3 = x
cites work: Free completely regular semigroups. II: Word problem.
cites work: Q4165427
cites work: Q4126563
cites work: Completely simple semigroups: free products, free semigroups and varieties
cites work: Q3322298
cites work: On the word problem for free completely regular semigroups
cites work: Free Inverse Semigroups
cites work: Varieties of groups
cites work: DEFINING RELATIONS AND THE WORD PROBLEM FOR FREE PERIODIC GROUPS OF ODD ORDER
cites work: Q3487647
cites work: Lattices of completely regular semigroup varieties
cites work: Varieties of orthodox bands of groups
cites work: Varieties of groups and of completely simple semigroups
cites work: On varieties of completely regular semigroups. I
cites work: On varieties of completely regular semigroups. II, III
cites work: Q3734716
cites work: Free completely regular semigroups
OpenAlex ID: W1965356751
description: scientific article; zbMATH DE number 4019333