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

Similar documents
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.

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

ABSTRACT ALGEBRA 1, LECTURE NOTES 4: DEFINITIONS AND EXAMPLES OF MONOIDS AND GROUPS.

INTRODUCTION TO THE GROUP THEORY

chapter 11 ALGEBRAIC SYSTEMS GOALS

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

Introduction to abstract algebra: definitions, examples, and exercises

0 Sets and Induction. Sets

Math 120 HW 9 Solutions


a = mq + r where 0 r m 1.

HL Test 2018 Sets, Relations and Groups [50 marks]

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

Chapter 1. Sets and Numbers

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

BASIC GROUP THEORY : G G G,

Math 3140 Fall 2012 Assignment #3

Rings and Fields Theorems

Lecture 4.1: Homomorphisms and isomorphisms

Teddy Einstein Math 4320

Section 0. Sets and Relations

Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016

A Little Beyond: Linear Algebra

Chapter 1. Sets and Mappings

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

Review of Linear Algebra

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9

Direct Limits. Mathematics 683, Fall 2013

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002

SUPPLEMENTARY NOTES: CHAPTER 1

Axioms for Set Theory

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

Algebraic structures I

5 Group theory. 5.1 Binary operations

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

Notes on Group Theory. by Avinash Sathaye, Professor of Mathematics November 5, 2013

Part IV. Rings and Fields

Section 18 Rings and fields

ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)

ISOMORPHISMS KEITH CONRAD

Basic Concepts of Group Theory

ax b mod m. has a solution if and only if d b. In this case, there is one solution, call it x 0, to the equation and there are d solutions x m d

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

NOTES ON FINITE FIELDS

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

An Introduction to Proof-based Mathematics Harvard/MIT ESP: Summer HSSP Isabel Vogt

Outline. We will now investigate the structure of this important set.

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

Algebraic Structures Exam File Fall 2013 Exam #1

Homework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.

Group. Orders. Review. Orders: example. Subgroups. Theorem: Let x be an element of G. The order of x divides the order of G

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

Mathematics for Cryptography

COM S 330 Homework 05 Solutions. Type your answers to the following questions and submit a PDF file to Blackboard. One page per problem.

SEVENTH EDITION and EXPANDED SEVENTH EDITION

Name: Solutions Final Exam

Categories and functors

Lecture 2: Groups. Rajat Mittal. IIT Kanpur

GENERATING SETS KEITH CONRAD

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents

MATH 433 Applied Algebra Lecture 22: Semigroups. Rings.

RINGS: SUMMARY OF MATERIAL

13 More on free abelian groups

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

Higher Algebra Lecture Notes

AMB111F Notes 1: Sets and Real Numbers

A Primer on Homological Algebra

DIHEDRAL GROUPS II KEITH CONRAD

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

Introduction to Groups

COMBINATORIAL GROUP THEORY NOTES

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

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

How many units can a commutative ring have?

2. Groups 2.1. Groups and monoids. Let s start out with the basic definitions. We will consider sets with binary operations, which we will usually

MATH 110: LINEAR ALGEBRA HOMEWORK #1

GROUPS OF ORDER p 3 KEITH CONRAD

Math 547, Exam 1 Information.

Solutions for Chapter Solutions for Chapter 17. Section 17.1 Exercises

Math 121 Homework 5: Notes on Selected Problems

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

Math 4310 Solutions to homework 1 Due 9/1/16

We could express the left side as a sum of vectors and obtain the Vector Form of a Linear System: a 12 a x n. a m2

Lecture 7 Cyclic groups and subgroups

Groups. Contents of the lecture. Sergei Silvestrov. Spring term 2011, Lecture 8

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018)

Tomáš Madaras Congruence classes

Part V. Chapter 19. Congruence of integers

Section Summary. Relations and Functions Properties of Relations. Combining Relations

Construction of latin squares of prime order

CONSTRUCTING MULTIPLICATIVE GROUPS MODULO N WITH IDENTITY DIFFERENT FROM ONE

MATH FINAL EXAM REVIEW HINTS

Chapter 5. Linear Algebra

Chapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60

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

Examples of Groups

Transcription:

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 is a pair (M, ) where M is a set M satisfying: (A0) M is closed under : : M M M. (A1) identity element e M: e a = a e = a, a M. (A2) Associativity: Note: Due to (A2), we can denote a b c = a (b c) = (a b) c. Examples: a (b c) = (a b) c, a, b, c

Definition: The elements of a subset A M are called generators of the monoid (M, ) if any element y M with the exception of the identity element can be obtained from them by successively applying the operation : y M \ {e}, a 1,..., a n A, y = a 1 a 2... a n. Examples: Definition: A set of generators A M is called free if any element y M can be written in terms of the elements of A in a unique way, i.e. there are no two different ways of writing m using and elements in A: a 1,..., a n, b 1,..., b m A, y = a 1... a n = b 1... b m m = n, a i = b i, i.

Example: Definition: A monoid with a free set of generators is called a free monoid. Definition: (N, +) is the free monoid generated by 1. Other examples: Definition: A commutative (or Abelian) monoid is a monoid (M, ) where also satisfies: Commutativity: a, b M, a b = b a.

Addition on N: 1) Consider the set N given by the Constructive Definition. Definition: We define + : N N N by A + B = A B for any sets A and B such that A B =. Note: (N, +) thus defined is a monoid: (A1) + has identity element 0 = : A + = A = A, A finite set. (A2) + is associative because the union of sets is: A (B C) = (A B) C = A + ( B + C ) = ( A + B ) + C for A, B, C disjoint. Exercise: Prove that the monoid (N, +) is commutative: (A3) a, b N, a + b = b + a.

Multiplication on N: 1) Consider the set N given by the Constructive Definition. Definition: We define : N N N by A B = A B. Note: (N, ) thus defined is a monoid: (A1) has identity element 1 = { } : A { } = A { } = A, A finite set. (A2) + is associative: A (B C) = (A B) C. Moreover, the new operation satisfies: (D) is distributive with respect to +, i.e. a, b, c N, a(b + c) = ab + ac. Similarly, (b + c)a = ba + ca. Indeed, for all finite sets A, B, C, A (B C) = A B A C, (B C) A = B A C A,

Finite monoids Definition:Let (M, ) be a monoid with M = finite set. The Cayley table of (M, ) is the table whose rows/columns correspond to the elements of M, and whose entry on the row a and column b is a b. * b a a b Examples: Z 2 = {[0], [1]}, where [0] = { all even numbers } and [1] = { all odd numbers }. + [0] [1] 1. The Cayley table for the monoid (Z 2, +): [0] [0] [1] [1] [1] [0] + [0] [1] 2. The Cayley table for the monoid (Z 2, ): [0] [0] [0] [1] [0] [1] 3. Z 5 = {[0], [1], [2], [3], [4]}, where [0] = {... 10, 5, 0, 5, 10, 15,...} = { all multiples of 5}, [1] = {... 9, 4, 1, 6, 11, 16,...} = = { numbers whose division by 5 yields remainder 1}, [2] = {... 8, 3, 2, 7, 12, 17,...} = = { numbers whose division by 5 yields remainder 2}... For convenience, when it is clear that we work modulo a certain number, we can write the equivalence classes without the square brackets, i.e. we ll write 2 and mean [2].

The Cayley table for the monoid (Z 5, +): + 0 1 2 3 4 0 0 1 2 3 4 1 + 4 = 2 + 3 = 5 0 ( mod 5), 1 1 2 3 4 0 2 + 4 = 3 + 3 = 6 1 ( mod 5), 2 2 3 4 0 1 because 3 + 4 = 4 + 3 = 7 2 ( mod 5), 3 3 4 0 1 2 4 + 4 = 8 3 ( mod 5). 4 4 0 1 2 3 1 is a generator for (Z 5, +) because n = 1 +... + 1. }{{} n times (Z 5, +) is not freely generated by 1 because. e.g., 2 can be written in two different ways using 1 and +: 2 = 1 + 1 = 1 +... + 1. }{{} 7 times 4. The Cayley table for the monoid (Z 5, ): + 0 1 2 3 4 0 0 0 0 0 0 1 0 1 2 3 4 2 0 2 4 1 3 because 3 0 3 1 4 2 4 0 4 3 2 1 (Z 5, +) is generated by {0, 2} because 2 3 = 6 1 ( mod 5), 2 4 = 8 3 ( mod 5), 3 3 = 9 4 ( mod 5), 3 4 = 12 2 ( mod 5) 4 4 = 16 1 ( mod 5). 0 = 0 in Z 5, 1 = identity elem. in Z 5, 2 = 2 in Z 5, 3 = 2 2 2 in Z 5 4 = 2 2 in Z 5. (Z 5, +) is not freely generated by {0, 2} because. e.g., 1 = 2 2 2 2 so 2 = 2 2 2 2 2. (Z 5, +) is generated by {0, 3} because 0 = 0 in Z 5, 1 = identity elem. in Z 5, 2 = 3 3 3 in Z 5, 3 = 3 in Z 5 4 = 3 3 in Z 5.

(Z 5, +) is not freely generated by {0, 3} because. e.g., 1 = 3 3 3 3 so 3 = 3 3 3 3 3. (Z 5, +) is not generated by {0, 4} because 4 4 = 1 in Z 5 so only 0, 1 and 4 can be written using {0, 4} and. Other examples of monoids 1. (M m n (N), +)= the monoid of m n matrices with entries in N, where + is the matrix addition. (M m n (N), +) is generated by {E ij ; i {1,..., m} and j {1,..., n}}, where E ij is the matrix having the entry on the i-th row and j-th column equal to 1, all other entries equal to 0. 2. For every set X, the set of functions {f : X X} together with, the composition of functions, forms a monoid. 3. The set of functions {f : R R; f continuous } together with, the composition of functions, forms a monoid. Monoid Homomorphisms Previously we claimed that (N, +) is the free monoid generated by one element, because for any n N nonzero, n = 1 } + {{... + 1 }. n times

On the other hand, consider the set M = {e, a, aa, aaa,...} of all words made out of the letter a, with the concatenation operation : a...a }{{} m times a...a }{{} n times = a...a }{{} m+n times Here e denotes the empty word, which is the identity element for. Then (M, ) has equal claims to the title of free monoid generated by one element. Although (N, +) and (M, ) are two different monoids, it is clear that one can be obtained from the other by relabeling: Thus relabel 0 by e, then n by a...a }{{} and n times + by, and (N, +) has become (M, ). If we could write the Cayley table of (N, +),. + n m m + n then relabel, we d get * a...a }{{} n times a...a }{{} m times a...a }{{} m+n times which is the Cayley table of (M, ). In fact we have constructed a map f : N M which sends the monoid operation + to the operation.

Definition: Let (X, ) and (Y, ) be two monoids with identity elements e X and e Y, respectively. A monoid homomorphism f : (X, ) (Y, ) is a function f : X Y such that f(e X ) = e Y for all m, n X. and f(m n) = f(m) f(n), Definition: A monoid homomorphism f : (X, ) (Y, ) which is bijective is called monoid isomorphism. Notation: In this case we say that (X, ) and (Y, ) are isomorphic, and write (X, ) = (Y, ). Example: 1. (N, +) = (M, ). We say that (N, +), the free monoid with one generator, uniquely defined up to an isomorphism (i.e. by a relabeling of its elements and its operation.) 2. f : (N, +) (N, ) given by f(x) = e x is a monoid homomorphism, injective but not surjective. 3. Let (M, +) be a monoid and let be another binary operation on M. For each element a M, define f : M M by f(x) = a x. Prove that f : (M, +) (M, +) is a monoid homomorphism iff satisfies the distributivity condition for all x, y M. a (x + y) = a x + a y, 4. Consider the map f : Z 3 Z 3 given by f(n) = n + 1. Define a new operation on Z 3 such that f : (Z 3, ) (Z 3, ) is a monoid isomorphism.

References An elementary introduction to sets, relations, functions: http://www.cosc.brocku.ca/ duentsch/archive/methprimer1.pdf The same, as taught by a philosophy professor: http://people.umass.edu/gmhwww/595t/text.htm Some more advanced texts on Set Theory, the Axiom of Choice and the Set of Natural Numbers: http://kaharris.org/teaching/582/ http://www.math.toronto.edu/weiss/set theory.pdf http://math.boisestate.edu/ holmes/holmes/head.pdf Further reading. Pick your own: http://www.e-booksdirectory.com/listing.php?category=55 http://www.e-booksdirectory.com/listing.php?category=540