Consider the following general situation: let G and H be two sets (not. G H = f(g; h)j g 2 G; h 2 Hg:

Similar documents
group homomorphism if for every a; b 2 G we have Notice that the operation on the left is occurring in G 1 while the operation

Section 11 Direct products and finitely generated abelian groups

0 Sets and Induction. Sets

Homework #5 Solutions

We have seen the two pieces of the folowing result earlier in the course. Make sure that you understand this. Try proving this right now

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

S11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES

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

Math 430 Exam 2, Fall 2008

( ) 3 = ab 3 a!1. ( ) 3 = aba!1 a ( ) = 4 " 5 3 " 4 = ( )! 2 3 ( ) =! 5 4. Math 546 Problem Set 15

HOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS

Abstract algebra is the study of structures that certain collections of. 204, linear algebra, or in CS 221, discrete structures.

i) G is a set and that is a binary operation on G (i.e., G is closed iii) there exists e 2 G such that a e = e a = a for all a 2 G (i.e.

MA441: Algebraic Structures I. Lecture 18

LECTURE NOTES IN CRYPTOGRAPHY

Direction: You are required to complete this test within 50 minutes. Please make sure that you have all the 10 pages. GOOD LUCK!

Introduction to finite fields

FINITE ABELIAN GROUPS Amin Witno

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.

76 CHAPTER 7. INTRODUCTION TO FINITE FIELDS For further reading on this beautiful subject, see [E. R. Berlekamp, Algebraic Coding Theory, Aegean Press

Section 10: Counting the Elements of a Finite Group

Math 581 Problem Set 7 Solutions

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

MATH EXAMPLES: GROUPS, SUBGROUPS, COSETS

Math 451, 01, Exam #2 Answer Key

HOMEWORK Graduate Abstract Algebra I May 2, 2004

2 More on Congruences

Abstract Algebra FINAL EXAM May 23, Name: R. Hammack Score:

Cyclic Group Supplement. g = g k : k Z.

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS

120A LECTURE OUTLINES

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Number Theory Solutions Packet

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3

MATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4

CONSTRUCTING MULTIPLICATIVE GROUPS MODULO N WITH IDENTITY DIFFERENT FROM ONE

Homework 6 Solutions to Selected Problems

Converse to Lagrange s Theorem Groups

Name: Solutions - AI FINAL EXAM

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

Algebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists.

Math 375 First Exam, Page a) Give an example of a non-abelian group of innite order and one of nite order. (Say which is

6 Cosets & Factor Groups

Cosets and Lagrange s theorem

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

Math Exam 1 Solutions October 12, 2010

2MA105 Algebraic Structures I

Section II.2. Finitely Generated Abelian Groups

Math 546, Exam 2 Information.

Name: Solutions Final Exam

Name: Solutions Final Exam

Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG)

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

Part IV. Rings and Fields

REMARKS 7.6: Let G be a finite group of order n. Then Lagrange's theorem shows that the order of every subgroup of G divides n; equivalently, if k is

A Crash Course in Central Simple Algebras

Groups and Symmetries

Kevin James. MTHSC 412 Section 3.4 Cyclic Groups

5 Group theory. 5.1 Binary operations

Ma/CS 6a Class 19: Group Isomorphisms

Section VI.33. Finite Fields

cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska

Mathematics for Cryptography

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

MAT1100HF ALGEBRA: ASSIGNMENT II. Contents 1. Problem Problem Problem Problem Problem Problem

Extra exercises for algebra

Abstract Algebra II Groups ( )

3.3 Equivalence Relations and Partitions on Groups

4 Powers of an Element; Cyclic Groups

GALOIS THEORY I (Supplement to Chapter 4)

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

MA554 Assessment 1 Cosets and Lagrange s theorem

Stab(t) = {h G h t = t} = {h G h (g s) = g s} = {h G (g 1 hg) s = s} = g{k G k s = s} g 1 = g Stab(s)g 1.

Basic elements of number theory

Basic elements of number theory

Wilson s Theorem and Fermat s Little Theorem

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

Math 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours

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

The primitive root theorem

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

Homework #11 Solutions

Supplementary Notes: Simple Groups and Composition Series

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

17 More Groups, Lagrange s Theorem and Direct Products

CYCLICITY OF (Z/(p))

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

FROM GROUPS TO GALOIS Amin Witno

The Symmetric Groups

17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8


0.2 Vector spaces. J.A.Beachy 1

Teddy Einstein Math 4320

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

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

Section II.1. Free Abelian Groups

3. G. Groups, as men, will be known by their actions. - Guillermo Moreno

Groups in Cryptography. Çetin Kaya Koç Winter / 13

Number Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S.

Transcription:

Math 375 Week 8 1.1 (External) Direct Products Consider the following general situation: let G and H be two sets (not necessarily distinct). Consider the set of pairs G H = f(g; h)j g 2 G; h 2 Hg: This set is usually called the (external) direct product of G and H. A familiar example is R R which we usually write as R 2. When both G and H are groups, there is a natural way to add or multiply elements of such a set together: simply add or multiply componentwise, just as we doinr 2. (g 1 ;h 1 )(g 2 ;h 2 )=(g 1 g 2 ;h 1 h 2 ) where the rst product is computed in G and the second in H. Notice that this is a binary operation on G H. THEOREM 0 G H is a group using the operation above and is usually denoted by G H. PROOF (i) Closure: Given (g 1 ;h 1 ); (g 2 ;h 2 ) 2 G H, (ii) Associativity: (g 1 ;h 1 )(g 2 ;h 2 )=(g 1 g 2 ;h 1 h 2 ) 2 G H: ((g 1 ;h 1 )(g 2 ;h 2 ))(g 3 ;h 3 )=(g 1 g 2 ;h 1 h 2 )(g 3 ;h 3 ) =((g 1 g 2 )g 3 ; (h 1 h 2 )h 3 ) =(g 1 (g 2 g 3 );h 1 (h 2 h 3 )) =(g 1 ;h 1 )(g 2 g 3 ;h 2 h 3 ) =(g 1 ;h 1 )((g 2 ;h 2 )(g 3 ;h 3 )) (iii) Identity: If e G and e H are the identities of G and H then (e G ;e H ) is the identity of G H. (iv) The inverse of (g; h) is(g,1 ;h,1 ) since everything takes place componentwise. 1

2 This same construction process can be carried out with n groups where n is any positive integer. (In fact, it is even possible to do this with an innite number of groups.) Given groups G 1 ;:::; G n we can create the direct product G 1 G 2 G n = f(g 1 ;g 2 ;:::;g n )j g i 2 G i g: EXAMPLE 0 SOLUTION Again the group operation is dened componentwise. For the most part we will concentrate on products of two groups. Consider Z 4 Z 6. Find jz 4 Z 6 j. Determine < (2; 2) > and its order. Find,(1; 3). Are (1; 3) and (3; 1) in the same coset of < 2; 2 >? Since there are 4 choice for the rst component and 6 for the second, Find jz 4 Z 6 j = 24. Next, < (2; 2) >= f(0:0); (2; 2); (0; 4); (2; 0); (0; 2); (2; 4)g: EXAMPLE 1 SOLUTION The inverse of (1; 3) is (3; 3). Now(1; 3) and (3; 1) are in the same coset of < (2; 2) > if and only if,(1; 3)+(3; 1) = (3; 3)+(3; 1) = (2; 4) 2< 2; 2 >. Yes. Consider U(9) Z 9. Find its order. Find (2; 2),1. Find < 4; 6 >. Are (2; 2) and (3; 3) in the same coset of < 4; 6 >? Since there are 6 choice for the rst component and 9 for the second, Find jz 4 Z 6 j = 54. Next, (2; 2),1 =(5; 7) since (2; 2)(5; 7) = (1; 0). < (4; 6) >= f(0:0); (4; 6); (7; 3); (1; 0)g: Now (2; 2) and (3; 3) are in the same coset of < (4; 6) > if and only if (2; 2),1 (3; 3) = (5; 7)(3; 1)=(6; 8) 2< (4; 6) >. No. EXAMPLE a) The most familiar example is if we let G = H =(R; +). Then G H = R R which yields the addditive part of the ordinary vector space R 2. By taking the product of n factors or copies of R we can obtain (R n ; +) the additive group of n-tuples of real numbers. b) Z 2 S 3. Its order is 12, the product of the number of elements in Z 2 with the number of elemnents in D 3. What are these elements? LEMMA 1 For any groups G and H, n jg Hj = jgjjhj if both jgj and jhj are nite. 1 otherwise.

1.1 (External) Direct Products 3 SOLUTION In the nite case, we have jgj choices for the rst component and jhj choices for the second. Therefore jg Hj = jgjjhj; EXAMPLE 3 that is, the order of a product is the product of the orders. The innite case is obvious. It is not the case that the product of cyclic groups is always cyclic. Consider Z 3 Z 3.If(a; b) 2 Z 3 Z 3 then (a; b)+(a; b)+(a; b)=(3a; 3b)=(0; 0) = e: LEMMA 2 PROOF Of course this means that ja; bj j3. But jz 3 Z 3 j =3 3 = 9, so no element ofz 3 Z 3 is a generator even though Z 3 is cyclic. G H is abelian if and only if G and H are both abelian. We have G and H abelian EXAMPLE 4 () g1 g 2 = g 2 g 1 8g 1 ;g 2 2 G h 1 h 2 = h 2 h 1 8h 1 ;h 2 2 H () (g 1 g 2 ;h 1 h 2 )=(g 2 g 1 ;h 2 h 1 ) 8g 1 ;g 2 2 G; 8h 1 ;h 2 2 H () (g 1 ;h 1 )(g 2 ;h 2 )=(g 2 ;h 2 )(g 1 ;h 1 ) 8(g 1 ;h 1 ); (g 2 ;h 2 ) 82G H () G H abelian D 3 Z 3 is a non-abelian of order 18. So now you can construct lots of non-abelian groups by using products where one of the factors is D n, S n, Q 8,orGL(n) where n>1. For example, give me a non-abelian group of order 16. Let's turn to the cyclic question. Notice that (1; 1) in Z 2 Z 3 has order 6 (by direct observation). So Z 2 Z 3 is cyclic. But Z 3 Z 3 was not. Why? In the rst case the powers of the individual generators did not interfere with one another while they did in the second case. What we need is a good way to compute the order of an element (g; h) ofa product group via the orders of g and h. THEOREM 3 Let g 2 G and h 2 H. If jgj and jhj are both nite, then j(g; h)j = lcm(jgj; jhj) in G H. PROOF This proof is very similar in spirit to the proof that the order of a product of disjoint cycles in S n was the lcm of their orders. Let m = jgj and n = jhj and let lcm(m; n) =L. Then there are integers k; j so that km = L and jn = L. Notice that (g; h) L =(g L ;h L )=((g m ) k ; (h n ) j )=(e G ;e H )=e;

4 so j(g; h)j jl. On the other hand if j(g; h)j = p, then (g; h) p = e so (g p ;h p )=(e G ;e H ) which means that jgj jp and jhj jp. But L is the smallest integer that is divisible by both jgj and jhj. Therefore L p so j(g; h)j = L. EXAMPLE a) Use the formula to check the orders of (2; 2) in Z 4 Z 6 and (4; 6) in U(9) Z 9 that were calculated earlier. Find the order of (5,6) in Z 6 Z 24. (Answer: 12) b) Find the order of (J;r 30 ) 2 Q 8 D 12. (Answer: 12) COROLLARY 4 Let G and H be cyclic groups of nite orders m and n. G H is cyclic if and only if (m; n)=1. PROOF Let gcd(m; n) =d. Then m = ad and n = bd and we have seen that lcm(m; n) =abd. Notice that mn = abd 2.So mn = lcm(m; n) () abd 2 = abd () d =1 () gcd(m; n) =1: Now let G =< g>and H =< h>. Then jgj = m and jhj = n and jg Hj = mn. So jg Hj = j(g; h)j () mn = lcm(m; n) () gcd(m; n)=1: COROLLARY 5 Let Z m Z n = Zmn () gcd(m; n) =1. EXAMPLE 6 EXAMPLE 7 What is the smallest value of n (greater than 1) that makes Z 30 Z n cyclic? Show that Z Z is not cyclic. SOLUTION Assume that it is, and that it is generated by (m; n). Notice that m 6= 0, else all the multiples of (m; n) =(0;n)would look like (0;kn), which is clearly not all of Z Z. Similarly n 6= 0. Now(1; 0) 2 Z =< (m; n) > so there must be some k 2 Z so that But then k(m; n)=(1; 0): (km; kn)=(1; 0) () n km =1 kn =0 () n k 6= 0 k =0 : Contradiction

1.2 Finite Abelian Groups 5 EXAMPLE 8 Of course product groups can have subgroups. For example in Z Z we have such subgroups as 2Z 3Z (show this?) or f(k; k)j k 2 Zg. You can show that if A is a subgroup of G and B is a subgroup of H, then A B is a subgroup of G H. But not all subgroups of products are products of subgroups as the example f(k; k)j k 2 Zg shows. 1.2 Finite Abelian Groups Much eort has been spent on classifying nite groups of all types (abelian and non-abelian). I strongly encourage you to read pages 355{ 357 in your text which proles three living mathematicians who were crucial to solving a certain part of the classication problem. The classication scheme for nite abelian groups has been known for a long time, and you are now in a position to understand it. Here's a simple example of the sort of problem that I am referring to. Suppose that G = U(36), the group of units mod 36. With a bit of eort, you can show that ju(36)j = 12. Of course the group is abelian. Is it isomorphic to a more familiar group? It turns out to be isomorphic to Z 2 Z 6, which is a much \simpler" group to understand. How do I know that these groups are isomorphic? Well,:::that takes some work. The classication scheme for nite abelian groups uses the Fundamental Theorem of Arithmetic. Recall that any positiive integer n 2 can be factored uniquely into a product of primes. For example 200 = 2 3 5 2 48 = 2 4 3 300 = 2 2 3 5 2 We'll see that there's a similar theorem that shows we can \factor" nite abelian groups into porducts of cyclic groups whose orders are powers of primes. Of course we know all about these latter groups. There is one dierence in the factorization process, however. Let's take 16 as an example. Using the Fundamental Theorem of Arithmetic, we would simply write 16 = 2 4 : However, when classifying abelian groups of order 16, we know that the following ve groups are not isomorphic (why?):

6 Z 16 = Z 2 4 Z 8 Z 2 = Z 2 3 Z 2 Z 4 Z 4 = Z 2 2 Z 2 2 Z 4 Z 2 Z 2 = Z 2 2 Z 2 Z 2 Z 2 Z 2 Z 2 Z 2 = Z 2 Z 2 Z 2 Z 2 It turns out that if G is abelian and its order is 16, then it must be isomorphic to one of the ve groups listed above. Notice that the list above has been arrived at in the most mechanical of ways. Since 16 = 2 4,wehave paritioned 4 into a sum of positive integers in as many ways as possible (disregarding order) on the right hand of each equality above. That is, 4 = 4 = 3+1 = 2+2 = 2+1+1 = 1 + 1 + 1 + 1. In a similar fashion we can nd all possible partitions of 5. 5 = 4+1 = 3+2 = 3+1+1 = 2+2+1 = 2+1+1+1 = 1+1+1+1+1: We are now ready to state: THEOREM 6 (The Fundamental Theorem of Finite Abelian Groups) Let G be a nite abelian group of order jgj > 1. Then G is isomorphic to the direct product of nitely many cyclic groups of prime power order. The prime powers that occur as orders of the factors are uniquely determined by G. In particular, G = Z p n 1 1 Z p n 2 2 Z p nk k ; where the p's are primes such that jgj = p n 1 1 p n 2 2 pn 3 3. Note the p i need not be distinct primes. PROOF EXAMPLE 9 EXAMPLE 10 SOLUTION The proof is quite long and in Chapter 12. For now I want to concentrate on how to use the theorem. What group is V 4, the Klein Four-Group? We know it is abelian and of order 4. Since 4 = 2 2 =2 1 2 1, then by the Fundametal Theorem above, V 4 is either Z 2 2 = Z 4 or Z 2 Z 2. But we know that g 2 = e for all elements in V 4.SoV 4 has no element of order 4. Therefore it cannot be cyclic. So V 4 is isomorphic to Z 2 Z 2. Classify all abelian groups of order less than 20. I will get you started. We will use the fundamental theorem above and the partitions of the factorizations of the various orders. First notice that if p is prime, then

1.2 Finite Abelian Groups 7 an abelian group of prime order must be isomorphic to Z p. The Fundamental Theorem allows for no other possiblity. This takes care of abelian groups of orders: 2, 3, 5, 7, 11, 13, 17, 19 jgj =4=2 2 =2 1 2 1 ) G = Z4 Z 2 Z 2 jgj =6=2 3 ) G = Z 2 Z 3 = Z6 jgj =8=2 3 =2 2 2 1 =2 2 2 ) G = jgj =9=3 2 =3 1 3 1 ) G = Z9 Z 3 Z 3 ( Z8 Z 4 Z 2 Z 2 Z 2 Z 2 jgj =10=25 ) G = Z 2 Z 5 = Z10 jgj =12=2 2 3=223 ) G Z4 Z = 3 = Z12 Z 2 Z 2 Z 3 = Z 2 Z 6 Fill in the rest up to order 20. EXAMPLE 11 Let's return to the U(36) example. Since it has 12 elements and is abelian, it is isomorphic to either Z 4 Z 3 or Z 2 Z 6. Now Z 4 Z 3 is cyclic and of order 12 so it is isomorphic to Z 12.From Marc's U(n) program, U(36) is not cyclic, so it must be isomorphic to Z 2 Z 6. (As acheck: Note that U(n) has six elements of order 6: 5, 7, 11, 23, 29, 31. So does Z 2 Z 6 : (0,1), (0,5), (1,2), (1,4), and (1,6). Both have two elements of order 3: 13, 25 and (0,2), (0,4). Both have three elements of order 2: 17, 19, 35 and (0,3), (1,0), (1,3). EXAMPLE 12 Consider U(180). It has 48 elements. BY FTFAG, it must be isomorphic to one of the following: 48 = 16 3! Z 16 Z 3 = Z 48 48 = 2 8 3! Z 2 Z 8 Z 3 = Z 2 Z 24 48 = 4 4 3! Z 4 Z 4 Z 3 = Z 4 Z 12 48=2 2 4 3! Z 2 Z 2 Z 4 Z 3 = Z 2 Z 2 Z 12 = Z 2 Z 4 Z 6 48 = 2 2 2 2 3! Z 2 Z 2 Z 2 Z 2 Z 3 = Z 2 Z 2 Z 2 Z 6 Now Marc's U(n) gives the following data. There are no elements of order 12 or 24; 7 elements of order 2, 2 elements of order 3, 8 elements of order 4, 14 elements of order 6, and 16 elements of order 12. U(180) cannot be with of the rst two groups which have elements of order 24 and or 48. Similarly, it cannot be Z 2 Z 2 Z 2 Z 6 since this group has no elements of order 12. So let's look at Z 4 Z 12 and Z 2 Z 4 Z 6. Z 4 Z 12

8 EXAMPLE 13 has 3 elements of order 2: (2,0), (2,6), and (0,6) while Z 2 Z 4 Z 6 has has 7 elements of order 2: (0,0,3), (0,1,3), (1,0,3), (1,1,3), (0,1,0), (1,0,0), (1,1,0). So U(180) must be this latter group. Write a Java version of Marc's U(n) program for massive extra credit.