DOCSLIB.ORG

Beyond Regular Semigroups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read 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. This result is an analogue of the Hall-Yamada theorem for orthodox semigroups. In the case that B is a normal band, or S is weakly B-superabundant, we find a closed form δB for γB, which simplifies our result to a straightforward form. i For the above to work smoothly in the case S is weakly B-superabundant, we need to find a canonical fundamental weakly B-superabundant subsemigroup of SB. This we do, and give the corresponding answers in the case of the Hall semigroup WB and a number of intervening semigroups. We then change our direction. A celebrated result of Nambooripad shows that regular semigroups are determined by ordered groupoids built over a reg- ular biordered set. Our aim, achieved at the end of the thesis, is to extend Nambooripad’s work to weakly U-regular semigroups, that is, weakly U-abundant semigroups with (C) and U generating a regular subsemigroup whose set of idem- potents is U. As an intervening step we consider weakly B-orthodox semigroups in this light. We take two approaches. The first is via a new construction of an induc- tive generalised category over a band. In doing so we produce a new approach to characterising orthodox semigroups, by using inductive generalised groupoids. We show that the category of weakly B-orthodox semigroups is isomorphic to the category of inductive generalised categories over bands. Our approach is in- fluenced by that of Nambooripad, however, there are significant differences in strategy, the first being the introduction of generalised categories and the second being that it is more convenient to consider (generalised) categories equipped with pre-orders, rather than with partial orders. Our work may be regarded as extending a result of Lawson for Ehresmann semigroups. We also examine the trace of a weakly B-orthodox semigroup, which is a primitive weakly B-orthodox semigroup. We then take a more ‘traditional’ approach to weakly B-orthodox semigroups via band categories and weakly orthodox categories over a band, equipped with two pre-orders. We show that the category of weakly B-orthodox semigroups is equivalent to the category of weakly orthodox categories over bands. To do so we must substantially adjust Armstrong’s method for concordant semigroups. Finally, we consider the most general case of weakly U-regular semigroups. Following Nambooripad’s theorem, which establishes a correspondence between algebraic structures (inverse semigroups) and ordered structures (inductive group- oids), we build a correspondence between the category of weakly U-regular semi- groups and the category of weakly regular categories over regular biordered sets, equipped with two pre-orders. ii Contents Abstract i Contents vi List of Figures vii Preface viii Acknowledgments xiii Author’s Declaration xv 1 Basic Theory I 1 1.1 Relations................................ 1 1.2 Orderedsets.............................. 4 1.3 SemigroupsandGreen’srelations . 5 1.3.1 Basicdefinitions........................ 5 1.3.2 Green’srelations ....................... 8 1.3.3 Regularsemigroups. 11 1.3.4 Inversesemigroups . 13 1.3.5 Orthodoxsemigroups. 14 1.3.6 Completely regular semigroups . 15 1.4 Biorderedsets............................. 17 1.5 Categories............................... 26 2 Basic Theory II 32 2.1 Abundantsemigroups. 32 2.1.1 Relations L∗, R∗ ....................... 32 iii 2.1.2 Abundantsemigroups . 34 2.2 Weakly U-abundantsemigroups . 35 2.2.1 Relations LU , RU ....................... 35 2.2.2 Weakly U-abundantsemigroups . 36 2.2.3 Weakly U-regularsemigroups . 39 2.2.4 Weakly B-orthodoxsemigroups . 41 2.2.5 Ehresmannsemigroups . 41 2.3 The idempotent connected condition . 42 2.3.1 (WIC),(IC)and(PIC). 43 2.3.2 Specialcases.......................... 46 2.4 An analogue of the least inverse congruence . 50 2.5 Orders................................. 53 2.5.1 The weakly U-abundantcase . .. 53 2.5.2 The weakly U-regularcase .................. 55 2.5.3 The weakly B-orthodoxcase. 56 2.5.4 TheEhresmanncase . 56 2.6 Examples ............................... 57 3 Weakly U-superabundant semigroups with (C) 63 3.1 Weakly U-superabundant semigroups with (C) . 63 3.2 Completely JU -simplesemigroups . 67 4 Representations for generalised orthogroups 70 4.1 Fundamental inverse semigroups . 70 4.2 A fundamental orthogroup of WB .................. 72 4.3 A fundamental weakly B-superabundant subsemigroup of VB .. 84 4.4 A fundamental weakly B-superabundant subsemigroup of UB .. 89 4.5 A fundamental weakly B-superabundant subsemigroup of SB .. 97 5 Structure theorems for weakly B-orthodox semigroups 103 5.1 The least admissible Ehresmann congruence . 103 5.2 A structure theorem for weakly B-orthodox semigroups . 106 5.3 Weakly B-orthodoxsemigroupswith(N) . 110 5.4 Weakly B-superabundant semigroups with (C) . 112 5.5 Examples ............................... 113 iv 6 Correspondence between algebraic structures and ordered struc- tures 117 6.1 Inverse semigroups and inductive1 groupoids . 117 6.2 Concordant semigroups and inductive2 cancellative categories . 119 6.3 Ehresmann semigroups and Ehresmann categories . 122 7 Beyond orthodox semigroups I: weakly B-orthodox semigroups and generalised categories 126 7.1 Inductive generalised categories . 126 7.2 Construction ............................. 131 7.3 Correspondence ............................ 136 7.4 Specialcases.............................. 140 8 Trace of weakly B-orthodox semigroups 147 8.1 Preliminaries ............................. 147 8.2 BlockedReesmatrixsemigroups. 148 8.3 Primitive weakly B-orthodoxsemigroups . 152 8.4 Trace of weakly B-orthodoxsemigroups. 158 9 Beyond orthodox semigroups II: weakly B-orthodox semigroups and categories 161 9.1 Weaklyorthodoxcategories . 161 9.2 Construction ............................. 168 9.3 Correspondence ............................ 175 9.4 Specialcases.............................. 184 10 Weakly U-regular semigroups 195 10.1 Weaklyregularcategories . 195 10.2 Structuretheorems . 203 10.3 Correspondence . 222 11 Special kinds of weakly U-regular semigroups 233 11.1 Weakly U-regularsemigroupswith(WIC) . 233 11.2 Theabundantcase . .. .. 235 11.3 Theconcordantcase . 238 11.4 Theregularcase. .. .. 260 v Bibliography 262 vi List of Figures 1 Thestructureofthisthesis. xii 1.1 The τ-commutativecondition . 25 1.2 Thenaturaltransformationproperty . 31 2.1 Classesofsemigroups. 50 5.1 Thespinedproduct. .. .. 106 5.2 The structure of weakly B-orthodoxsemigroups . 108 7.1 Maps.................................. 127 9.1 A natural transformation of IWO and CS .............. 183 9.2 A natural transformation of IWOC and SC ............. 184 10.1 A natural transformation of IWRS and CS ............. 231 10.2 A natural transformation of IWRC and SC ............. 232 vii Preface The aim of this thesis is to investigate weakly U-abundant semigroups, using both techniques developed for regular and abundant semigroups, and new ones. The relevant definitions concerning the classes of semigroups in question are given in Chapter 2. Fundamental semigroups, that is, regular semigroups having no non-trivial idempotent separating congruences, have played an important role in the struc- ture theory of regular semigroups, especially, in the study of inverse semigroups. As an extension of Munn’s approach to inverse semigroups, Hall constructed the fundamental semigroup WB depending only on B, which is a subsemigroup of OP(B/L) × OP ∗(B/R), where for any partially ordered set X, OP(X) is the monoid of its order preserving selfmaps, with dual OP ∗. Also, he showed that if S is an orthodox semigroup with band of idempotents B, then there exists a morphism φ : S → WB whose kernel is µ, the maximum idempotent separating congruence on S. Consequently, an orthodox semigroup
Load more

Recommended publications
  • Free Idempotent Generated Semigroups and Endomorphism Monoids of Independence Algebras
    Free idempotent generated semigroups and endomorphism monoids of independence algebras Yang Dandan & Victoria Gould Semigroup Forum ISSN 0037-1912 Semigroup Forum DOI 10.1007/s00233-016-9802-0 1 23 Your article is published under the Creative Commons Attribution license which allows users to read, copy, distribute and make derivative works, as long as the author of the original work is cited. You may self- archive this article on your own website, an institutional repository or funder’s repository and make it publicly available immediately. 1 23 Semigroup Forum DOI 10.1007/s00233-016-9802-0 RESEARCH ARTICLE Free idempotent generated semigroups and endomorphism monoids of independence algebras Yang Dandan1 · Victoria Gould2 Received: 18 January 2016 / Accepted: 3 May 2016 © The Author(s) 2016. This article is published with open access at Springerlink.com Abstract We study maximal subgroups of the free idempotent generated semigroup IG(E), where E is the biordered set of idempotents of the endomorphism monoid End A of an independence algebra A, in the case where A has no constants and has finite rank n. It is shown that when n ≥ 3 the maximal subgroup of IG(E) containing a rank 1 idempotent ε is isomorphic to the corresponding maximal subgroup of End A containing ε. The latter is the group of all unary term operations of A. Note that the class of independence algebras with no constants includes sets, free group acts and affine algebras. Keywords Independence algebra · Idempotent · Biordered set 1 Introduction Let S be a semigroup with set E = E(S) of idempotents, and let E denote the subsemigroup of S generated by E.
    [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]
  • 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]
  • 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]
  • SUBGROUPS of FREE IDEMPOTENT GENERATED SEMIGROUPS NEED NOT BE FREE 1. Introduction Let S Be a Semigroup with Set E(S)
    SUBGROUPS OF FREE IDEMPOTENT GENERATED SEMIGROUPS NEED NOT BE FREE MARK BRITTENHAM, STUART W. MARGOLIS, AND JOHN MEAKIN 1. Introduction Let S be a semigroup with set E(S) of idempotents, and let hE(S)i denote the subsemigroup of S generated by E(S). We say that S is an idempotent generated semigroup if S = hE(S)i. Idempotent generated semigroups have received considerable attention in the literature. For example, an early re- sult of J. A. Erd¨os [7] proves that the idempotent generated part of the semigroup of n × n matrices over a field consists of the identity matrix and all singular matrices. J. M. Howie [14] proved a similar result for the full transformation monoid on a finite set and also showed that every semigroup may be embedded in an idempotent generated semigroup. This result has been extended in many different ways, and many authors have studied the structure of idempotent generated semigroups. Recently, Putcha [23] gave necessary and sufficient conditions for a reductive linear algebraic monoid to have the property that every non-unit is a product of idempotents, sig- nificantly generalizing the results of J.A. Erd¨os mentioned above. In 1979 K.S.S. Nambooripad [17] published an influential paper about the structure of (von Neumann) regular semigroups. Nambooripad observed that the set E(S) of idempotents of a semigroup carries a certain structure (the structure of a “biordered set”, or a “regular biordered set” in the case of regular semigroups) and he provided an axiomatic characterization of (regular) biordered sets in his paper.
    [Show full text]
  • The Concept of Structural Regularity 1
    PORTUGALIAE MATHEMATICA Vol. 53 Fasc. 4 { 1996 THE CONCEPT OF STRUCTURAL REGULARITY Samuel J.L. Kopamu Abstract: We introduce the class of structurally regular semigroups. Examples of such semigroups are presented, and relationships with other known generalisations of the class of regular semigroups are explored. Some fundamental results and concepts about regular semigroups are generalised to this new class. In particular, a version of Lallement's Lemma is proved. 1 { Preliminaries and introduction An element x of a semigroup is said to be (von Neumann) regular if there exists an (inverse) element y such that xyx = x and yxy = y; and semigroups consisting entirely of such elements are called regular. Regular semigroups have received wide attention (see for example, [16], [17], and [30]). In the literature, the set of all inverses of a regular element x is denoted by V (x). An element x is said to be an idempotent if x2 = x; and semigroups consisting entirely of idempotent elements are called bands. Inverse semigroups are just the regular semigroups with commuting idempotents, or equivalently, they are regular semigroups with unique inverses. Regular semigroups with a unique idempotent element are easily seen to be groups; semigroups that are unions of groups are called completely regular; and regular semigroups whose idempotent elements form a subsemigroup are called orthodox. The very ¯rst class of semigroups to be studied was the class of groups, and some of the important results in semigroup theory came about as a result of attempting to generalise results from group theory. For example, the Vagner{ Preston Representation Theorem for inverse semigroups was influenced by Cay- Received: December 1, 1995; Revised: February 17, 1996.
    [Show full text]
  • The Structure Mappings on a Regular Semigroup
    Proceedings of the Edinburgh Mathematical Society (1978), 21. 135-142 © THE STRUCTURE MAPPINGS ON A REGULAR SEMIGROUP by JOHN MEAKIN (Received 13th December 1976) In (5) the author showed how to construct all inverse semigroups from their trace and semilattice of idempotents: the construction is by means of a family of mappings between ;%-classes of the semigroup which we refer to as the structure mappings of the semigroup. In (7) (see also (8) and (9)) K. S. S. Nambooripad has adopted a similar approach to the structure of regular semigroups: he shows how to construct regular semigroups from their trace and biordered set of idempotents by means of a family of mappings between 9?-classes and between if-classes of the semigroup which we again refer to as the structure mappings of the semigroup. In the present paper we aim to provide a simpler set of axioms characterising the structure mappings on a regular semigroup than the axioms (R1)-(R7) of Nambooripad (9). Two major differences occur between Nambooripad's approach (9) and the approach adopted here: first, we consider the set of idempotents of our semigroups to be equipped with a partial regular band structure (in the sense of Clifford (3)) rather than a biorder structure, and second, we shall enlarge the set of structure mappings used by Nambooripad. 1. Basic notions and notation The standard notation of Clifford and Preston (4) will be used throughout. We denote the set of inverses of a regular element x in a semigroup by V(x). We shall assume familiarity with Nambooripad's papers (8) and (9).
    [Show full text]
  • Regular Semigroups with Strongly E-Inverse Transversals
    International Mathematical Forum, Vol. 7, 2012, no. 15, 737 - 743 Regular Semigroups with Strongly E-inverse Transversals Yuxiao Gao and Yingchun Wang Jiyuan Vocational and Technical College Luoyang, Henan, 454650, P.R. China [email protected] Abstract In this paper, we introduce a new inverse transversal E-inverse transver- sal. We discuss some natures of the regular semigroup with E-inverse transversals and strongly E-inverse transversals. Furthermore this pa- per gives the smallest inverse semigroup congruence and the greatest idempotent separating congruence on regular semigroups with strongly E-inverse transversals. Keywords: regular semigroups; strongly E-inverse transversals; the small- est inverse semigroup congruence 1 Introduction and preliminaries In 1982, Blyth and McFadden introduced regular semigroups with inverse transversals in [6], this type of semigroup has attracted much attention. An 0 inverse subsemigroup S of a regular semigroup S is an inverse transversal if 0 |V (x) S | = 1 for any x ∈ S, where V (x) denotes the set of inverses of x. In this case, the unique element of V (x) S0 is denoted by x0 and (x0)0 is denoted by x00. Let S be a regular semigroup with set E(S) of idempotents, and let e, f ∈ E(S). Then the set S(e, f), defined by S(e, f)={g ∈ E(S) | ge = fg = g, egf = ef} is called the sandwich set[3] of e and f. Let S be a regular semigroup with an inverse transversal S0. Then S0 is called a multiplicative inverse transversal[6] of S if x0xyy0 ∈ E(S0) for all x, y in S; S0 is called a weakly multiplicative inverse transversal[4] of S if (x0xyy0)0 ∈ E(S0) for all x, y in S; S0 is called an E-inverse transversal[5] of S if x0xyy0 ∈ E(S) for all x, y ∈ S.
    [Show full text]
  • Orthodox Semigroups and Semidireet Products
    Orthodox semigroups and semidireet products thesis of PhD dissertation Hartmann Miklós Szeged, 2007. A mathematical modelling of partial symmetries appearing in the nature may be done by partial bijections. The partial bijec- tions of a given set constitutes a semigroup. Inverse semigroups are abstract counterparts of subsemigroups of such semigroups closed under taking inverses. Semilattices (inverse semigroups containing only idempotents) and groups (inverse semigroups with a unique idempotent) play an important role in investigations of inverse semigroups. A semilattice can be assigned to every inverse semigroup very naturally, because the idempotents of an inverse semigroup form a semilattice. In the sequel we denote the set of idempotents of an arbitrary semigroup E(SS by). Furthermore, inverse semigroups always have a smallest congruence, denoted bya, such that the factor semigroup modulo this congruence is a group. This group is called the greatest group homomorphic image of the inverse semigroup. Another possibility of assigning a group to an inverse semigroup arises if the semigroup is a monoid. Namely, if M is an arbitrary monoid, the so-called H-class of the identity forms a subgroup, which is denotedU(M) by in the sequel. On the other hand, there are several ways to produce in­ verse semigroups from semilattices and groups. One of these ways is taking a semidirect product of a semilattice by a group. The aim of this dissertation is to generalize some results con­ necting inverse semigroups and semidirect products to a wider class of semigroups, namely, to the class of orthodox semigroups. The idempotents of an orthodox semigroup need not commute, so they form a band instead of a semilattice.
    [Show full text]
  • SOME PROPERTIES of SEMIGROUPS GENERATED from a CAYLEY FUNCTION Lejo J
    Palestine Journal of Mathematics Vol. 8(Special Issue: I, 2019) , 451–455 © Palestine Polytechnic University-PPU 2019 SOME PROPERTIES OF SEMIGROUPS GENERATED FROM A CAYLEY FUNCTION Lejo J. Manavalan, P.G. Romeo Communicated by M. R. Pournaki MSC 2010 Classifications: Primary 20M99, Keywords and phrases: Semigroups, Idempotents, Cayley functions, Greens relation Abstract Any transformation on a set S is called a Cayley function on S if there exists a semigroup operation on S such that β is an inner-translation. In this paper we describe a method to generate a semigroup with k number of idempotents, study some properties of such semigroups like greens relations and bi-ordered sets. 1 Introduction Let β be a transformation on a set S. Following [8] we say that β is a Cayley function on S if there is a semigroup with universe S such that β is an inner translation of the semigroup S. A section of group theory has developed historically through the characterisation of inner translations as regular permutations. The problem of characterising inner translations of semigroups was raised by Schein [7] and solved by Goralcik and Hedrlin [3].In 1972 Zupnik characterised all Cayley functions algebraically(in powers of β)[8]. In 2016, Araoujo et all characterised the Cayley functions using functional digraphs[1]. In this paper we use a Cayley permutation to generate a semigroup with n elements and k ≤ n idempotents and discuss some of its properties. In the sequel β will denote a function on a non-empty set S onto itself. For any positive integer n, βn denotes the nth iterate of β.
    [Show full text]
  • Maximal Subgroups of Free Idempotent Generated Semigroups Over the Full Linear Monoid
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 366, Number 1, January 2014, Pages 419–455 S 0002-9947(2013)05864-3 Article electronically published on July 24, 2013 MAXIMAL SUBGROUPS OF FREE IDEMPOTENT GENERATED SEMIGROUPS OVER THE FULL LINEAR MONOID IGOR DOLINKA AND ROBERT D. GRAY Abstract. We show that the rank r component of the free idempotent gen- erated semigroup of the biordered set of the full linear semigroup full of n × n matrices over a division ring Q has maximal subgroup isomorphic to the gen- eral linear group GLr(Q), where n and r are positive integers with r<n/3. 1. Introduction The full linear monoid of all n × n matrices over a field (or more generally a division ring) is one of the most natural and well studied semigroups. This monoid plays an analogous role in semigroup theory as the general linear group does in group theory, and the study of linear semigroups [28] is important in a range of areas such as the representation theory of semigroups [1], [5, Chapter 5], the Putcha– Renner theory of linear algebraic monoids (monoids closed in the Zariski topology) [30, 35, 37], and the theory of finite monoids of Lie type [29, 31, 32, 33]. The full linear monoid Mn(Q)(whereQ is an arbitrary division ring) is an example of a so-called (von Neumann) regular semigroup. In 1979 Nambooripad published his foundational paper [26] on the structure of regular semigroups, in which he makes the fundamental observation that the set of idempotents E(S)of an arbitrary semigroup carries a certain abstract structure of a so-called biordered set (or regular biordered set in the case of regular semigroups).
    [Show full text]