Attempt QUESTIONS 1 and 2, and THREE other questions. Do not turn over until you are told to do so by the Invigilator.

Similar documents
Attempt QUESTIONS 1 and 2, and THREE other questions. Do not turn over until you are told to do so by the Invigilator.

Finiteness conditions and index in semigroup theory

Attempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.

Attempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.

Pseudo-finite monoids and semigroups

Attempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.

Attempt THREE questions. You will not be penalised if you attempt additional questions.

Semigroup presentations via boundaries in Cayley graphs 1

Do not turn over until you are told to do so by the Invigilator.

Attempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.

Axioms of Kleene Algebra

FLUID DYNAMICS, THEORY AND COMPUTATION MTHA5002Y

SEMIGROUP PRESENTATIONS FOR CONGRUENCES ON GROUPS

Completely regular semigroups and (Completely) (E, H E )-abundant semigroups (a.k.a. U-superabundant semigroups): Similarities and Contrasts

Binary Operations. Chapter Groupoids, Semigroups, Monoids

CHAPTER 4. βs as a semigroup

Do not turn over until you are told to do so by the Invigilator.

MATHEMATICAL MODELLING, MECHANICS AND MOD- ELLING MTHA4004Y

Do not turn over until you are told to do so by the Invigilator.

5 Group theory. 5.1 Binary operations

Adequate and Ehresmann semigroups

Equational Logic. Chapter Syntax Terms and Term Algebras

INTRODUCTION TO THE GROUP THEORY

Do not turn over until you are told to do so by the Invigilator.

Congruences on Inverse Semigroups using Kernel Normal System

MATHEMATICAL PROBLEM SOLVING, MECHANICS AND MODELLING MTHA4004Y

Approaching cosets using Green s relations and Schützenberger groups

Name: Student ID: Instructions:

1 + 1 = 2: applications to direct products of semigroups

0.2 Vector spaces. J.A.Beachy 1

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples:

Approaches to tiling semigroups

arxiv: v4 [math.gr] 22 Nov 2017

On a topological simple Warne extension of a semigroup

INVERSE SEMIQUANDLES. Michael Kinyon. 4th Mile High, 2 August University of Lisbon. Department of Mathematics 1 / 21

Do not turn over until you are told to do so by the Invigilator.

Approaching cosets using Green s relations and Schützenberger groups

On the Complete Join of Permutative Combinatorial Rees-Sushkevich Varieties

Permutation Groups and Transformation Semigroups Lecture 2: Semigroups

A graph theoretic approach to combinatorial problems in semigroup theory

Strongly Regular Congruences on E-inversive Semigroups

SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin

Module Contact: Dr Xiaoming Zhai, ENV Copyright of the University of East Anglia Version 2

Math 116 First Midterm October 17, 2014

Attempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.

Attempt ALL QUESTIONS IN SECTION A, ONE QUESTION FROM SECTION B and ONE QUESTION FROM SECTION C Linear graph paper will be provided.

Research Statement. MUHAMMAD INAM 1 of 5

GENERALIZED GREEN S EQUIVALENCES ON THE SUBSEMIGROUPS OF THE BICYCLIC MONOID

MA554 Assessment 1 Cosets and Lagrange s theorem

MATH 2200 Final Review

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

Available online at J. Semigroup Theory and Appl. 2013, 2013:10 ISSN: COMPLETELY SIMPLE SEMIGROUP WITH BASIS PROPERTY

UNIVERSITY OF EAST ANGLIA. School of Mathematics UG End of Year Examination MATHEMATICAL LOGIC WITH ADVANCED TOPICS MTH-4D23

Monoids of languages, monoids of reflexive. relations and ordered monoids. Ganna Kudryavtseva. June 22, 2010

The Membership Problem for a, b : bab 2 = ab

Module Contact: Dr Steven Hayward, CMP Copyright of the University of East Anglia Version 1

THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS

ENDS FOR MONOIDS AND SEMIGROUPS

Math 31 Lesson Plan. Day 22: Tying Up Loose Ends. Elizabeth Gillaspy. October 31, Supplies needed: Colored chalk.

Extensions and I-semidirect products. inverse semigroups

arxiv: v1 [math.ra] 25 May 2013

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.

Primitive Ideals of Semigroup Graded Rings

Idempotent and Regular Elements of the Complete Semigroups of Binary Relations of the Class ( )

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

Abel-Grassmann s bands. 1. Introduction

Journal Algebra Discrete Math.

The kernel of a monoid morphism. Part I Kernels and extensions. Outline. Basic definitions. The kernel of a group morphism

arxiv: v5 [math.gr] 6 Jul 2018

Transformation Semigroups:

ON GENERATORS, RELATIONS AND D-SIMPLICITY OF DIRECT PRODUCTS, BYLEEN EXTENSIONS, AND OTHER SEMIGROUP CONSTRUCTIONS. Samuel Baynes

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

Lecture 6c: Green s Relations

Linear Variable coefficient equations (Sect. 2.1) Review: Linear constant coefficient equations

A four element semigroup that is inherently nonfinitely based?

Complete Semigroups of Binary Relations Defined by Semilattices of the Class Σ X,10

arxiv: v3 [math.gr] 18 Aug 2011

* 8 Groups, with Appendix containing Rings and Fields.

Quadratic Congruences, the Quadratic Formula, and Euler s Criterion

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

1 Last time: determinants

Lectures - XXIII and XXIV Coproducts and Pushouts

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

MA441: Algebraic Structures I. Lecture 18

Distance labellings of Cayley graphs of semigroups

A GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis

Name: Block: Unit 2 Inequalities

Conjugacy in epigroups

Idempotent Elements of the Semigroups B ( D ) defined by Semilattices of the Class Σ ( X ), when Z 7

Identities in upper triangular tropical matrix semigroups and the bicyclic monoid

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

CSA16: Embedding in factorisable restriction monoids

arxiv: v1 [math.ds] 22 Jan 2019

On the lattice of congruences on a fruitful semigroup

Formal power series rings, inverse limits, and I-adic completions of rings

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

MATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4

LECTURE 3 RANDOM VARIABLES, CUMULATIVE DISTRIBUTION FUNCTIONS (CDFs)

Candidates must show on each answer book the type of calculator used. Only calculators permitted under UEA Regulations may be used.

Transcription:

UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2016 17 SEMIGROUP THEORY MTHE6011A Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions. Notes are not permitted in this examination. Do not turn over until you are told to do so by the Invigilator. MTHE6011A Module Contact: Dr Robert Gray, MTH Copyright of the University of East Anglia Version: 1

- 2 - Note: Throughout, for an element x of a semigroup S, we use L x to denote the L- class of x, and R x to denote the R-class of x. We use ǫ to denote the empty word. Any theorem you use must be clearly stated. A theorem can be used without proof unless you are required to prove it. 1. Let G = {1 G,a} be the cyclic group of order 2 (so a 2 = 1 G ). Form the Rees matrix semigroup S = M[G;I,Λ;P] where I = {1,2}, Λ = {1,2} and P = (p λi ) is the 2 2 matrix ( ) 1G a P =. a 1 G (i) List the elements of S and hence deduce that S = 8. Identify which of these elements are idempotents. [8 marks] (ii) Findanelement u S suchthat (2,1 G,2)u = (2,a,1). Provethat (2,1 G,2)R(2,a,1). Is (2,1 G,2)R(1,1 G,1)? Justify your answer. [6 marks] (iii) List the R-classes and L-classes of S. Show that S has exactly one D-class. [6 marks] 2. Let S be the semigroup defined by the presentation a,b a 5 = a, b 2 = b, ba = a 4 b. (i) Show that any word over the alphabet {a, b} can be transformed using the relations into a word from the set W = {a i b j : 0 i 4,0 j 1}\{ǫ}. By using standard methods it is possible to show that all of the words in W represent distinct elements of S, so that S = 9. You may use this fact without proof below. (ii) Draw the right and left Cayley graphs of S with respect to the generators {a,b}. Determine the R- and L-classes of S. (iii) Show that S has six H-classes, and that they are all groups. [10 marks] MTHE6011A Version: 1

- 3-3. Let S be a semigroup. Recall that a two-sided congruence on S is an equivalence relation ρ satisfying x ρ y & z ρ t xz ρ yt for all x,y,z,t S. (i) Define the notions of left congruence and right congruence on a semigroup. Prove that a relation ρ on S is a two-sided congruence if and only if it is both a left and a right congruence. [10 marks] (ii) Define Green s relations R, L on a semigroup S. Prove that R is a left congruence and L is a right congruence. (iii) Let T = I Λ be a rectangular band. (a) Show that if I = 1 then every equivalance relation on T is a congruence. (b) Show that if I = Λ = 2 then there is at least one equivalence relation on T that is not a congruence. 4. (i) Define what it means for an element e of a semigroup S to be an idempotent. Show that for any pair of idempotents e,f S we have erf ef = f and fe = e. (ii) Let S be a semigroup, and let a,b S be two R-related elements with as = b and bt = a. Define mappings ρ s : L a L b and ρ t : L b L a by xρ s = xs and xρ t = xt. Prove that ρ s and ρ t are mutually inverse bijections which map H-classes onto H-classes. (This result is known as Green s Lemma.) [8 marks] (iii) Let S be a semigroup in which every H-class is a group and let D be a D-class of S. Show that D is a subsemigroup of S. [7 marks] MTHE6011A PLEASE TURN OVER Version: 1

- 4-5. (i) Define what it means for a semigroup S to be simple. Define Green s relation J on a semigroup S. Prove that a semigroup S is simple if and only if it has a single J -class. [6 marks] (ii) Recall that the bicyclic monoid B is defined by the presentation b,c bc = 1 and that B = {c i b j : i,j 0} with all these elements being distinct. Consider the following two subsets of B: D 1 = {c 3i+7 b 3j+7 : i,j 0}, D 2 = {c 3i+8 b 3j+8 : i,j 0} and let T = D 1 D 2. (a) Prove that T is a subsemigroup of B. (b) Prove that D 1 and D 2 are the D-classes of T. (c) Prove that T is simple. Is J = D in T? Justify your answer. [14 marks] 6. (i) Define what it means for a semigroup S to be inverse. Let S be an inverse semigroup and let D be a D-class of S. Show that the number of R-classes in D is equal to the number of L-classes in D. (ii) Let S be a semigroup and let ρ be a congruence on S. Show that if S is finitely generated then S/ρ is finitely generated. (iii) Show that any finitely generated Clifford semigroup has finitely many idempotents. Does there exist a finitely generated inverse semigroup which has infinitely many idempotents? Justify your answer. [10 marks] END OF PAPER MTHE6011A Version: 1

Q1 (advanced topic) MTHE6011A and MTHE7011A Semigroup Theory Feedback on the 2016 2017 Exam All of questions (i), (ii) and (iii)(a) and (iii)(b) were material seen in the advanced topic, in the sense that the answers to all of these questions may be found in the lecture notes for the advanced topic. The last part (iii)(c) was new. Students performed less well on this question than expected. Most did reasonably well on parts (i) and (ii). Marks were lost in (iii)(a) for not giving enough detail. Very few students correctly answered (iii)(b) even though this was covered in the module. Only one student noticed that the semigroup given in (iii)(c) is the direct product of two free semigroups (and hence is residually finite by (ii) together with results from the module on direct products). Q1 Students preformed well on this question. Most marks were lost in the second part of (iii): proving that S has a single D-class. Since D = L R one can fix an element and compute its D-class by first computing its R-class, call it R, and then taking the union of the L-classes of the elements from R. Examples of computing D-classes like this did appear in the exercise sheets for the module, so it was surprising that so many students were unable to do this. Q2 Students performed well in this question. Marks were lost in part (i) for not explaining how every word can be transformed into a word of the forms a i b j by repeatedly applying the relation ba = a 4 b. Marks were lost in part (iii) because some students either failed to work out how to write down the H-classes, and some students did not remember that an H-class is a group iff it contains an idempotent. So all that was needed was to check that each H-class contains an idempotent. Q3 Students did well in parts (i) and (ii), but found part (iii) more challenging. For (iii)(a) the semigroup in question is isomorphic to a right zero semigroup, and one of the exercises in the module was to show that any equivalence relation on a right zero semigroup is a congruence. Almost every student failed to get (iii)(b) correct. This question was designed to test whether you know (a) what an equivalence relation is and (b) whether you know what a congruence is. If I = {1, 2} and Λ = {1, 2} then one example of an equivalence relation on T which is not a congruence would be the equivalence relation with equivalence classes {(1, 1)}, {(1, 2)}, and {(2, 1), (2, 2)}. To show it is not a congruence it suffices to note that (2, 1) (2, 2) but when we left-multiply by (1, 1) we get a pair that is not related. Q4 Students did quite well on this question. A lot of marks were lost in part (iii). Part (iii) could be proved either as (a) an application of parts (i) and (ii) or (b) by using the Miller Clifford Theorem.

Q5 Students found this question difficult. Part (i) was bookwork and most students did well on it. Part (ii) was new and students struggled with it. Most students made a decent attempt at (ii)(a). For (ii)(b) some students assumed that Green s relations in D 1 and D 2 were given by restricting the corresponding relations from B. This is true, but one needs to show that D 1 and D 2 are regular before being able to deduce this (the most natural thing is to prove D 1 = D2 = B). Nobody managed to prove that T is simple. Many did see that J D follows easily from the previous parts of the question. Q6 Very few students attempted this question. Most that did found it hard. For those that did attempt is, most marks were lost in part (iii). To show that a f.g. Clifford semigroup has finitely many idempotents one needs to prove (a) H is a congruence (b) S/H is a semilattice and that (c) any finitely generated semilattice is finite. Then apply part (ii).