DOCSLIB.ORG

On V -Semigroups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On V -Semigroups Open Math. 2015; 13: 931–939 Open Mathematics Open Access Research Article Ze Gu and Xilin Tang* On V n-semigroups DOI 10.1515/math-2015-0085 Received November 18, 2014; accepted December 3, 2015. Abstract: In this paper, we give some new characterizations of orthodox semigroups in terms of the set of inverses of idempotents. As a generalization, a new class of regular semigroups, namely V n-semigroups, is introduced. Also, we give a characterization of V n-semigroups and investigate some properties of V n-semigroups. Furthermore, we show that the class of V n-semigroups is closed under direct products and homomorphic images. However, regular subsemigroups of V n-semigroups (n 2) are not necessarily V n-semigroups in general. Therefore, the class of V n-semigroups (n 2) does not form an e-variety. Finally, we obtain that a E-solid semigroup S is a V 2-semigroup if and only if S is orthodox. Keywords: Orthodox semigroups, V n-semigroups, V 2-semigroups, E-solid semigroup; e-variety MSC: 20M10 1 Introduction and preliminaries Let S be a semigroup. An element a of S is called regular if there exists x S such that a axa. S is called 2 D regular if all its elements are regular. Regular semigroups are important research objects in semigroup theory. An element e S is an idempotent if e2 e. We denote by E the set of idempotents of S. The subsemigroup of S 2 D generated by E, denoted by E , consists of all finite products of elements in E. A semigroup S is called a band if h i all the elements of S are idempotents. A commutative band is called a semilattice. We say that a S is an inverse 0 2 of a S if a aa a and a a aa . A semigroup S is called an inverse semigroup if every element of S has a 2 D 0 0 D 0 0 unique inverse. From Theorem 5.1.1 in [1], we know that S is an inverse semigroup if and only if S is regular and E is a semilattice. A regular semigroup S is called orthodox if E is a band. An element a of a semigroup S is called completely regular if there exists x S such that a axa and ax xa. The semigroup S is called completely 2 D D regular if all the elements of S are completely regular. A regular semigroup S is called E-solid (quasi-orthodox) if E is completely regular. A completely regular and orthodox semigroup is called a orthogroup. A semigroup h i is called simple if it has no proper ideal. A completely regular and simple semigroup is called completely simple. A completely simple and orthodox semigroup is called a rectangular group. Results on these semigroups can be seen in [2–6]. Let S be a regular semigroup. An inverse subsemigroup T of S is called an inverse transversal of S if T contains a unique inverse of x for every x S. The class of regular semigroups with inverse transversals was 2 introduced by Blyth and McFadden in [7]. Necessary and sufficient conditions for an inverse subsemigroup to be an inverse transversal were given by the second author of this paper in [8]. Related work on regular semigroups with inverse transversals can be seen in [9–13]. Ze Gu: Department of Mathematics, South China University of Technology, Guangzhou, Guangdong, 510640, P.R. China, E-mail: [email protected] *Corresponding Author: Xilin Tang: Department of Mathematics, South China University of Technology, Guangzhou, Guangdong, 510640, P.R. China, E-mail: [email protected] © 2015 Gu and Tang, published by De Gruyter Open. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License. 932 Z. Gu, X. Tang A semigroup with an identity is called a monoid. If a semigroup S is not a monoid, we may adjoin a new element 1 to S with the property 1a a1 a for all a S 1 . Then S 1 is a monoid. We now define D D 2 [ f g [ f g ( S if S has an identity; S 1 D S 1 otherwise: [ f g Green’s relations are five equivalences on a semigroup. They are important tools in the description and decomposition of semigroups. Let S be a semigroup. We define the following relations on S: aLb S 1a S 1b , D I aRb aS 1 bS 1 , D I aJ b S 1aS 1 S 1bS 1 , D I H L R D \ I D L R: D _ From Proposition 2.1.3 in [1], L and R commute. Thus D L R R L. The five equivalence relations are D ı D ı called Green’s relations. We denote by La (Ra;Ja;Ha;Da) the equivalence L-class (R-class, J -class, H-class, D-class) containing the element a. We define LE L .E E/ and RE R .E E/. D \ D \ Define a relation V on a regular semigroup S as V .a; b/ S S aba a; bab b . We denote by V .a/ D f 2 W D D g the set b S .a; b/ V . Then V .a/ is the set of inverses of a. Denote V .A/ S V .a/ for any non-empty f 2 W 2 g D a A subset A of S. For any positive integer n, we denote by Vn the n times composition of2 the relation V. In particular, V0 is the equality relation on S. Similarly, we denote V n.a/ b S .a; b/ Vn and V n.A/ S V n.a/ D f 2 W 2 g D a A respectively. 2 If S is a regular semigroup with an inverse transversal T , then V .T / S. If S is just a regular semigroup, we D want to know when T is an inverse transversal of V .T / for any inverse subsemigroup T of S. In Section 2, we find that orthodox semigroups satisfy the condition and give some new characterizations of orthodox semigroups. It is well known from [4] that a regular semigroup S is an inverse semigroup if and only if every e E has 2 a unique inverse. Similarly, we give some characterizations of orthodox semigroups in Section 3. Furthermore, we investigate the relationship between the characterizations and the results given in Section 2. As a generalization of inverse semigroups and orthodox semigroups, we introduce a new class of regular semigroups, called V n-semigroups, in Section 4. Also, we give a characterization of V n-semigroups and investigate some properties of V n-semigroups. Moreover, we show that a semilattice of V n-semigroups, the direct products of V n-semigroups, the homomorphic images of V n-semigroups and the ideal extensions of V n-semigroups by V n- semigroups are still V n-semigroups. However, regular subsemigroups of V n-semigroups (n 2) are not necessarily V n-semigroups in general. Therefore, the class of V n-semigroups (n 2) does not form an e-variety. Finally, we obtain that a E-solid semigroup S is a V 2-semigroup if and only if S is orthodox. We list the following five results that will be used in our paper. Result 1.1 (Theorem 2.3.4 (2) and Proposition 2.3.7 [1]). Let a; b be elements of a semigroup S. (1) If Ra Lb and La Rb contain idempotents e; f respectively, then Hb contains an inverse a of a such that \ \ aa e; a a f . D D (2) ab Ra Lb if and only if La Rb contains an idempotent. 2 \ \ Result 1.2 (Theorem [14]). Let S be a regular semigroup with set E of idempotents. Then for any positive integer n, V n.E/ V .En/ En 1: D D C Result 1.3 (Theorem 6.2.1 and Theorem 6.2.4 [1]). Let S be a regular semigroup with set E of idempotents. Then the following conditions are equivalent: (1) S is orthodox; (2) . a; b S/ V .b/V .a/ V .ab/; 8 2 Â (3) . e E/ V .e/ E; 8 2 Â On V n-semigroups 933 (4) . a; b S/ V .a/ V .b/ V .a/ V .b/. 8 2 \ ¤ ; ) D Result 1.4 (Theorem 3 [2]). Let S be a regular semigroup with set E of idempotents. Then S is a E-solid semigroup if and only if RE LE LE RE . ı D ı Result 1.5 (Lemma 1 [15]). Let be a congruence on a regular semigroup S and let A; B be any elements of S= such that AVB in S=. Then there exist elements a; b in S such that a A; b B and aVb in S. 2 2 2 V.e/V.e/ V.e/ D For a regular semigroup S, we have the following result. Lemma 2.1. Let S be a regular semigroup with set E of idempotents and IS be the set of inverse subsemigroups of S. Then for any positive integer n, (1) . e E/V n.e/ V n.e/V n.e/; 8 2 Â (2) . T IS/V n.T / V n.T /V n.T /. 8 2 Â Proof. (1). If n 1, then aeVe for any a V .e/. Thus a .ae/a V .e/V .e/. We next prove the case of D n 2 D 2 n > 1. For any a V .e/, there exist e1; e2; : : : ; en 1 S such that aVe1Ve2V Ven 1Ve.
Load more

Recommended publications
  • Classes of Semigroups Modulo Green's Relation H
    Classes of semigroups modulo Green’s relation H Xavier Mary To cite this version: Xavier Mary. Classes of semigroups modulo Green’s relation H. Semigroup Forum, Springer Verlag, 2014, 88 (3), pp.647-669. 10.1007/s00233-013-9557-9. hal-00679837 HAL Id: hal-00679837 https://hal.archives-ouvertes.fr/hal-00679837 Submitted on 16 Mar 2012 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Classes of semigroups modulo Green’s relation H Xavier Mary∗ Universit´eParis-Ouest Nanterre-La D´efense, Laboratoire Modal’X Keywords generalized inverses; Green’s relations; semigroups 2010 MSC: 15A09, 20M18 Abstract Inverses semigroups and orthodox semigroups are either defined in terms of inverses, or in terms of the set of idempotents E(S). In this article, we study analogs of these semigroups defined in terms of inverses modulo Green’s relation H, or in terms of the set of group invertible elements H(S), that allows a study of non-regular semigroups. We then study the interplays between these new classes of semigroups, as well as with known classes of semigroups (notably inverse, orthodox and cryptic semigroups). 1 Introduction The study of special classes of semigroups relies in many cases on properties of the set of idempo- tents, or of regular pairs of elements.
    [Show full text]
  • 3. Inverse Semigroups
    3. INVERSE SEMIGROUPS MARK V. LAWSON 1. Introduction Inverse semigroups were introduced in the 1950s by Ehresmann in France, Pre- ston in the UK and Wagner in the Soviet Union as algebraic analogues of pseu- dogroups of transformations. One of the goals of this article is to give some insight into inverse semigroups by showing that they can in fact be seen as extensions of presheaves of groups by pseudogroups of transformations. Inverse semigroups can be viewed as generalizations of groups. Group theory is based on the notion of a symmetry; that is, a structure-preserving bijection. Un- derlying group theory is therefore the notion of a bijection. The set of all bijections from a set X to itself forms a group, S(X), under composition of functions called the symmetric group. Cayley's theorem tells us that each abstract group is isomor- phic to a subgroup of a symmetric group. Inverse semigroup theory, on the other hand, is based on the notion of a partial symmetry; that is, a structure-preserving partial bijection. Underlying inverse semigroup theory, therefore, is the notion of a partial bijection (or partial permutation). The set of all partial bijections from X to itself forms a semigroup, I(X), under composition of partial functions called the symmetric inverse monoid. The Wagner-Preston representation theorem tells us that each abstract inverse semigroup is isomorphic to an inverse subsemigroup of a symmetric inverse monoid. However, symmetric inverse monoids and, by extension, inverse semigroups in general, are endowed with extra structure, as we shall see. The first version of this article was prepared for the Workshop on semigroups and categories held at the University of Ottawa between 2nd and 4th May 2010.
    [Show full text]
  • CERTAIN FUNDAMENTAL CONGRUENCES on a REGULAR SEMIGROUP! by J
    CERTAIN FUNDAMENTAL CONGRUENCES ON A REGULAR SEMIGROUP! by J. M. HOWIE and G. LALLEMENT (Received 21 June, 1965) In recent developments in the algebraic theory of semigroups attention has been focussing increasingly on the study of congruences, in particular on lattice-theoretic properties of the lattice of congruences. In most cases it has been found advantageous to impose some re- striction on the type of semigroup considered, such as regularity, commutativity, or the property of being an inverse semigroup, and one of the principal tools has been the consideration of special congruences. For example, the minimum group congruence on an inverse semigroup has been studied by Vagner [21] and Munn [13], the maximum idempotent-separating con- gruence on a regular or inverse semigroup by the authors separately [9, 10] and by Munn [14], and the minimum semilattice congruence on a general or commutative semigroup by Tamura and Kimura [19], Yamada [22], Clifford [3] and Petrich [15]. In this paper we study regular semigroups and our primary concern is with the minimum group congruence, the minimum band congruence and the minimum semilattice congruence, which we shall con- sistently denote by a, P and t] respectively. In § 1 we establish connections between /? and t\ on the one hand and the equivalence relations of Green [7] (see also Clifford and Preston [4, § 2.1]) on the other. If for any relation H on a semigroup S we denote by K* the congruence on S generated by H, then, in the usual notation, In § 2 we show that the intersection of a with jS is the smallest congruence p on S for which Sip is a UBG-semigroup, that is, a band of groups [4, p.
    [Show full text]
  • Green's Relations and Dimension in Abstract Semi-Groups
    University of Tennessee, Knoxville TRACE: Tennessee Research and Creative Exchange Doctoral Dissertations Graduate School 8-1964 Green's Relations and Dimension in Abstract Semi-groups George F. Hampton University of Tennessee - Knoxville Follow this and additional works at: https://trace.tennessee.edu/utk_graddiss Part of the Mathematics Commons Recommended Citation Hampton, George F., "Green's Relations and Dimension in Abstract Semi-groups. " PhD diss., University of Tennessee, 1964. https://trace.tennessee.edu/utk_graddiss/3235 This Dissertation is brought to you for free and open access by the Graduate School at TRACE: Tennessee Research and Creative Exchange. It has been accepted for inclusion in Doctoral Dissertations by an authorized administrator of TRACE: Tennessee Research and Creative Exchange. For more information, please contact [email protected]. To the Graduate Council: I am submitting herewith a dissertation written by George F. Hampton entitled "Green's Relations and Dimension in Abstract Semi-groups." I have examined the final electronic copy of this dissertation for form and content and recommend that it be accepted in partial fulfillment of the requirements for the degree of Doctor of Philosophy, with a major in Mathematics. Don D. Miller, Major Professor We have read this dissertation and recommend its acceptance: Accepted for the Council: Carolyn R. Hodges Vice Provost and Dean of the Graduate School (Original signatures are on file with official studentecor r ds.) July 13, 1962 To the Graduate Council: I am submitting herewith a dissertation written by George Fo Hampton entitled "Green's Relations and Dimension in Abstract Semi­ groups.-" I recommend that it be accepted in partial fulfillment of the requirements for the degree of Doctor of Philosop�y, with a major in Mathematics.
    [Show full text]
  • Von Neumann Regular Cellular Automata
    Von Neumann Regular Cellular Automata Alonso Castillo-Ramirez and Maximilien Gadouleau May 29, 2017 Abstract For any group G and any set A, a cellular automaton (CA) is a transformation of the configuration space AG defined via a finite memory set and a local function. Let CA(G; A) be the monoid of all CA over AG. In this paper, we investigate a generalisation of the inverse of a CA from the semigroup-theoretic perspective. An element τ ∈ CA(G; A) is von Neumann regular (or simply regular) if there exists σ ∈ CA(G; A) such that τ ◦ σ ◦ τ = τ and σ ◦ τ ◦ σ = σ, where ◦ is the composition of functions. Such an element σ is called a generalised inverse of τ. The monoid CA(G; A) itself is regular if all its elements are regular. We establish that CA(G; A) is regular if and only if |G| = 1 or |A| = 1, and we characterise all regular elements in CA(G; A) when G and A are both finite. Furthermore, we study regular linear CA when A = V is a vector space over a field F; in particular, we show that every regular linear CA is invertible when G is torsion-free elementary amenable (e.g. when G = Zd, d ∈ N) and V = F, and that every linear CA is regular when V is finite-dimensional and G is locally finite with char(F) ∤ o(g) for all g ∈ G. Keywords: Cellular automata, linear cellular automata, monoids, von Neumann regular elements, generalised inverses. 1 Introduction Cellular automata (CA), introduced by John von Neumann and Stanislaw Ulam in the 1940s, are models of computation with important applications to computer science, physics, and theoretical biology.
    [Show full text]
  • UNIT-REGULAR ORTHODOX SEMIGROUPS by R
    UNIT-REGULAR ORTHODOX SEMIGROUPS by R. B. McFADDEN (Received 5 May, 1983) Introduction. Unit-regular rings were introduced by Ehrlich [4]. They arose in the search for conditions on a regular ring that are weaker than the ACC, DCC, or finite Goldie dimension, which with von Neumann regularity imply semisimplicity. An account of unit-regular rings, together with a good bibliography, is given by Goodearl [5]. The basic definition of unit-regularity is purely multiplicative; it is simply that for each element x of a monoid S (initially a ring R with identity) there is a unit u of S for which x = xux. The concept of a unit-regular semigroup is a natural one; for example, the full transformation semigroup on a finite set, and the semigroup of endomorphisms of a finite-dimensional vector space, are unit-regular semigroups [1]. Unit-regularity has been studied by Chen and Hsieh [2], by Tirasupa [9], and by McAlister [6]. The connection between unit-regularity and finiteness conditions has been considered by D'Alarcao [3]. The problem of describing the structure of an arbitrary unit-regular semigroup S is difficult. It appears reasonable to attempt to provide such a description in terms of the group of units of S and the set of idempotents of S, and in this direction Blyth and McFadden did determine the structure of a narrow class of unit-regular semigroups. Calling a semigroup S uniquely unit orthodox if it is orthodox and, for each x in S, there exists a unique unit u of S for which x = xux, they proved that every such semigroup is a semidirect product of a group (the group of units of S) and a band (the band of idempotents of S).
    [Show full text]
  • Rees Matrix Covers for Regular Semigroups
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 89, 264-279 (1984) Rees Matrix Covers for Regular Semigroups D. B. MCALISTER Department of Mathematics, Northern Iliinois University, De Kalb, Illinois 601 I5 Communicated by G. B. Preston Received June 11, 1982 By a local submonoid, of a regular semigroup S, we mean a subset of the form eSe, where e is an idempotent of S. Many classes of regular semigroups can be defined in terms of properties of their local submonoids. For example, rectangular bands can be characterized as those regular semigroups all of whose local submonoids are trivial while completely simple semigroups are those whose local submonoids are groups. We say that a regular semigroup has a property ‘3 locally, or is a locally 5?7 semigroup, if each local submonoid of S has property %Y. In a previous paper we showed that a regular semigroup is locally inverse if and only if it is an image, by a homomorphism which is one to one on local submonoids, of a regular Rees matrix semigroup over an inverse semigroup. In this paper we extend that result to various other classes of regular semigroups. In particular, we show the analog of this result for locally E-solid semigroups. (A regular semigroup is E-solid if the subsemigroup generated by its idempotents is a union of groups.) The class of locally E-solid regular semigroups is extremely extensive. It includes almost all classes of regular semigroups which have been studied from a structural point of view since inverse semigroups, orthodox semigroups, unions of groups semigroups and their localizations all belong to this class.
    [Show full text]
  • Restriction Semigroups Peter R
    Marquette University e-Publications@Marquette Mathematics, Statistics and Computer Science Mathematics, Statistics and Computer Science, Faculty Research and Publications Department of 1-1-2014 Varieties of P-Restriction Semigroups Peter R. Jones Marquette University, [email protected] Accepted version. Communications in Algebra, Vol. 42, No. 4 (2014): 1811-1834. DOI. © 2014 Taylor & Francis. Used with permission. Varieties of P -restriction semigroups Peter R. Jones November 6, 2012 Abstract The restriction semigroups, in both their one-sided and two-sided versions, have arisen in various fashions, meriting study for their own sake. From one historical perspective, as `weakly E-ample' semigroups, the definition revolves around a `designated set' of commuting idempotents, better thought of as projections. This class includes the inverse semigroups in a natural fashion. In a recent paper, the author introduced P -restriction semigroups in order to broaden the notion of `projection' (thereby encompassing the regular ∗-semigroups). That study is continued here from the varietal perspective introduced for restriction semigroups by V. Gould. The relationship between varieties of regular ∗-semigroups and varieties of P - restriction semigroups is studied. In particular, a tight relationship exists between varieties of orthodox ∗-semigroups and varieties of `orthodox' P -restriction semigroups, leading to concrete descriptions of the free orthodox P -restriction semigroups and related structures. Specializing further, new, elementary paths are found for descriptions of the free restriction semigroups, in both the two-sided and one-sided cases. In [13], the author introduced P -restriction semigroups as a common generalization of the restriction semigroups (or `weakly E-ample' semigroups) and the regular ∗-semigroups, defining them as bi-unary semigroups { semigroups with two additional unary operations, + and ∗ { satisfying a set of simple identities.
    [Show full text]
  • Bisimple Semigroups
    /-BISIMPLE SEMIGROUPS BY R. J. WARNE Let S be a semigroup and let Es denote the set of idempotents of S. As usual Es is partially ordered in the following fashion: if e,feEs, efíf if and only if ef=fe = e. Let /denote the set of all integers and let 1° denote the set of nonnegative integers. A bisimple semigroup Sis called an 7-bisimple semigroup if and only if Es is order isomorphic to 7 under the reverse of the usual order. We show that S is an 7-bisimple semigroup if and only if S^Gx Ixl, where G is a group, under the multiplication (g, a, b)(h, c, d) = (gfb-}c.chab-cfb-c.d, a,b + d-c) if b ^ c, = (fc~-\,ag<xc~''fc-b,bh,a+c-b, d) if c ^ b, where a is an endomorphism of G, a0 denoting the identity automorphism of G, and for me Io, ne I, /o,n=e> the identity of G while if m>0, fim.n = un + i"m~1un + 2am-2- ■ -un + (m.X)aun + m, where {un : ne/} is a collection of elements of G with un = e, the identity of G, if n > 0. If we let G = {e}, the one element group, in the above multiplication we obtain S=IxI under the multiplication (a, b)(c, d) = (a + c —r, b + d—r). We will denote S under this multiplication by C*, and we will call C* the extended bicyclic semigroup. C* is the union of the chain I of bicyclic semigroups C.
    [Show full text]
  • Beyond Regular Semigroups
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by OpenGrey Repository Beyond Regular Semigroups Yan Hui Wang PhD University of York Department of Mathematics March 2012 Abstract The topic of this thesis is the class of weakly U-abundant semigroups. This class is very wide, containing inverse, orthodox, regular, ample, adequate, quasi- adequate, concordant, abundant, restriction, Ehresmann and weakly abundant semigroups. A semigroup S with subset of idempotents U is weakly U-abundant if every RU -class and every LU -class contains an idempotent of U, where RU and LU are relations extending the well known Green’s relations R and L. We assume throughout that our semigroups satisfy a condition known as the Con- gruence Condition (C). We take several approaches to weakly U-abundant semigroups. Our first re- sults describe those that are analogous to completely simple semigroups. Together with an existing result of Ren this determines the structure of those weakly U- abundant semigroups that are analogues of completely regular semigroups, that is, they are superabundant. Our description is in terms of a semilattice of rectan- gular bands of monoids. The second strand is to aim for an extension of the Hall-Yamada theorem for orthodox semigroups as spined products of inverse semigroups and fundamental orthodox semigroups. To this end we consider weakly B-orthodox semigroups, where B is a band. We note that if B is a semilattice then a weakly B-orthodox semigroup is exactly an Ehresmann semigroup. We provide a description of a weakly B-orthodox semigroup S as a spined product of a fundamental weakly B- orthodox semigroup SB (depending only on B) and S/γB, where B is isomorphic to B and γB is the analogue of the least inverse congruence on an orthodox semigroup.
    [Show full text]
  • Simple Semirings
    International Journal of Engineering Inventions e-ISSN: 2278-7461, p-ISSN: 2319-6491 Volume 2, Issue 7 (May 2013) PP: 16-19 Simple Semirings P. Sreenivasulu Reddy1, Guesh Yfter tela2 Department of mathematics, Samara University, Samara, Afar Region, Ethiopia Post Box No.131 Abstract: Author determine different additive structures of simple semiring which was introduced by Golan [3]. We also proved some results based on the papers of Fitore Abdullahu [1]. I. Introduction This paper reveals the additive structures of simple semirings by considering that the multiplicative semigroup is rectangular band. 1.1. Definition: A semigroup S is called medial if xyzu = xzyu, for every x, y, z, u in S. 1.2. Definition: A semigroup S is called left (right) semimedial if it satisfies the identity x2yz = xyxz (zyx2 = zxyx), where x,y,z S and x, y are idempotent elements. 1.3. Definition: A semigroup S is called a semimedial if it is both left and right semimedial. Example: The semigroup S is given in the table is I-semimedial * a b c a b b b b b b b c c c c 1.4. Definition: A semigroup S is called I- left (right) commutative if it satisfies the identity xyz = yxz (zxy = zyx), where x, y are idempotent elements. 1.5. Definition: A semigroup S is called I-commutative if it satisfies the identity xy = yx, where x,y S and x, y are idempotent elements. Example: The semigroup S is given in the table is I-commutative. * a b c a b b a b b b b c c b c 1.6.
    [Show full text]
  • A System of Bi-Identities for Locally Inverse Semigroups
    PROCEEDINGSOF THE AMERICANMATHEMATICAL SOCIETY Volume 123, Number 4, April 1995 A SYSTEM OF BI-IDENTITIES FOR LOCALLYINVERSE SEMIGROUPS K. AUINGER (Communicated by Ronald M. Solomon) Abstract. A class of regular semigroups closed under taking direct products, regular subsemigroups, and homomorphic images is an existence-variety (or e- variety) of regular semigroups. Each e-variety of locally inverse semigroups can be characterized by a set of bi-identities. These are identities of terms of type (2, 2) in two sorts of variables X and X'. In this paper we obtain a basis of bi-identities for the e-variety of locally inverse semigroups and for certain sub-e-varieties. 1. Introduction In order to study regular semigroups from a "universal" perspective, Hall [6, 7, 8] introduced the notion of existence variety (or e-variety) of regular semigroups: this is a class of regular semigroups closed under taking direct products, regular subsemigroups, and homomorphic images. He showed that the collection of all ^-varieties of regular semigroups forms a complete lattice under inclusion (containing the lattices of inverse, respectively completely regular, semigroup varieties as ideal sublattices). Independently, Kadourek and Szendrei [10] introduced the concept of e- variety for the class of orthodox semigroups, using the term "bivariety". In addition they showed that e-varieties of orthodox semigroups are determined by sets of bi-identities. In this context a bi-identity is a semigroup identity in two sorts of variables x and x'. A bi-identity u = v is said to hold in an orthodox semigroup S if each substitution of the variables in u and v by elements of S in such a way that x and x' are substituted by mutually inverse elements of S yields the same element of S on both sides.
    [Show full text]