Skip to main content
Log in

Essential pure monomorphisms of sheaves of group actions

  • Research Article
  • Published:
Semigroup Forum Aims and scope Submit manuscript

Abstract

Nowadays purity plays a role in at least four branches of mathematics: Module Theory, Theory of Acts over semigroups, Model Theory, and Category Theory. Adámek and Rosciký have studied these notions categorically, and Rothmaler model-theoretically. Some authors including Banaschewski, Gould, and Normak have studied purity on G-acts, acts over a monoid or a group G.

In this paper we take both the group G and the set A in the definition of a G-act to be sheaves (multigroups and multisets) over a topological space X to get the category G-ShX of G-sheaves, and mainly study different types of essentiality with respect to the different classes ℳ of pure monomorphisms in G-ShX. We give some necessary and sometimes sufficient conditions for the different types of essentiality.

We will also see that these notions of essentiality are local, in the sense that an ℳ-monomorphism f is ℳ-essential if and only if there exists a cover of disjoint open sets of X such that the restriction of f to every component is essential.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994)

    Book  MATH  Google Scholar 

  2. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. Wiley, New York (1990)

    MATH  Google Scholar 

  3. Banaschewski, B.: Equational compactness of G-sets. Can. Math. Bull. 17(1), 11–18 (1974)

    MATH  MathSciNet  Google Scholar 

  4. Banaschewski, B., Nelson, E.: Equational compactness in equational classes of algebras. Algebra Univers. 2, 152–165 (1972)

    Article  MATH  MathSciNet  Google Scholar 

  5. Barzegar, H., Ebrahimi, M.M., Mahmoudi, M.: Essentiality and injectivity. Appl. Categ. Struct. 18, 73–83 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  6. Borceux, F., Rosický, J.: Purity in algebra. Algebra Univers. 56, 17–35 (2007)

    Article  MATH  Google Scholar 

  7. Ebrahimi, M.M.: Equational compactness of sheaves of algebras on a Noetherian locale. Algebra Univers. 16, 318–330 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  8. Ebrahimi, M.M., Mahmoudi, M.: The category of M-sets. Ital. J. Pure Appl. Math. 9, 123–132 (2001)

    MATH  MathSciNet  Google Scholar 

  9. Ebrahimi, M.M., Mahmoudi, M.: Purity of G-sheaves (2009, submitted)

  10. Gabriel, P., Ulmer, F.: Lokal Präsentierbare Kategorien. LNM, vol. 221. Springer, Berlin (1971)

    MATH  Google Scholar 

  11. Gould, V.: The characterisation of monoids by properties of their S-systems. Semigroup Forum 32(3), 251–265 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  12. Kilp, M., Knauer, U., Mikhalev, A.: Monoids, Acts and Categories. Walter de Gruyter, Berlin (2000)

    MATH  Google Scholar 

  13. Maclane, S., Moerdijk, I.: Sheaves in Geometry and Logic. Springer, Berlin (1992)

    Google Scholar 

  14. Mahmoudi, M., Ebrahimi, M.M.: Purity and equational compactness of projection algebras. Appl. Categ. Struct. 9, 381–394 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  15. Normak, P.: Purity in the category of M-sets. Semigroup Forum 20(2), 157–170 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  16. Rothmaler, P.: Purity in model theory. In: Advances in Algebra and Model Theory, pp. 445–470. Gordon & Breach, New York (1997)

    Google Scholar 

  17. Tennison, R.: Sheaf Theory. Cambridge University Press, Cambridge (1975)

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to M. M. Ebrahimi.

Additional information

Communicated by László Márki.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ebrahimi, M.M., Haddadi, M. Essential pure monomorphisms of sheaves of group actions. Semigroup Forum 80, 440–452 (2010). https://doi.org/10.1007/s00233-010-9212-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00233-010-9212-7

Keywords

Navigation