Derived Rees Matrix Semigroups as Semigroups of Transformations

An ordered pair (e,f) of idempotents of a regular semigroup is called a skew pair if ef is not idempotent whereas fe is idempotent. Previously [1] we have established that there are four distinct types of skew pairs of idempotents. We have also described (as quotient semigroups of certain regular Rees matrix semigroups [2]) the structure of the smallest regular semigroups that contain precisely one skew pair of each of the four types, there being to within isomorphism ten such semigroups. These we call the derived Rees matrix semigroups. In the particular case of full transformation semigroups we proved in [3] that T_X contains all four skew pairs of idempotents if and only if |X| ≥ 6. Here we prove that T_X contains all ten derived Rees matrix semigroups if and only if |X| ≥ 7.     

The Smallest Regular Semigroups with all Four Skew Pairs of Idempotents

An ordered pair (e, f) of idempotents of a regular semigroup is called a skew pair if ef is not idempotent whereas fe is idempotent. We have shown previously that there are four distinct types of skew pairs of idempotents. Here we consider the smallest regular semigroups that contain precisely one of each of these four types. We show that, to within isomorphism and dualisomorphism, there are six such semigroups and characterise them as quotient semigroups of certain regular Rees matrix semigroups.     

On a Problem of M. Kambites Regarding Abundant Semigroups

A semigroup is regular if it contains at least one idempotent in each ?-class and in each ?-class. A regular semigroup is inverse if it satisfies either of the following equivalent conditions: (i) there is a unique idempotent in each ?-class and in each ?-class, or (ii) the idempotents commute. Analogously, a semigroup is abundant if it contains at least one idempotent in each ?*-class and in each ?*-class. An abundant semigroup is adequate if its idempotents commute. In adequate semigroups, there is a unique idempotent in each ?* and ?*-class. M. Kambites raised the question of the converse: in a finite abundant semigroup such that there is a unique idempotent in each ?* and ?*-class, must the idempotents commute? In this note, we provide a negative answer to this question.     

Small Skew Lattices in Rings

Given idempotents e and f in a ring R, if ef and fe are also idempotent, then e and f generate a skew lattice in R that splits, having order dividing 16. The skew Boolean algebra generated from e and f is also considered.     

<Emphasis Type="Italic">N</Emphasis>-homogeneous <Emphasis Type="Italic">C</Emphasis>*-algebras generated by idempotents

In this paper we consider n-homogeneous C*-algebras generated by idempotents. We prove that a finitely generated unital n-homogeneous (when n is greater than or equals 2) C*-algebra A can be generated by a finite set of idempotents if and only if the algebra A contains at least one nontrivial idempotent.     

The Idempotent Manifold in a Clifford Algebra

The idempotent sets in sufficiently sophisticated algebras form manifolds and Hausdorff spaces. In this paper it is shown how the idempotents in a real Clifford algebra Cl_p,q can be calculated by nilpotents and reflections. Minimal sets of nilpotents are given and generating relations are defined. It is shown that the manifold thus constructed is complete. Every idempotent in the manifold can be calculated in the way proposed here, namely by a nilpotent multinomial form.     

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.     

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.     

On absolute valued algebras with involution

Let A be an absolute valued algebra with involution, in the sense of Urbanik [K. Urbanik, Absolute valued algebras with an involution, Fund. Math. 49 (1961) 247-258]. We prove that A is finite-dimensional if and only if the algebra obtained by symmetrizing the product of A is simple, if and only if eA_s = A_s, where e denotes the unique nonzero self-adjoint idempotent of A, and A_s stands for the set of all skew elements of A. We determine the idempotents of A, and show that A is the linear hull of the set of its idempotents if and only if A is equal to either McClay’s algebra [A.A. Albert, A note of correction, Bull. Amer. Math. Soc. 55 (1949) 1191], the para-quaternion algebra, or the para-octonion algebra. We also prove that, if A is infinite-dimensional, then it can be enlarged to an absolute valued algebra with involution having a nonzero idempotent different from the unique nonzero self-adjoint idempotent.     

On Classes of E-Inversive Semigroups and Semigroups Whose Idempotents Form a Subsemigroup

Abstract

A semigroup S is called E-inversive if for every a ∈ S there is an x ∈ S such that ax is idempotent. The purpose of this paper is the investigation of E-inversive semigroups and semigroups whose idempotents form a subsemigroup. Basic properties are analysed and, in particular, semigroups whose idempotents form a semilattice or a rectangular band are considered. To provide examples and characterizations, the construction methods of generalized Rees matrix semigroups and semidirect products are employed.     

具有弱中间幂等元的正则半群

本文在正则半群上引入弱中间幂等元和拟中间幂等元,着重探讨了这两类幂等元的性质特征.构造了若干具有弱(拟)中间幂等元的正则半群,确定了弱中间幂等元和拟中间幂等元之间的关系,给出了弱中间幂等元和拟中间幂等元各自的等价判定,利用拟中间幂等元刻画了纯正半群.最后,得到了构造具有拟中间幂等元的正则半群的一般途径,并在此基础上进一步给出了判定正则半群是否具有乘逆断面的方法.     

Minimal But Inefficient Presentations for Self Semidirect Products of the Free Abelian Monoid on Two Generators

Let R be a ring and M(R) the set consisting of zero and primitive idempotents of R. We study the rings R for which M(R) is multiplicative. It is proved that if R has a complete finite set of primitive orthogonal idempotents, then R is a finite direct product of connected rings precisely when M(R) is multiplicative. We prove that if R is a (von Neumann) regular ring with M(R) multiplicative, then every primitive idempotent in R is central. It is also shown that this does not happen even in semihereditary and semiregular rings. Let R be an arbitrary ring with M(R) multiplicative and e ∈ R be a primitive idempotent, then for every unit u ∈ R, it is proved that eue is a unit in eRe. We also prove that if M(R) is multiplicative, then two primitive idempotents e and f in R are conjugates, i.e., f = ueu ^?1 for some u ∈ U(R), if and only if ef ≠ 0.     

A Characterisation of a Class of Semigroups with Locally Commuting Idempotents

McAlister proved that a necessary and sufficient condition for a regular semigroup S to be locally inverse is that it can be embedded as a quasi-ideal in a semigroup T which satisfies the following two conditions: (1) T = TeT, for some idempotent e; and (2) eTe is inverse. We generalise this result to the class of semigroups with local units in which all local submonoids have commuting idempotents.     

Biorder Structure of the Bilinear Form Semigroup

If X and Y are two-finite dimensional vector spaces over a field K and B: X × Y K is a bilinear form, in [6], we have established that the set of adjoint pairs of linear maps forms a regular subsemigroup of L(X) × L(Y)^op. We call it the bilinear form semigroup. Here, we see that the maximal class in this semigroup is a Completely Simple Orthodox semigroup. Again, we note that given any idempotent. We can find a maximal covering chain containing it and ending at a maximal idempotent. We use this to obtain an estimate for the degeneracy of the bilinear form in terms of the rank of maximal idempotents.AMS Subject Classification (2000): 20M17, 15A04     

Idempotent structure of Clifford algebras

Spinor spaces can be represented as minimal left ideals of Clifford algebras and they are generated by primitive idempotents. Primitive idempotents of the Clifford algebras R _{p, q} are shown to be products of mutually nonannihilating commuting idempotent % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabaGaaiaacaqabeaadaqaaqGaaO% qaamaaleaaleaacaaIXaaabaGaaGOmaaaaaaa!3DBD!\[{\textstyle{1 \over 2}}\]2}}\](1+e _T ), where the k=q–r _q–p basis elements e _T satisfy e _T ²=1. The lattice generated by a set of mutually annihilating primitive idempotents is examined. The final result characterizes all Clifford algebras R _{p, q} with an anti-involution such that each symmetric elements is either a nilpotent or then some right multiple of it is a nonzero symmetric idempotent. This happens when p+q<-3 and (p, q)(2, 1).     

Unary Semigroups with an Associate Subgroup

A subgroup H of a regular semigroup S is said to be an associate subgroup of S if for every s ∈ S, there is a unique associate of s in H. An idempotent z of S is said to be medial if czc = c, for every c product of idempotents of S. Blyth and Martins established a structure theorem for semigroups with an associate subgroup whose identity is a medial idempotent, in terms of an idempotent generated semigroup, a group and a single homomorphism. Here, we construct a system of axioms which characterize these semigroups in terms of a unary operation satisfying those axioms. As a generalization of this class of semigroups, we characterize regular semigroups S having a subgroup which is a transversal of a congruence on S.     

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.     

Principally Quasi-Baer Skew Power Series Rings

Let α be an endomorphism of R which is not assumed to be surjective and R be α-compatible. It is shown that the skew power series ring R[[x; α]] is right p.q.-Baer if and only if the skew Laurent series ring R[[x, x ^?1; α]] is right p.q.-Baer if and only if R is right p.q.-Baer and every countable subset of right semicentral idempotents has a generalized countable join. Examples to illustrate and delimit the theory are provided.