On unitary down-closed regular monomorphisms of pomonoid actions

Abstract

In this paper we characterize injective objects in the category of S-posets and S-poset maps for a pomonoid S, with respect to the class of unitary down-closed embeddings. Also, the behaviour of this notion of injectivity with respect to products and coproducts is studied. Then we introduce the notion of weakly regular d-injectivity in arbitrary slices of the category of S-posets, which is applied to investigate the Baer criterion. Finally we present an example to show that these objects are not regular injective, in general.     

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.     

Equivariant completeness and regular injectivity of S-posets

Abstract

In this paper, considering the actions of a pomonoid S on posets, namely S-posets, we study some relations between equivariant completeness and regular injectivity of S-posets which lead to some homological classification results for pomonoids. In particular, we show that regular injectivity implies equivariant completeness, but the converse is true only if S is left simple. Finally, it is proved that regularly injective S-posets are exactly the complete and cofree-retract ones. Among other results, we also see that the Skornjakov and Baer criteria fail for regular injectivity of S-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 .     

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.     

(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.     

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.     

Subpullback flat S-posets need not be subequalizer flat

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.     

Conditional Probability on the Kopka＇s D-posets

K?pka’s D-poset is a very important notion in quantum structures. In this paper the conditional probability on the K?pka’s D-posets is studied. The notion of conditional probability is introduced and the basic properties of conditional probability are proved.     

Regular semiartinian rings

We study the structure of rings over which every right module is an essential extension of a semisimple module by an injective one. A ring R is called a right max-ring if every nonzero right R-module has a maximal submodule. We describe normal regular semiartinian rings whose endomorphism ring of the minimal injective cogenerator is a max-ring.     

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.     

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.     

Injective and flat covers,envelopes and resolvents

Using the dual of a categorical definition of an injective envelope, injective covers can be defined. For a ringR, every leftR-module is shown to have an injective cover if and only ifR is left noetherian. Flat envelopes are defined and shown to exist for all modules over a regular local ring of dimension 2. Using injective covers, minimal injective resolvents can be defined.     

On co-semihereditary rings

A ringR is left co-semihereditary (strongly left co-semihereditary) if every finitely cogenerated factor of a finitely cogenerated (arbitrary) injective leftR-module is injective. A left co-semihereditary ring, which is not strongly left co-semihereditary, is given to answer a question of Miller and Tumidge in the negative. If _R U _S defines a Morita duality,R is proved to be left co-semihereditary (left semihereditmy) if and only ifS is right semihereditary (right co-semihereditary). Assuming thatS⩾R is an almost excellent extension,S is shown to be (strongly) right co-semihereditary if and only ifR is (strongly) right co-semihereditary. Project supported by the National Natural Science Foundation of China.     

On the applicability to semirings of two theorems from the theory of rings and modules

Problems concerning the extension of the Baer criterion for injectivity and embedding theorem of an arbitrary module over a ring into an injective module to the case of semirings are treated. It is proved that a semiring S satisfies the Baer criterion and every S-semimodule can be embedded in an injective semimodule if and only if S is a ring.     

Absolute flatness of regular semigroups with a finite height function

In this paper we give a sufficient condition for regular semigroups with a finite height function to be left absolutely flat. As a consequence, we can show that the semigroup Λ(S) of all right translations of a primitive regular semigroupS with only finitely manyR-classes, with composition being from left to right, is absolutely flat and give a generalization of a Bulman-Fleming and McDowell result concerning absolutely flat semigroups from primitive regular semigroups to regular semigroups with a finite height function. These results give examples of semigroups which are amalgamation bases in the class of semigroups. The author thanks the referee for finding errors in the original version of this paper.     

Axiomatizability of free <Emphasis Type="Italic">S</Emphasis>-posets

In this work, we investigate the partially ordered monoids S over which the class of free (over a poset) S-posets is axiomatizable. Similar questions for S-sets were considered in papers of V. Gould, S. Bulman-Fleming, and A. A. Stepanova.