DOCSLIB.ORG

Cosets in Inverse Semigroups and Inverse Subsemigroups of Finite Index Amal Alali

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Cosets in Inverse Semigroups and Inverse Subsemigroups of Finite Index Amal Alali View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by ROS: The Research Output Service. Heriot-Watt University Edinburgh Cosets in Inverse Semigroups and Inverse Subsemigroups of Finite Index Amal AlAli SUBMITTED FOR THE DEGREE OF DOCTOR OF PHILOSOPHY HERIOT-WATT UNIVERSITY DEPARTMENT OF MATHEMATICS, SCHOOL OF MATHEMATICAL AND COMPUTER SCIENCES. July 2016 The copyright in this thesis is owned by the author. Any quotation from the thesis or use of any of the information contained in it must acknowledge this thesis as the source of the quotation or information. Abstract The index of a subgroup of a group counts the number of cosets of that subgroup. A subgroup of finite index often shares structural properties with the group, and the exis- tence of a subgroup of finite index with some particular property can therefore imply useful structural information for the overgroup. Although a developed theory of cosets in inverse semigroups exists, it is defined only for closed inverse subsemigroups, and the structural correspondences between an inverse semigroup and a closed inverse subsemigroup of finte index are much weaker than in the group case. Nevertheless, many aspects of this theory remain of interest, and some of them are addressed in this thesis. We study the basic theory of cosets in inverse semigroups, including an index formula for chains of subgroups and an analogue of M. Hall’s Theorem on counting subgroups of finite index in finitely generated groups. We then look at specific examples, classifying the finite index inverse subsemigroups in polycyclic monoids and in graph inverse semigroups. Finally, we look at the connection between the properties of finite generation and having finte index: these were shown to be equivalent for free inverse monoids by Margolis and Meakin. i Acknowledgements First and foremost, I would like to express my deep thanks and gratitude to my supervisor Prof. Nick Gilbert, whose expertise, guidance, understanding, and patience, added con- siderably to this thesis. This work could not have been completed without his unwavering support and encouragement. I would also like to thank my parents, to whom I owe my life for their constant love, encouragement, and blessings. I also acknowledge with deep thanks my husband, Waleed. Without his love, patience, support and belief in me, I would not have finished this thesis. Thank you to my sister and brothers for all their support and encouragement they provided me through my entire life. Very special thanks to my children for their complete and unconditional love that carries me through always. Finally, I am grateful for Princess Norah University, and the Ministry of Education; King- dom of Saudi Arabia for their financial support. ii ACADEMIC REGISTRY Research Thesis Submission Name: AMAL ALALI School/PGI: MACS Version: (i.e. First, FIRST Degree Sought PhD Mathematics Resubmission, Final) (Award and Subject area) Declaration In accordance with the appropriate regulations I hereby submit my thesis and I declare that: 1) the thesis embodies the results of my own work and has been composed by myself 2) where appropriate, I have made acknowledgement of the work of others and have made reference to work carried out in collaboration with other persons 3) the thesis is the correct version of the thesis for submission and is the same version as any electronic versions submitted*. 4) my thesis for the award referred to, deposited in the Heriot-Watt University Library, should be made available for loan or photocopying and be available via the Institutional Repository, subject to such conditions as the Librarian may require 5) I understand that as a student of the University I am required to abide by the Regulations of the University and to conform to its discipline. * Please note that it is the responsibility of the candidate to ensure that the correct version of the thesis is submitted. Signature of Date: Candidate: Submission Submitted By (name in capitals): Signature of Individual Submitting: Date Submitted: For Completion in the Student Service Centre (SSC) Received in the SSC by (name in capitals): Method of Submission (Handed in to SSC; posted through internal/external mail): E-thesis Submitted (mandatory for final theses) Signature: Date: Please note this form should bound into the submitted thesis. Updated February 2008, November 2008, February 2009, January 2011 iii Contents 1 Introduction 1 1.1 Regular and Inverse Semigroups . 3 1.2 Properties of Inverses . 4 1.3 The Natural Partial Order . 5 1.4 Compatibility Relations . 11 1.5 Congruence . 12 1.6 The Minimum Group Congruence . 13 1.7 Green’s Relations . 14 1.8 Clifford Semigroups . 17 1.9 Symmetric Inverse Monoid . 19 1.10 Inverse Semigroups and Inductive Groupoids . 20 1.11 Free Monoids and Free Inverse Monoids . 22 2 Cosets in Inverse Semigroups 25 2.1 Group Cosets and Actions . 25 2.2 Closed Inverse Subsemigroups and Cosets . 27 2.3 The Index Formula for Inverse Semigroups . 36 2.4 Actions on Cosets in Inverse Semigroups . 42 2.5 An Inverse Semigroup Version of M. Hall’s Theorem . 45 iv CONTENTS 3 Cosets in the Bicyclic Monoid 48 3.1 Definitions and Preliminaries . 48 3.2 Basic Properties . 49 3.3 Closed Inverse Subsemigroups of B ..................... 53 3.4 Generating Sets for Finite Index Inverse Subsemigroups of The Bicyclic Monoid . 62 3.5 Bruck-Reilly Semigroups . 68 4 Polycyclic Monoids and Graph Inverse Semigroups 75 4.1 Closed Inverse Submonoids of the Polycyclic Monoids . 75 4.2 Closed Inverse Subsemigroups of Graph Inverse Semigroups . 88 5 Finite Index and Finite Generation 103 5.1 Preliminaries . 104 5.2 Finite Index implies Finite Generation . 109 5.3 Recognizable Closed Inverse Submonoids . 114 5.4 Rational Generation . 115 5.5 Concordance . 118 Bibliography 122 v Chapter 1 Introduction It has long been recognized that the origin and development of the theory of inverse semi- groups are due to the substantial contributions of two prime foci: the Soviet and Western schools, led by Wagner and Schein in the Soviet school, and Preston and Munn in the school of the West. The concept of inverse semigroups was defined first by Wagner [31] in 1952 and called ”generalized groups” and he and some of his followers have used this term ever since. The term ”inverse semi-groups” was introduced by Preston [21] who independently discovered this class of semigroups in 1954. Inverse semigroups are the mathematical structures which can provide a full description of the concept of partial symmetries. In this sense, inverse semigroups are the generalizations of the idea of transforming symmetries in natural forms into the mathematical precise no- tion of groups. There has been a large body of literature concerning the structure of inverse semigroups. The reason for this is probably due to the simple and beautifully constructed theorems for different classes of inverse semigroups. Therefore, it is not surprising that the subject has attracted the attention of many researchers. Many structure theorems and concepts for various classes of semigroups have been formu- lated through the years which give the subject a broad spectrum of various applications and connections with other branches of mathematics. In fact, inverse semigroups recently have wide applications in many aspects of modern sciences including: geometric group theory, combinatorial group theory, model theory, linear logic, solid state physics and C∗- algebras. 1 Chapter 1: Introduction It is worth noting that the similarities between groups and inverse semigroups are not as substantial as it might appear at first sight. However, there is a significant analogy between the two theories. Inverse semigroups represent the concept of sets of partial symmetries just as groups play the same role for groups of symmetries. Consequently, there has been a tendency among many researchers in the field of semigroups to model structural theorems on those in group theory. Even though this approach has had a limited success, groups still play a significant role in many important theorems for different classes of inverse semigroups. In the present research, the process of generalizing some notions and group theoretical approaches to semigroups, in particular inverse semigroups, is considered in a way that is similar in spirit to the group-theoretic formalization. Nevertheless, there are some significant differences between the two theories. Among them is the natural partial order that exists in each inverse semigroup. Moreover, the basic theo- retical structure of semigroups is very different from that of groups: for example, a congru- ence on a semigroup is not generally determined by one congruence class, as is the case in groups. For further background information on the general theory of inverse semigroups, see [11, 14, 20] 2 Chapter 1: Introduction 1.1 Regular and Inverse Semigroups A semigroup is defined as a non-empty set S on which an associative binary operation is defined, by which we mean a map f : S × S −! S written (x; y) 7! xy such that for all x; y; z 2 S; we have (xy)z = x(yz). If a semigroup has an identity element 1 2 S; then S is called a monoid. A semigroup has at most one identity element. If a semigroup S has no identity element, then we can adjoin an extra element 1 to S to form a monoid. We define 1s = s1 = s for all s 2 S; and 11 = 1; and then S [ f1g becomes a monoid. Thus we now can define 8 > <>S if S has an identity element ; S1 = > :>S [ f1g otherwise . If a semigroup S has the property that, for all x; y 2 S; xy = yx; we shall say that S is a commutative semigroup. An element x of a semigroup S is called regular, if there exists y 2 S such that x = x y x: The semigroup S is called a regular semigroup if all its elements are regular.
Load more

Recommended publications
  • Math 5111 (Algebra 1) Lecture #14 of 24 ∼ October 19Th, 2020
    Math 5111 (Algebra 1) Lecture #14 of 24 ∼ October 19th, 2020 Group Isomorphism Theorems + Group Actions The Isomorphism Theorems for Groups Group Actions Polynomial Invariants and An This material represents x3.2.3-3.3.2 from the course notes. Quotients and Homomorphisms, I Like with rings, we also have various natural connections between normal subgroups and group homomorphisms. To begin, observe that if ' : G ! H is a group homomorphism, then ker ' is a normal subgroup of G. In fact, I proved this fact earlier when I introduced the kernel, but let me remark again: if g 2 ker ', then for any a 2 G, then '(aga−1) = '(a)'(g)'(a−1) = '(a)'(a−1) = e. Thus, aga−1 2 ker ' as well, and so by our equivalent properties of normality, this means ker ' is a normal subgroup. Thus, we can use homomorphisms to construct new normal subgroups. Quotients and Homomorphisms, II Equally importantly, we can also do the reverse: we can use normal subgroups to construct homomorphisms. The key observation in this direction is that the map ' : G ! G=N associating a group element to its residue class / left coset (i.e., with '(a) = a) is a ring homomorphism. Indeed, the homomorphism property is precisely what we arranged for the left cosets of N to satisfy: '(a · b) = a · b = a · b = '(a) · '(b). Furthermore, the kernel of this map ' is, by definition, the set of elements in G with '(g) = e, which is to say, the set of elements g 2 N. Thus, kernels of homomorphisms and normal subgroups are precisely the same things.
    [Show full text]
  • Computational Techniques in Finite Semigroup Theory
    COMPUTATIONAL TECHNIQUES IN FINITE SEMIGROUP THEORY Wilf A. Wilson A Thesis Submitted for the Degree of PhD at the University of St Andrews 2018 Full metadata for this item is available in St Andrews Research Repository at: http://research-repository.st-andrews.ac.uk/ Please use this identifier to cite or link to this item: http://hdl.handle.net/10023/16521 This item is protected by original copyright Computational techniques in finite semigroup theory WILF A. WILSON This thesis is submitted in partial fulfilment for the degree of Doctor of Philosophy (PhD) at the University of St Andrews November 2018 Declarations Candidate's declarations I, Wilf A. Wilson, do hereby certify that this thesis, submitted for the degree of PhD, which is approximately 64500 words in length, has been written by me, and that it is the record of work carried out by me, or principally by myself in collaboration with others as acknowledged, and that it has not been submitted in any previous application for any degree. I was admitted as a research student at the University of St Andrews in September 2014. I received funding from an organisation or institution and have acknowledged the funders in the full text of my thesis. Date: . Signature of candidate:. Supervisor's declaration I hereby certify that the candidate has fulfilled the conditions of the Resolution and Regulations appropriate for the degree of PhD in the University of St Andrews and that the candidate is qualified to submit this thesis in application for that degree. Date: . Signature of supervisor: . Permission for publication In submitting this thesis to the University of St Andrews we understand that we are giving permission for it to be made available for use in accordance with the regulations of the University Library for the time being in force, subject to any copyright vested in the work not being affected thereby.
    [Show full text]
  • Quantum Heaps, Cops and Heapy Categories
    Mathematical Communications 12(2007), 1-9 1 Quantum heaps, cops and heapy categories Zoran Skodaˇ ∗ Abstract. A heap is a structure with a ternary operation which is intuitively a group with a forgotten unit element. Quantum heaps are associative algebras with a ternary cooperation which are to Hopf algebras what heaps are to groups, and, in particular, the category of copointed quantum heaps is isomorphic to the category of Hopf algebras. There is an intermediate structure of a cop in a monoidal category which is in the case of vector spaces to a quantum heap about what a coalge- bra is to a Hopf algebra. The representations of Hopf algebras make a rigid monoidal category. Similarly, the representations of quantum heaps make a kind of category with ternary products, which we call a heapy category. Key words: quantum algebra, rings, algebras AMS subject classifications: 20N10, 16A24 Received January 25, 2007 Accepted February 1, 2007 1. Classical background: heaps A reference for this section is [1]. 1.1 Before forgetting: group as heap. Let G be a group. Then the ternary operation t : G × G × G → G given by t(a, b, c)=ab−1c, (1) satisfies the following relations: t(b, b, c)=c = t(c, b, b) (2) t(a, b, t(c, d, e)) = t(t(a, b, c),d,e) Aheap(H, t) is a pair of nonempty set H and a ternary operation t : H × H × H satisfying relation (2). A morphism f :(H, t) → (H,t) of heaps is a set map f : H → H satisfying t ◦ (f × f × f)=f ◦ t.
    [Show full text]
  • On the Representation of Inverse Semigroups by Difunctional Relations Nathan Bloomfield University of Arkansas, Fayetteville
    University of Arkansas, Fayetteville ScholarWorks@UARK Theses and Dissertations 12-2012 On the Representation of Inverse Semigroups by Difunctional Relations Nathan Bloomfield University of Arkansas, Fayetteville Follow this and additional works at: http://scholarworks.uark.edu/etd Part of the Mathematics Commons Recommended Citation Bloomfield, Nathan, "On the Representation of Inverse Semigroups by Difunctional Relations" (2012). Theses and Dissertations. 629. http://scholarworks.uark.edu/etd/629 This Dissertation is brought to you for free and open access by ScholarWorks@UARK. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of ScholarWorks@UARK. For more information, please contact [email protected], [email protected]. ON THE REPRESENTATION OF INVERSE SEMIGROUPS BY DIFUNCTIONAL RELATIONS On the Representation of Inverse Semigroups by Difunctional Relations A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics by Nathan E. Bloomfield Drury University Bachelor of Arts in Mathematics, 2007 University of Arkansas Master of Science in Mathematics, 2011 December 2012 University of Arkansas Abstract A semigroup S is called inverse if for each s 2 S, there exists a unique t 2 S such that sts = s and tst = t. A relation σ ⊆ X × Y is called full if for all x 2 X and y 2 Y there exist x0 2 X and y0 2 Y such that (x; y0) and (x0; y) are in σ, and is called difunctional if σ satisfies the equation σσ-1σ = σ. Inverse semigroups were introduced by Wagner and Preston in 1952 [55] and 1954 [38], respectively, and difunctional relations were introduced by Riguet in 1948 [39].
    [Show full text]
  • GROUP ACTIONS 1. Introduction the Groups Sn, An, and (For N ≥ 3)
    GROUP ACTIONS KEITH CONRAD 1. Introduction The groups Sn, An, and (for n ≥ 3) Dn behave, by their definitions, as permutations on certain sets. The groups Sn and An both permute the set f1; 2; : : : ; ng and Dn can be considered as a group of permutations of a regular n-gon, or even just of its n vertices, since rigid motions of the vertices determine where the rest of the n-gon goes. If we label the vertices of the n-gon in a definite manner by the numbers from 1 to n then we can view Dn as a subgroup of Sn. For instance, the labeling of the square below lets us regard the 90 degree counterclockwise rotation r in D4 as (1234) and the reflection s across the horizontal line bisecting the square as (24). The rest of the elements of D4, as permutations of the vertices, are in the table below the square. 2 3 1 4 1 r r2 r3 s rs r2s r3s (1) (1234) (13)(24) (1432) (24) (12)(34) (13) (14)(23) If we label the vertices in a different way (e.g., swap the labels 1 and 2), we turn the elements of D4 into a different subgroup of S4. More abstractly, if we are given a set X (not necessarily the set of vertices of a square), then the set Sym(X) of all permutations of X is a group under composition, and the subgroup Alt(X) of even permutations of X is a group under composition. If we list the elements of X in a definite order, say as X = fx1; : : : ; xng, then we can think about Sym(X) as Sn and Alt(X) as An, but a listing in a different order leads to different identifications 1 of Sym(X) with Sn and Alt(X) with An.
    [Show full text]
  • Ordered Groupoids and the Holomorph of an Inverse Semigroup
    ORDERED GROUPOIDS AND THE HOLOMORPH OF AN INVERSE SEMIGROUP N.D. GILBERT AND E.A. MCDOUGALL ABSTRACT. We present a construction for the holomorph of an inverse semi- group, derived from the cartesian closed structure of the category of ordered groupoids. We compare the holomorph with the monoid of mappings that pre- serve the ternary heap operation on an inverse semigroup: for groups these two constructions coincide. We present detailed calculations for semilattices of groups and for the polycyclic monoids. INTRODUCTION The holomorph of a group G is the semidirect product of Hol(G) = Aut(G) n G of G and its automorphism group (with the natural action of Aut(G) on G). The embedding of Aut(G) into the symmetric group ΣG on G extends to an embedding of Hol(G) into ΣG where g 2 G is identified with its (right) Cayley representation ρg : a 7! ag. Then Hol(G) is the normalizer of G in ΣG ([15, Theorem 9.17]). A second interesting characterization of Hol(G) is due to Baer [1] (see also [3] and [15, Exercise 520]). The heap operation on G is the ternary operation defined by ha; b; ci = ab−1c. Baer shows that a subset of G is closed under the heap operation if and only if it is a coset of some subgroup, and that the subset of ΣG that preserves h· · ·i is precisely Hol(G): that is, if σ 2 ΣG, then for all a; b; c; 2 G we have ha; b; ciσ = haσ; bσ; cσi if and only if σ 2 Hol(G).
    [Show full text]
  • Right Product Quasigroups and Loops
    RIGHT PRODUCT QUASIGROUPS AND LOOPS MICHAEL K. KINYON, ALEKSANDAR KRAPEZˇ∗, AND J. D. PHILLIPS Abstract. Right groups are direct products of right zero semigroups and groups and they play a significant role in the semilattice decomposition theory of semigroups. Right groups can be characterized as associative right quasigroups (magmas in which left translations are bijective). If we do not assume associativity we get right quasigroups which are not necessarily representable as direct products of right zero semigroups and quasigroups. To obtain such a representation, we need stronger assumptions which lead us to the notion of right product quasigroup. If the quasigroup component is a (one-sided) loop, then we have a right product (left, right) loop. We find a system of identities which axiomatizes right product quasigroups, and use this to find axiom systems for right product (left, right) loops; in fact, we can obtain each of the latter by adjoining just one appropriate axiom to the right product quasigroup axiom system. We derive other properties of right product quasigroups and loops, and conclude by show- ing that the axioms for right product quasigroups are independent. 1. Introduction In the semigroup literature (e.g., [1]), the most commonly used definition of right group is a semigroup (S; ·) which is right simple (i.e., has no proper right ideals) and left cancellative (i.e., xy = xz =) y = z). The structure of right groups is clarified by the following well-known representation theorem (see [1]): Theorem 1.1. A semigroup (S; ·) is a right group if and only if it is isomorphic to a direct product of a group and a right zero semigroup.
    [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]
  • The Sylow Theorems and Classification of Small Finite Order Groups
    Union College Union | Digital Works Honors Theses Student Work 6-2015 The yS low Theorems and Classification of Small Finite Order Groups William Stearns Union College - Schenectady, NY Follow this and additional works at: https://digitalworks.union.edu/theses Part of the Physical Sciences and Mathematics Commons Recommended Citation Stearns, William, "The yS low Theorems and Classification of Small Finite Order Groups" (2015). Honors Theses. 395. https://digitalworks.union.edu/theses/395 This Open Access is brought to you for free and open access by the Student Work at Union | Digital Works. It has been accepted for inclusion in Honors Theses by an authorized administrator of Union | Digital Works. For more information, please contact [email protected]. THE SYLOW THEOREMS AND CLASSIFICATION OF SMALL FINITE ORDER GROUPS WILLIAM W. STEARNS Abstract. This thesis will provide an overview of various topics in group theory, all in order to accomplish the end goal of classifying all groups of order up to 15. An important precursor to classifying finite order groups, the Sylow Theorems illustrate what subgroups of a given group must exist, and constitute the first half of this thesis. Using these theorems in the latter sections we will classify all the possible groups of various orders up to isomorphism. In concluding this thesis, all possible distinct groups of orders up to 15 will be defined and the groundwork set for further study. 1. Introduction The results in this thesis require some background knowledge and motivation. To that end, material covered in an introductory course on abstract algebra should be sufficient. In particular, it is assumed that the reader is familiar with the concepts and definitions of: group, subgroup, coset, index, homomorphism, and kernel.
    [Show full text]
  • 1 Lagrange's Theorem
    1 Lagrange's theorem Definition 1.1. The index of a subgroup H in a group G, denoted [G : H], is the number of left cosets of H in G ( [G : H] is a natural number or infinite). Theorem 1.2 (Lagrange's Theorem). If G is a finite group and H is a subgroup of G then jHj divides jGj and jGj [G : H] = : jHj Proof. Recall that (see lecture 16) any pair of left cosets of H are either equal or disjoint. Thus, since G is finite, there exist g1; :::; gn 2 G such that n • G = [i=1giH and • for all 1 ≤ i < j ≤ n, giH \ gjH = ;. Since n = [G : H], it is enough to now show that each coset of H has size jHj. Suppose g 2 G. The map 'g : H ! gH : h 7! gh is surjective by definition. The map 'g is injective; for whenever gh1 = 'g(h1) = 'g(h2) = gh2 −1 , multiplying on the left by g , we have that h1 = h2. Thus each coset of H in G has size jHj. Thus n n X X jGj = jgiHj = jHj = [G : H]jHj i=1 i=1 Note that in the above proof we could have just as easily worked with right cosets. Thus if G is a finite group and H is a subgroup of G then the number of left cosets is equal to the number of right cosets. More generally, the map gH 7! Hg−1 is a bijection between the set of left cosets of H in G and the set of right cosets of H in G.
    [Show full text]
  • Inverse Monoids in Mathematics &Computer Science
    Inverse Semigroups in Mathematics and Computer Science Peter M. Hines Y.C.C.S.A. , Univ. York iCoMET – Sukkur, Pakistan – 2020 [email protected] www.peterhines.info This is not a ‘big-picture’ talk! The overall claim: The structures we find to be deep or elegant in mathematics are often precisely the same as those we consider useful or fundamental in Computer Science – both theoretical and practical. We can only provide evidence for this, one small example at a time. [email protected] www.peterhines.info A small corner of a big picture! We will look at inverse semigroups & monoids: A branch of abstract algebra / semigroup theory. Introduced simultaneously & independently in 1950’s Viktor Wagner (U.S.S.R.) Gordon Preston (U.K.) Theory developed separately, along two different tracks USSR U.S. & Europe with minimal contact between the two sides. Some degree of re-unification in 1990s [email protected] www.peterhines.info A couple of references: [email protected] www.peterhines.info Some -very- basic definitions A semigroup is a set pS; ¨ q with an associative binary operation ¨ : S ˆ S Ñ S. usually written as concatenation: Given a P S and b P S, then ab P S. apbcq “ pabqc for all a; b; c P S. A monoid is a semigroup with an identity1 P S satisfying 1a “ a “ a1 @ a P S A group is a monoid where every a P S has an inverse a´1 P S aa´1 “ 1 “ a´1a @ a P S [email protected] www.peterhines.info Even more basic definitions Simplest examples include free semigroups and monoids.
    [Show full text]
  • Groups, Semilattices and Inverse Semigroups
    transactions of the american mathematical society Volume 192,1974 GROUPS, SEMILATTICESAND INVERSE SEMIGROUPS BY D. B. McALISTERO) ABSTRACT. An inverse semigroup S is called proper if the equations ea = e = e2 together imply a2 = a for each a, e E S. In this paper a construction is given for a large class of proper inverse semigroups in terms of groups and partially ordered sets; the semigroups in this class are called /"-semigroups. It is shown that every inverse semigroup divides a P-semigroup in the sense that it is the image, under an idempotent separating homomorphism, of a full subsemigroup of a P-semigroup. Explicit divisions of this type are given for u-bisimple semigroups, proper bisimple inverse semigroups, semilattices of groups and Brandt semigroups. The algebraic theory of inverse semigroups has been the subject of a considerable amount of investigation in recent years. Much of this research has been concerned with the problem of describing inverse semigroups in terms of their semilattice of idempotents and maximal subgroups. For example, Clifford [2] described the structure of all inverse semigroups with central idempotents (semilattices of groups) in these terms. Reilfy [17] described all w-bisimple inverse semigroups in terms of their idempotents while Warne [22], [23] considered I- bisimple, w"-bisimple and «"-/-bisimple inverse semigroups; McAlister [8] de- scribed arbitrary O-bisimple inverse semigroups in a similar way. Further, Munn [12] and Köchin [6] showed that to-inverse semigroups could be explicitly described in terms of their idempotents and maximal subgroups. Their results have since been generalised by Ault and Petrich [1], Lallement [7] and Warne [24] to other restricted classes of inverse semigroups.
    [Show full text]