On the Baer Criterion for Acts Over Semigroups

It is known that although the Baer Criterion for injectivity holds for modules over rings with unit, it is not true for acts over an arbitrary monoid.

Seeking a characterization for the Baer Criterion to hold for acts over a monoid, in this article, using the notion of completeness introduced by Giuli, we find some classes of monoids such that for acts over them the Baer Criterion holds.     

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.     

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.     

Variations and Tensor Products of M-Acts

For a variety K of algebras, it is well known that the Hom-functor is in general not functional; that is, Hom(A,B) is in general not a subalgebra of the |A|-fold product B^|A| of B. In this paper we take K to be the category of M-acts, for a monoid M, and investigate the above problem for a class of more general set-valued functors H_α, usually called the functor of semihomomorphisms. Characterizing functionality for these functors, we define bimorphisms (bivariations) with respect to these functors and investigate the interdependence between the universal bivariations, tensor product, and functionality.     

Comparing Semigroup and Monoid Presentations for Finite Monoids

 It is known that for any finite group G given by a finite group presentation there exists a finite semigroup presentation for G of the same deficiency, i.e. satisfying . It is also known that the analogous statement does not hold for all finite monoids. In this paper we give a necessary and sufficient condition for a finite monoid M, given by a finite monoid presentation, to have a finite semigroup presentation of the same deficiency.     

Boundaries of weak peak points in noncommutative algebras of Lipschitz functions

It has been shown that any Banach algebra satisfying ‖f ²‖ = ‖f‖² has a representation as an algebra of quaternion-valued continuous functions. Whereas some of the classical theory of algebras of continuous complex-valued functions extends immediately to algebras of quaternion-valued functions, similar work has not been done to analyze how the theory of algebras of complex-valued Lipschitz functions extends to algebras of quaternion-valued Lipschitz functions. Denote by Lip(X, \mathbbF\mathbb{F}) the algebra over R of F-valued Lipschitz functions on a compact metric space (X, d), where \mathbbF\mathbb{F} = ℝ, ℂ, or ℍ, the non-commutative division ring of quaternions. In this work, we analyze a class of subalgebras of Lip(X, \mathbbF\mathbb{F}) in which the closure of the weak peak points is the Shilov boundary, and we show that algebras of functions taking values in the quaternions are the most general objects to which the theory of weak peak points extends naturally. This is done by generalizing a classical result for uniform algebras, due to Bishop, which ensures the existence of the Shilov boundary. While the result of Bishop need not hold in general algebras of quaternion-valued Lipschitz functions, we give sufficient conditions on such an algebra for it to hold and to guarantee the existence of the Shilov boundary.     

Comparing Semigroup and Monoid Presentations for Finite Monoids

 It is known that for any finite group G given by a finite group presentation there exists a finite semigroup presentation for G of the same deficiency, i.e. satisfying . It is also known that the analogous statement does not hold for all finite monoids. In this paper we give a necessary and sufficient condition for a finite monoid M, given by a finite monoid presentation, to have a finite semigroup presentation of the same deficiency. (Received 17 April 2001; in revised form 15 September 2001)     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-rigidity in von Neumann algebras

We introduce the notion of L ²-rigidity for von Neumann algebras, a generalization of property (T) which can be viewed as an analogue for the vanishing of 1-cohomology into the left regular representation of a group. We show that L ²-rigidity passes to normalizers and is satisfied by nonamenable II₁ factors which are non-prime, have property Γ, or are weakly rigid. As a consequence we obtain that if M is a free product of diffuse von Neumann algebras, or if M=LΓ where Γ is a finitely generated group with β₁ ⁽²⁾(Γ)>0, then any nonamenable regular subfactor of M is prime and does not have properties Γ or (T). In particular this gives a new approach for showing solidity for a free group factor thus recovering a well known recent result of N. Ozawa.     

A note on intersections of free submonoids of a free monoid

According to a theorem of Tilson [6] any intersection of free submonoids of a free monoid is free. Here we consider intersections of the form {x, y}^* ∩ {u, v}^*, where x, y, u and v are words in a finitely generated free monoid Σ^*, and show that if both the monoids {x, y}^* and {u, v}^* are of the rank two, then the intersection is a free monoid generated either by (at most) two words or by a regular language of the form β₀ + β((γ(1+ δ + ... δ^t))^*ε for some words β⁰, β, γ, δ and ε, and some integer t≥0. An example is given showing that the latter possibility may occur for each t≥0 with nonempty values of the words.     

Generalised nilpotence conditions in n-engel lie algebras

A Lie algebra is said to satisfy the Baer condition provided each of its 1-dimensional subalgebras is a subideal; if the defect is bounded then the Lie algebra is bounded Baer. We first characterise restricted enveloping algebras (of odd characteristic p) that satisfy the bounded Baer condition. Using this characterisation, we are then able to construct a Lie algebra satisfying the bounded Engel condition, in each odd characteristic p, that does not satisfy the Baer condition. Such a bounded Engel Lie algebra must contain a non-nilpotent 1-generated ideal     

Cryptic Semigroup Varieties

We describe all minimal noncryptic periodic semigroup [monoid] varieties. We prove that there are exactly three distinct maximal cryptic semigroup [monoid] varieties contained in the variety determined by xⁿ ≈ x ^n+m, n ≥ 2, m ≥ 2. Analogous results are obtained for pseudovarieties: there are exactly three maximal cryptic pseudovarieties of semigroups [monoids]. It is shown that if a cryptic variety or pseudovariety of monoids contains a nonabelian group, then it consists of bands of groups only. Several characterizations are given of the cryptic overcommutative semigroup [monoid] varieties.     

On finitely presented,cancellative and commutative ordered monoids

We show that every finitely presented, cancellative and commutative ordered monoid is determined by a finitely generated and cancellative pseudoorder on the monoid (ℕ ⁿ ,+) for some positive integer n. Every cancellative pseudoorder on (ℕ ⁿ ,+) is determined by a submonoid of the group (ℤ ⁿ ,+), and we prove that the pseudoorder is finitely generated if and only if the submonoid is an affine monoid in ℤ ⁿ .     

Representation theory of q-rook monoid algebras

We show that, over an arbitrary field, q-rook monoid algebras are iterated inflations of Iwahori-Hecke algebras, and, in particular, are cellular. Furthermore we give an algebra decomposition which shows a q-rook monoid algebra is Morita equivalent to a direct sum of Iwahori-Hecke algebras. We state some of the consequences for the representation theory of q-rook monoid algebras.Supported by EPSRC grant GR/S18151/01     

Baer and Baer *-ring characterizations of Leavitt path algebras

We characterize Leavitt path algebras which are Rickart, Baer, and Baer ?-rings in terms of the properties of the underlying graph. In order to treat non-unital Leavitt path algebras as well, we generalize these annihilator-related properties to locally unital rings and provide a more general characterizations of Leavitt path algebras which are locally Rickart, locally Baer, and locally Baer ?-rings. Leavitt path algebras are also graded rings and we formulate the graded versions of these annihilator-related properties and characterize Leavitt path algebras having those properties as well.Our characterizations provide a quick way to generate a wide variety of examples of rings. For example, creating a Baer and not a Baer ?-ring, a Rickart ?-ring which is not Baer, or a Baer and not a Rickart ?-ring, is straightforward using the graph-theoretic properties from our results. In addition, our characterizations showcase more properties which distinguish behavior of Leavitt path algebras from their $C^{?}$-algebra counterparts. For example, while a graph $C^{?}$-algebra is Baer (and a Baer ?-ring) if and only if the underlying graph is finite and acyclic, a Leavitt path algebra is Baer if and only if the graph is finite and no cycle has an exit, and it is a Baer ?-ring if and only if the graph is a finite disjoint union of graphs which are finite and acyclic or loops.     

Sails and Hilbert bases

A Klein polyhedron is the convex hull of the nonzero integral points of a simplicial coneC⊂ ℝⁿ. There are relationships between these polyhedra and the Hilbert bases of monoids of integral points contained in a simplicial cone. In the two-dimensional case, the set of integral points lying on the boundary of a Klein polyhedron contains a Hilbert base of the corresponding monoid. In general, this is not the case if the dimension is greater than or equal to three (e.g., [2]). However, in the three-dimensional case, we give a characterization of the polyhedra that still have this property. We give an example of such a sail and show that our criterion does not hold if the dimension is four. CEREMADE, University Paris 9. Translated from Funktsional'nyi Analiz i Ego Prilozheniya, Vol. 34, No. 2, pp. 43–49, April–June, 2000. Translated by J.-O. Moussafir     

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.     

Internal injectivity of Boolean algebras in MSet

This paper deals with the internal notion of injectivity for Boolean algebras in the topos of M-sets. Given that, for ordinary Boolean algebraas, injectivity is the same as completeness (Sikorski's theorem) and the injective hull is the same as normal completion, we investigate here how the internal notion of completeness relates to internal injectivity. Further, we consider the internal injectivity of the initial Boolean algebra 2 which is equivalent to the prime ideal theorem for Boolean algebras in this topos. Before we turn specificially to Boolean algebras, we develop the bassic general facts concerning internal injectivity in MSet for arbitrary equational classes of algebras.     

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.     

Asymptotic Elasticity in Atomic Monoids

Let M be a commutative atomic monoid (i.e. every nonzero nonunit of M can be factored as a product of irreducible elements). Let ρ(x) denote the elasticity of x ∈ M, R(M) = {ρ(x) | x ∈ M} the set of elasticities of elements in M, and ρ(M) = sup R(M) the elasticity of M. Define \overline{ρ}(x) = lim_n→∞ ρ(xⁿ) to be the asymptotic elasticity of x. We determine some basic properties of the function \overline{ρ} and determine its image for certain block monoids.