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.
Similar content being viewed by others
References
Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994)
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. Wiley, New York (1990)
Banaschewski, B.: Equational compactness of G-sets. Can. Math. Bull. 17(1), 11–18 (1974)
Banaschewski, B., Nelson, E.: Equational compactness in equational classes of algebras. Algebra Univers. 2, 152–165 (1972)
Barzegar, H., Ebrahimi, M.M., Mahmoudi, M.: Essentiality and injectivity. Appl. Categ. Struct. 18, 73–83 (2010)
Borceux, F., Rosický, J.: Purity in algebra. Algebra Univers. 56, 17–35 (2007)
Ebrahimi, M.M.: Equational compactness of sheaves of algebras on a Noetherian locale. Algebra Univers. 16, 318–330 (1983)
Ebrahimi, M.M., Mahmoudi, M.: The category of M-sets. Ital. J. Pure Appl. Math. 9, 123–132 (2001)
Ebrahimi, M.M., Mahmoudi, M.: Purity of G-sheaves (2009, submitted)
Gabriel, P., Ulmer, F.: Lokal Präsentierbare Kategorien. LNM, vol. 221. Springer, Berlin (1971)
Gould, V.: The characterisation of monoids by properties of their S-systems. Semigroup Forum 32(3), 251–265 (1985)
Kilp, M., Knauer, U., Mikhalev, A.: Monoids, Acts and Categories. Walter de Gruyter, Berlin (2000)
Maclane, S., Moerdijk, I.: Sheaves in Geometry and Logic. Springer, Berlin (1992)
Mahmoudi, M., Ebrahimi, M.M.: Purity and equational compactness of projection algebras. Appl. Categ. Struct. 9, 381–394 (2001)
Normak, P.: Purity in the category of M-sets. Semigroup Forum 20(2), 157–170 (1980)
Rothmaler, P.: Purity in model theory. In: Advances in Algebra and Model Theory, pp. 445–470. Gordon & Breach, New York (1997)
Tennison, R.: Sheaf Theory. Cambridge University Press, Cambridge (1975)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by László Márki.
Rights 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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-010-9212-7