Attempt QUESTIONS 1 and 2, and THREE other questions. Do not turn over until you are told to do so by the Invigilator.
|
|
- Warren Lindsey
- 5 years ago
- Views:
Transcription
1 UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 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 - 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 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 (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
5 Q1 (advanced topic) MTHE6011A and MTHE7011A Semigroup Theory Feedback on the 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.
6 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).
Attempt QUESTIONS 1 and 2, and THREE other questions. Do not turn over until you are told to do so by the Invigilator.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2016 17 SEMIGROUP THEORY WITH ADVANCED TOPICS MTHE7011A Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions.
More informationFiniteness conditions and index in semigroup theory
Finiteness conditions and index in semigroup theory Robert Gray University of Leeds Leeds, January 2007 Robert Gray (University of Leeds) 1 / 39 Outline 1 Motivation and background Finiteness conditions
More informationAttempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2017 18 CRYPTOGRAPHY MTHD6025A Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt
More informationAttempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2017 18 SETS, NUMBERS AND PROBABILITY MTHA4001Y Time allowed: 2 Hours Attempt QUESTIONS 1 and 2, and THREE other questions. penalised
More informationPseudo-finite monoids and semigroups
University of York NBSAN, 07-08 January 2018 Based on joint work with Victoria Gould and Dandan Yang Contents Definitions: what does it mean for a monoid to be pseudo-finite, or pseudo-generated by a finite
More informationAttempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2017 18 CALCULUS AND MULTIVARIABLE CALCULUS MTHA4005Y Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions.
More informationAttempt THREE questions. You will not be penalised if you attempt additional questions.
UNIVERITY OF EAT ANGLIA chool of Mathematics Main eries UG Examination 07 8 MATHEMATIC FOR CIENTIT C MTHB5007B Time allowed: Hours Attempt THREE questions. You will not be penalised if you attempt additional
More informationSemigroup presentations via boundaries in Cayley graphs 1
Semigroup presentations via boundaries in Cayley graphs 1 Robert Gray University of Leeds BMC, Newcastle 2006 1 (Research conducted while I was a research student at the University of St Andrews, under
More informationDo not turn over until you are told to do so by the Invigilator.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 216 17 INTRODUCTION TO NUMERICAL ANALYSIS MTHE612B Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions.
More informationAttempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2017 18 FERMAT S LAST THEOREM MTHD6024B Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions. penalised
More informationAxioms of Kleene Algebra
Introduction to Kleene Algebra Lecture 2 CS786 Spring 2004 January 28, 2004 Axioms of Kleene Algebra In this lecture we give the formal definition of a Kleene algebra and derive some basic consequences.
More informationFLUID DYNAMICS, THEORY AND COMPUTATION MTHA5002Y
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2017 18 FLUID DYNAMICS, THEORY AND COMPUTATION MTHA5002Y Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions.
More informationSEMIGROUP PRESENTATIONS FOR CONGRUENCES ON GROUPS
Bull. Korean Math. Soc. 50 (2013), No. 2, pp. 445 449 http://dx.doi.org/10.4134/bkms.2013.50.2.445 SEMIGROUP PRESENTATIONS FOR CONGRUENCES ON GROUPS Gonca Ayık and Basri Çalışkan Abstract. We consider
More informationCompletely regular semigroups and (Completely) (E, H E )-abundant semigroups (a.k.a. U-superabundant semigroups): Similarities and Contrasts
Completely regular semigroups and (Completely) (E, H E )-abundant semigroups (a.k.a. U-superabundant semigroups): Similarities and Contrasts Xavier MARY Université Paris-Ouest Nanterre-La Défense, Laboratoire
More informationBinary Operations. Chapter Groupoids, Semigroups, Monoids
36 Chapter 5 Binary Operations In the last lecture, we introduced the residue classes Z n together with their addition and multiplication. We have also shown some properties that these two operations have.
More informationCHAPTER 4. βs as a semigroup
CHAPTER 4 βs as a semigroup In this chapter, we assume that (S, ) is an arbitrary semigroup, equipped with the discrete topology. As explained in Chapter 3, we will consider S as a (dense ) subset of its
More informationDo not turn over until you are told to do so by the Invigilator.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 216 17 INTRODUCTION TO NUMERICAL ANALYSIS MTHE712B Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions.
More informationMATHEMATICAL MODELLING, MECHANICS AND MOD- ELLING MTHA4004Y
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2017 18 MATHEMATICAL MODELLING, MECHANICS AND MOD- ELLING MTHA4004Y Time allowed: 2 Hours Attempt QUESTIONS 1 and 2, and ONE other
More informationDo not turn over until you are told to do so by the Invigilator.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2012 2013 MECHANICS AND MODELLING MTH-1C32 Time allowed: 2 Hours Attempt QUESTIONS 1 AND 2 and THREE other questions. Notes are
More information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
More informationAdequate and Ehresmann semigroups
Adequate and Ehresmann semigroups NSAC2013: June 8th, 2013, Novi Sad Victoria Gould University of York What is this talk about? Classes of semigroups with semilattices of idempotents inverse ample adequate
More informationEquational Logic. Chapter Syntax Terms and Term Algebras
Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from
More informationINTRODUCTION TO THE GROUP THEORY
Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher
More informationDo not turn over until you are told to do so by the Invigilator.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2016 17 SETS, NUMBERS AND PROBABILITY MTHA4001Y Time allowed: 2 Hours Attempt QUESTIONS 1 and 2, and THREE other questions. Janacek
More informationCongruences on Inverse Semigroups using Kernel Normal System
(GLM) 1 (1) (2016) 11-22 (GLM) Website: http:///general-letters-in-mathematics/ Science Reflection Congruences on Inverse Semigroups using Kernel Normal System Laila M.Tunsi University of Tripoli, Department
More informationMATHEMATICAL PROBLEM SOLVING, MECHANICS AND MODELLING MTHA4004Y
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2014 2015 MATHEMATICAL PROBLEM SOLVING, MECHANICS AND MODELLING MTHA4004Y Time allowed: 2 Hours Attempt QUESTIONS 1 AND 2 and
More informationApproaching cosets using Green s relations and Schützenberger groups
Approaching cosets using Green s relations and Schützenberger groups Robert Gray British Mathematical Colloquium March 2008 1 / 13 General question How are the properties of a semigroup related to those
More informationName: Student ID: Instructions:
Instructions: Name: CSE 322 Autumn 2001: Midterm Exam (closed book, closed notes except for 1-page summary) Total: 100 points, 5 questions, 20 points each. Time: 50 minutes 1. Write your name and student
More information1 + 1 = 2: applications to direct products of semigroups
1 + 1 = 2: applications to direct products of semigroups Nik Ruškuc nik@mcs.st-and.ac.uk School of Mathematics and Statistics, University of St Andrews Lisbon, 16 December 2010 Preview: 1 + 1 = 2... for
More information0.2 Vector spaces. J.A.Beachy 1
J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a
More informationMonoids. Definition: A binary operation on a set M is a function : M M M. Examples:
Monoids Definition: A binary operation on a set M is a function : M M M. If : M M M, we say that is well defined on M or equivalently, that M is closed under the operation. Examples: Definition: A monoid
More informationApproaches to tiling semigroups
Nick Gilbert Heriot-Watt University, Edinburgh (joint work with Erzsi Dombi) Periodic tilings Non-periodic tilings Ulrich Kortenkamp: Paving the Alexanderplatz Tilings of R n A tile in R n is a connected
More informationarxiv: v4 [math.gr] 22 Nov 2017
UNIVERSAL LOCALLY FINITE MAXIMALLY HOMOGENEOUS SEMIGROUPS AND INVERSE SEMIGROUPS IGOR DOLINKA AND ROBERT D. GRAY arxiv:1704.00641v4 [math.gr] 22 Nov 2017 Abstract. In 1959, P. Hall introduced the locally
More informationOn a topological simple Warne extension of a semigroup
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 16, Number 2, 2012 Available online at www.math.ut.ee/acta/ On a topological simple Warne extension of a semigroup Iryna Fihel, Oleg
More informationINVERSE SEMIQUANDLES. Michael Kinyon. 4th Mile High, 2 August University of Lisbon. Department of Mathematics 1 / 21
INVERSE SEMIQUANDLES Michael Kinyon Department of Mathematics University of Lisbon 4th Mile High, 2 August 2017 1 / 21 João This is joint work with João Araújo (Universidade Aberta). 2 / 21 Conjugation
More informationDo not turn over until you are told to do so by the Invigilator.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2013 14 CALCULUS AND MULTIVARIABLE CALCULUS MTHA4005Y Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions.
More informationApproaching cosets using Green s relations and Schützenberger groups
Approaching cosets using Green s relations and Schützenberger groups Robert Gray Mini workshop in Algebra, CAUL April 2008 1 / 14 General question How are the properties of a semigroup related to those
More informationOn the Complete Join of Permutative Combinatorial Rees-Sushkevich Varieties
International Journal of Algebra, Vol. 1, 2007, no. 1, 1 9 On the Complete Join of Permutative Combinatorial Rees-Sushkevich Varieties Edmond W. H. Lee 1 Department of Mathematics, Simon Fraser University
More informationPermutation Groups and Transformation Semigroups Lecture 2: Semigroups
Permutation Groups and Transformation Semigroups Lecture 2: Semigroups Peter J. Cameron Permutation Groups summer school, Marienheide 18 22 September 2017 I am assuming that you know what a group is, but
More informationA graph theoretic approach to combinatorial problems in semigroup theory
A graph theoretic approach to combinatorial problems in semigroup theory Robert Gray School of Mathematics and Statistics University of St Andrews Thesis submitted for the Degree of Doctor of Philosophy
More informationStrongly Regular Congruences on E-inversive Semigroups
International Mathematical Forum, Vol. 10, 2015, no. 1, 47-56 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2015.411188 Strongly Regular Congruences on E-inversive Semigroups Hengwu Zheng
More informationSOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin
SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS Roger C. Alperin An extraordinary theorem of Gromov, [Gv], characterizes the finitely generated groups of polynomial growth; a group has polynomial
More informationModule Contact: Dr Xiaoming Zhai, ENV Copyright of the University of East Anglia Version 2
UNIVERSITY OF EAST ANGLIA School of Environmental Sciences Main Series UG Examination 2017-2018 OCEAN CIRCULATION ENV-5016A Time allowed: 2 hours Answer THREE questions Write each answer in a SEPARATE
More informationMath 116 First Midterm October 17, 2014
Math 116 First Midterm October 17, 2014 Name: Instructor: Section: 1. Do not open this exam until you are told to do so. 2. This exam has 9 pages including this cover AND IS DOUBLE SIDED. There are 9 problems.
More informationAttempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2017 18 SETS, NUMBERS AND PROBABILITY MTHA4001Y Time allowed: 2 Hours Attempt QUESTIONS 1 and 2, and THREE other questions. penalised
More informationAttempt ALL QUESTIONS IN SECTION A, ONE QUESTION FROM SECTION B and ONE QUESTION FROM SECTION C Linear graph paper will be provided.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2015-2016 ENERGY ENGINEERING PRINCIPLES ENG-5001Y Time allowed: 3 Hours Attempt ALL QUESTIONS IN SECTION A, ONE QUESTION FROM
More informationResearch Statement. MUHAMMAD INAM 1 of 5
MUHAMMAD INAM 1 of 5 Research Statement Preliminaries My primary research interests are in geometric inverse semigroup theory and its connections with other fields of mathematics. A semigroup M is called
More informationGENERALIZED GREEN S EQUIVALENCES ON THE SUBSEMIGROUPS OF THE BICYCLIC MONOID
GENERALIZED GREEN S EQUIVALENCES ON THE SUBSEMIGROUPS OF THE BICYCLIC MONOID L. Descalço and P.M. Higgins Department of Mathematical Sciences, University of Essex, Wivenhoe Park, Colchester CO4 3SQ, United
More informationMA554 Assessment 1 Cosets and Lagrange s theorem
MA554 Assessment 1 Cosets and Lagrange s theorem These are notes on cosets and Lagrange s theorem; they go over some material from the lectures again, and they have some new material it is all examinable,
More informationMATH 2200 Final Review
MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics
More informationDefinition: A binary relation R from a set A to a set B is a subset R A B. Example:
Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.
More informationAvailable online at J. Semigroup Theory and Appl. 2013, 2013:10 ISSN: COMPLETELY SIMPLE SEMIGROUP WITH BASIS PROPERTY
Available online at http://scik.org J. Semigroup Theory and Appl. 2013, 2013:10 ISSN: 2051-2937 COMPLETELY SIMPLE SEMIGROUP WITH BASIS PROPERTY ALJOUIEE A., AL KHALAF A. Department of Mathematics, Faculty
More informationUNIVERSITY OF EAST ANGLIA. School of Mathematics UG End of Year Examination MATHEMATICAL LOGIC WITH ADVANCED TOPICS MTH-4D23
UNIVERSITY OF EAST ANGLIA School of Mathematics UG End of Year Examination 2003-2004 MATHEMATICAL LOGIC WITH ADVANCED TOPICS Time allowed: 3 hours Attempt Question ONE and FOUR other questions. Candidates
More informationMonoids of languages, monoids of reflexive. relations and ordered monoids. Ganna Kudryavtseva. June 22, 2010
June 22, 2010 J -trivial A monoid S is called J -trivial if the Green s relation J on it is the trivial relation, that is aj b implies a = b for any a, b S, or, equivalently all J -classes of S are one-element.
More informationThe Membership Problem for a, b : bab 2 = ab
Semigroup Forum OF1 OF8 c 2000 Springer-Verlag New York Inc. DOI: 10.1007/s002330010009 RESEARCH ARTICLE The Membership Problem for a, b : bab 2 = ab D. A. Jackson Communicated by Gerard J. Lallement Throughout,
More informationModule Contact: Dr Steven Hayward, CMP Copyright of the University of East Anglia Version 1
UNIVERSITY OF EAST ANGLIA School of Computing Sciences Main Series UG Examination 2016-17 MATHEMATICS FOR COMPUTING B CMP-4005Y Time allowed: 2 hours Answer ANY SIX questions out of SEVEN. Notes are not
More informationTHE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS
THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS GÁBOR HORVÁTH, CHRYSTOPHER L. NEHANIV, AND KÁROLY PODOSKI Dedicated to John Rhodes on the occasion of his 80th birthday.
More informationENDS FOR MONOIDS AND SEMIGROUPS
ENDS FOR MONOIDS AND SEMIGROUPS DAVID A. JACKSON and VESNA KILIBARDA (May 22, 2008) Abstract We give a graph-theoretic definition for the number of ends of Cayley digraphs for finitely generated semigroups
More informationMath 31 Lesson Plan. Day 22: Tying Up Loose Ends. Elizabeth Gillaspy. October 31, Supplies needed: Colored chalk.
Math 31 Lesson Plan Day 22: Tying Up Loose Ends Elizabeth Gillaspy October 31, 2011 Supplies needed: Colored chalk Other topics V 4 via (P ({1, 2}), ) and Cayley table. D n for general n; what s the center?
More informationExtensions and I-semidirect products. inverse semigroups
of inverse semigroups Bolyai Institute University of Szeged NBSAN 2018 York, 7 8 January, 2018 Introduction: groups and semigroups extension of groups semidirect / standard wreath product of groups Theorem
More informationarxiv: v1 [math.ra] 25 May 2013
Quasigroups and Related Systems 20 (2012), 203 209 Congruences on completely inverse AG -groupoids Wieslaw A. Dudek and Roman S. Gigoń arxiv:1305.6858v1 [math.ra] 25 May 2013 Abstract. By a completely
More information1.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.
1 Monoids and groups 1.1 Definition. A monoid is a set M together with a map M M M, (x, y) x y such that (i) (x y) z = x (y z) x, y, z M (associativity); (ii) e M such that x e = e x = x for all x M (e
More informationPrimitive Ideals of Semigroup Graded Rings
Sacred Heart University DigitalCommons@SHU Mathematics Faculty Publications Mathematics Department 2004 Primitive Ideals of Semigroup Graded Rings Hema Gopalakrishnan Sacred Heart University, gopalakrishnanh@sacredheart.edu
More informationIdempotent and Regular Elements of the Complete Semigroups of Binary Relations of the Class ( )
Applied Mathematics 205 6 32-38 Published Online February 205 in SciRes. http://www.scirp.org/journal/am http://dx.doi.org/0.4236/am.205.62029 Idempotent and Regular Elements of the Complete Semigroups
More informationDEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY
HANDOUT ABSTRACT ALGEBRA MUSTHOFA DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY 2012 BINARY OPERATION We are all familiar with addition and multiplication of two numbers. Both
More informationAbel-Grassmann s bands. 1. Introduction
Quasigroups and Related Systems 11 (2004), 95 101 Abel-Grassmann s bands Petar V. Protić and Nebojša Stevanović Abstract Abel-Grassmann s groupoids or shortly AG-groupoids have been considered in a number
More informationJournal Algebra Discrete Math.
Algebra and Discrete Mathematics Number 4. (2005). pp. 28 35 c Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Presentations and word problem for strong semilattices of semigroups Gonca Ayık,
More informationThe kernel of a monoid morphism. Part I Kernels and extensions. Outline. Basic definitions. The kernel of a group morphism
Outline The kernel of a monoid morphism Jean-Éric Pin1 (1) Kernels and extensions (2) The synthesis theoem (3) The finite case (4) Group radical and effective characterization (5) The topological approach
More informationarxiv: v5 [math.gr] 6 Jul 2018
Maximal subsemigroups of finite transformation and diagram monoids James East, Jitender Kumar, James D. Mitchell, Wilf A. Wilson July 9, 2018 arxiv:1706.04967v5 [math.gr] 6 Jul 2018 Abstract We describe
More informationTransformation Semigroups:
Transformation Semigroups: Congruences, Idempotents, and Groups Donald B. McAlister Department of Mathematical Sciences Northern Illinois University and Centro de Álgebra da Universidade de Lisboa (CAUL)
More informationON GENERATORS, RELATIONS AND D-SIMPLICITY OF DIRECT PRODUCTS, BYLEEN EXTENSIONS, AND OTHER SEMIGROUP CONSTRUCTIONS. Samuel Baynes
ON GENERATORS, RELATIONS AND D-SIMPLICITY OF DIRECT PRODUCTS, BYLEEN EXTENSIONS, AND OTHER SEMIGROUP CONSTRUCTIONS Samuel Baynes A Thesis Submitted for the Degree of PhD at the University of St Andrews
More informationMATH 433 Applied Algebra Lecture 22: Review for Exam 2.
MATH 433 Applied Algebra Lecture 22: Review for Exam 2. Topics for Exam 2 Permutations Cycles, transpositions Cycle decomposition of a permutation Order of a permutation Sign of a permutation Symmetric
More informationLecture 6c: Green s Relations
Lecture 6c: Green s Relations We now discuss a very useful tool in the study of monoids/semigroups called Green s relations Our presentation draws from [1, 2] As a first step we define three relations
More informationLinear Variable coefficient equations (Sect. 2.1) Review: Linear constant coefficient equations
Linear Variable coefficient equations (Sect. 2.1) Review: Linear constant coefficient equations. The Initial Value Problem. Linear variable coefficients equations. The Bernoulli equation: A nonlinear equation.
More informationA four element semigroup that is inherently nonfinitely based?
A four element semigroup that is inherently nonfinitely based? Peter R. Jones Marquette University NBSAN Workshop, York, November 21, 2012 Finite basis properties A (finite) algebra A is finitely based
More informationComplete Semigroups of Binary Relations Defined by Semilattices of the Class Σ X,10
Applied Mathematics 05 6 74-4 Published Online February 05 in SciRes. http://www.scirp.org/journal/am http://dx.doi.org/0.46/am.05.606 Complete Semigroups of Binary Relations efined by Semilattices of
More informationarxiv: v3 [math.gr] 18 Aug 2011
ON A PROBLEM OF M. KAMBITES REGARDING ABUNDANT SEMIGROUPS JOÃO ARAÚJO AND MICHAEL KINYON arxiv:1006.3677v3 [math.gr] 18 Aug 2011 Abstract. A semigroup is regular if it contains at least one idempotent
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More informationQuadratic Congruences, the Quadratic Formula, and Euler s Criterion
Quadratic Congruences, the Quadratic Formula, and Euler s Criterion R. C. Trinity University Number Theory Introduction Let R be a (commutative) ring in which 2 = 1 R + 1 R R. Consider a quadratic equation
More informationGroups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group
C H A P T E R t h r e E Groups Introduction Some of the standard topics in elementary group theory are treated in this chapter: subgroups, cyclic groups, isomorphisms, and homomorphisms. In the development
More information1 Last time: determinants
1 Last time: determinants Let n be a positive integer If A is an n n matrix, then its determinant is the number det A = Π(X, A)( 1) inv(x) X S n where S n is the set of n n permutation matrices Π(X, A)
More informationLectures - XXIII and XXIV Coproducts and Pushouts
Lectures - XXIII and XXIV Coproducts and Pushouts We now discuss further categorical constructions that are essential for the formulation of the Seifert Van Kampen theorem. We first discuss the notion
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationMA441: Algebraic Structures I. Lecture 18
MA441: Algebraic Structures I Lecture 18 5 November 2003 1 Review from Lecture 17: Theorem 6.5: Aut(Z/nZ) U(n) For every positive integer n, Aut(Z/nZ) is isomorphic to U(n). The proof used the map T :
More informationDistance labellings of Cayley graphs of semigroups
Distance labellings of Cayley graphs of semigroups Andrei Kelarev, Charl Ras, Sanming Zhou School of Mathematics and Statistics The University of Melbourne, Parkville, Victoria 3010, Australia andreikelarev-universityofmelbourne@yahoo.com
More informationA GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis
International Electronic Journal of Algebra Volume 20 (2016) 111-135 A GENERAL HEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUAIVE RING David F. Anderson and Elizabeth F. Lewis Received: 28 April 2016 Communicated
More informationName: Block: Unit 2 Inequalities
Name: Block: Unit 2 Inequalities 2.1 Graphing and Writing Inequalities 2.2 Solving by Adding and Subtracting 2.3 Solving by Multiplying and Dividing 2.4 Solving Two Step and Multi Step Inequalities 2.5
More informationConjugacy in epigroups
October 2018 Conjugacy in epigroups António Malheiro (CMA/FCT/NOVA University of Lisbon) @ the York semigroup (joint work with João Araújo, Michael Kinyon, Janusz Konieczny) Acknowledgement: This work
More informationIdempotent Elements of the Semigroups B ( D ) defined by Semilattices of the Class Σ ( X ), when Z 7
IJISE - International Journal of Innovative Science Engineering & echnology Vol Issue January 0 ISSN 8 798 Idempotent Elements of the Semigroups B ( defined by Semilattices of the Class Σ ( when 7 8 Nino
More informationIdentities in upper triangular tropical matrix semigroups and the bicyclic monoid
Identities in upper triangular tropical matrix semigroups and the bicyclic monoid Marianne Johnson (Joint work with Laure Daviaud and Mark Kambites) York Semigroup Seminar, May 2017 Semigroup identities
More informationSets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions
Sets and Functions MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Notation x A means that element x is a member of set A. x / A means that x is not a member of A.
More informationCSA16: Embedding in factorisable restriction monoids
Embedding in factorisable restriction monoids Bolyai Institute University of Szeged International Conference on Semigroups and Automata Lisbon, 20 24 June, 2016 Restriction semigroups restriction (formerly
More informationarxiv: v1 [math.ds] 22 Jan 2019
A STUDY OF HOLOMORPHIC SEMIGROUPS arxiv:1901.07364v1 [math.ds] 22 Jan 2019 BISHNU HARI SUBEDI Abstract. In this paper, we investigate some characteristic features of holomorphic semigroups. In particular,
More informationOn the lattice of congruences on a fruitful semigroup
On the lattice of congruences on a fruitful semigroup Department of Mathematics University of Bielsko-Biala POLAND email: rgigon@ath.bielsko.pl or romekgigon@tlen.pl The 54th Summer School on General Algebra
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More information2) 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.
Chapter 2 Groups Groups are the central objects of algebra. In later chapters we will define rings and modules and see that they are special cases of groups. Also ring homomorphisms and module homomorphisms
More informationSets are one of the basic building blocks for the types of objects considered in discrete mathematics.
Section 2.1 Introduction Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Important for counting. Programming languages have set operations. Set theory
More informationMATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4
MATH 25 CLASS 21 NOTES, NOV 7 2011 Contents 1. Groups: definition 1 2. Subgroups 2 3. Isomorphisms 4 1. Groups: definition Even though we have been learning number theory without using any other parts
More informationLECTURE 3 RANDOM VARIABLES, CUMULATIVE DISTRIBUTION FUNCTIONS (CDFs)
OCTOBER 6, 2014 LECTURE 3 RANDOM VARIABLES, CUMULATIVE DISTRIBUTION FUNCTIONS (CDFs) 1 Random Variables Random experiments typically require verbal descriptions, and arguments involving events are often
More informationCandidates must show on each answer book the type of calculator used. Only calculators permitted under UEA Regulations may be used.
UNIVERSITY OF EAST ANGLIA School of Mathematics May/June UG Examination 2010 2011 CRYPTOGRAPHY Time allowed: 2 hours Attempt THREE questions. Candidates must show on each answer book the type of calculator
More information