xy xyy 1 = ey 1 = y 1 i.e.

Similar documents
Groups and Symmetries

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.

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

Homework #5 Solutions

x 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?

Mathematics 222a Quiz 2 CODE 111 November 21, 2002

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

Solutions to Assignment 4

CHAPTEER - TWO SUBGROUPS. ( Z, + ) is subgroup of ( R, + ). 1) Find all subgroups of the group ( Z 8, + 8 ).

One-to-one functions and onto functions

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

Exercises on chapter 1

x 2 = xn xn = x 2 N = N = 0

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

MATH 271 Summer 2016 Practice problem solutions Week 1

Teddy Einstein Math 4320

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

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

0 Sets and Induction. Sets

MATH EXAMPLES: GROUPS, SUBGROUPS, COSETS

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

The Symmetric Groups

Solutions to Homework Assignment 2

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

1.4 Equivalence Relations and Partitions

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

HOMEWORK ASSIGNMENT 6

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

Math 451, 01, Exam #2 Answer Key

Section 15 Factor-group computation and simple groups

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

Chapter 3. Introducing Groups

Math 105A HW 1 Solutions

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

Lecture 7 Cyclic groups and subgroups

Equations and Inequalities

. As the binomial coefficients are integers we have that. 2 n(n 1).

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.

Section 4.2: Mathematical Induction 1

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Cosets and Lagrange s theorem

Introduction to Algebraic and Geometric Topology Week 3

Solutions to Homework Problems

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality

1 Predicates and Quantifiers

Euler s, Fermat s and Wilson s Theorems

Proof worksheet solutions

Structure of R. Chapter Algebraic and Order Properties of R

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

Immerse Metric Space Homework

Topics in Logic, Set Theory and Computability

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

Hence, (f(x) f(x 0 )) 2 + (g(x) g(x 0 )) 2 < ɛ

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

Example: Use a direct argument to show that the sum of two even integers has to be even. Solution: Recall that an integer is even if it is a multiple

Proofs. Chapter 2 P P Q Q

c i r i i=1 r 1 = [1, 2] r 2 = [0, 1] r 3 = [3, 4].

Lecture Notes in Real Analysis Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay

Math 320-2: Final Exam Practice Solutions Northwestern University, Winter 2015

Homework 10 M 373K by Mark Lindberg (mal4549)

120A LECTURE OUTLINES

Extra exercises for algebra

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

CSE 20 DISCRETE MATH WINTER

2. Introduction to commutative rings (continued)

(4.2) Equivalence Relations. 151 Math Exercises. Malek Zein AL-Abidin. King Saud University College of Science Department of Mathematics

Chapter 5. Number Theory. 5.1 Base b representations

A function is a special kind of relation. More precisely... A function f from A to B is a relation on A B such that. f (x) = y

Algebra-I, Fall Solutions to Midterm #1

Homework 11. Solutions

4130 HOMEWORK 4. , a 2

Section 10: Counting the Elements of a Finite Group

Final Exam Practice Problems Math 428, Spring 2017

Selected Solutions to Math 4107, Set 4

Due date: Monday, February 6, 2017.

6 Cosets & Factor Groups

Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page.

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT

1 Chapter 6 - Exercise 1.8.cf

CSE 20 DISCRETE MATH WINTER

CSE 20 DISCRETE MATH SPRING

CS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques

MATH 403 MIDTERM ANSWERS WINTER 2007

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

Lecture Notes, Week 6

Written Homework # 1 Solution

Math 370 Homework 2, Fall 2009

Sets and Motivation for Boolean algebra

Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers

CHAPTER 8: EXPLORING R

Homework 6 Solution. Math 113 Summer 2016.

Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9

Carmen s Core Concepts (Math 135)

Normal Subgroups and Factor Groups

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

Math 4400, Spring 08, Sample problems Final Exam.

Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm

Math 4320, Spring 2011

MA554 Assessment 1 Cosets and Lagrange s theorem

WHY WORD PROBLEMS ARE HARD

Transcription:

Homework 2 solutions. Problem 4.4. Let g be an element of the group G. Keep g fixed and let x vary through G. Prove that the products gx are all distinct and fill out G. Do the same for the products xg. Proof. Let g G. Let x 1 x 2 G. We need to show that gx 1 gx 2. Suppose for contradiction that gx 1 = gx 2. Since G is a group, g 1 G. So this means that g 1 (gx 1 ) = g 1 (gx 2 ). By associativity, this means that (g 1 g)x 1 = (g 1 g)x 2. This simplifies to ex 1 = ex 2, where e is the identity. Finally, by the property of the identity, we get that x 1 = x 2. But this contradicts the assumption that x 1 x 2. So we have shown that if x 1 x 2 then gx 1 gx 1. Thus all the elements of the form gx are distinct. Similarly, we have to show that if x 1 x 2 G then x 1 g x 2 g. Again, suppose not. That is, suppose that x 1 g = x 2 g. But then when we multiply both sides by g 1 on the right, and use the same group properties as above, we get that x 1 = x 1. Again, this is a contradiction, so we must have that all elements of the form xg are distinct. Next we have to show that the sets S = {gx x G} and S = {xg x G} fill out G. That is, for each element h G, we need to find elements x, x G s.t. xg = gx = h. So let x = hg 1 and let x = g 1 h. We know that x, x are in G since g 1 G by the inverse property, and the products are in G as G is closed under multiplication. Now we just compute: xg = (hg 1 )g = h(g 1 g) = he = h, and similarly we can compute that gx = g(g 1 h) is just h after using all three of the group properties. So for each element h G, we have found x, x s.t. xg = gx = h. Therefore the sets S and S fill out G. Problem 4.5. An element x G satisfies x 2 = e precisely when x = x 1. Use this observation to show that a group of even order must contain an odd number of elements of order 2. Proof. Let G be a group of even order. Let G denote the order of G. So we can write G = 2n for some n Z. Let S be the set of elements of G that have order greater than 2. Since only elements of order 2 and the identity satisfy x 2 = e, we can write S = {x G x 2 e}. We want to show that S has an even number of elements. We use the idea that if an element has order bigger than 2, it is distinct from its inverse, so elements of S come in pairs. To make this precise, write S as the following union: S = x S{x, x 1 }. We show later that the order of x is the same as the order of x 1 so this union is indeed S. Since x 2 e for x S, we have that x x 1, so each set in this union has two distinct elements. Since inverses are unique, two sets of the form 1

2 {x 1, x 1 1 }, {x 2, x 1 2 } are either equal or disjoint. So we can write S as the disjoint union of sets with 2 elements each. Therefore S has an even number of elements. Let 2m be the number of elements of S, for some m Z. Let T be the set of elements in G of order 2. Let k be the number of elements of T. Since G is the disjoint union of T, S and {e}, the number of elements of G is the number of elements of T plus the number of elements in S plus 1. That is, 2n = 2m + k + 1. Solving for k we get k = 2(n m) 1. Since n, m Z, we get that k is odd. So we have shown that there is an odd number of elements of order 2. Problem 4.8. Let x and g be elements of a group G. Show that x and gxg 1 have the same order. Now prove that xy and yx have the same order for any two elements x, y of G. Proof. Let G be a group, and let x, y, g G. Denote the order of an element x by x. Suppose x = n, and gxg 1 = m. We need to show that n = m. Recall that the order of an element x is the smallest number n s.t. x n = e. First we will show that the order of gxg 1 is at most n. You can use group properties to show that gxg 1 gxg 1 = gx 2 g 1. So we can do the following calculation: (gxg 1 ) n = gxg 1 gxg 1 gxg 1 n times = gx n g 1 = gg 1 since x n = e, as the order of x is n = e We have just shown that (gxg 1 ) n = e, so gxg 1 x. Since this is true for arbitrary x and g, let x = gxg 1 and let g = g 1. By what we have just shown, g x g 1 x. But since g 1 = g, we know that g x g 1 = g 1 (gxg 1 )g = x. Therefore, g x g 1 x just means that x gxg 1. Thus gxg 1 = x. Now we will show that xy = yx. Suppose xy = n. Then, xy xy = e n times Multiplying both sides by y 1 on the right, we get xy xyy 1 = ey 1 = y 1 i.e. xy xy x = y 1 n-1 times Now multiplying by y on the left, we get y xy xy x = yy 1 = e n-1 times Note that in the last line, we really have yx multiplied by itself n times. Thus yx xy. Since this is true for arbitrary x and y, we can switch the role of x and y. So we see that xy yx as well. Therefore, xy = yx. How this relates to last week s bonus problem: Suppose R and S are rotations of the sphere, and RS has finite order. Since rotations of the sphere form a group,

3 the above statement shows that SR has the same order as RS. If RS is a rotation of order n, then it must rotate by the angle 2π/n. Thus SR rotates by 2π/n as well. Therefore, if RS has finite order then both RS and SR are rotations through the same angle. Note that there are plenty of rotations that are not finite order, however. Consider, for example, a rotation of the sphere through any axis by angle π/ 2. Problem 5.1. Find all the subgroups of each of the groups Z 4, Z 7, Z 12, D 4 and D 5. Answer. We start with a general remark that will make this problem easier. Remark. Let G by a group, and let g G have finite order. Then g 1 is a power of g. This is because there is some n s.t. g n = e. So g g n 1 = e meaning g 1 = g n 1. In all of these groups, each element has finite order so this remark applies. We will write G =< g 1,..., g n > for a group generated by g 1,..., g n. In the following examples, we will find lists of subgroups by choosing subsets of each group to be generators. Note that the above remark means that < g >=< g 1 > for all elements g of finite order. Z 4 : First of all 1 and 3 generate Z 4, so if they were in any generating set we would get all of Z 4 back. On the other hand, the only multiples of 2 are 0 and 2 itself. So the three subgroups are {e}, < 2 >= {0, 2} and Z 4. Z 7 : All the non-zero elements n of Z 7 generate Z 7. So the only two subgroups are {0} and Z 7. Z 12 : The elements 1, 5, 7 and 11 generate Z 12. Since 10 is the additive inverse of 2, < 2 >=< 10 > by the remark at the start of the solution. Similarly, < 3 >=< 9 > and < 4 >=< 8 >. 6 is its own inverse so < 6 > isn t paired with anyone. Next, we look at subgroups with more than one generator. By the above, including 1,5,7 or 11 in a generating set yields all of Z 12. If both 2 and 3 are generators of a subgroup, then 5 is in that subgroup, so including both 2 and 3 in a generating set yields all of Z 12. Likewise, including 3 and 4 means 7 will be in the subgroup, so you get all of Z 12 again. Since < 4 > is a subset of < 2 >, including both 2 and 4 in a generating set is the same as including just 2. So < 2, 4 >=< 2 >. Likewise, < 2, 6 >=< 2 >. Finally, including 4 and 6 in a generating set means 2 will be in your subgroup, so you may as well have just included 2. That is, < 4, 6 >=< 2 >. Therefore the subgroups of Z 12 are {0}, < 2 >= {0, 2, 4, 6, 8, 10},< 3 >= {0, 3, 6, 9}, < 4 >= {0, 4, 8}, < 6 >= {0, 6} and Z 12. D 4 = {e, r, r 2, r 3, s, rs, r 2 s, r 3 s}: The one-generator subgroups of D 4 are {e}, rotation subgroups < r >= {e, r, r 2, r 3 }, < r 2 >= {e, r 2 } and reflection subgroups < rs >= {e, rs}, < r 2 s >= {e, r 2 s} and < r 3 s >= {e, r 3 s}. To get more subgroups we can add generators. Adding a rotation to a rotation subgroup doesn t yield anything new. Adding any reflection to < r > gives us a subgroup with both r and s, meaning we get D 4 back. But we can add a reflection to the subgroup < r 2 >. We get < r 2, s >= {e, r 2, s, r 2 s}, and < r 2, rs >= {e, r 2, rs, r 3 s}. Adding any more generators to these two subgroups gives us all of D 4. Putting another reflection in a reflection subgroup means that subgroup will have a rotation, and we have just listed all the subgroups with a rotation

4 and a reflection. So the only subgroups are the ones listed above and all of D 4. D 5 =< e, r, r 2, r 3, r 4, s, rs, r 2 s, r 3 s, r 4 s >: The one-generator subgroups are: Rotations :{e}, < r >= {e, r, r 2, r 3, r 4 }, Reflections: < s >= {e, s}, < rs >= {e, rs}, < r 2 s >= {e, r 2 s}, < r 3 s >= {e, r 3 s} and < r 4 s >= {e, r 4 s}. We cannot add any reflections to the subgroup generated by r since then we would get r and s in the subgroup, giving us the whole group back. Putting adding a reflection to a reflection subgroup will give a rotation, and as we have just said, a subgroup with a rotation and a reflection is the whole group. So the only subgroups are the ones listed above, and D 5 itself. Problem 5.4. Find the subgroup of D n generated by r 2 and r 2 s, distinguishing carefully between the cases n odd and n even. Answer. Let G =< r 2, r 2 s >. The elements of G are of the form (r 2 ) a1 (r2 s) b1 (r 2 ) ak (r 2 s) b k where a 1,..., a k, b 1,..., b k Z. One can check that r 2 s r 2 = s and r 2 s r 2 s = e. So the expression above simplifies to an expression of the form r 2l s for some l Z. Suppose n is even. Then n = 2m for some m Z. Thus r n = (r 2 ) m = e, so the powers of r 2 are all the even powers of r up to 2(m 1). Thus G = {e, r 2,..., r 2(m 1), r 2 s,..., r 2(m 1) s}. Now suppose n is odd. Then n = 2m + 1 for some m Z, and r 2m+1 = e. Since r 2m+2 is a power of r 2 and r 2m+2 = r, we have that r is in G. And since r 2 s r 2 = s, s G. But r and s generate all of D n, so G = D n. Problem 5.5. Suppose H is a finite non-empty subset of a group G. Prove that H is a subgroup of G iff xy belongs to H whenever x and y belong to H. Proof. Let G be a group, and H a finite subset of G. Suppose xy belongs to H whenever x and y belong to H. This means that H is closed under the group operation. And since H is a subset of G, it is associative. So we only need to show that the identity is in H and elements of H have inverses also in H. Since H is non-empty, we can choose an arbitrary element x H. Consider the set S = {x, x 2, x 3,..., x n,... }. By the assumption, this whole set is in H since every element of S is just x multiplied by the previous element. But H is a finite set. So S must also be a finite set. Which means that elements of S must repeat. That is, there are numbers i j s.t. x i = x j. Multiplying both sides by x i, we get the equation e = x j i. But x i j is in S. Thus, the identity is in H, and moreover the identity is a power of x. Write n = j i. Since x n = e, then x x n 1 = e. So x n 1 = x 1. Since x n 1 H, the inverse of x is in H. Since x was chosen arbitrarily, every element of H has an inverse. So H is a subgroup of G. Now suppose H is a subgroup of G. Then H is closed under group multiplication, so for any x and y in H, xy is also in H. Therefore, when H is a finite subset of G, H is closed under multiplication if and only if it is a subgroup. Problem 5.7. Let G be an abelian group and let H consist of those elements of G which have finite order. Prove that H is a subgroup of G.

Proof. Since H is a subset of G it already has the associativity property. Also the identity has order 1, so e H. So we just need to show it is closed under multiplication and has inverses. Let x, y H. Let x = n, y = m for n, m Z. Since G is abelian, (xy) nm = x nm y nm. But x nm = (x n ) m = e m and y nm = (x m ) n = e n. So (xy) nm = e. Thus the order of xy is at most nm, so xy H. Therefore H is closed under multiplication. Let x H with x = n. Then x n = e, so multiplying both sides by x n we get e = x n = (x 1 ) n. So the order of x 1 is at most n. (In fact, it is n, since we can reverse the roles of x and x 1. Therefore, x 1 H. So we have shown that H is a subgroup of G. Problem 5.11. Show Q is not cyclic. Even better, prove that Q cannot be generated by a finite number of elements. Proof. First we show that Q is not cyclic. We will do this by contradiction, so suppose it is cyclic. Then it would be generated by a rational number of the form a b where a, b Z. The set < a b > consists of all integer multiples of a b. So if Q =< a b > then a 2b must be an integer multiple of a b. But if c a b = a 2b then c = 1/2 which is not an integer. Therefore Q cannot be generated by a single rational number, so Q is not cyclic. Now we show that Q cannot be generated by a finite set of rational numbers. Suppose for contradiction that Q =< a1 b 1,..., an 1 b n >. Since the number 2b 1 b n Q, there must be integers c 1,..., c n s.t. a 1 a n 1 c 1 + + c n = b 1 b n 2b 1 b n By adding together the fractions on the left hand side, we get a 1 a n c 1 + + c n = A 1 +... A n b 1 b n b 1 b n where A i = c i a i b 1 b i 1 b i+1 b n. Write A = A 1 +... A n to simplify notation. Note that since the A i are integers, A must be an integer. So we claim that A 1 = b 1 b n 2b 1 b n This can only happen if A = 1/2. But A was supposed to be an integer, so we have arrived at a contradiction. Thus Q cannot be generated by a finite set of rational numbers. 5