On Finite Complete Presentations and Exact Decompositions of Semigroups

We prove that given a finite (zero) exact right decomposition (M, T) of a semigroup S, if M is defined by a finite complete presentation, then S is also defined by a finite complete presentation. Exact right decompositions are natural generalizations to semigroups of coset decompositions in groups. As a consequence, we deduce that any Zappa–Szép extension of a monoid defined by a finite complete presentation, by a finite monoid, is also defined by such a presentation.

It is also proved that a semigroup M ⁰[A; I, J; P], where A and P satisfy some very general conditions, is also defined by a finite complete presentation.     

On Semigroup Presentations and Efficiency

The purpose of this paper is twofold. First we determine some forms of the relations in a finite semigroup presentation with zero deficiency which does or does not define a group. Moreover, we conclude that a finite Rees matrix semigroup M [G; I, Λ; P] is efficient when G is efficient and the index sets I, Λ are finite.     

On Varieties Generated by Minimal Complex Semigroups

A semigroup is complex if it generates a variety the subvariety lattice of which contains an isomorphic copy of every finite lattice. It is known that a complex semigroup has at least four elements and that up to isomorphism and anti-isomorphism, there are four complex semigroups of order four. Subvarieties of the varieties generated by two of these four minimal complex semigroups have previously been described. To complete the study, we describe subvarieties of the varieties generated by the remaining two semigroups. This research was partially supported by the National Natural Science Foundation of China (No.10571077) and the Natural Science Foundation of Gansu Province (No.3ZS052-A25-017)     

Minimal and Maximal Semigroups Related to Causal Symmetric Spaces

Let G/H be an irreducible globally hyperbolic semisimple symmetric space, and let S ³ G be a subsemigroup containing H not isolated in S. We show that if S^o p 0 then there are H-invariant minimal and maximal cones Cmin ³ Cmax in the tangent space at the origin such that H exp Cmin ³ S ³ HZK(a)expCmax. A double coset decomposition of the group G in terms of Cartan subspaces and the group H is proved. We also discuss the case where G/H is of Cayley type.     

On Minimal and Maximal Left Ideals in Ordered Semigroups*

The concept of maximal left ideals is introduced in ordered semigroups. Characterizatations of minimal left and maximal left ideals are given.     

两个表示定义半群的构造及其GAP验证

重新研究为解决Shevrin一个公开问题所用到的两个由表示定义的半群,给出其乘法表,利用数学软件GAP构造与之同构的变换半群,从而说明其中任一半群所含诸元素的互异;同时,还利用GAP对两个半群的结构性质进行验证.是对作者解决问题所发表文献的有益补充.     

Minimal but Inefficient Presentations of the Semi-Direct Products of Some Monoids

Abstract. In recent papers of Ruskuc, Saito and J. Wang, the semi-direct product of two arbitrary monoids and a standard presentation, say P, for this product have received considerable attention. Wang defined a trivialiser set of the Squier complex associated with P and after that necessary and sufficient conditions for P to be efficient have been given by Cevik. As a main result of this paper, we give sufficient conditions for a presentation of the semi-direct product of a one-relator monoid by an infinite cyclic monoid to be minimal but not efficient . In the final part of this paper we give some applications of this result.     

On Some Disjointness Classes of Extensions of Minimal Topological Transformation Semigroups

We study disjointness classes of extensions of minimal topological transformation semigroups.     

Minimal Generating Sets for Relative Ideals in Numerical Semigroups of Multiplicity Eight

Abstract

Let S be a numerical semigroup and let I be a relative ideal of S. Let S ? I denote the dual of I and let μ _S (?) represent the size of a minimal generating set. We investigate the inequality μ _S (I)μ _S (S ? I) ≥ μ _S (I + (S ? I)) under the assumption that S has multiplicity 8. We will show that if I is non-principal, then the strict inequality μ _S (I)μ _S (S ? I) > μ _S (I + (S ? I)) always holds.     

Generalized Bicyclic Semigroups and Jones Semigroups

In this paper, we consider the generalized bicyclic semigroups B_n = a, b | aⁿb = 1 and the Jones semigroups A_n = a, b | aⁿ⁺¹b = a. They are the generalizations of the bicyclic semigroup B = a, b | ab = 1 and its analogous semigroup A = a, b | a²b = a discovered by P.R., Jones in 1987. The word problem for these kinds of semigroups is solved. It is proved that, for n 2, B_n are bisimple right inverse but not inverse semigroups and that the semigroup C = a, b | a²b = a, ab² = b is the smallest idempotent-free homomorphic image of A_n. Moreover, we also prove that A_n and A_m are mutually embeddable but not isomorphic with each other if n m. As a consequence, different kind of -nontrivial [0-]simple semigroups without idempotents are discussed.AMS 1991 Subject Classification: primary 20M10 secondary 20M05.Supported by NNSF of China (19671063) and KSRF of Sichuan Education Committee ([1999]127).     

广义双循环半群和Jones半群

本文刻画了广义双循环半群Ｂｎ＝〈ａ,ｂ｜ａ＾ｎｂ＝１〉和Ｊｏｎｅｓ半群Ａｎ＝〈ａ,ｂ｜ａ＾ｎ＋１ｂ＝ａ〉（ｎ≥１）的结构;证明了每个Ａｎ都具有Ｐ．Ｒ．Ｊｏｎｅｓ所发现的半群Ａ＝〈ａ,ｂ｜ａ＾２ｂ＝ａ〉的所有重要性质,特别地,证明了Ａｎ,Ａｍ可互相嵌入,从而得到：第三个Ｄ－非平凡的无幂等元「０－」单半群若不含Ｃ＝〈ａ,ｂ｜ａ＾２ｂ＝ａ,ａｂＴ＾２＝ｂ〉,则必含每个Ａｎ或它们的对偶,作为推论,每人广义     

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.     

Semigroups with I-Quasi Length and Syntactic Semigroups

A module M is said to be extending (𝒢-extending) if for each submodule X of M there exists a direct summand D of M such that X is essential in D (X ∩ D is essential in both X and D). It is known that for a nonsingular module the concepts of 𝒢-extending and extending coincide. However, in the not nonsingular case, they are distinct. In this article, we obtain a characterization of the right 𝒢-extending generalized triangular matrix rings. This result and its corollaries improve and generalize the existing results on right extending generalized triangular matrix rings. It is well known that the ring of n-by-n triangular matrices over a right selfinjective ring is not, in general, right extending. One application of our characterization shows that such rings are right 𝒢-extending. Connections to Operator Theory and a characterization of the class of right extending right SI-rings are also obtained. Examples are given to illustrate and delimit the theory.     

Unary Iterative Hyperidentities for Semigroups and Inverse Semigroups

Research supported by NSERC.     

Power Semigroups of a Class of Cliford Semigroups

Let S =∪(Gα : α∈ E) be a semilattice of groups(i.e., a Cliford semigroup) and n a natural number. E is called an n-element chain of groups if it is an n-element chain. Denote by Cn the set of all n-element chains of groups. In this paper we shall show that for any natural number n, the class of semigroups Cn satisfies the strong isomorphism property.     

一类Clifford半群的幂半群

Let S =∪（Gα ： α ∈ E） be a semilattice of groups（i.e., a Cliford semigroup） and n a natural number. E is called an n-element chain of groups if it is an n-element chain. Denote by Cn the set of all n-element chains of groups. In this paper we shall show that for any natural number n, the class of semigroups Cn satisfies the strong isomorphism property.