Skip to main content
Article
Join irreducible 2-testable semigroups
Discussiones Mathematicae - General Algebra and Applications
  • Edmond W. H. Lee, Nova Southeastern University
Document Type
Article
Publication Date
1-1-2021
Keywords
  • semigroup,
  • 2-testable,
  • pseudovariety,
  • join irreducible
Disciplines
Abstract

A nontrivial pseudovariety is join irreducible if whenever it is contained in the complete join of some collection of pseudovarieties, then it is contained in one of the pseudovarieties. A finite semigroup is join irreducible if it generates a join irreducible pseudovariety. The present article is concerned with semigroups that are 2-testable in the sense that they satisfy any equation formed by a pair of words that begin with the same variable,end with the same variable, and share the same set of factors of length two. The main objective is to show that there exist precisely seven join irreducible pseudovarieties of 2-testable semigroups. As a consequence, it is decidable in quadratic time if a finite 2-testable semigroup is join irreducible.

Comments

Dedicated to the 65th birthday of Professor Jorge Almeida.

ORCID ID
0000-0002-1662-3734
ResearcherID
I-6970-2013
DOI
10.7151/dmgaa.1354
Citation Information
Edmond W. H. Lee. "Join irreducible 2-testable semigroups" Discussiones Mathematicae - General Algebra and Applications Vol. 41 Iss. 1 (2021) p. 103 - 112 ISSN: 2084-0373
Available at: http://works.bepress.com/edmond-lee/56/