Regular semigroups with skew pairs of idempotents

Let S be a regular semigroup with set of idempotents E(S) . Given x,y ∈ S , we say that (x,y) is a skew pair if x y \notin E(S) whereas y x ∈ E(S) . Here we use this concept to characterise certain regular Rees matrix semigroups.     

Categorical semigroups

This investigation was stimulated by a question raised by F.R. McMorris and M. Satyanarayana [Proc. Amer. Math. Soc. 33 (1972), 271–277] which asked whether a regular semigroup with a tree of idempotents is categorical. The question is answered in the affirmative. Characterizations of categorical semigroups are found within the following classes of semigroups: regular semigroups, bands, commutative regular semigroups, unions of simple semigroups, semilattices of groups, and commutative semigroups. Some results are related to part of the work of M. Petrich [Trans. Amer. Math. Soc. 170 (1972), 245–268]. For instance, it is shown that the poset of J-classes of any regular categorical semigroup is a tree; however, an example of a regular non-categorical semigroup is given in which the poset of J-classes is a chain. It is also shown that the condition that the subsemigroup of idempotents be categorical is sufficient, but not necessary, for an orthodox semigroup to be categorical.     

Baer extensions of rings and stone extensions of semigroups

Let R be a commutative semigroup [resp. ring] with identity and zero, but without nilpotent elements. We say that R is a Stone semigroup [Baer ring], if for each annihilator ideal P⊂R there are idempotents e₁ ε P and e₂ ε Ann(P) such that x→(e₁x, e₂x):R→P×Ann(P) is an isomorphism. We show that for a given R there exists a Stone semigroup [Baer ring] S containing R that is minimal with respect to this property. In the ring case, S is uniquely determined if one requires that there be a natural bijection between the sets of annihilator ideals of R and S. This is close to results of J. Kist [5]. Like Kist, we use elementary sheaf-theoretical methods (see [2], [3], [6]). Proofs are not very detailed. An address delivered at the Symposium on Semigroups and the Multiplicative Structure of Rings, University of Puerto Rico, Mayaguez, Puerto Rico, March 9–13, 1970.     

Principal quasi-Baerness of formal power series rings

Let R be a ring. We consider left （or right） principal quasi-Baerness of the left skew formal power series ring R[[x;α]] over R where a is a ring automorphism of R. We give a necessary and sufficient condition under which the ring R[[x; α]] is left （or right） principally quasi-Baer. As an application we show that R[[x]] is left principally quasi-Baer if and only if R is left principally quasi- Baer and the left annihilator of the left ideal generated by any countable family of idempotents in R is generated by an idempotent.     

Semiprimitivity of Orthodox Semigroup Algebras

Let S be a finite orthodox semigroup or an orthodox semigroup where the idempotent band E(S) is locally pseudofinite. In this paper, by using principal factors and Rukolaǐne idempotents, we show that the contracted semigroup algebra R₀[S] is semiprimitive if and only if S is an inverse semigroup and R[G] is semiprimitive for each maximal subgroup G of S. This theorem strengthens previous results about the semiprimitivity of inverse semigroup algebras.     

Positive matrix semigroups with binary diagonals

We show that a semigroup of positive matrices (all entries greater than or equal to zero) with binary diagonals (diagonal entries either 0 or 1) is either decomposable (all matrices in the semigroup have a common zero entry) or is similar, via a positive diagonal matrix, to a binary semigroup (all entries 0 or 1). In the case where the idempotents of minimal rank in S{\mathcal{S}} satisfy a “diagonal disjointness” condition, we obtain additional structural information. In the case where the semigroup is not necessarily positive but has binary diagonals we show that either the semigroup is reducible or the minimal rank ideal is a binary semigroup. We also give generalizations of these results to operators acting on the Hilbert space of square-summable sequences.     

On Regular Power-Substitution

The necessary and sufficient conditions under which a ring satisfies regular power-substitution are investigated. It is shown that a ring R satisfies regular powersubstitution if and only if a-b in R implies that there exist n ∈ N and a U E GLn （R） such that aU = Ub if and only if for any regular x ∈ R there exist m,n ∈ N and U ∈ GLn（R） such that x^mIn = xmUx^m, where a-b means that there exists x,y, z∈ R such that a =ybx, b = xaz and x= xyx = xzx. It is proved that every directly finite simple ring satisfies regular power-substitution. Some applications for stably free R-modules are also obtained.     

Certain congruences on E-inversive E-semigroups

A semigroup S is called E-inversive if for every a ∈ S there exists x ∈ S such that ax is idempotent. S is called E-semigroup if the set of idempotents of S forms a subsemigroup. In this paper some special congruences on E-inversive E-semigroups are investigated, such as the least group congruence, a certain semilattice congruence, some regular congruences and a certain idempotent-separating congruence.     

Identities of semigroup rings over semilattices of completely (0-) simple semigroups

LetR be a ring with identity,S be a semigroup with the set of idempotentsE(S), and denote (E(S)) for the subsemigroup ofS generated byE(S). In this paper, we prove that ifS is a semilattice of completely 0-simple semigroups and completely simple semigroups, then the semigroup ringRS possesses an identity iff so doesR(E(S)); especially, the result is true forS being a completely regular semigroup.     

Shades of orthodoxy in Rees-Sushkevich varieties

It is shown that, within the class of Rees-Sushkevich varieties that are generated by completely (0-) simple semigroups over groups of exponent dividing n, there is a hierarchy of varieties determined by the lengths of the products of idempotents that will, if they fall into a group ℋ-class, be idempotent. Moreover, the lattice of varieties generated by completely (0-) simple semigroups over groups of exponent dividing n, with the property that all products of idempotents that fall into group ℋ-classes are idempotent, is shown to be isomorphic to the direct product of the lattice of varieties of groups with exponent dividing n and the lattice of exact subvarieties of a variety generated by a certain five element completely 0-simple semigroup.     

Mal’tsevh 0-algebras

Let Φ be an associative commutative ring with unity, 1/6 ∈ Φ, write A for a Mal’tsev algebra over Φ, suppose that on A, the function h(y, z, t, x, x)=2[{yz, t, x}x+{yx, z, x}t], where {x, y, z}=(xy)z−(xz)y+2x(yz), is defined, and assume that H(A) is a fully invariant ideal of A generated by the function h. The algebra A satisfying an identity h(y, z, x, x, x)=0 [h(y, z, t, x, x)=0] is called a Mal’tsev h₀-algebra (h-algebra). We prove that in any Mal’tsev h₀-algebra, the inclusion H(A)·A₂⊆Ann A holds withAnnA the annihilator of A. This means that any semiprime h₀-algebra A is an h-algebra. Every prime h₀-algebra A is a central simple algebra over the quotient field Λ of the center of its algebra of right multiplications, R(A), and is either a 7-dimensional non-Lie algebra or a 3-dimensional Lie algebra over Λ. Supported by RFFR grant No. 94-01-00381-a. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 214–227, March–April, 1996.     

Trivial nuclear ideals of alternative algebras

Let A be a free alternative Φ-algebra, where Φ is an associative commutative ring with 1, containing 1/6, and g(y, z, t, v, x, x)=2[J_({[y, z], t, x}_, x, v)+J_({[y,x], z, x}_, t, v)], where [x, y]=xy−yx, J_(x, y, z)=[[x, y], z]+[[z, x], y]+[[y, z], x], {x, y, z}_=J_(x, y, z)+3[x, [y, z]]. We construct trivial nuclear ideals of A, that is, nonzero ideals with zero multiplication, lying in the associative center of A. In particular, it is shown that if G and B are fully invariant ideals of A on k≥7 free generators, generated by a function g and by double commutators, respectively, then GB+BG is a nuclear ideal of A. This implies that an unmized alternative algebra satisfies GB=BG=0. If an unmixed algebra is finitely generated, then G=0. In addition, we prove that if R is an unmixed solvable alternative algebra then (R^N)²=0 for some N. Translated fromAlgebra i Logika, Vol. 36, No. 1, pp. 97–115, January–February, 1997.     

A note on strongly π-regular rings

Let R be an associative ring with unit and let N(R) denote the set of nilpotent elements of R. R is said to be stronglyπ-regular if for each x∈R, there exist a positive integer n and an element y∈R such that x ⁿ=x ^{n +1} y and xy=yx. R is said to be periodic if for each x∈R there are integers m,n≥ 1 such that m≠n and x ^m=x ⁿ. Assume that the idempotents in R are central. It is shown in this paper that R is a strongly π-regular ring if and only if N(R) coincides with the Jacobson radical of R and R/N(R) is regular. Some similar conditions for periodic rings are also obtained. This revised version was published online in June 2006 with corrections to the Cover Date.     

Orders in Strict Regular Semigroups

 A subsemigroup S of a semigroup Q is an order in Q if for every there exist such that , where a and d are contained in (maximal) subgroups of Q, and and are their inverses in these subgroups. A regular semigroup S is strict if it is a subdirect product of completely (0-)simple semigroups. We construct all orders and involutions in Auinger’s model of a strict regular semigroup. This is used to find necessary and sufficient conditions on an involution on an order S in a strict regular semigroup Q for extendibility to an involution on Q.     

A note on the multilinear singular integral operators

Lp(Rn) boundedness is considered for the multilinear singular integral operator defined by TAf(x) = ∫Rn Ω(x - y)/|x - y|n 1 (A(x) - A(y) - (△)A(y)(x - y))f(y)dy,where Ω is homogeneous of degree zero, integrable on the unit sphere and has vanishing moment of order one. A has derivatives of order one in BMO(Rn). We give a smoothness condition which is fairly weaker than that Ω∈ Lipα(Sn-1) (0 ＜α≤ 1) and implies the Lp(Rn) (1 ＜ p ＜ oo) boundedness for the operator TA. Some endpoint estimates are also established.     

On maximal operators along surfaces

In this paper, we establish the boundedness of the following maximal operator

Regular left-continuous t-norms

A left-continuous (l.-c.) t-norm ⊙ is called regular if there is an n<ω such that the map x ↦ x⊙a has, for any a∈[0,1], at most n discontinuity points, and if the function mapping every a∈[0,1] to the set behaves in a specifically simple way. The t-norm algebras based on regular l.-c. t-norms generate the variety of MTL-algebras. With each regular l.-c. t-norm, we associate certain characteristic data, which in particular specifies a finite number of constituents, each of which belongs to one out of six different types. The characteristic data determines the t-norm to a high extent; we focus on those t-norms which are actually completely determined by it. Most of the commonly known l.-c. t-norms are included in the discussion. Our main tool of analysis is the translation semigroup of the totally ordered monoid ([0,1];≤,⊙,0,1), which consists of commuting functions from the real unit interval to itself.     

Binary relations as lattice isomorphisms

Summary In 1963, Zaretskiį established a one-to-one correspondence between the setB _X of binary relations on a set X and the set of triples of the form (W, ϕ, V) where W and V are certain lattices and ϕ: W→V is an isomorphism. We provide a multiplication for these triples making the Zaretskiį correspondence a semigroup isomorphism. In addition, we consider faithful representations ofB _X by pairs of partial transformations and also as the translational hull of its rectangular relations. Using these triples, we study idempotents, regular and completely regular elements and relationsH-equivalent to some relations with familiar properties such as reflexivity, transitivity, etc. Entrata in Redazione il 14 aprile 1998.     

Medial permutable semigroups of the first kind

We say that a semigroup S is a permutable semigroup if the congruences of S commute with each other, that is, α○β=β○α is satisfied for all congruences α and β of S. A semigroup is called a medial semigroup if it satisfies the identity axyb=ayxb. The medial permutable semigroups were examined in Proc. Coll. Math. Soc. János Bolyai, vol. 39, pp. 21–39 (1981), where the medial semigroups of the first, the second and the third kind were characterized, respectively. In Atta Accad. Sci. Torino, I-Cl. Sci. Fis. Mat. Nat. 117, 355–368 (1983) a construction was given for medial permutable semigroups of the second [the third] kind. In the present paper we give a construction for medial permutable semigroups of the first kind. We prove that they can be obtained from non-archimedean commutative permutable semigroups (which were characterized in Semigroup Forum 10, 55–66, 1975). Research supported by the Hungarian NFSR grant No T042481 and No T043034.