On finitely based pseudovarieties of the forms \({\mathbf V}*{\mathbf D}\) and \({\mathbf V}*{\mathbf D}_n\)
type: Item
instance of: scholarly article
title: On finitely based pseudovarieties of the forms \({\mathbf V}*{\mathbf D}\) and \({\mathbf V}*{\mathbf D}_n\)
zbMATH Open document ID: 0944.20041
DOI: 10.1016/S0022-4049(98)00162-5
author: Lurdes Teixeira
author: Jorge Almeida
author: Assis Azevedo
published in: Journal of Pure and Applied Algebra
publication date: 2000-03-19T00:00:00Z
review text: This paper studies how the operators \(*\mathbb{D}\) and \(*\mathbb{D}_n\) on the lattice of pseudovarieties behave with respect to the finite basis property. The principal result shows that if \(\mathbb{V}\) is a pseudovariety of semigroups whose global is finitely based, then the aforementioned operators preserve the finite basis property. This is proved by a refinement of the basis theorem for semidirect products of \textit{J. Almeida} and \textit{P. Weil} [J. Pure Appl. Algebra 123, No. 1-3, 1-50 (1998; Zbl 0891.20037)] to the case of \(\mathbb{D}\). Using consequences of Tilson's delay theorem, they show that, for a monoidal pseudovariety \(\mathbb{V}\), the finite basis problems for the global of \(\mathbb{V}\), \(\mathbb{V}*\mathbb{D}\), and \(\mathbb{V}*\mathbb{D}_n\) are equivalent. Perhaps the most important part of the paper is a construction used by the authors to show that if \(\mathbb{V}\) contains the 5-element aperiodic Brandt monoid \(B_2\), then one can ``effectively'' construct a basis of pseudoidentities for the global of \(\mathbb{V}\). This construction, which makes use of Reilly's characterization of the variety of inverse semigroups generated by \(B_2\), shows that such pseudovarieties are finitely based if and only if their globals are. This construction is used in a later paper by Almeida and Steinberg on the Rhodes complexity problem.
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 20M50
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 08B15
zbMATH DE Number: 1398843
zbMATH Keywords: pseudovarieties of semigroups
zbMATH Keywords: semidirect products
zbMATH Keywords: lattices of pseudovarieties
zbMATH Keywords: finitely based pseudovarieties
zbMATH Keywords: globals
zbMATH Keywords: monoidal pseudovarieties
zbMATH Keywords: bases of pseudoidentities
MaRDI profile type: Publication
full work available at URL: s0022-4049(98)00162-5
OpenAlex ID: W2056802175
description: scientific article; zbMATH DE number 1398843