Tensor products and preservation of limits, for acts over monoids

In 1971, Stenström published one of the first papers devoted to the problem of when, for a monoid S and a right S -act A _S , the functor A? (from the category of left acts over S into the category of sets) has certain limit preservation properties. Attention at first focused on when this functor preserves pullbacks and equalizers but, since that time, a large number of related articles have appeared, most having to do with when this functor preserves monomorphisms of various kinds. All of these properties are often referred to as flatness properties of acts . Surprisingly, little attention has so far been paid to the obvious questions of when A _S ? preserves all limits, all finite limits, all products, or all finite products. The present article addresses these matters.     

On strongly flat and condition (P) <Emphasis Type="Italic">S</Emphasis>-posets

In this paper, we first present some homological classifications of pomonoids by using condition (P) and strongly flat properties. Unlike the case for acts, condition (P) and strongly flat coincide for cyclic right S-posets when all weakly right reversible convex subpomonoids of a pomonoid S are left collapsible. Thereby we characterize pomonoids over which strong flatness and condition (P) imply some other flatness properties. Furthermore, we characterize a pomonoid over which every right S-poset has a strongly flat (condition (P)) cover.     

Flatness properties of diagonal acts over monoids

If S is a monoid, the right S-act S×S, equipped with componentwise S-action, is called the diagonal act of S. The question of when this act is cyclic or finitely generated has been a subject of interest for many years, but so far there has been no explicit work devoted to flatness properties of diagonal acts. Considered as a right S-act, the monoid S is free, and thus is also projective, flat, weakly flat, and so on. In 1991, Bulman-Fleming gave conditions on S under which all right acts S ^I (for I a non-empty set) are projective (or, equivalently, when all products of projective right S-acts are projective). At approximately the same time, Victoria Gould solved the corresponding problem for strong flatness. Implicitly, Gould’s result also answers the question for condition (P) and condition (E). For products of flats, weakly flats, etc. to again have the same property, there are some published results as well. The specific questions of when S×S has certain flatness properties have so far not been considered. In this paper, we will address these problems. S. Bulman-Fleming research supported by Natural Sciences and Engineering Research Council of Canada Research Grant A4494. Some of the results in this article are contained in the M.Math. thesis of A. Gilmour, University of Waterloo (2007).     

The Structure of the Reduced Product of Preinjective Modules Over a Hereditary Right Pure Semisimple Ring

Abstract

For a monoid S , a (left) S -act is a nonempty set B together with a mapping S ×B→B sending (s, b) to sb such that S (tb)?=?lpar;st)b and 1b ?=?b for all S , t?∈?S and B ?∈?B. Right S -acts A can also be defined, and a tensor product A ??? _s B (a set)can be defined that has the customary universal property with respect to balanced maps from A?×?B into arbitrary sets. Over the past three decades, an extensive theory of flatness properties has been developed (involving free and projective acts, and flat acts of various sorts, defined in terms of when the tensor product functor has certain preservation properties). A recent and complete discussion of this area is contained in the monograph Monoids, Acts and Categories by M. Kilp et al. (New York: Walter de Gruyter, 2000). To date, there have been only a few attempts to generalize this material to ordered monoids acting on partially ordered sets ( S -posets). The present paper is devoted to such a generalization. A unique decomposition theorem for S -posets is given, based on strongly convex, indecomposable S -subposets, and a structure theorem for projective S -posets is given. A criterion for when two elements of the tensor product of S -posets given, which is then applied to investigate several flatness properties.     

On flatness properties of cyclic S-posets

In this paper, we discuss flatness properties of cyclic S-posets. As applications, some partially ordered monoids are characterized and some results on S-acts can be also obtained. Research supported by the National Natural Science Foundation of China (No.10626012).     

On Morita Equivalence of Partially Ordered Monoids

We show that there is one-to-one correspondence between certain algebraically and categorically defined subobjects, congruences and admissible preorders of S-posets. Using preservation properties of Pos-equivalence functors between Pos-categories we deduce that if S and T are Morita equivalent partially ordered monoids and F:Pos _S →Pos _T is a Pos-equivalence functor then an S-poset A _S and the T-poset F(A _S ) have isomorphic lattices of (regular, downwards closed) subobjects, congruences and admissible preorders. We also prove that if A _S has some flatness property then F(A _S ) has the same property.     

Regular S-acts with primitive normal and antiadditive theories

In this work, we investigate the commutative monoids over which the axiomatizable class of regular S-acts is primitive normal and antiadditive. We prove that the primitive normality of an axiomatizable class of regular S-acts over the commutative monoid S is equivalent to the antiadditivity of this class and it is equivalent to the linearity of the order of a semigroup R such that an S-act sR is a maximal (under the inclusion) regular subact of the S-act sS.     

Banaschewski’s theorem for S-posets: regular injectivity and completeness

In this paper we study the notion of injectivity in the category Pos-S of S-posets for a pomonoid S. First we see that, although there is no non-trivial injective S-poset with respect to monomorphisms, Pos-S has enough (regular) injectives with respect to regular monomorphisms (sub S-posets). Then, recalling Banaschewski’s theorem which states that regular injectivity of posets with respect to order-embeddings and completeness are equivalent, we study regular injectivity for S-posets and get some homological classification of pomonoids and pogroups. Among other things, we also see that regular injective S-posets are exactly the retracts of cofree S-posets over complete posets.     

Tensor Products and Preservation of Weighted Limits,for S-Posets

We prove that the functor of tensor multiplication by a right S-poset (S is a pomonoid) preserves all small weighted limits if and only if this S-poset is cyclic and projective. We also show that this functor preserves all finite pie-limits if and only if the S-poset is a filtered colimit of S-posets isomorphic to S _S .     

Purity in the category of S-posets

In this paper, purity of S-posets over a pomonoid S is investigated. We first study some basic properties of absolutely po-pure S-posets. Among other results, it is proved that every regular injective S-poset is absolutely po-pure, and every absolutely po-pure inequationally compact S-poset is regular injective. Then, using the notion of semi-finitely presented S-poset based on the finitely induced S-poset congruence, we find an equivalent condition for an S-poset to be 1-po-pure in a regular extension. Finally, a characterization of an absolutely 1-po-pure S-poset is presented.     

Axiomatizability of the class of weakly injective <Emphasis Type="Italic">S</Emphasis>-acts

The concepts of weakly injective, fg-weakly injective, and p-weakly injective S-acts generalize that of injective S-act. We study the monoids S over which the classes of weakly injective, fg-weakly injective, and p-weakly injective S-acts are axiomatizable. We prove that the class of p-weakly injective S-acts over a regular monoid is axiomatizable.     

Monoids over which all strongly flat left acts are regular

Let Sbe a monoid. It is shown that all strongly flat left S-acts are regular if and only if all left S-acts having the property (E) are regular if and only if Sis a left PP monoid and satisfies (FP₂).This result answers a question in Kilp and Knauer [5].     

On a conjecture of Bulman-Fleming and Gilmour

If S is a monoid, the set S×S equipped with componentwise S-action is called the diagonal act of S and is denoted by D(S). We prove the following theorem: the right S-act S ⁿ (1≠n∈?) is (principally) weakly flat if and only if \(\prod _{i=1}^{n}A_{i}\) is (principally) weakly flat where A _i , 1≤i≤n are (principally) weakly flat right S-acts, if and only if the diagonal act D(S) is (principally) weakly flat. This gives an answer to a conjecture posed by Bulman-Fleming and Gilmour (Semigroup Forum 79:298–314, 2009). Besides, we present a fair characterization of monoids S over which the diagonal act D(S) is (principally) weakly flat and finally, we impose a condition on D(S) in order to make S a left PSF monoid.     

Axiomatisability problems for S-acts, revisited

This paper discusses necessary and sufficient conditions on a monoid S, such that a class of left S-acts is first order axiomatisable. Such questions have previously been considered by Bulman-Fleming, Gould, Stepanova and others. Let $\mathcal{C}$ be a class of embeddings of right S-acts. A left S-act B is $\mathcal{C}$ -flat if tensoring with B preserves the embeddings in $\mathcal{C}$ . We find two sets (depending on a property of $\mathcal{C}$ ) of necessary and sufficient conditions on S such that the class of all $\mathcal{C}$ -flat left S-acts is axiomatisable. These results are similar to the ??replacement tossings?? results of Gould and Shaheen for S-posets. Further, we show how to axiomatise some classes using both replacement tossings and interpolation conditions, thus throwing some light on the former technique.     

(Homo) Flatness of posets on poideal extensions

We consider pomonoids , where G is a pogroup and I is a poideal of S and show that if an S-poset is principally weakly flat, (weakly) flat, po-flat, (principally) weakly po-flat, (po-) torsion free or satisfies Conditions (P), (P _E ), (P _w ), (PWP), (PWP) _w , (WP) or (WP) _w as an I ¹-poset, then it has these properties as an S-poset. We also show that an S-poset which is free, projective or strongly flat as an I ¹-poset may not generally have these properties as an S-poset.     

Perfection for pomonoids

A pomonoid S is a monoid equipped with a partial order that is compatible with the binary operation. In the same way that M-acts over a monoid M correspond to the representation of M by transformations of sets, S-posets correspond to the representation of a pomonoid S by order preserving transformations of posets.