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 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)

More information

MATH 436 Notes: Homomorphisms.

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

More information

BASIC GROUP THEORY : G G G,

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

More information

Lecture Note of Week 2

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

More information

Fibers, Surjective Functions, and Quotient Groups

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

More information

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

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

More information

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

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

More information

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.

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

More information

Lecture 7 Cyclic groups and subgroups

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:

More information

MA441: Algebraic Structures I. Lecture 18

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 :

More information

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

More information

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

More information

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

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

More information

Normal Subgroups and Factor Groups

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

More information

120A LECTURE OUTLINES

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

More information

(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).

(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 π

More information

CHAPTER 9. Normal Subgroups and Factor Groups. Normal Subgroups

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

More information

0 Sets and Induction. Sets

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

More information

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

More information

Algebra. Travis Dirle. December 4, 2016

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

More information

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

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

More information

43 Projective modules

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

More information

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

More information

Groups and Symmetries

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

More information

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

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

More information

Solutions of exercise sheet 4

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

More information

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

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

More information

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

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

More information

Chapter I: Groups. 1 Semigroups and Monoids

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

More information

Teddy Einstein Math 4320

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

More information

Abstract Algebra II Groups ( )

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

More information

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

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

More information

INTRODUCTION TO GROUP THEORY

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

More information

ISOMORPHISMS KEITH CONRAD

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

More information

MTH 411 Lecture Notes Based on Hungerford, Abstract Algebra

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

More information

2MA105 Algebraic Structures I

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

More information

Fall /29/18 Time Limit: 75 Minutes

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

More information

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

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

More information

5 Group theory. 5.1 Binary operations

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

More information

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

More information

Elements of solution for Homework 5

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 Γ

More information

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

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

More information

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

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

More information

Physics 251 Solution Set 1 Spring 2017

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

More information

13 More on free abelian groups

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

More information

First Semester Abstract Algebra for Undergraduates

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

More information

17 More Groups, Lagrange s Theorem and Direct Products

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

More information

Algebra homework 6 Homomorphisms, isomorphisms

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

More information

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.

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

More information

Two subgroups and semi-direct products

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

More information

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

More information

Math 4400, Spring 08, Sample problems Final Exam.

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

More information

Modern Computer Algebra

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

More information

Homework #11 Solutions

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

More information

Answers to Final Exam

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

More information

INTRODUCTION TO THE GROUP THEORY

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

More information

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

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

More information

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

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

More information

MATH 430 PART 2: GROUPS AND SUBGROUPS

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

More information

II. Products of Groups

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

More information

Course 311: Abstract Algebra Academic year

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

More information

Cosets, factor groups, direct products, homomorphisms, isomorphisms

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

More information

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

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

More information

Cosets and Normal 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

More information

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

More information

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

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

More information

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

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

More information

MATH3711 Lecture Notes

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π

More information

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

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

More information

Math 210A: Algebra, Homework 6

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

More information

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

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

More information

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

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

More information

2 ALGEBRA II. Contents

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.

More information

GROUPS AND THEIR REPRESENTATIONS. 1. introduction

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

More information

Group Theory and Applications MST30010

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

More information

A Primer on Homological Algebra

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

More information

NATIONAL OPEN UNIVERSITY OF NIGERIA

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

More information

Foundations of Cryptography

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

More information

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.

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

More information

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

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

More information

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

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

More information

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.

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

More information

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

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.

More information

Discrete Mathematics. Benny George K. September 22, 2011

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

More information

20 Group Homomorphisms

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

More information

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

More information

Math 546, Exam 2 Information.

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)

More information

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

More information

MODEL ANSWERS TO THE FIFTH HOMEWORK

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

More information

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

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.

More information

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

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

More information

MA441: Algebraic Structures I. Lecture 14

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.

More information

Normal Subgroups and Quotient Groups

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

More information

B Sc MATHEMATICS ABSTRACT ALGEBRA

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

More information

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

More information

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

More information

Exercises on chapter 1

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

More information

GROUP ACTIONS RYAN C. SPIELER

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

More information

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Group Theory Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Groups Definition : A non-empty set ( G,*)

More information

Solutions Cluster A: Getting a feel for groups

Solutions Cluster A: Getting a feel for groups Solutions Cluster A: Getting a feel for groups 1. Some basics (a) Show that the empty set does not admit a group structure. By definition, a group must contain at least one element the identity element.

More information