Applied Categorical Structures

, Volume 9, Issue 4, pp 381–394

Purity and Equational Compactness of Projection Algebras

  • Mojgan Mahmoudi
  • M. Mehdi Ebrahimi

DOI: 10.1023/A:1011254510186

Cite this article as:
Mahmoudi, M. & Ebrahimi, M.M. Applied Categorical Structures (2001) 9: 381. doi:10.1023/A:1011254510186


The notions of purity and equational compactness of universal algebras have been studied by Banaschewski and Nelson. Also, Banaschewski deals with these notions in the special case of G-sets for a group G. In this paper we study these and related concepts in the category PRO of projection algebras, that is in N-sets, for the monoid N with the binary operation m.n=min {m,n}. We show that every monomorphism in PRO is pure and hence every equationally compact projection algebra is in fact injective. Then, we introduce the notions of s-purity and s-compactness by which we characterize the retractions and hence equationally compact projection algebras. And, among other results, we show that equationally compact, injective, and complete projection algebras are the same. Finally, we characterize (pure-)essential monomorphisms and construct the Equationally Compact Hulls, equivalently the Injective Hulls, of projection algebras. These results, among other things, generalize the main results of Guili, regarding completeness and s-injectivity in the category PROs of separated projection algebras.

projection algebrapuresequencecompleteequationally compacts-pures-compacts-injectivepure-essentialequational compact hullinjective hull

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Mojgan Mahmoudi
    • 1
  • M. Mehdi Ebrahimi
    • 2
  1. 1.Department of MathematicsShahid Beheshti UniversityTehranIran
  2. 2.Iran