Semigroup Forum

, Volume 58, Issue 3, pp 348–366 | Cite as

Varieties and pseudovarieties of ordered normal bands

  • Stephen J. Emery
Research Article


The structure of the lattice of varieties of bands was completely described, independently, by Birjukov, Fennemore and Gerhard. Bloom proved an analogue of the Birkhoff theorem for ordered algebras and Pin and Weil proved an analogue of Reiterman’s theorem for finite ordered algebras.

In this paper we consider varieties of ordered bands and obtain a description of the lattice of varieties of ordered bands up to normal bands. We also show that this is isomorphic to the lattice of pseudovarieties of ordered normal bands.


Positive Variety Dual Result Normal Band Zero Semigroup Idempotent Semigroup 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Ash, C. J., Pseudovarieties, generalized varieties and similarly described classes, Journal of Algebra 92 (1985) 104–115.MathSciNetMATHCrossRefGoogle Scholar
  2. [2]
    Birjukov, A. P, The lattice of varieties of idempotent semigroups, All-Union Colloquium on General Algebra, Riga (1967) 16–18.Google Scholar
  3. [3]
    Birjukov, A. P., Varieties of idempotent semigroups, Algebra and Logic 9 (1970) 255–273.MathSciNetGoogle Scholar
  4. [4]
    Bloom, S. L., Varieties of ordered algebras, Journal of Computer and System Sciences 13 (1976) 200–212.MathSciNetMATHCrossRefGoogle Scholar
  5. [5]
    Eilenberg, S., “Automata, Languages and Machines”, Academic Press, New York, Vol. A, 1974; Vol. B, 1976.MATHGoogle Scholar
  6. [6]
    Emery, S. J., All varieties of ordered bands and ordered band monoids, preprint.Google Scholar
  7. [7]
    Fennemore, C. F., All varieties of bands I, Math. Nachr. 48 (1971) 237–252.MathSciNetMATHCrossRefGoogle Scholar
  8. [8]
    Fennemore, C. F., All varieties of bands II, Math. Nachr. 48 (1971) 253–262.MathSciNetMATHCrossRefGoogle Scholar
  9. [9]
    Gerhard, J. A., The lattice of equational classes of idempotent semigroups, J. Algebra 15 (1970) 195–224.MathSciNetMATHCrossRefGoogle Scholar
  10. [10]
    Gerhard, J. A. and M. Petrich, Varieties of bands revisited, Proceedings of the London Mathematical Society (3) 58 (1989) 323–350.MathSciNetMATHCrossRefGoogle Scholar
  11. [11]
    Howie, J. M., “An Introduction to Semigroup Theory”, Academie Press, London, 1976.MATHGoogle Scholar
  12. [12]
    Lallement, G., “Semigroups and Combinatorial Applications”, Wiley, New York, 1979.MATHGoogle Scholar
  13. [13]
    Petrich, M., A construction and a classification of bands, Math. Nachr. 48 (1971) 263–274.MathSciNetMATHCrossRefGoogle Scholar
  14. [14]
    Pin, J.-E., “Variétés de Langages Formels”, Masson, Paris, 1984; English translation, “Varieties of Formal Languages”, Plenum, New York, 1986.MATHGoogle Scholar
  15. [15]
    Pin, J.-E., A variety theorem without complementation, Izvestiya VUZ Matematika 39 (1995) 80–90; English version, Russian Mathem. (Iz. VUZ) 39 (1995) 74–83.MathSciNetGoogle Scholar
  16. [16]
    Pin, J.-E. and P. Weil, A Reiterman theorem for pseudovarieties of finite first-order structures, Algebra Universalis 35 (1996) 577–595.MathSciNetMATHCrossRefGoogle Scholar
  17. [17]
    Pin, J.-E. and P. Weil, Polynomial closure and unambiguous product, Theory Comput. Systems 30 (1997) 1–39.MathSciNetCrossRefGoogle Scholar
  18. [18]
    Wismath, S. L., The lattices of varieties and pseudovarieties of band monoids, Semigroup Forum 33 (1986) 187–198.MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag New York Inc. 1999

Authors and Affiliations

  • Stephen J. Emery
    • 1
  1. 1.Department of MathematicsUniversity of YorkHeslington, YorkEngland

Personalised recommendations