Baer Criterion for Injectivity of Projection Algebras

Projection algebras are M-sets for the monoid M = (ℕ^∞, min) which are used by computer scientists for algebraic specification of process algebras. In contrast to the case of modules it is well known that the Baer Criterion does not generally hold for injectivity of M-sets for an arbitrary monoid M. Here, introducing a closure operator, we prove that the Baer Criterion does hold for injectivity of projection algebras.     

Endomorphism monoids of free acts and O-wreath products of monoids

Monoids and acts which may have zero elements are considered. In Section 1 we construct a O-wreath product of monoids. In 2 we prove the theorem that the endomorphism monoid of a free act over a monoid with zero can be represented as a O-wreath product. Considering monoids with tero we are interested in their annihilator properties. In 3 we give necessary and sufficient conditions for a O-wreath product of monoids to be a right (left) Baer (Rickart) monoid. In 4 we obtain as a consequence corresponding conditions for the endomorphism monoid of a free act over a monoid with zero.     

S-内射模及S-内射包络

设R是环.设S是一个左R-模簇,E是左R-模.若对任何N∈S,有Ext_R~1(N,E)=0,则E称为S-内射模.本文证明了若S是Baer模簇,则关于S-内射模的Baer准则成立;若S是完备模簇,则每个模有S-内射包络;若对任何单模N,Ext_R~1(N,E)=0,则E称为极大性内射模;若R是交换环,且对任何挠模N,Ext_R~1(N,E)=0,则E称为正则性内射模.作为应用,证明了每个模有极大性内射包络.也证明了交换环R是SM环当且仅当T/R的正则性内射包e(T/R)是∑-正则性内射模,其中T=T(R)表示R的完全分式环,当且仅当每一GV-无挠的正则性内射模是∑-正则性内射模.     

SEPARABILITY CONDITIONS IN ACTS OVER MONOIDS

We discuss residual finiteness and several related separability conditions for the class of monoid acts, namely weak subact separability, strong subact separability and complete separability. For each of these four separability conditions, we investigate which monoids have the property that all their (finitely generated) acts satisfy the condition. In particular, we prove that: all acts over a finite monoid are completely separable (and hence satisfy the other three separability conditions); all finitely generated acts over a finitely generated commutative monoid are residually finite and strongly subact separable (and hence weakly subact separable); all acts over a commutative idempotent monoid are residually finite and strongly subact separable; and all acts over a Clifford monoid are strongly subact separable.

     

Some Remarks on Hom-Modules and Hom-Path Algebras

This paper deals with injective and projective right Hom-H-modules for a Hom-algebra H. In particular, Baer Criterion of injective Hom-module is obtained, and it is shown that HomModH is an Abelian category. Next, the authors define Hom-path algebras and construct Hom-path algebras of some quivers.     

Injective Hulls of Acts over Left Zero Semigroups

In this paper, using the notion of "Cauchy sequences", we study the injectivity of acts over left zero semigroups, and give some equivalent conditions to it. We see that Baer criterion is true if an identity is adjoined to the semigroup. Further, we find injective hulls of acts over left zero semigroups. We hope that the technique used here will be useful to study injectivity of acts over some other more general semigroups.     

When Torsion Free Acts are Principally Weakly Flat

A necessary and sufficient condition for principal weak flatness of all right torsion free acts over a monoid is found. It is shown that the corresponding class of monoids is a proper subclass of left PP monoids.     

Endomorphism monoids of acts over monoids

In this paper we investigate under which conditions a monoid R is defined by the endomorphism monoid of an act over R. More precisely, we ask when an isomorphism between two such endomorphism monoids over monoids R₁ and R₂ is induced by a semilinear isomorphism. The question is considered also for ordered and for topological monoids. On the way we characterize monoids over which all projective acts are free. An abstract of this paper appeared in the Proceedings of the Conference on Semigroups, Szeged 1972.     

Subgroups of Free Groups: a Contribution to the Hanna Neumann Conjecture

We prove that the strengthened Hanna Neumann conjecture, on the rank of the inter-section of finitely generated subgroups of a free group, holds for a large class of groups characterized by geometric properties. One particular case of our result implies that the conjecture holds for all positively finitely generated subgroups of the free group F(A) (over the basis A), that is, for subgroups which admit a finite set of generators taken in the free monoid over A.     

Absolutely f-Equationally Compact Monoids

This note describes monoids over which all left acts are f-equationally compact (equivalently, 1-equationally compact). It is also proved that every commutative absolutely 1-pure absolutely 1-equationally compact monoid is injective.     

On torsionless and dense acts

Torsionless acts over a monoid S are investigated, in particular torsionless factor acts of 2 -free and 1 -free acts. Monoids over which free or projective acts are torsionless and vice versa are characterized. Some necessary conditions for torsionless acts to be principally weakly flat, weakly flat or strongly flat are given. First results on dense acts are mentioned and several examples, mostly on the basis of cofree acts, are presented to illustrate these concepts. August 15, 2000     

Characterizing Semigroups by Sequentially Dense Injective Acts

Sequentially dense monomorphisms and injectivity with respect to these monomorphisms were first introduced and studied by Giuli for acts over the monoid (N^∞, min). In this paper we generalize these notions to acts over a general semigroup, and study the behaviour of this notion of injectivity with respect to products, coproducts, and direct sums. As a result we give some characterizations of semigroups.     

Generators in the category of <Emphasis Type="Italic">S</Emphasis>-posets

The paper contains characterizations of generators and cyclic projective generators in the category of ordered right acts over an ordered monoid.      

Large tilting modules and representation type

We study finiteness conditions on large tilting modules over arbitrary rings. We then turn to a hereditary artin algebra R and apply our results to the (infinite dimensional) tilting module L that generates all modules without preprojective direct summands. We show that the behaviour of L over its endomorphism ring determines the representation type of R. A similar result holds true for the (infinite dimensional) tilting module W that generates the divisible modules. Finally, we extend to the wild case some results on Baer modules and torsion-free modules proven in Angeleri Hügel, L., Herbera, D., Trlifaj, J.: Baer and Mittag-Leffler modules over tame hereditary algebras. Math. Z. 265, 1–19 (2010) for tame hereditary algebras.     

Perfect monoids revisited

A new characterization of perfect monoids, i.e., monoids over which every act has a projective cover, is given. As was shown by Fountain [1] a monoid is perfect if and only if all strongly flat acts over it are projective. Using our new condition, an alternative version is given of a recent result, of Liu [7] describing monoids over which all strongly flat right acts are projective generators, or are free. This research has been supported by the Estonian Science Foundation, Grant No. 930. I would like to thank the School of Mathematical and Computational Sciences of the University of St. Andrews for excellent working conditions.     

On semirings satisfying the Baer criterion

It is well-known that for modules over rings the Baer injectivity criterion takes place. In this paper we prove that under one additional condition this criterion is also valid for modules over semirings. We prove that a semiring S satisfies the Baer criterion if and only if all injective (with respect to one-sided ideals of S) semimodules satisfy the above condition. We propose a newmethod for constructing semirings satisfying the Baer criterion.     

Projectivity of acts and morita equivalence of monoids

In this paper we shall consider a non-additive category of A-modules, that is, instead of a ring A we take a monoid A which acts on sets from the left. These objects will be called A-acts. We investigate indecomposable A-acts and generators and characterize projectives in this category. For a given monoid A we describe all monoids B such that the category of B-acts is equivalent to the category of A-acts. In particular we find that equivalence of these categories yields an isomorphism between the monoids A and B if A is a group or finite or commutative. This differs from the additive case where the categories of modules over a commutative field and its ring of nxn matrices are equivalent. Finally we give examples of non-isomorphic monoids A and B such that the corresponding categories are equivalent.     

A Generalization of Regular Left Acts

ＡＧｅｎｅｒａｌｉｚａｔｉｏｎｏｆＲｅｇｕｌａｒＬｅｆｔＡｃｔｓ＊）ＬｉｕＺｈｏｎｇｋｕｉ（刘仲奎）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＮｏｒｔｈｗｅｓｔＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｌａｎｚｈｏｕ，７３００７０）Ｊ．Ａｈｓａｎ（Ｄ...     

On finite loops with nilpotent inner mapping groups

We shall show how the nilpotency class of a finite loop Q is determined by the properties of a nilpotent inner mapping group. We also show that a classical result by Baer on the structure of abelian finite capable groups holds for Moufang loops of odd order.