Abstract
If S is a monoid, a right S-act A S is a set A, equipped with a “right S-action” A×S→A sending the pair (a,s)∈ A×S to as, that satisfies the conditions (i) a(st)=(as)t and (ii) a1=a for all a∈A and s,t∈S. If, in addition, S is equipped with a compatible partial order and A is a poset, such that the action is monotone (when A×S is equipped with the product order), then A S is called a right S-poset. Left S-acts and S-posets are defined analogously. For a given S-act (resp. S-poset) a tensor product functor A S ⊗− from left S-acts to sets (resp. left S-posets to posets) exists, and A S is called pullback flat or equalizer flat (resp. subpullback flat or subequalizer flat) if this functor preserves pullbacks or equalizers (resp. subpullbacks or subequalizers). By analogy with the Lazard-Govorov Theorem for R-modules, B. Stenström proved in 1971 that an S-act is isomorphic to a directed colimit of finitely generated free S -acts if and only if it is both pullback flat and equalizer flat. Some 20 years later, the present author showed that, in fact, pullback flatness by itself is sufficient. (A new, more direct proof of that result is contained in the present article.) In 2005, Valdis Laan and the present author obtained a version of the Lazard-Govorov Theorem for S-posets, in which subpullbacks and subequalizers now assume the role previously played by pullbacks and equalizers. The question of whether subpullback flatness implies subequalizer flatness remained unsolved. The present paper provides a negative answer to this question.
Similar content being viewed by others
References
Stenström, B.: Flatness and localization over monoids. Math. Nachr. 48, 315–333 (1971)
Normak, P.: On equalizer-flat and pullback-flat acts. Semigroup Forum 36, 293–313 (1987)
Kilp, M., Knauer, U., Mikhalev, A.: Monoids, Acts and Categories. de Gruyter, Berlin (2000)
Bulman-Fleming, S.: Pullback flat acts are strongly flat. Can. Math. Bull. 34, 456–461 (1991)
Fakhruddin, S.: Absolute flatness and amalgams in pomonoids. Semigroup Forum 33, 15–22 (1986)
Bulman-Fleming, S.: Flatness properties of S-posets: an overview. Tartu Conference on Monoids, Acts and Categories, with Applications to Graphs. Mathematics Proceedings of the Estonian Mathematical Society (2007, to appear)
Bulman-Fleming, S., Laan, V.: Lazard’s Theorem for S-posets. Math. Nachr. 278, 1–13 (2005)
Bulman-Fleming, S., Gilmour, A., Gutermuth, D., Kilp, M.: Flatness properties of S-posets. Commun. Algebra 34, 1291–1317 (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Steve Pride.
Research supported by Natural Sciences and Engineering Research Council of Canada Discovery Grant A4494.
Rights and permissions
About this article
Cite this article
Bulman-Fleming, S. Subpullback flat S-posets need not be subequalizer flat. Semigroup Forum 78, 27–33 (2009). https://doi.org/10.1007/s00233-008-9051-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-008-9051-y