Displaying 61 – 80 of 240

Showing per page

The Galois correspondence between subvariety lattices and monoids of hpersubstitutions

Klaus Denecke, Jennifer Hyndman, Shelly L. Wismath (2000)

Discussiones Mathematicae - General Algebra and Applications

Denecke and Reichel have described a method of studying the lattice of all varieties of a given type by using monoids of hypersubstitutions. In this paper we develop a Galois correspondence between monoids of hypersubstitutions of a given type and lattices of subvarieties of a given variety of that type. We then apply the results obtained to the lattice of varieties of bands (idempotent semigroups), and study the complete sublattices of this lattice obtained through the Galois correspondence.

The globals of pseudovarieties of ordered semigroups containing B 2 and an application to a problem proposed by Pin

Jorge Almeida, Ana P. Escada (2005)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Given a basis of pseudoidentities for a pseudovariety of ordered semigroups containing the 5-element aperiodic Brandt semigroup B 2 , under the natural order, it is shown that the same basis, over the most general graph over which it can be read, defines the global. This is used to show that the global of the pseudovariety of level 3 / 2 of Straubing-Thérien’s concatenation hierarchy has infinite vertex rank.

The globals of pseudovarieties of ordered semigroups containing B2 and an application to a problem proposed by Pin

Jorge Almeida, Ana P. Escada (2010)

RAIRO - Theoretical Informatics and Applications

Given a basis of pseudoidentities for a pseudovariety of ordered semigroups containing the 5-element aperiodic Brandt semigroup B2, under the natural order, it is shown that the same basis, over the most general graph over which it can be read, defines the global. This is used to show that the global of the pseudovariety of level 3/2 of Straubing-Thérien's concatenation hierarchy has infinite vertex rank.

Currently displaying 61 – 80 of 240