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

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

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.

BASIC GROUP THEORY : G G G,

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

6 Cosets & Factor Groups

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

MATH FINAL EXAM REVIEW HINTS

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

0 Sets and Induction. Sets

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

Math 594, HW2 - Solutions

MATH 113 FINAL EXAM December 14, 2012

Fall /29/18 Time Limit: 75 Minutes

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.

Math 121 Homework 5: Notes on Selected Problems

UMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.

5 Group theory. 5.1 Binary operations

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

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

ISOMORPHISMS KEITH CONRAD

MATH 430 PART 2: GROUPS AND SUBGROUPS

NOTES ON FINITE FIELDS

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

CONSEQUENCES OF THE SYLOW THEOREMS

Teddy Einstein Math 4320

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

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

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

MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b,

Foundations Revision Notes

Chapter 2 Linear Transformations

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

MODEL ANSWERS TO THE FIRST HOMEWORK

GROUPS AND THEIR REPRESENTATIONS. 1. introduction

Answers to Final Exam

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below).

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.

MATH 2200 Final LC Review

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

Algebraic structures I

Simple groups and the classification of finite groups

Math 4400, Spring 08, Sample problems Final Exam.

ABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n

17 More Groups, Lagrange s Theorem and Direct Products

The Outer Automorphism of S 6

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

MATH 2200 Final Review

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Lecture Note of Week 2

Elements of solution for Homework 5

120A LECTURE OUTLINES

MA441: Algebraic Structures I. Lecture 26

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

Math 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )

Homework 5 M 373K Mark Lindberg and Travis Schedler

Cosets and Lagrange s theorem

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

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

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

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

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

Lecture 3. Theorem 1: D 6

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

ORDERS OF ELEMENTS IN A GROUP

Rohit Garg Roll no Dr. Deepak Gumber

Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

Two subgroups and semi-direct products

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

ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston

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

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

Euler s, Fermat s and Wilson s Theorems

Exercises MAT2200 spring 2014 Ark 4 Homomorphisms and factor groups

MA554 Assessment 1 Cosets and Lagrange s theorem

Algebra Exam Topics. Updated August 2017

Math 430 Final Exam, Fall 2008

Fix(g). Orb(x) i=1. O i G. i=1. O i. i=1 x O i. = n G

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

Math 3140 Fall 2012 Assignment #3


Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2009 Midterm

Math 31 Take-home Midterm Solutions

Cosets and Normal Subgroups

TROPICAL SCHEME THEORY

Algebraic Structures Exam File Fall 2013 Exam #1

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

MODEL ANSWERS TO HWK #10

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

CHAPTER 3: THE INTEGERS Z

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.

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

Lecture 7 Cyclic groups and subgroups

The Integers. Peter J. Kahn

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

INFINITY: CARDINAL NUMBERS

Equivalence Relations and Partitions, Normal Subgroups, Quotient Groups, and Homomorphisms

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions

Math 105A HW 1 Solutions

Transcription:

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 powers and their orders Let G,, e be a group. For convenience, we will often write write ab instead of a b. We will write a 1 for the inverse of a, which is okay because we have proved that the inverse is unique. Note that when the binary operation is addition +, the usual notation for the inverse of a is a, not a 1. Also, in that case, the identity element is usually 0. Suppose a, b G. You should prove for yourself that: ab 1 = b 1 a 1 and more generally, if a 1,..., a n G, a 1 a n 1 = a 1 n a 1 1. We also recall that Generaralized Associativity follows from associativity, i.e. a 1 a n does not depend on how we parenthesize the product. From now on, let G be a group and a G an element of G. For a G and n Z we define a n to be aa a product of n a s, if n > 0, e if n = 0, and a 1 a 1 product of n a 1 s if n < 0. PROBLEM 1. For a G and m, n Z, prove that a n a m = a n+m and a n m = a nm. Hint: first do the case where either m or n is 0. Next do m > 0, n > 0. Now do the other cases. Recall that the order of a in G is defined by ord G a = min{m 1 a m = e}. If a m e for all m 1, then we say that ord G a =. In other words, ord G a is the smallest positive exponent which kills a. [Note: you should think of the identity element as dead, so a killer of x is something that renders x into the identity]. Note that a has order 1 if and only if a = e. PROBLEM 2. List the elements of S 4 as permutations and find the order of each one in S 4. Note: S 4 has 24 elements. Lemma 1.1. If G,, e is a finite group i.e. G is a finite set, i.e. it has only finitely many elements, and a G, then ord G a <. Proof. Consider the set {a m m 1}. This is a subset of G why?, hence must be finite. Thus, a, a 2, a 3,... cannot all be pairwise distinct. Thus, there exist integers 1 i < j such that a i = a j. Let us write j = i + r with r 1. Then a i = a i+r = a i a r. Therefore e = a r why?. Thus, ord G a r <. PROBLEM 3. Prove: If a G has finite order k = ord G a, then a, a 2, a 3,..., a k 1, a k are all distinct. 1

2 HOMEWORK 2: DUE TH. OCT. 1 Hint: suppose not; then a i = a i+r for some i, r 1 why?. Now derive an upper bound for r and obtain a contradiction to the minimality of k as killer exponent of a. If you have trouble, see Lemma 3.2 of these notes, but try it yourself first. Recall some notation from number theory. If k, n are integers and k 0, then we write k n read: k divides n, or n is a multiple of k if and only if kt = n for some integer t. For example 1 n for all integers n, but n 1 implies that n = ±1. We have n 0 for every integer n because n 0 = 0. NOTE: THE FOLLOWING RESULT IS VERY USEFUL AND IMPORTANT. Lemma 1.2. Suppose a G has finite order k = ord G a. If a n = e for some n Z, then k n. In fact, for n Z, a n = e if and only k n. In other words, the killer exponents of a are exactly the integer multiples of ord G a. Proof. By the Euclidean or division algorithm, there exist integers q, r such that n = qk + r, 0 r k 1. In fact, a pair of integers n, k with k 0, uniquely determines integers q, r with 0 r k 1 such that n = qk + r. Here is one way to see this. Let s assume n, k > 0 for convenience. The other cases easily follow from this anyway. For every real number x, we can write x = [x] + x where [x] is the largest integer not greater than x and 0 x < 1. Sometimes [x] is called the integral part or floor of x and x is its fractional part. Returning to n = kq + r, we simply take x = n/k R and write q = [n/k]; then n/k = n/k q = r/k for a unique integer r in the range 0 r k 1. For more details, you may consult Theorem 1.26 in the book, for example. Now, recall k = ord G a 1 and suppose n Z. Writing n = kq + r, with 0 r k 1, we have a n = a kq+r = a kq a r by PROBLEM 1. Thus a n = a k q a r = e q a r = a r. If we assume a n = e, then a r = e; but 0 r k 1 < ord G a. By the definition of ord G a, a, a 2,, a k 1 are all distinct from e. Hence, we must have r = 0. Thus, a n = e implies that n = kq i.e. k n. On the other hand, if k n, i.e. kq = n, then a n = a k q = e q = e. PROBLEM 4. a What is the order of 5 in Z, +? b The group of non-zero real numbers under multiplication is denoted by R. What are the elements of order 2 in R? [First make sure you understand who the identity of this group is]. c Are there any elements of order 3 in R? PROBLEM 5. Prove that if G is a group and a G, then ord G a = ord G a 1. Be sure to include the case where ord G a is infinite. PROBLEM 6. Suppose G is a group and g G has order m = pn where p is a prime number and n is a positive integer. Let h = g n. Show that h has order p in G.

MATH 411 SECTION 2 HW 2 3 2. Homomorphisms, Isomorphisms, and Subgroups Definition 2.1. Suppose G 1, 1, e 1 and G 2, 2, e 2 are groups, and f : G 1 G 2 is a map. We say that f is a group homomorphism usually homomorphism for short if fa 1 b = fa 2 fb for all a, b G 1. In other words, f carries the product of two elments in G 1 to the product of their images in G 2 ; we say that f respects the groups laws of G 1 and G 2. Example 2.2. We will define a group V = {e, a, b, c} as follows. Let S be a square whose sides edges are labelled {1, 2, 3, 4} with 1, 2 forming one pair of opposite edges and 3, 4 forming the other pair. Let a be the reflection of the square across the line that bisects edges 3, 4. Let b be the reflection of the square across the line that bisets 1, 2. And let c be the rotation by 180 degrees of the square about is center where the diagonals meet. Together with the identity symmetry do nothing!, these 4 symmetries of the square form a group, under composition of functions which is always associative as we saw last time. Spend a moment to verify that this is the case. Now we will define a map σ : V S 4 which is a group homomorphism, namely each element of V permutes the edges thus gives rise to an element of S 4 since we have labelled the edges with the integers 1, 2, 3, 4. Thus, e σe = b σb = 1 2 4 3, a σa = 2 1 3 4, c σc = 2 1 4 3 In order to check that this is indeed a homomorphism, we would have to verify σxy = σxσy for all pairs x, y V V. Note that there are 16 such pairs. In general, if G 1 is a finite group of order N, then to say that f : G 1 G 2 is a homomorphism is to summarize in one breath N 2 different equalities! Thus, being a homomorphism is a strong condition.,. A homomorphism f : G 1 G 2 is called trivial if fg 1 = e 2 for all g 1 G 1. You should check that this is indeed a homomorphism. Philosophically speaking, whenever there is a non-trival homomorphism from a group G 1 to a group G 2, then in some sense a piece of G 1 called a quotient of G 1 is identical to a piece of G 2 called a subgroup of G 2. This will be made precise later in the form of several Isomorphism Theorems. Lemma 2.3. If f : G 1 G 2 is a homomorphism, then fe 1 = e 2, and fg n = fg n for all g G, and all n Z. In particular, fg 1 = fg 1. Proof. For example, fe 1 1 e 1 = fe 1 2 fe 1 = fe 1. Now use the cancellation law or multiply by fe 1 1 to get fe 1 = e 2. Now fg 2 fg 1 = fg 1 g 1 = fe 1 = e 2 and similarly for fg 1 fg. Hence, fg 1 fulfills the role of inverse for fg in G 2. By the uniqueness of inverses, fg 1 = fg 1. The other cases left to reader, or look in book, Lemma 2.36.

4 HOMEWORK 2: DUE TH. OCT. 1 Recall the group V from the example above. Under the map σ, it maps to the following group W = {E, A, B, C} where E =, A =, B =, C =. 2 1 3 4 1 2 4 3 2 1 4 3 If you write the group tables for V and W, you will have a dejà vu feeling. You ll see that you re just writing the same group twice, the only difference being that the group elements have slightly different names. We say that the groups are isomorphic, the exact definition is to follow. Definition 2.4. Suppose G 1, G 2 are groups. A map f : G 1 G 2 is called a group isomorphism isomorphism for short if 1 f is a homomorphism, and 2 f is bijective. When we study sets, we feel that two sets have the same structure if we can set up a one-to-one-correspondence between them i.e. a bijection. Now a group is a set carrying the additional structure of a composition law verifying certain special properties. We feel that two groups have the same structure if we can set up a one-to-one-correspondence between the underlying sets i.e. a bijection which, additionally, respects the law of composition i.e. is a homomorphism. Definition 2.5. An automorphism of a group G is an isomrphism f : G G. The identity map from a group to itself is the trivial automorphism. The set of all automorphisms from G to itself is called Aut gp G. PROBLEM 7. Suppose G is a group. Consider the map ι : G G which sends a a 1. Prove or disprove: ι is always an automorphism of G. If this is false, can you think of a general condition on G under which it becomes true? PROBLEM 8. Suppose G 1, 1, e 1 and G 2, 2, e 2 are groups, and f : G 1 G 2 is an isomorphism. Since f is a bijection, an inverse function f 1 : G 2 G 1 exists and is unique. Prove that f 1 is an isomorphism. Definition 2.6. Suppose G,, e is a group and H G is a subset of G. We say that H is a subgroup of G if i h 1, h 2 H implies that h 1 h 2 H closure ii e H identity iii for all h H, h 1 H inverse. Let us interpret this definition in the following way: i says that when we restrict the binary operation from G to H, we obtain not just a map H H G but H H H. In other words, restricting the operation to elements of H yields a binary operation on H! Properties ii and iii then simply say that this binary operation of H obtained by restricting the law of composition of G to H makes H into a group. We often write H G as shorthand notation for H is a subgroup of G. Every group G has two God-given subgroups, namely, {e} the subgroup consisting of the identity alone, and G itself. A subgroup H G is called non-trivial if H {e}, and it is proper if H G. Example. The group GL 2 Q consists of two-by-two matrices with rational entries having non-zero determinant, under matrix multiplication. It is a subgroup of GL 2 R. [check that this is so].

Definition 2.7. If f : G 1 G 2 is a homomorphism, then MATH 411 SECTION 2 HW 2 5 kerf = {g 1 G 1 fg 1 = e 2 }, Imf = {g 2 G 2 g 2 = fg 1 for some g 1 G 1 }. Lemma 2.8. If f : G 1 G 2 is a homomorphism, then kerf is a subgroup of G 1 and Imf is a subgroup of G 2. Proof. This is very easy if you keep in mind that fg 1 = fg 1 and fe 1 = e 2. PROBLEM 9. i Verify that The set SL 2 R consisting of two-by-two real-entry matrices having determinant 1 is a subgroup of GL 2 R. ii Recall the group R consisting of non-zero numbers under multiplication. Now the determinant gives us a map det : GL 2 R R, sending a matrix A to det A. Is this a group homomorphism? Prove your answer is correct. iii Is det : GL 2 R R surjective? Is it injective? Justify your answers. iv What is kerdet? v Now reprove i in an easy way using iv. PROBLEM 10. Prove that a homomorphism is injective if and only if its kernel is trivial. 3. Subgroup generated by an element Definition 3.1. If a G, < a >= {a n n Z} is called the subgroup generated by a. To check that it is indeed a subgroup, all we need, really, is apply PROBLEM 1: a m+n = a m a n. Lemma 3.2. For a G, < a > = ord G a, i.e. the cardinality of the subgroup generated by a coincides with the order of a in G. Proof. If a has infinite order, then by definition, a m e for all m 1. I claim that a, a 2, a 3, are all pairwise distinct. Otherwise, a i = a i+r for some integers i, r 1. By the cancellation law, we then would have e = a r and recall that r 1. Thus, a has finite order, a contradiction. Thus, a, a 2, a 3,... are all distinct, thus, < a > =. If a has finite order, then this lemma is proved in the proof of Prop 2.28 in the book, but here is the argument again. Say ord G a = k <. Then a i a j for 1 i < j k. Otherwise, a i = a j = a i+r with j = i + r and i, r 1. Since j = i + r k and i 1, we have 1 r k 1. But a r = 1 and 1 r k 1 contradict the fact that k = ord G a is the minimal exponent killing a. Thus, a, a 2,, a k are all distinct. Note tat there are k of them. On the other hand, a k+1 = a and in general, a t = a i where i is the remainder when t is divided by k. We have shown that < a > = k. PROBLEM 11. [EXTRA CREDIT] Show that a finite group of even order must contain an element of order 2. [Hint: one way to proceed there are many would be to show that there is an element of even order; why would that practically clinch it?]

6 HOMEWORK 2: DUE TH. OCT. 1 4. Tune in next week for... If G is a finite group and H is a subgroup of G, we know that H G just because H is a subset of G. But it turns out that: DRUMROLL PLEASE Our TARGET THEOREM for the near future: If G is a finite group and H is a subgroup of it, then H divides G. Lagrange s Theorem. In order to do this, we will introduce cosets, and review equivalence classes.