# 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.

Size: px
Start display at page:

Download "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."

Transcription

1 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 = the identity element of M). 1.2 Examples. 1) Z with addition of integers (e = 0) 2) Z with multiplication of integers (e = 1) 3) M n (R) = {the set of all n n matrices with coefficients in R} with matrix multiplication (e = I = the identity matrix) 4) U = any set P (U) := {the set of all subsets of U} P (U) is a monoid with A B := A B and e =. 5) Let U = any set F (U) := {the set of all functions f : U U} F (U) is a monoid with multiplication given by composition of functions (e = id U = the identity function). 1.3 Definition. A monoid is commutative if x y = y x for all x, y M. 1.4 Example. Monoids 1), 2), 4) in 1.2 are commutative; 3), 5) are not. 1

2 1.5 Note. Associativity implies that for x 1,..., x k M the expression x 1 x 2 x k has the same value regardless how we place parentheses within it; e.g.: (x 1 x 2 ) (x 3 x 4 ) = ((x 1 x 2 ) x 3 ) x 4 = x 1 ((x 2 x 3 ) x 4 ) etc. 1.6 Note. A monoid has only one identity element: if e, e M are identity elements then e = e e = e 1.7 Definition. A group is a monoid G such that for any x G there is y G satistying x y = e = y x. The element y is called the inverse of x and it is denoted by x 1 (or by x in the additive notation). A group G is commutative (or abelian) if x y = y x for all x, y G. 1.8 Examples. 1) Z, Q, R, C with addition 2) Q = Q {0}, R = R {0}, C = C {0} with multiplication 3) GL n (R) = {A M n (R) det(a) 0} with matrix multiplication (the n n general linear group) 4) SL n (R) = {A M n (R) det(a) = 1} with matrix multiplication (the n n special linear group) 5) Let U = be any set and let Perm(U) := {f : U U f is a bijection} Perm(U) with composition of functions is a group (the group of permutations of U) Note. If U = {1, 2,..., n} then Perm(U) is called the symmetric group on n letters and it is denoted by S n. 2

3 7) Let T = an equilateral triangle G T = {I, R 1, R 2, S 1, S 2, S 3 } I R 1 R 2 S 1 S S 2 3 G T = the group of symmetries of T. 1.9 Proposition (Cancellation Law). If G is a group, x, y, x G and then y = z. xy = xz Proof. xy = xz x 1 xy = x 1 xz y = z 1.10 Note. The cancellation law does not hold for monoids. E.g. in M 2 (R) take ( ) ( ) ( ) A =, B =, C = Then AB = AC but A C. 3

4 2 Subgroups 2.1 Definition. If G is a group then a subgroup of G is a subset H G such that (i) e H; (ii) if x, y H then xy H; (iii) if x H then x 1 H. 2.2 Note. A subgroup of a group is by itself a group. 2.3 Examples. 1) If G is a group then G, {e} are subgroups of G 2) Z is a subgroup of Q, which is a subgroup of R, which is a subgroup of C. 3) SL n (R) is a subgroup of GL n (R) 4) H = {I, R 1, R 2 } is a subgroup of G T 2.4 Note. If {H i } i I is a family of subgroups of G then i I H i is also a subgroup of G. 2.5 Definition. If G is a group and S is a subset of G then denote S = the smallest subgroup of G that contains S S is the subgroup of G generated by the set S. 2.6 Proposition. If S G then S consists of all elements of the form where x 1,..., x k S. x ±1 1 x ±1 2 x ±1 k 4

5 Proof. Exercise. 2.7 Definition. A set S G generates G if S = G. 2.8 Example. S = {S 1, S 2 } generates G T. 2.9 Definition. A group G is finitely generated if it is generated by some finite subset S G Note. Every finite group is finitely generated. Some infinite groups are finitely generated; e.g. Z = Definition. A group G is cyclic if G = a for some a G 2.12 Note. If G is cyclic, G = a then every element g G is of the form g = a n for some n Z (where a n := (a 1 ) n, a 0 = e) Examples. 1) Z = 1 is cyclic. 2) H := {I, R 1, R 2 } G T is cyclic: H = R 1 and H = R 2 5

6 3 Homomorphisms of groups 3.1 Definition. Let G, H be groups. A function f : G H is a group homomorphism if for any a, b G we have f(ab) = f(a)f(b) 3.2 Proposition. If f : G H is a homomorphism of groups and e G, e H denote identity elements in, respectively, G and H then (i) f(e G ) = e H (ii) f(a 1 ) = f(a) 1 for any a G. Proof. (i) We have f(e G ) = f(e G e G ) = f(e G ) f(e G ) Multiplying this equation by f(e G ) 1 we obtain e H = f(e G ). (ii) Since by (i) we have f(e G ) = e H therefore f(a) f(a 1 ) = f(a a 1 ) = f(e G ) = e H It is now enough to multiply this equation from the left by f(a) Definition. A homomorphism f : G H is an isomorphism if there is a homomorphism g : H G such that g f = id G and f g = id H. 3.4 Proposition. A map f : G H is an isomorphism of groups iff f is a homomorphism and a bijection. Proof. Exercise. 3.5 Definition. If there exists an isomorphism f : G H then we say that the groups G and H are isomorphic and we write G = H. 6

7 3.6 Definition. A homomorphism f : G G is called an endomorphism of G. An isomorphism f : G G is called an automorphism of G. 3.7 Examples. 1) id G : G G is an automorphism of G. 2) f : G G, f(g) = e g G is an endomorphism of G. 3) If f : G H, g : H K are homomorphisms then so is g f : G K. 4) For g G define c g : G G, c g (a) := gag 1 Check: c g is an automorphism of G. Automorphisms of this form are called inner automorphisms of G. Note. If G is an abelian group then c g = id G for all g G. 5) Recall: GL n (R) = {A M n det(a) 0}, R = R {0} We have the determinant function: det: GL n (R) R Since det(ab) = det(a) det(b) this function is a homomorphism. 6) Let G GL 2 (R) G := G is a subgroup of GL 2 (R): ( ) 1 r 0 1 We have homomorphisms: {( ) 1 r r R} 0 1 ( ) 1 s = 0 1 ( ) 1 1 r = 0 1 ( ) 1 r + s 0 1 ( ) 1 r 0 1 f : R G and g : R G 7

8 where f(r) = ( ) 1 r, g 0 1 Since g f = id G, f g = R we get G = R. (( )) 1 r = r Definition. If G is a group then G is called the order of G. G := the number of elements of G 3.9 Example. G T = 6, Z = Note. If G = H then G = H. 8

9 4 The kernel and the image of a homomorphism 4.1 Proposition. Let f : G H be a homomorphism. 1) If G is a subgroup of G then f(g ) is a subgroup of H. 2) If H is a subgroup of H then f 1 (H ) is a subgroup of G. Proof. Exercise. 4.2 Definition. If f : G H is a homomorphism then the image of f is the subgroup Im(f) := f(g) H the kernel of f is the subgroup Ker(f) := f 1 (e H ) G 4.3 Note. f : G H is an epimorphism (onto) iff Im(f) = H. 4.4 Proposition. f : G H is a monomorphism (1-1) iff Ker(f) = {e G } Proof. ( ) We have f(e G ) = e H. Thus if f is 1-1 then f(g) = e H g = e H. In other words we have then Ker(f) = {e H }. only if ( ) Assume that Ker(f) = {e G } and let f(a) = f(b) for some a, b G. We have: f(ab 1 ) = f(a)f(b) 1 = e H so ab 1 Ker(f). Therefore ab 1 = e G, and so a = b. 9

10 4.5 Problem. Let G be a group, and let H be a subgroup of G. Is there a homomorphism f : G K such that Ker(f) = H? 4.6 Note. The dual problem is trivial: if H is a subgroup of G then we have the inclusion homomorphism i: H G and Im(i) = H. It follows that any subgroup of G is an image of some homomorphism. 4.7 Definition. A subgroup H G is a normal subgroup if for every h H we have aha 1 H a G 4.8 Notation. If H is a normal subgroup of G then we write H G 4.9 Proposition. If f : G H is a homomorphism then Ker(f) is a normal subgroup of G. Proof. If a G, h Ker(f) then f(aha 1 ) = f(a)f(h)f(a) 1 = f(a) e f(a) 1 = f(a)f(a) 1 = e so aha 1 Ker(f) Examples. 1) Any subgroup of an abelian group is normal. 2) H := {I, R 1, R 2 } is a normal subgroup of G T (check!). 3) K := {I, S 1 } is not a normal subgroup of G T (check!). As a consequence K cannot be the kernel of any homomorphism G T G. 10

11 5 Normal subgroups, cosets and quotient groups Recall. If f : G K is a homomorphism then Ker(f) is a normal subgroup of G. Next goal: If H is a normal subgroup of G then there is a homomorphism f : G K such that H = Ker(f). 5.1 Definition. If H is a subgroup of G then a left coset of H in G is a subset of G of the form ah := {ah h H} for some a G. A right coset of H in G is a subset of G of the form for some a G. 5.2 Example. Ha := {ha h H} Recall: G T = {I, R 1, R 2, S 1, S 2, S 3 }. Take H := {I, S 1 }. We have: IH = {I I, I S 1 } = {I, S 1 } = H S 1 H = {S 1 I, S 1 S 1 } = {S 1, I} S 2 H = {S 2 I, S 2 S 1 } = {S 2, R 2 } S 3 H = {S 3 I, S 3 S 1 } = {S 3, R 1 } R 1 H = {R 1 I, R 1 S 1 } = {R 1, S 3 } R 2 H = {R 2 I, R 2 S 1 } = {R 2, S 2 } Note: IH = S 1 H, S 2 H = R 2 H, S 3 H = R 1 H 5.3 Lemma. If G is a group and H is a subgroup of G then ah = bh iff a 1 b H 11

12 Proof. ( ) Let ah = bh. Since e H thus b = be bh = ah so b = ah for some h H. Therefore a 1 b = h H. ( ) Assume that a 1 b H. For any h H we have ah = a(a 1 b)(a 1 b) 1 h = b((a 1 b) 1 )h bh This gives: ah bh. Also for any h H we have: bh = (aa 1 )bh = a(a 1 b)h ah so bh ah. Therefore ah = bh. 5.4 Proposition. If H is a subgroup of G then for any a, b G either ah = bh or ah bh = Proof. Let ah bh and let c ah bh. Then for some h 1, h 2 H. This gives and so ah = bh by (5.3). ah 1 = c = bh 2 a 1 b = h 1 h 1 2 H 5.5 Corollary. If H is a subgroup of G then every element of G belongs to one and only left coset of H. 5.6 Note. In general ah Ha. For example, If H G T, H = {I, S 1 } then S 2 H = {S 2, R 2 }, HS 2 = {S 2, R 1 } 12

13 5.7 Proposition. A subgroup H of G is normal iff ah = Ha a G Proof. Exercise. 5.8 Notation. If H is a subgroup of G then G/H := the set of all left cosets of H in G 5.9. Multiplication of cosets. Let H G, ah, bh G/H. Define ah bh := (ab)h 5.10 Note. In general this is not well defined, i.e. we may have ah = a H, bh = b H but (ab)h (a b )H. For example, take H = {I, S 1 } G T. Recall: S 2 H = R 2 H = {S 2, R 2 }, S 3 H = R 1 H = {S 3, R 1 } However: (S 2 S 3 )H = R 1 H = {R 1, S 2 } (R 2 R 1 )H = IH = {I, S 1 } 5.11 Proposition. If H is a normal subgroup of G then the multiplication of cosets given in (5.9) is well defined. Proof. If H G then by (5.7) we have ah = Ha a G. Let ah = a H, bh = b H. Then (ab)h = a(bh) = a(b H) = a(hb ) = (ah)b = (a H)b = a (b H) = (a b )H 13

14 5.12 Corollary/Definition. If H G then G/H is a group with multiplication defined by (5.9). The identity elements in G/H is the coset eh = H G/H. The inverse of a coset ah is the coset a 1 H. The group G/H is called the quotient group (or the factor group) of G by H Example. Take Z, the additive group of integers. Since Z is abelian every its subgroup is normal. For n Z, n 2 define nz = {na a Z} e.g. 2Z = { 4, 2, 0, 2, 4,... }, 5Z = {..., 10, 5, 0, 5, 10,... } Note: nz is a subgroup of Z. Cosets of nz in Z: k + nz = {k + na a Z} e.g Z = { 9, 4, 1, 6, 11,... }, 3 + 5Z = {..., 7, 2, 3, 8, 13,... } Note: k + nz = l + nz iff (k l) nz i.e. iff k = l + na for some a Z. E.g.: 1 + 5Z = 6 + 5Z = Z = 4 + 5Z Recall: if n, k Z then there is a unique number l {0, 1,..., n 1} such that k = l + na for some a Z. Thus every coset of nz can be uniquely written as l +nz where l {0, 1,..., n 1}. Denote l := l + nz. Then Z/nZ = { 0, 1,..., n 1} The addition table in Z/5Z: 14

15 Recall: A group G is cyclic if it is generated by a single element: G = a for some a G. Note: For every n the group Z/nZ is cyclic: Z/nZ = Note. If H G then we have a homomorphism π : G G/H, π(a) := ah This is the canonical epimorphism of G onto G/H. We have: Ker(π) = {a G π(a) = eh} = {a G ah = eh} = {a G e 1 a H} = {a G a H} = H 5.15 Corollary. A subgroup H G is the kernel of some homomorphism f : G K iff H is a normal subgroup 15

16 6 Isomorphism theorems 6.1 Theorem. If f : G H is a homomorphism then there is a unique homomorphism f : G/ Ker(f) H such that the following diagram commutes: f G π f G/ Ker(f) Moreover, f is a monomorphism and Im( f) = Im(f). H Proof. Denote: K := Ker(f). Define f : G/K H, f(ak) := f(a) We have: 1) f is well defined: If ak = bk then a 1 b K, so f(a 1 b) = e. Thus f(b) = f(aa 1 b) = f(a)f(a 1 b) = f(a) 2) f is a homomorphism (check). 3) f is a unique homomorphism satisfying f π = f Indeed, if g : G/K H is some other homomorphism and g π = f then f(a) = g π(a) = g(ak) and so g(ak) = f(ak) for all ak G/K. 16

17 4) f is 1-1: We need: Ker( f) = {ek}. We have: if f(ak) = e then f(a) = e, so a K and so ak = ek. 5) Im(f) = Im( f) (obvious). 6.1 First Isomorphism Theorem. If f : G H is an epimorphism then G/ Ker(f) = H Proof. Take the map f : G/ Ker(f) H. Then Im( f) = Im(f) = H, so f is an epimorphism. Also, f is 1-1. Therefore f is a bijective homomorphism and thus it is an isomorphism. 6.2 Example. Recall: GL n (R) = {A M n (R) det(a) 0} SL n (R) = {A M n (R) det(a) = 1} SL n (R) is a normal subgroup of GL n (R). We have the homomorphism det: GL n (R) R Since this is an epimorphism and Ker(det) = SL n (R) we get GL n (R)/SL n (R) = R 6.3 Theorem. If G is a cyclic group then G = {e} or G = Z or G = Z/nZ for some n 2. 17

18 Proof. Let G = a for some a G. Define f : Z G, f(n) := a n Notice that 1) f is a homomorphism 2) f is onto. Thus by the First Isomorphism Theorem G = Z/ Ker(f). Check: all subgroups H Z are of the form H = nz for some n 0. It follows that G = Z/nZ for some n 0. Also: if n = 0 then nz = 0Z = {0} and G = Z/{0} = Z if n = 1 then nz = 1Z = Z and G = Z/Z = {e} if n 2 then G = Z/nZ. 6.4 Notation. If H, K are subgroups of G then HK := {hk G h H, k K} 6.5 Lemma. If H, K are subgroups of G then HK is a subgroup of G iff HK = KH Proof. Exercise. 6.1 Second Isomorphism Theorem. If H, K are subgroups of G and H G then KH is a subgroup of G, (H K) K and K/(H K) = KH/H 18

19 Proof. Exercise. 6.1 Third Isomorphism Theorem. Let K H G. If K, H are normal subgroups of G then K H, H/K G/K and (G/K)/(H/K) = G/H Proof. Exercise. 19

### Introduction to Groups

Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)

### MATH 436 Notes: Homomorphisms.

MATH 436 Notes: Homomorphisms. Jonathan Pakianathan September 23, 2003 1 Homomorphisms Definition 1.1. Given monoids M 1 and M 2, we say that f : M 1 M 2 is a homomorphism if (A) f(ab) = f(a)f(b) for all

### BASIC GROUP THEORY : G G G,

BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e

### Lecture Note of Week 2

Lecture Note of Week 2 2. Homomorphisms and Subgroups (2.1) Let G and H be groups. A map f : G H is a homomorphism if for all x, y G, f(xy) = f(x)f(y). f is an isomorphism if it is bijective. If f : G

### Fibers, Surjective Functions, and Quotient Groups

Fibers, Surjective Functions, and Quotient Groups 11/01/06 Radford Let f : X Y be a function. For a subset Z of X the subset f(z) = {f(z) z Z} of Y is the image of Z under f. For a subset W of Y the subset

### We begin with some definitions which apply to sets in general, not just groups.

Chapter 8 Cosets In this chapter, we develop new tools which will allow us to extend to every finite group some of the results we already know for cyclic groups. More specifically, we will be able to generalize

### DEPARTMENT 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

### 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.

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

### Lecture 7 Cyclic groups and subgroups

Lecture 7 Cyclic groups and subgroups Review Types of groups we know Numbers: Z, Q, R, C, Q, R, C Matrices: (M n (F ), +), GL n (F ), where F = Q, R, or C. Modular groups: Z/nZ and (Z/nZ) Dihedral groups:

### MA441: 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 :

7. Let K = 15 be the subgroup of G = Z generated by 15. (a) List the elements of K = 15. Answer: K = 15 = {15k k Z} (b) Prove that K is normal subgroup of G. Proof: (Z +) is Abelian group and any subgroup

### MATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.

MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is

### Math 345 Sp 07 Day 7. b. Prove that the image of a homomorphism is a subring.

Math 345 Sp 07 Day 7 1. Last time we proved: a. Prove that the kernel of a homomorphism is a subring. b. Prove that the image of a homomorphism is a subring. c. Let R and S be rings. Suppose R and S are

### Normal Subgroups and Factor Groups

Normal Subgroups and Factor Groups Subject: Mathematics Course Developer: Harshdeep Singh Department/ College: Assistant Professor, Department of Mathematics, Sri Venkateswara College, University of Delhi

### 120A LECTURE OUTLINES

120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication

### (5.11) (Second Isomorphism Theorem) If K G and N G, then K/(N K) = NK/N. PF: Verify N HK. Find a homomorphism f : K HK/N with ker(f) = (N K).

Lecture Note of Week 3 6. Normality, Quotients and Homomorphisms (5.7) A subgroup N satisfying any one properties of (5.6) is called a normal subgroup of G. Denote this fact by N G. The homomorphism π

### CHAPTER 9. Normal Subgroups and Factor Groups. Normal Subgroups

Normal Subgroups CHAPTER 9 Normal Subgroups and Factor Groups If H apple G, we have seen situations where ah 6= Ha 8 a 2 G. Definition (Normal Subgroup). A subgroup H of a group G is a normal subgroup

### 0 Sets and Induction. Sets

0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

### ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.

### Algebra. Travis Dirle. December 4, 2016

Abstract Algebra 2 Algebra Travis Dirle December 4, 2016 2 Contents 1 Groups 1 1.1 Semigroups, Monoids and Groups................ 1 1.2 Homomorphisms and Subgroups................. 2 1.3 Cyclic Groups...........................

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

Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

### 43 Projective modules

43 Projective modules 43.1 Note. If F is a free R-module and P F is a submodule then P need not be free even if P is a direct summand of F. Take e.g. R = Z/6Z. Notice that Z/2Z and Z/3Z are Z/6Z-modules

### 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.

MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection

### Groups and Symmetries

Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group

### MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018

MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018 Here are a few practice problems on groups. You should first work through these WITHOUT LOOKING at the solutions! After you write your

### Solutions of exercise sheet 4

D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 4 The content of the marked exercises (*) should be known for the exam. 1. Prove the following two properties of groups: 1. Every

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

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions

### Groups. Groups. 1.Introduction. 1.Introduction. TS.NguyễnViết Đông. 1. Introduction 2.Normal subgroups, quotien groups. 3. Homomorphism.

Groups Groups 1. Introduction 2.Normal sub, quotien. 3. Homomorphism. TS.NguyễnViết Đông 1 2 1.1. Binary Operations 1.2.Definition of Groups 1.3.Examples of Groups 1.4.Sub 1.1. Binary Operations 1.2.Definition

### Chapter I: Groups. 1 Semigroups and Monoids

Chapter I: Groups 1 Semigroups and Monoids 1.1 Definition Let S be a set. (a) A binary operation on S is a map b : S S S. Usually, b(x, y) is abbreviated by xy, x y, x y, x y, x y, x + y, etc. (b) Let

### Teddy Einstein Math 4320

Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective

### Abstract Algebra II Groups ( )

Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition

### UMASS AMHERST MATH 411 SECTION 2, FALL 2009, F. HAJIR

UMASS AMHERST MATH 411 SECTION 2, FALL 2009, F. HAJIR HOMEWORK 2: DUE TH. OCT. 1 READINGS: These notes are intended as a supplement to the textbook, not a replacement for it. 1. Elements of a group, their

### INTRODUCTION TO GROUP THEORY

INTRODUCTION TO GROUP THEORY LECTURE NOTES BY STEFAN WANER Contents 1. Complex Numbers: A Sketch 2 2. Sets, Equivalence Relations and Functions 5 3. Mathematical Induction and Properties of the Integers

### ISOMORPHISMS KEITH CONRAD

ISOMORPHISMS KEITH CONRAD 1. Introduction Groups that are not literally the same may be structurally the same. An example of this idea from high school math is the relation between multiplication and addition

### MTH 411 Lecture Notes Based on Hungerford, Abstract Algebra

MTH 411 Lecture Notes Based on Hungerford, Abstract Algebra Ulrich Meierfrankenfeld Department of Mathematics Michigan State University East Lansing MI 48824 meier@math.msu.edu August 28, 2014 2 Contents

### 2MA105 Algebraic Structures I

2MA105 Algebraic Structures I Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/2ma105.html Lecture 7 Cosets once again Factor Groups Some Properties of Factor Groups Homomorphisms November 28, 2011

### Fall /29/18 Time Limit: 75 Minutes

Math 411: Abstract Algebra Fall 2018 Midterm 10/29/18 Time Limit: 75 Minutes Name (Print): Solutions JHU-ID: This exam contains 8 pages (including this cover page) and 6 problems. Check to see if any pages

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

Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions

### 5 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

### Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati

Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati Shyamashree Upadhyay Contents 1 Lecture 1 4 1.1 Properties of Integers....................... 4 1.2 Sets, relations and

### Elements of solution for Homework 5

Elements of solution for Homework 5 General remarks How to use the First Isomorphism Theorem A standard way to prove statements of the form G/H is isomorphic to Γ is to construct a homomorphism ϕ : G Γ

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

Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

### Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are

Cosets Let H be a subset of the group G. (Usually, H is chosen to be a subgroup of G.) If a G, then we denote by ah the subset {ah h H}, the left coset of H containing a. Similarly, Ha = {ha h H} is the

### Physics 251 Solution Set 1 Spring 2017

Physics 5 Solution Set Spring 07. Consider the set R consisting of pairs of real numbers. For (x,y) R, define scalar multiplication by: c(x,y) (cx,cy) for any real number c, and define vector addition

### 13 More on free abelian groups

13 More on free abelian groups Recall. G is a free abelian group if G = i I Z for some set I. 13.1 Definition. Let G be an abelian group. A set B G is a basis of G if B generates G if for some x 1,...x

### First Semester Abstract Algebra for Undergraduates

First Semester Abstract Algebra for Undergraduates Lecture notes by: Khim R Shrestha, Ph. D. Assistant Professor of Mathematics University of Great Falls Great Falls, Montana Contents 1 Introduction to

### 17 More Groups, Lagrange s Theorem and Direct Products

7 More Groups, Lagrange s Theorem and Direct Products We consider several ways to produce groups. 7. The Dihedral Group The dihedral group D n is a nonabelian group. This is the set of symmetries of a

### Algebra homework 6 Homomorphisms, isomorphisms

MATH-UA.343.005 T.A. Louis Guigo Algebra homework 6 Homomorphisms, isomorphisms Exercise 1. Show that the following maps are group homomorphisms and compute their kernels. (a f : (R, (GL 2 (R, given by

### To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

Homework #6. Due Thursday, October 14th Reading: For this homework assignment: Sections 3.3 and 3.4 (up to page 167) Before the class next Thursday: Sections 3.5 and 3.4 (pp. 168-171). Also review the

### Two subgroups and semi-direct products

Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset

### Part IA Groups. Based on lectures by J. Goedecke Notes taken by Dexter Chua. Michaelmas 2014

Part IA Groups Based on lectures by J. Goedecke Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.

### Math 4400, Spring 08, Sample problems Final Exam.

Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that

### Modern Computer Algebra

Modern Computer Algebra Exercises to Chapter 25: Fundamental concepts 11 May 1999 JOACHIM VON ZUR GATHEN and JÜRGEN GERHARD Universität Paderborn 25.1 Show that any subgroup of a group G contains the neutral

### Homework #11 Solutions

Homework #11 Solutions p 166, #18 We start by counting the elements in D m and D n, respectively, of order 2. If x D m and x 2 then either x is a flip or x is a rotation of order 2. The subgroup of rotations

### Answers to Final Exam

Answers to Final Exam MA441: Algebraic Structures I 20 December 2003 1) Definitions (20 points) 1. Given a subgroup H G, define the quotient group G/H. (Describe the set and the group operation.) The quotient

### INTRODUCTION 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

### Groups. Chapter 1. If ab = ba for all a, b G we call the group commutative.

Chapter 1 Groups A group G is a set of objects { a, b, c, } (not necessarily countable) together with a binary operation which associates with any ordered pair of elements a, b in G a third element ab

### Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded

### MATH 430 PART 2: GROUPS AND SUBGROUPS

MATH 430 PART 2: GROUPS AND SUBGROUPS Last class, we encountered the structure D 3 where the set was motions which preserve an equilateral triangle and the operation was function composition. We determined

### II. Products of Groups

II. Products of Groups Hong-Jian Lai October 2002 1. Direct Products (1.1) The direct product (also refereed as complete direct sum) of a collection of groups G i, i I consists of the Cartesian product

### Course 311: Abstract Algebra Academic year

Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 1 Topics in Group Theory 1 1.1 Groups............................... 1 1.2 Examples of Groups.......................

### Cosets, factor groups, direct products, homomorphisms, isomorphisms

Cosets, factor groups, direct products, homomorphisms, isomorphisms Sergei Silvestrov Spring term 2011, Lecture 11 Contents of the lecture Cosets and the theorem of Lagrange. Direct products and finitely

### Algebra I Notes. Clayton J. Lungstrum. July 18, Based on the textbook Algebra by Serge Lang

Algebra I Notes Based on the textbook Algebra by Serge Lang Clayton J. Lungstrum July 18, 2013 Contents Contents 1 1 Group Theory 2 1.1 Basic Definitions and Examples......................... 2 1.2 Subgroups.....................................

### Cosets and Normal Subgroups

Cosets and Normal Subgroups (Last Updated: November 3, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from

### D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 3 Modular arithmetic, quotients, product groups 1. Show that the functions f = 1/x, g = (x 1)/x generate a group of functions, the law of composition

### S10MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (Practice) Name: Some of the problems are very easy, some are harder.

Some of the problems are very easy, some are harder. 1. Let F : Z Z be a function defined as F (x) = 10x. (a) Prove that F is a group homomorphism. (b) Find Ker(F ) Solution: Ker(F ) = {0}. Proof: Let

### its image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1

10 Chapter 1 Groups 1.1 Isomorphism theorems Throughout the chapter, we ll be studying the category of groups. Let G, H be groups. Recall that a homomorphism f : G H means a function such that f(g 1 g

### MATH3711 Lecture Notes

MATH3711 Lecture Notes typed by Charles Qin June 2006 1 How Mathematicians Study Symmetry Example 1.1. Consider an equilateral triangle with six symmetries. Rotations about O through angles 0, 2π 3, 4π

### CHAPTER I GROUPS. The result of applying the function to a pair (x, y) would in conventional functional notation be denoted.

CHAPTER I GROUPS 1. Preliminaries The basic framework in which modern mathematics is developed is set theory. We assume familiarity with the notation and basic concepts of that subject. Where relatively

### Math 210A: Algebra, Homework 6

Math 210A: Algebra, Homework 6 Ian Coley November 13, 2013 Problem 1 For every two nonzero integers n and m construct an exact sequence For which n and m is the sequence split? 0 Z/nZ Z/mnZ Z/mZ 0 Let

### MAT301H1F Groups and Symmetry: Problem Set 2 Solutions October 20, 2017

MAT301H1F Groups and Symmetry: Problem Set 2 Solutions October 20, 2017 Questions From the Textbook: for odd-numbered questions, see the back of the book. Chapter 5: #8 Solution: (a) (135) = (15)(13) is

### Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is

### 2 ALGEBRA II. Contents

ALGEBRA II 1 2 ALGEBRA II Contents 1. Results from elementary number theory 3 2. Groups 4 2.1. Denition, Subgroup, Order of an element 4 2.2. Equivalence relation, Lagrange's theorem, Cyclic group 9 2.3.

### GROUPS AND THEIR REPRESENTATIONS. 1. introduction

GROUPS AND THEIR REPRESENTATIONS KAREN E. SMITH 1. introduction Representation theory is the study of the concrete ways in which abstract groups can be realized as groups of rigid transformations of R

### Group Theory and Applications MST30010

Group Theory and Applications MST30010 ii Contents 1 Material from last year 1 2 Normal subgroups and quotient groups 3 3 Morphims 7 4 Subgroups of quotient groups 13 5 Group actions 15 5.1 Size of orbits...........................

### A Primer on Homological Algebra

A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably

### NATIONAL OPEN UNIVERSITY OF NIGERIA

NATIONAL OPEN UNIVERSITY OF NIGERIA SCHOOL OF SCIENCE AND TECHNOLOGY COURSE CODE: MTH 312 COURSE TITLE: COURSE GUIDE MTH 312 COURSE GUIDE MTH 312 Course Adapted From Course Adapter Programme Leader Course

### Foundations of Cryptography

Foundations of Cryptography Ville Junnila viljun@utu.fi Department of Mathematics and Statistics University of Turku 2015 Ville Junnila viljun@utu.fi Lecture 7 1 of 18 Cosets Definition 2.12 Let G be a

### Assigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation.

1. Show that the set G = multiplication. Assigment 1 1 a b 0 1 c a, b, c R 0 0 1 is a group under matrix 2. Let U be a set and G = {A A U}. Show that G ia an abelian group under the operation defined by

### MTH Abstract Algebra I and Number Theory S17. Homework 6/Solutions

MTH 310-3 Abstract Algebra I and Number Theory S17 Homework 6/Solutions Exercise 1. Let a, b and e be integers. Suppose a and b are not both zero and that e is a positive common divisor of a and b. Put

### is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent

Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a

### S11MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (PracticeSolutions) Name: 1. Let G and H be two groups and G H the external direct product of G and H.

Some of the problems are very easy, some are harder. 1. Let G and H be two groups and G H the external direct product of G and H. (a) Prove that the map f : G H H G defined as f(g, h) = (h, g) is a group

### 23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.

23. Quotient groups II 23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. Theorem (FTH). Let G, H be groups and ϕ : G H a homomorphism.

### Discrete Mathematics. Benny George K. September 22, 2011

Discrete Mathematics Benny George K Department of Computer Science and Engineering Indian Institute of Technology Guwahati ben@iitg.ernet.in September 22, 2011 Set Theory Elementary Concepts Let A and

### 20 Group Homomorphisms

20 Group Homomorphisms In Example 1810(d), we have observed that the groups S 4 /V 4 and S 3 have almost the same multiplication table They have the same structure In this paragraph, we study groups with

### Solutions to Some Review Problems for Exam 3. by properties of determinants and exponents. Therefore, ϕ is a group homomorphism.

Solutions to Some Review Problems for Exam 3 Recall that R, the set of nonzero real numbers, is a group under multiplication, as is the set R + of all positive real numbers. 1. Prove that the set N of

### Math 546, Exam 2 Information.

Math 546, Exam 2 Information. 10/21/09, LC 303B, 10:10-11:00. Exam 2 will be based on: Sections 3.2, 3.3, 3.4, 3.5; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/546fa09/546.html)

### 6. The Homomorphism Theorems In this section, we investigate maps between groups which preserve the groupoperations.

6. The Homomorphism Theorems In this section, we investigate maps between groups which preserve the groupoperations. Definition. Let G and H be groups and let ϕ : G H be a mapping from G to H. Then ϕ is

### MODEL ANSWERS TO THE FIFTH HOMEWORK

MODEL ANSWERS TO THE FIFTH HOMEWORK 1. Chapter 3, Section 5: 1 (a) Yes. Given a and b Z, φ(ab) = [ab] = [a][b] = φ(a)φ(b). This map is clearly surjective but not injective. Indeed the kernel is easily

### CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.

### Lecture Notes. Group Theory. Gunnar Traustason (Autumn 2016)

Lecture Notes in Group Theory Gunnar Traustason (Autumn 2016) 0 0 Introduction. Groups and symmetry Group Theory can be viewed as the mathematical theory that deals with symmetry, where symmetry has a

### MA441: Algebraic Structures I. Lecture 14

MA441: Algebraic Structures I Lecture 14 22 October 2003 1 Review from Lecture 13: We looked at how the dihedral group D 4 can be viewed as 1. the symmetries of a square, 2. a permutation group, and 3.

### Normal Subgroups and Quotient Groups

Normal Subgroups and Quotient Groups 3-20-2014 A subgroup H < G is normal if ghg 1 H for all g G. Notation: H G. Every subgroup of an abelian group is normal. Every subgroup of index 2 is normal. If H

### B Sc MATHEMATICS ABSTRACT ALGEBRA

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z

### ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.

ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS. ANDREW SALCH 1. Subgroups, conjugacy, normality. I think you already know what a subgroup is: Definition

### 541 Day Lemma: If N is a normal subgroup of G and N is any subgroup of G then H N = HN = NH. Further if H is normal, NH is normal as well.

541 Day 26-27 Section 34: Isomorphism Theorems: 1. First Isomorphism Theorem. Done! This is just another name for The Fundamental Homomorphism Theorem. 2. Definition: Let H and N be subroups of G. The

### Exercises on chapter 1

Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

### GROUP ACTIONS RYAN C. SPIELER

GROUP ACTIONS RYAN C. SPIELER Abstract. In this paper, we examine group actions. Groups, the simplest objects in Algebra, are sets with a single operation. We will begin by defining them more carefully