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.     

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.     

On monoids over which all generators satisfy a flatness property

This paper addresses conditions under which all generators in the category of right S-acts (where S is a monoid) satisfy a flatness property. There are characterizations for monoids over which all generators satisfy a flatness property α where α can stand for freeness, projectivity, strong flatness, Condition (P), principal weak flatness and torsion freeness. To our knowledge, the problem has not been studied for other flatness properties such as weak flatness, Condition (E) and regularity. The present paper addresses this gap.     

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

Rugged modules: The opposite of flatness

Relative notions of flatness are introduced as a mean to gauge the extent of the flatness of any given module. Every module is thus endowed with a flatness domain and, for every ring, the collection of flatness domains of all of its modules is a lattice with respect to class inclusion. This lattice, the flatness profile of the ring, allows us, in particular, to focus on modules which have a smallest flatness domain (namely, one consisting of all regular modules.) We establish that such modules exist over arbitrary rings and we call them Rugged Modules. Rings all of whose (cyclic) modules are rugged are shown to be precisely the von Neumann regular rings. We consider rings without a flatness middle class (i.e., rings for which modules must be either flat or rugged.) We obtain that, over a right Noetherian ring every left module is rugged or flat if and only if every right module is poor or injective if and only if R = S×T, where S is semisimple Artinian and T is either Morita equivalent to a right PCI-domain, or T is right Artinian whose Jacobson radical properly contains no nonzero ideals. Character modules serve to bridge results about flatness and injectivity profiles; in particular, connections between rugged and poor modules are explored. If R is a ring whose regular left modules are semisimple, then a right module M is rugged if and only if its character left module M⁺ is poor. Rugged Abelian groups are fully characterized and shown to coincide precisely with injectively poor and projectively poor Abelian groups. Also, in order to get a feel for the class of rugged modules over an arbitrary ring, we consider the homological ubiquity of rugged modules in the category of all modules in terms of the feasibility of rugged precovers and covers for arbitrary modules.     

Equalizers and Flatness Properties of Acts,II

In Comm. Algebra 30 (3) (2002), 1475–1498, Bulman-Fleming and Kilp developed various notions of flatness of a right act A_S over a monoid S that are based on the extent to which the functor A_S$\otimes -$ preserves equalizers. In Semigroup Forum 65 (3) (2002), 428–449, Bulman-Fleming discussed in detail one of these notions, annihilator-flatness. The present paper is devoted to two more of these notions, weak equalizer-flatness and strong torsion-freeness. An act A_S is called weakly equalizer-flat if the functor A_S$\otimes -$ almost preserves equalizers of any two homomorphisms into the left act _SS, and strongly torsion-free if this functor almost preserves equalizers of any two homomorphisms from _SS into the Rees factor act _S(S/Sc), where c is any right cancellable element of S. (The adverb almost signifies that the canonical morphism provided by the universal property of equalizers may be only a monomorphism rather than an isomorphism.) From the definitions it is clear that flatness implies weak equalizer-flatness, which in turn implies annihilator-flatness, and it was known already that both of these implications are strict. A monoid is called right absolutely weakly equalizer-flat if all of its right acts are weakly equalizer-flat. In this paper we prove a result which implies that right PP monoids with central idempotents are absolutely weakly equalizer-flat. We also show that for a relatively large class of commutative monoids, right absolute equalizer-flatness and right absolute annihilator-flatness coincide. Finally, we provide examples showing that the implication between strong torsion-freeness and torsion-freeness is strict.     

Monoids for Which Condition (P) Acts are Projective

A characterisation of monoids for which all right S-acts satisfying conditions (P) are projective is given. We also give a new characterisation of those monoids for which all cyclic right S-acts satisfying condition (P) are projective, similar in nature to recent work by Kilp [6]. In addition we give a sufficient condition for all right S-acts that satisfy condition (P) to be strongly flat and show that the indecomposable acts that satisfy condition (P) are the locally cyclic acts.     

Strongly Flat and Condition (P) Covers of Acts Over Monoids

In this article we characterize monoids over which every right S-act has a strongly flat (condition (P)) cover. Similar to the perfect monoids, such monoids are characterized by condition (A) and having strongly flat (condition (P)) cover for each cyclic right S-act. We also give a new characterization for perfect monoids as monoids over which every strongly flat right S-act has a projective cover.     

Principally Weakly and Weakly Coherent Monoids

We shall call a monoid S principally weakly (weakly) left coherent if direct products of nonempty families of principally weakly (weakly) flat right S-acts are principally weakly (weakly) flat. Such monoids have not been studied in general. However, Bulman-Fleming and McDowell proved that a commutative monoid S is (weakly) coherent if and only if the act S ^I is weakly flat for each nonempty set I. In this article we introduce the notion of finite (principal) weak flatness for characterizing (principally) weakly left coherent monoids. Also we investigate monoids over which direct products of acts transfer an arbitrary flatness property to their components.     

Flatness properties of monocyclic acts

In a previous paper the authors studied flatness properties of cyclic actsS/ (S denotes a monoid, and is a right congruence onS), and determined conditions onS under which all flat or weakly flat acts of this type are actually strongly flat or projective. In the present paper attention is restricted to monocyclic acts (cyclic acts in which is generated by a single pair of elements ofS), and further results on such collapsing of flatness properties are obtained. An observation which is used extensively in this study is the fact that forw andt inS withwtt,S/(wt,t) is flat if and only ift is a regular element ofS.Research supported by Natural Sciences and Engineering Research Council of Canada Operating Grant A4494.Research supported by Estonian Research Foundation Grant No. 930.     

On the Cayley graphs of completely simple semigroups

In this paper, the Cayley graphs of completely simple semigroups are investigated. The basic structure and properties of this kind of Cayley graph are given, and a condition is given for a Cayley graph of a completely simple semigroup to be a disjoint union of complete graphs. We also describe all pairs (S,A) such that S is a completely simple semigroup, A⊆S, and Cay (S,A) is a strongly connected bipartite Cayley graph.     

Localization and Codensity Triples

u: A→H(I), I ε J], and let x: Q→S be the equalizer of ηS and Sη.     

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

Some 3/2-transitive permutation groups in which the stabilizer of two points is always Abelian

A monoidS is susceptible to having properties bearing upon all right acts overS such as: torsion freeness, flatness, projectiveness, freeness. The purpose of this note is to find necessary and sufficient conditions on a monoidS in order that, for example, all flat rightS-acts are free. We do this for all meaningful variants of such conditions and are able, in conjunction with the results of Skornjakov [8], Kilp [5] and Fountain [3], to describe the corresponding monoids, except in the case all torsion free acts are flat, where we have only some necessary condition. We mention in passing that homological classification of monoids has been discussed by several authors [3, 4, 5, 8].In the following,S will always stand for a monoid. A rightS-act is a setA on whichS acts unitarily from the right in the usual way, that is to saya(rs) = (ar)s, a1 =a (a A,r,s S) where 1 denotes the identity ofS.     

(Super) module amenability, module topological centre and semigroup algebras

For a Banach algebra $\mathcal{A}For a Banach algebra A\mathcal{A} which is also an \mathfrakA\mathfrak{A}-bimodule, we study relations between module amenability of closed subalgebras of A"\mathcal{A}', which contains A\mathcal{A}, and module Arens regularity of A\mathcal{A} and the role of the module topological centre in module amenability of A"\mathcal{A}'. Then we apply these results to A=l¹(S)\mathcal{A}=l^{1}(S) and \mathfrakA=l¹(E)\mathfrak{A}=l^{1}(E) for an inverse semigroup S with subsemigroup E of idempotents. We also show that l ¹(S) is module amenable (equivalently, S is amenable) if and only if an appropriate group homomorphic image of S, the discrete group \fracS ? \frac{S}{\approx}, is amenable. Moreover, we define super module amenability and show that l ¹(S) is super module amenable if and only if \fracS ? \frac{S}{\approx} is finite.     

The flatness properties of <Emphasis Type="Italic">S</Emphasis>-poset <Emphasis Type="Italic">A</Emphasis>(<Emphasis Type="Italic">I</Emphasis>) and Rees factor <Emphasis Type="Italic">S</Emphasis>-posets

Let S be a pomonoid and I a proper right ideal of S. In a previous paper, using the amalgamated coproduct A(I) of two copies of _S S over I, we were able to solve one of the problems posed in S. Bulman-Fleming et al. (Commun. Algebra 34:1291–1317, 2006). In the present paper, we investigate further flatness properties of A(I). We also solve another problem stated in the paper cited above. Namely, we determine the condition under which Rees factor S-posets have property (P _w ). Research supported by nwnu-kjcxgc-03-18.     

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.