Part II Permutations, Cosets and Direct Product

Similar documents
INTRODUCTION TO THE GROUP THEORY

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

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

Theorems and Definitions in Group Theory

MA441: Algebraic Structures I. Lecture 14

0 Sets and Induction. Sets

Group Theory. Hwan Yup Jung. Department of Mathematics Education, Chungbuk National University

Section 13 Homomorphisms

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

Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations

SCHOOL OF DISTANCE EDUCATION

First Semester Abstract Algebra for Undergraduates

MATH 420 FINAL EXAM J. Beachy, 5/7/97

Introduction to Groups

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Answers to Final Exam

Lecture 3. Theorem 1: D 6

Homomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G.

Name: Solutions - AI FINAL EXAM

Quiz 2 Practice Problems

Mathematics 331 Solutions to Some Review Problems for Exam a = c = 3 2 1

What is a semigroup? What is a group? What is the difference between a semigroup and a group?

SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.

Math 3140 Fall 2012 Assignment #3

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

Teddy Einstein Math 4320

Groups and Symmetries

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

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

MA441: Algebraic Structures I. Lecture 26

Solutions for Assignment 4 Math 402

Course 311: Abstract Algebra Academic year

A First Course in Group Theory. Aditi Kar

Math 581 Problem Set 8 Solutions

Lecture Note of Week 2

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis

MODEL ANSWERS TO HWK #4. ϕ(ab) = [ab] = [a][b]

MODEL ANSWERS TO THE FIFTH HOMEWORK

120A LECTURE OUTLINES

Isomorphisms. 0 a 1, 1 a 3, 2 a 9, 3 a 7

Cosets and Normal Subgroups

Homework #11 Solutions

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

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 546, Exam 2 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.

John B. Fraleigh, A first course in Abstract Algebra, 5th edition, Addison-Wesley.

Solution Outlines for Chapter 6

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

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

Group Actions Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying:

Higher Algebra Lecture Notes

2MA105 Algebraic Structures I

Some practice problems for midterm 2

MA441: Algebraic Structures I. Lecture 15

17 More Groups, Lagrange s Theorem and Direct Products

Foundations Revision Notes

The Symmetric Groups

Algebra I: Final 2018 June 20, 2018

Quizzes for Math 401

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

Group Theory

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

INTRODUCTION GROUP THEORY

Cosets, factor groups, direct products, homomorphisms, isomorphisms

The following results are from the review sheet for the midterm.

Cosets. gh = {gh h H}. Hg = {hg h H}.

Basic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed.

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.

Algebra I: Final 2015 June 24, 2015

Your Name MATH 435, EXAM #1

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

5 Group theory. 5.1 Binary operations

Algebra homework 6 Homomorphisms, isomorphisms

Algebraic Structures Exam File Fall 2013 Exam #1

SF2729 GROUPS AND RINGS LECTURE NOTES

MATH3711 Lecture Notes

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

Geometric Transformations and Wallpaper Groups

A. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that

Math 121 Homework 3 Solutions

Abstract Algebra II Groups ( )

3.8 Cosets, Normal Subgroups, and Factor Groups

The Gordon game. EWU Digital Commons. Eastern Washington University. Anthony Frenk Eastern Washington University

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson

Of course, we can do the same thing for a homomorphism ϕ : G G between groups. In this case, the maps q, f will then be homomorphisms

Section 18 Rings and fields

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

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

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

Section 15 Factor-group computation and simple groups

Reducibility of Polynomials over Finite Fields

CS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a

MA441: Algebraic Structures I. Lecture 18

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

Section III.15. Factor-Group Computations and Simple Groups

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall

Exercises on chapter 1

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

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

Transcription:

Part II Permutations, Cosets and Direct Product Satya Mandal University of Kansas, Lawrence KS 66045 USA January 22 8 Permutations Definition 8.1. Let A be a set. 1. A a permuation of A is defined to be a bijective map ϕ : A A. (Usually, we work with permutations of finite sets A.) 2. Let S(A) denote the set of permuations of A. 3. The composition, defines a binary operation on S(A) as follows: It is obvious that σ,τ S(A) define τσ(x) = τ(σ(x)) x A. τ,σ S(A) = τσ S(A) So, S(A) is closed under composition. Further, as always, composition is associative. 1

The identity map Id A : A A given by Id A (x) = x x A, is the identity for the composition operation. Also, a bijectiion σ S(A) has an inverse σ 1 S(A), defined by σ 1 (y) = x if σ(x) = y. So, S(A) is a group under composition. 4. If A is a finite set with n elements, we can take A = {1,2,...,n}. 5. The the group of permutations of A = {1,2,...,n} is denoted by S n. It is called the symmetric group on n letters. NoteS n hasn! elements. Example 8.2. Read examples 8.7 and 8.8. Example 8.7 gives the multiplication table for S 3. Note S 3 has 3! = 6 elements. Read about dihedral groups. You and I would write down all six elements of S 3 on the board. Definition 8.3. For a positive integer n 2, the Dihedral group D n is defined to be the group of symmetries of an regular n gon. By a symmetry, we mean rotation and reflection. 1. So, D 3 is the dihedral group of an equilateral triangle. In fact, D 3 S 3. 2. So, D 4 is the dihedral group of square. For a square, four rotations (0,π/2,π,3π/2) are possible. With four reflections of the four, we get total of 8 elements. So, D 4 = 8. Each element ρ D 4 corresponds to a permuation in S 4. In fact, D 4 S 4. Like homomorphisms of binary structures, we define homomorphisms of groups. Definition 8.4. Suppose ϕ : G G be a mapping from a group G to another group G. 2

1. We say, ϕ is a homomorphism if ϕ(xy) = ϕ(x)ϕ(y) for all x, y G. 2. Given a subgroup H of G, the image of H under ϕ is defined to be ϕ(h) := {ϕ(x) : x H} Lemma 8.5. Suppose ϕ : G G is a homomorphism of groups. Assume ϕ is injective. Then the image ϕ(g) is a subgroup of G and ϕ induces an isomorphism between G and ϕ(g). Proof. We do not have to check associativity. Suppose x,y ϕ(g). Then x = ϕ(a),y = ϕ(b) for some a,b G. So, xy = ϕ(a) = ϕ(ab) ϕ(g). So, ϕ(g) is closed under multiplication. Let e G denote the identity in G. We calaim: ϕ(e) = e. Because ϕ(e) = ϕ(ee) = ϕ(e)ϕ(e). So, e = (ϕ(e) 1 (ϕ(e)ϕ(e)) = ϕ(e). So, it is established that e = ϕ(e). Therefore e ϕ(g). Given x ϕ(g), x = ϕ(a) for some a G. So, xϕ(a 1 ) = ϕ(a)ϕ(a 1 ) = ϕ(aa 1 ) = ϕ((e0 = e. Similarly, ϕ(a 1 )x = e. So inverse of x is ϕ(a 1 ) ϕ(g). This establishes that ϕ(g) is subgroup of G. Let f : G ϕ(g) be the mapping induced by ϕ. Clearly, it is onto and it is also one to one. So, f is bijective. So, G is isomorphic to ϕ(g). The proof is complete. Now, we will prove any group is isomorphic to a group of permutations. Theorem 8.6 (Cayley s Theorem). LetGbe a group. Then, G is isomorphic to a group of permutations. Proof. Let S(G) denote the group of permutations of G. Given an element a G define a mapping L a : G G by L a (x) = ax x G. (We use notation L a for left multiplication by a.) It is easy to see L a is a bijection. Hence L a S(G). Define ϕ : G S(G) a G define ϕ(a) = L a 3

It is easy to see that ϕ(ab) = ϕ(a)ϕ(b). So, ϕ is a a group homomorphism. Now we calim that ϕ is one to one. Suppose ϕ(a) = ϕ(b). So, L a = L b. So, a = L a (e) = L b (e) = b. So, ϕ is injective. The theorem is established by lemma 8.5. The proof is complete. Remark. In this proof, we could have tried to use right multiplication R a : G G, defined by R a (x) = xa. We define ψ : G S(G) by ψ(a) = R a Then, for x G, we have ψ(ab)(x) = R ab (x) = x(ab) = (xa)b = R b (R a (x)) = ψ(b)ψ(a)(x) So, ψ(ab) = ψ(b)ψ(a). Reading Assignment: Read Example 8.17. 4

9 Orbits, Cycles, the Altrnating group 9.1 Orbits Definition 9.1. Let A be a set and σ be a (fixed) parmutation on A. We define an equivalence relation on A as follows: for a,b A define a b if b = σ n (a) for some n Z. Then, (1) a a a A. So is reflexive. (2) If a b then b = σ n (a). So, a = σ n (b). So, b a. This means is symmetric. (3) In fact, σ is also transitive. To see this let a b c. Then b = σ n (a) and c = σ m (b) for some m,n Z. Hence c = σ m+n (a). So, a c. Therefore, is an equivalence relation. 1. An equivalence class of this relation is called an orbit of σ. 2. For a A the orbit of a is given by a = {σ n (a) : r Z}. If a is finite, with r elements, then a = {σ 0 (a),σ 1 (a),σ 2 (a),...,σ r 1 (a)}. 3. For example, the identity permutation ι of A, each orbit has one element. 4. Example 9.2 (9.3). Find the orbits of the permutation ( ) 1 2 3 4 5 6 7 8 3 8 6 7 4 1 5 2 Solution: 1 3 6 1, 2 8 2, 4 7 5 4 5

9.2 Cycles Now we assume A = {1,2,...,n}. As mentioned before, the groups of all its permutations is the symmetric group S n. Definition 9.3. Let r 1,r 2,...r k be k distinct elements in A = {1,2,...,n}. The notation (r 1,r 2,...r k ) denotes a permutationσ S n defined as follows: { σ(r 1 ) = r 2,σ(r 2 ) = r 3,...,σ(r k 1 ) = r k,σ(r k ) = r 1, In particular, σ(r) = r r r i Definition 9.4. Let σ S n. 2 i k r i = σ i 1 (r 1 ) and σ k = I A. 1. We say σ is a cycle, if it has at most one orbit with more than one element. 2. Also, define length of a cycle to be the number of elements in the largest cycle. 3. Suppose σ S n is a cycle, with length k. (a) Fix any a in the largest orbit of σ. Then this largest orbit is a = {σ 0 (a),σ 1 (a),σ 2 (a),...,σ k 1 (a)}. (b) Since σ has only one orbit of length more than 1, σ(r) = r for r σ i (a). (c) We conclude σ = ( σ 0 (a),σ 1 (a),σ 2 (a),...,σ r 1 (a) ) So, any cycle can be described in this form. 6

Reading Assignment:Examples 9.7 Theorem 9.5. Let σ S n. Then σ = σ 1 σ 2 σ t is a product of disjoint cycles σ i. Proof. Let B 1,B 2,...,B r be the orbits of σ. Define cycles σ i as follows: { σ(x) if x Bi σ i (x) = x otherwise Clearly, σ = σ 1 σ 2 σ r. They are disjoint too. The proof is complete. Example 9.6 (9.9). Find the orbits of the permutation ( ) 1 2 3 4 5 6 σ = 6 5 2 4 3 1 Write σ as product of cycles. Example 9.7 (9.10). Compute (1,4,5,6)(2,1,5) and (2,1,5)(1,4,5,6) 9.3 Even and odd Permutations Definition 9.8. A cycle of length two is called a transposition. So, σ = (1,2) S n is a transposition. It maps 1 2, 2 1 and r r r 3. Lemma 9.9. Any cycle is a product of transpositions. 7

Proof. We have It goes as follows: 1. 1 2 2. 2 1 3 3. 3 1 4 4. so on. The proof is complete. (1,2,...,r) = (1,n)(1,n 1) (1,3)(1,2) Corollary 9.10. Any permutation σ S n is product of transpostions. Proof. σ is product of cycles and each cycle is product of transpostions. The proof is complete. Theorem 9.11. Let σ S n. Then, σ can be written as product of either even number of transpositions or odd number of transpositions, not both. Proof. (This proof seems cheating.) Let C be the matrix obtained by applying σ to the rows of the identity matrix. If σ is product of even number of transpositions, then detc = 1. If σ is product of odd number of transpositions, then detc = 1. So, it cannot be both. The proof is complete. Definition 9.12. Let σ S n. We say σ is an even permutation, if it is product of even number of transpositions. We say σ is an odd permutation, if it is product of odd number of transpositions. 8

9.4 Alternating Groups Proposition 9.13. Let A n = {σ S n : σ is an even permutation} and B n = {σ S n : σ is an odd permutation}. Then, A n and B n have same number of elements. Proof. We define a map λ : A n B n by λ(σ) = (1,2)σ Define µ : B n A n by λ(σ) = (1,2)σ Then, µλ(σ) = (1,2)(1,2)σ = σ. So, µλ = ID. Similarly, λµ = ID. So, λ is bijective. The proof is complete. Theorem 9.14. A n is a subgroup of S n. The order of A n is n!/2. Proof. A n is closed under composition. The identity ι = (1,2)(2,1) A n. The inverse of an even permutation is even. So, A n is a subgroup. Also, S n = A n B n, A n B n = φ and A n,b n have same number of elements. So, order of A n is n!/2. The proof is complete. Definition 9.15. A n is called the Alternating group on n objects. 9

10 Coset and order of subgroups Abstract For (finite) groups H G, we will provide a partition of G and prove the order of H divides order of G. 10.1 Cosets Theorem 10.1. Let G be a group and H be a subgroup of G. Define relations L and R as follows: a,b G define a L b if a 1 b H and a,b G define a R b if ab 1 H. Then, L and R are equivalence relations on G. Proof. We only show R is an equivalence relations on G (other one left as exercise). 1. (Reflexive:) a G, aa 1 = e H. So, a R a. So, R is reflexive. 2. (Symmetric:) For a,b G we have a R b = ab 1 H = (ab 1 ) 1 H = ba 1 H = b R a. So, R is symmetric. 3. (Transitive:) For a,b,c G we have a R b R c = ab 1,bc 1 H = ac 1 = (ab 1 )(bc 1 ) H = a R c. So, R is transitive. 10

So, R is an equivalence relation. Now we compute the equivalence classes (the cells) for L and R. 1. For a G define { Ha = {xa : x H} called the right coset of a ah = {ax : x H} called the left coset of a 2. The map f : H Ha defined by f(x) = xa is bijective. Similalry, g : H ah defined by g(x) = ax is bijective. So, H, Ha, ah have same cardinality. Notationally, H = Ha = ah 3. If G is abelian then Ha = ah for all a G. Lemma 10.2. For the relation R, the equivalence class of a G is the right coset Ha. For the relation L, the equivalence class of a G is the left coset ah. Proof. We will give a proof only for R and the other one is left as an exercise. Let a denote the equivlence class of a, for the relation R. Now, x a x R a xa 1 H x Ha. So, a = Ha. The proof is complete. It follows from properties of equivalence classes that the left cosets (respectively right cosets) partitions G. This means G = ah and a,b G either (ah = bh or ah bh = φ). a G Theorem 10.3 (Theorem of Lagrange). Let G be a finite group and H be subgroup of G. Then, the order of H divides the order of G. Proof. Let r be the number of left cosets of H. Let m = H,n = G. Then m = ah for all a G. Since the left cosets partions G we have G = H r = mr. The proof is complete. 11

Corollary 10.4. Suppose G is a group of prime order. Then G is cyclic. Proof. Let a G and a e. Then, H = a is subgroup of order at least two. Since H divides G, we have G = H. So, G = H = a is cyclic. The proof is complete. Corollary 10.5. SupposeGis a group of prime orderp. ThenG Z p. Proof. First G = a is cyclic. We showed before, the map ϕ : Z p G r a r is an isomprphism. The proof is complete. Definition 10.6. Let G be a group and a G. Then the order of a is defined to be the order of the cyclic group a. Order of a is denoted by o(a). So, o(a) := a. In fact, o(a) = min{n > 0 : a n = 1} Corollary 10.7. Let G be a finite group and a G. The order of a divides the order of G. Proof. Trivial. Here is an important number. Definition 10.8. Let G be a finite group and H be a subgroup of G. The number of left cosets of H in G is defined to be the index of H in G. The index of H in G, is denoted by (G : H). So, (G : H) = G H. Note this this is also the number of right cosets of H. 12

Theorem 10.9. Let G be a finite group and H,K are subgroup of G. Assume K H G. Then Proof. We have (G : K) = (G : H)(H : K). (G : K) = G G H, (G : H) =, and (H : K) = K H K The proof is complete. 13

11 Direct Product Direct product could be defined in any category. Here we do it in the category of groups. Definition 11.1. We define direct product of groups. 1. Let G 1 and G 2 be two groups. We define a binary product on G 1 G 2 as follows: (a 1,a 2 ),(b 1,b 2 ) G 1 G 2 define (a 1,a 2 ) (b 1,b 2 ) := (a 1 b 1,a 2 b 2 ) Then, (G 1 G 2, ) is a group, to be called the direct product of G 1 and G 2. Here (a) e = (e 1,e 2 ) G 1 G 2 is the identity of this product, where e i is the identity of G i. (b) Also (a 1,a 2 ) 1 = ( a 1 ) 1,a 1 2. 2. More generally, let G 1,G 2,...,G n be finitely many groups. Define a binary product on the cartesian product G 1 G 2 G n as follows (a 1,a 2,...,a n ),(b 1,b 2,...,b n ) G 1 G 2 G n define (a 1,a 2...,a n ) (b 1,b 2...,b n ) := (a 1 b 1,a 2 b 2,...,a n b n ) Then, (G 1 G 2 G n, ) is a group, to be called the direct product of G 1,G 2,...,G n. Here (a) e = (e 1,e 2,...,e n ) G 1 G 2 G n is the identity of this product, where e i is the identity of G i. (b) Also (a 1,a 2,...,a n ) 1 = ( a 1 1,a 1 2...,a 1 ) n. 3. The direct product of G 1,G 2,...,G n is also denoted by Proof. Trivial. n G i OR G 1 G 2 G n i=1 14

Example 11.2. 1. Z 2 Z 3 is a cyclic group. (see 11.3) 2. Z 3 Z 3 is not cyclic. (see 11.4) Theorem 11.3. The group Z m Z n is cyclic if and only if m and n are relatively prime. Proof. First, note that the order Z m Z n = mn. ( ): Assume m and n are relatively prime. Write o(1, 1) = k. (Here, we use additive notation, unlike our default product notation.) So k(1,1) = (0,0). or (k,k) = (0,0) [Recall, by notation k(1,1) = (1,1)+ +(1,1).] So, k = 0 in Z m and k = 0 in Z n. So, k is divisible by m and n. Since, m,n are relatively prime, it follows mn divides k. Since k = o(1,1) mn = Z m Z n it follows that k = mn. Therefore, (1,1) = Z m Z n. So, it is established that Z m Z n cyclic, and is generated by (1,1). Since Z m Z n is cyclic of order mn, it is isomorphic to Z mn. This completes the proof of ( ). ( ): Now assume that Z m Z n is cyclic. Write gcd(m,n) = d. We need to prove d = 1. Let u = mn d. Both m and n divide u. So, a = (r,s) Z m Z n = ua = (ur,us) = (0,0). So, a Z m Z n we have o(a) u. Since Z m Z n = x is cyclic, its generator x has order mn. So, o(x) = mn u = mn d. So, d = 1. The proof is complete. Inductively, it follows Corollary 11.4. n i=1 Z m i is cyclic if and only if the integersm 1,m 2,...,m n are pair wise relatively prime. 15

Example 11.5 (11.7). Let n = p n 1 1 pn 2 2 pnr r, where p i are distinct primes. Then, Z n = r i=1 Z p n i i Exercise 11.6. Find the order of (8,4,10) in Z 12 Z 60 Z 24. (see 11.10) Answer is the lcm of the order of these three. 11.1 Extra We discusss some properties direct product, which applies to other categories. Lemma 11.7. Let G 1,G 2 be two groups. 1. Then, the projections { π1 : G 1 G 2 G 1 sending (g 1,g 2 ) g 1 π 2 : G 1 G 2 G 2 sending (g 1,g 2 ) g 2 are group homomorphisms. 2. Also, the maps { ι1 : G 1 G 1 G 2 sending g (g,e 2 ) ι 2 : G 2 G 1 G 2 sending g (e 1,g) are injective group homomorphism. More Generally: Example 11.8. Suppose G 1,G 2,...,G n are groups. 1. Prove the projection map π i : G 1 G 2 G n G i sending (g 1,g 2,,g n ) g i is a group homomorphism. 16

2. Consider the map ι i : G i : G 1 G 2 G n sending g (e 1,e 2,...,g,...e n ) where g is at the i th coordinate. Prove ι i is an injective homomorphism. Proof. 1. Let x = (g 1,g 2,...,g n ),y = (h 1,h 2,...,h n ) be in G i : G 1 G 2 G n. Then π i (xy) = π(g 1 h 1,g 2 h 2,...,g n h n ) = g i h i = π(x)π(y). So, by definition, π is a homomorphism. 2. Let g,h G i. Then ι i (gh) = ((e 1,e 2,...,gh,...e n ) = (e 1,e 2,,g,...e n )(e 1,e 2,,h,...e n ) = ι(g)ι(h). So, by definition, ι is a homomorphism. To prove injectivity, let ι i (g) = ι(h). Then, (e 1,e 2,,g,...e n ) = (e 1,e 2,,h,...e n ) So, g = h. The proof is complete. The direct product has the following "universal property": Lemma 11.9. Let G 1,G 2 and H be groups. For i = 1,2, let For i = 1,2 { πi : G 1 G 2 G i be the projections p i : H G i any two group homomorphims Then, there is a a unique group homomorphims : H G 1 G 2 such that π 1 = p 1 and π 2 = p 2. Diagramtically: H p 1! p 2 G 1 G 2 π1 G 2 π 2 G 1 commutes. 17

11.2 Structure of finitely generate abelian groups Usually, theory of abelian groups is easier than that of non-commutative groups. We can say more about abelian groups. Theorem 11.10 (Fundamental Theorem of Abelian Groups). Let G be a finitely generated abelian groups. Then G is isomorphis to the product of cyclic groups: Z p n 1 1 Z p n 2 2 Z p nr r Z Z Z wherep i are prime numbers, not necessarily distinct andn i are positive integers. Proof. Omitted. 18

12 Plane Isometries We skip. 19