Selected Solutions to Math 4107, Set 4

Similar documents
Math 451, 01, Exam #2 Answer Key

1 Chapter 6 - Exercise 1.8.cf

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

Math 210A: Algebra, Homework 5

Some practice problems for midterm 2

GROUP ACTIONS EMMANUEL KOWALSKI

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

CONSEQUENCES OF THE SYLOW THEOREMS

Algebra SEP Solutions

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT

Name: Solutions - AI FINAL EXAM

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

Homework 10 M 373K by Mark Lindberg (mal4549)

PROBLEMS FROM GROUP THEORY

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

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

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

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.

Group Theory

Two subgroups and semi-direct products

Math 3140 Fall 2012 Assignment #3

Lectures - XXIII and XXIV Coproducts and Pushouts

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Homework #5 Solutions

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

ALGEBRA HOMEWORK SET 2. Due by class time on Wednesday 14 September. Homework must be typeset and submitted by as a PDF file.

Extra exercises for algebra

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS

Name: Solutions Final Exam

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

MATH EXAMPLES: GROUPS, SUBGROUPS, COSETS

A Little Beyond: Linear Algebra

Exercises on chapter 1

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

Groups and Symmetries

Math 4400, Spring 08, Sample problems Final Exam.

May 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.

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

0 Sets and Induction. Sets

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

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.

Solutions to Assignment 4

Section 15 Factor-group computation and simple groups

Automorphisms of strongly regular graphs and PDS in Abelian groups

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

Normal Subgroups and Quotient Groups

Teddy Einstein Math 4320

Course 311: Abstract Algebra Academic year

Theorems and Definitions in Group Theory

ANALYSIS OF SMALL GROUPS

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

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

Algebra-I, Fall Solutions to Midterm #1

Math 547, Exam 1 Information.

A SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

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 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.

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

FROM GROUPS TO GALOIS Amin Witno

INTRODUCTION TO THE GROUP THEORY

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

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

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

(1) Let G be a finite group and let P be a normal p-subgroup of G. Show that P is contained in every Sylow p-subgroup of G.

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

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

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

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

Supplementary Notes: Simple Groups and Composition Series

HOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS

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

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

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

Math 594, HW2 - Solutions

Recall: Properties of Homomorphisms

SF2729 GROUPS AND RINGS LECTURE NOTES

Homework Problems, Math 200, Fall 2011 (Robert Boltje)

Abstract Algebra II Groups ( )

Math 120: Homework 6 Solutions

DIHEDRAL GROUPS II KEITH CONRAD

MATH 251, Handout on Sylow, Direct Products, and Finite Abelian Groups

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 256 (11) - Midterm Test 2

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.

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

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

Chapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups

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

GROUPS POSSESSING A SMALL NUMBER OF SETS OF CONJUGATE OPERATORS*

The Kronecker-Weber Theorem

ECEN 5022 Cryptography

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

Homework #11 Solutions

Introduction to Groups

Rohit Garg Roll no Dr. Deepak Gumber

Notes on Group Theory. by Avinash Sathaye, Professor of Mathematics November 5, 2013

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

Transcription:

Selected Solutions to Math 4107, Set 4 November 9, 2005 Page 90. 1. There are 3 different classes: {e}, {(1 2), (1 3), (2 3)}, {(1 2 3), (1 3 2)}. We have that c e = 1, c (1 2) = 3, and c (1 2 3) = 2. And, note that S 3 = 6 = 1 + 3 + 2. 4. One way that we can define the Dihedral group is through the symbols R, which means rotate clockwise by 2π/n, and F, which means flip about a specific vertex. We have that R n = F 2 = e, and F R = R 1 F. This uniquely determines the properties of D n, and we have that it contains the 2n distinct elements e, R, R 2,..., R n 1, F, F R, F R 2,..., F R n 1. Now, if r is one of the pure rotations e,..., R n 1, and α is also a pure rotation, then α 1 rα = r. On the other hand, if α = F R j, then α 1 rα = (R j F )r(f R j ) = F R j rr j F = F rf = r 1. So, the set of conjugates of r are {r, r 1 }. Now we consider the conjugates of F R j. If R i is any pure rotation, then R i F R j R i = F R 2i+j. Thus, the conjugates of F R j can be described as {F R k : k j (mod 2)}. In the case where n is even we have that the conjugates of elements of the form F R j break down into two classes, those of the form {F R k : k even}, and those of the form {F R k : k odd}. Also, the conjuages of a pure rotation r take the form {r, r 1 }. There is only one case where this set contains only one element, and that is when r is a rotation by 180 degrees. So, in the case 1

n even we will have that the class sizes c a = 1 only if a is the identity or rotation by 180 degrees; c a = 2 if a is any other pure rotation; and, there are two classes where c a = n/2. In total we will have that ca = 1 + 1 + n 2 2 c R + c F R + c F R 2 = n + n/2 + n/2 = 2n. In the case n odd all the sets {r, r 1 } have two elements, and there is only one equivalence class for F R. So, in this case we have c R j = 2, c F R = n. So, ca = 1 + n 1 c R + c F R = 1 + (n 1) + n = 2n. 2 5. a. For every r cycle in S n, there are r different ways that it can be written in the form (x 1 x 2 x r ); for example, the 3-cycle (1 2 3) could also be written as (2 3 1) or (3 1 2). Now, the number of ways of writing the cycle is the number of sequences of r numbers chosen from among 1,..., n, and there are n(n 1) (n r + 1) = n!/(n r)! such sequences. In total, then, there are n!/(r(n r)!) r-cycles in S n. b. The set of conjugates of an element α S n is the set of all elements having the same cycle structure as α. So, the conjuages of a cycle (x 1 x r ) is the set of all r-cycles. So, there are n!/(r(n r)!) conjugates of (1 r). c. σ commutes with the cycle c = (1 2 r) if and only if σcσ 1 = (σ(1) σ(2) σ(r)) = (1 2 r). Now, these last two cycles are equal if and only if for some j = 0,..., r 1 we have σ(i) i + j (mod r), for i = 1,..., r. Thus, σ fixes r + 1,..., n, and acts as (1 r) j on {1,..., r}. It follows that where τ fixes r + 1,..., n. Page 101. σ = (1 2 r) j τ, 2

7. a. The number of 3-Sylow subgroups divides 30 and is congruent to 1 (mod 3). So, this number is 1 or 10. Similarly, the number of 5-Sylow subgroups divides 30 and is 1 (mod 5), giving us 1 or 6 of them. We cannot have that there are both 10 Sylow-3 subgroups, and 6 Sylow-5 subgroups, because from the Sylow-3 subgroups we would get 20 elements of order 3, and from the Sylow-5 subgroups we would get 24 elements of order 5. In total, we would have 20 + 24 = 44 elements, which exceeds 30. We conclude that either there is only one Sylow-3, or there is only one Sylow-5. Since all Sylow-3 s are conjugate to each other, and since all Sylow- 5 s are conjugate to each other, we will have that either the Sylow-3 is normal or the Sylow-5 is normal. b. Say that the 3-Sylow in part a is normal, and write it as P. Consider then the map ϕ : G G/P. We have that G/P = 10, and it is easy to see that there can be only one Sylow-5 in that group, for the number of sylow-5 s must be 1 (mod 5) and divide 10. Now, each sylow-5 back in G must map to a Sylow-5 in G/P, because if a G has order 5, then ϕ(a) has order 5 in G/P (since, ϕ(a) 5 = ϕ(a 5 ) = ϕ(1) = 1, we either have a is in the kernel, or else a has order 5. If a is in the kernel, it must have belonged to P, but we know that P intersects the Sylow-5 s only at the identity.) So, if there were six Sylow-5 s in G, then they must all map down to a single Sylow-5 in G/P. This cannot happen, though, because it would mean that ϕ is at best a six-to-1 map, but it is a 3-to-1 map. So, the Sylow-5 must be normal. Similarly, if the Sylow-5 was the one that was normal in part a, then we can t have that there are 10 Sylow-3 s: If Q is that Sylow-5, then ψ : G G/Q is 5-to-1, and yet since G/Q = 6 has at most one Sylow-3, if there were 10 Sylow-3 s in G, then ψ would have to be 10 to 1. c. From part b, if P is our Sylow-3 and Q is our Sylow-5, both of which are normal, then G contains P Q, which has order 15. Since P Q has index G /15 = 2, it must be normal. (Because G has only two left-cosets of P Q, namely P Q, ap Q, and only two right cosets P Q, P Qa. Both ap Q and P Qa are the elements of G not contained in P Q, and so ap Q = P Qa, and left cosets equal right cosets, which gives us that P Q is normal.) d. As we know, all groups of order 15 are ableian and cyclic. So, half of G is this large cyclic group of order 15. Now, suppose that x G has order 2. Such x exist, since G must have a 2-Sylow subgroup. Let C = P Q. Then, G = C (xc) (Note that xc is disjoint from C, because xc contains 3

x, which has order 2, while every element of C has order dividing 15). How can we multiply elements in G? To answer that question, we begin by observing that since C is normal, xcx = x 1 Cx = C. So, conjugation by x is an automorphism of C. All automorphisms of a cyclic group take the form θ(c) = c j, where j is coprime to the order of G. Therefore, we must have that there exists j such that xc = c j x for all c C; moreover, j can only be one of 1, 2, 4, 7, 8, 11, 13, 14. We can further reduce the list of possible j by observing that xcx = c j implies c = xc j x = (xcx) j = c j2 So, c j2 1 = e, which imlies j 2 1 0 (mod 15). This means that j can only be 1, 4, 11, 14. Once we have settled on a value for j we have completely pinned down how we multiply in our group: An arbitrary g G has the form xc or c, where c C. And, if g 1 = xc 1 and g 2 = xc 2, for example, then g 1 g 2 = xc 1 xc 2 = x 2 c j 1c 2 = c j 1c 2. If j = 1, then we are saying that x commutes with C, and we would have that G is an abelian group of order 30, which must be cyclic. If j = 14 1 (mod 15), then we have that G satisfies the relations of a dihedral group D 15, which we know has order 30 and is non-abelain. The other two values j = 4 and 11 also turn out to give us two more non-abelian groups. In total, then there are 3 non-abelian groups of order 30, and 1 abelian group of order 30. 15. a. What (ab) p = a p b p is really saying is that taking pth powers is a homomorphism from G to G (though not necessarily an automorphism, because it may fail to be injective). We must also have then that (ab) p2 = ((ab) p ) p = (a p b p ) p = a p2 b p2 ; and, in fact, (ab) pj = a pj b pj. Suppose now that P is any p-sylow subgroup of G having size P = p J. Then, as we know, ϕ : G G given by ϕ(a) = a pj is a homomorphism. The kernel consists of all elements of order dividing p J, which must include any and all Sylow-p subgroups. But, in fact, this kernel is itself a p-group, because if q ker(ϕ), q p, q prime, then the by Sylow s theorem this kernel (being a subgroup) would have to contain an element of order q. Call this element a. Then we have a q = e and a pj = e, which is impossible unless a = e. So, since the kernel is a p-group, its order is at most of size P ; but, since it also contains P, its order is at least P, meaning that the kernel has size P and is a Sylow-p itself. Because the kernel is normal Sylow-p, and because all the other (potential) Sylow-p s are conjugate to it, we must have that there is only one 4

Sylow-p, namely P. b. We know that (ab) pj = a pj b pj, for all j. Now, write G = p J m, where p does not divide m. Then, it is not difficult to show that there exits an integer k such that p k 1 (mod m); and so, p k 1 (mod d), for any divisor d of m. Let N be the set of all elements of G such that x m = 1. We claim that N is a subgroup of G, and is in fact the subgroup we are looking for (but that takes some work to prove). Since G is finite, to show N < G we just need to check that if a, b N, then ba N. To this end, we start with (ab) pk = a pk b pk. Now, if you write out the left-hand-side, you get abababab ab = aaaaaaa abbbbbb b. If we cancel off an a on the left and a b on the right of both sides, we get (ba) pk 1 = a pk 1 b pk 1. Now, since p k 1 (mod m) we have m p k 1; and so, the right-hand-side here is just the identity. That is to say, (ba) pk 1 = e. Thus, the order of ba must divide p k 1, and it must divide G = p J m. It follows that the order of ba divides m, and therefore (ba) m = e, which means ba N. Thus, N is a subgroup. Next, we show that N = m. To do that, we observe that if q j m, where q is prime, then G contains a Sylow-q subgroup of order q j. This subgroup lies in N, since a m = e for every a in this Sylow-q. Since N contains these Sylow-q s, for all primes q p, we must have that product of the orders of these subgroups divides N. But, the product of these orders equals m, and so m N. It is easy to see that N also divides m, giving us N = m (for if not, then N is divisible by a power of p, meaning that it contains an element b of order p, which will fail to satisfy b m = e). 5

Finally, we wish to show that N is normal in G; if so, then G = NP, and we are done. First, we observe that the cosets Nq, where q runs through the elements of P are all disjoint and their union is G (because, if Nq and Nq have an element in common, then q(q ) 1 N, which means it is the identity or has order dividing N ; the latter is impossible, since the order of q(q ) 1 is a power of p, and p does not divide m.). We likewise can decompose G into left cosets of N as qn, where q runs through the elements of P. Now, if p k 1 (mod m) and if k > J (so that p k > P ), then for every element nq of the coset Nq we have (nq) pk 1 = q pk 1 n pk 1 = q 1. So, Nq is the set of those elements sent to q 1 upon taking (p k 1)th powers. A similar computation shows qn is also those elements sent ot q 1. Thus, qn = Nq, and we deduce that N is normal. c. P by itself has a non-trivial center, being a p-group. Now suppose q P lies in the center of P. If we always have q lies in the center of G, then the center of G is non-trivial. We wish to show that q commutes with every element of G. To that end, let nr be an arbitrary element of NP = G, with n N and r P. Then, since nr np = P n, we have nr = r n, for some r P ; also, nr Nr = rn, implies nr = rn. So, r n = rn implies r 1 r = n n 1. Since N and P are disjoint, the only way this could hold is if r 1 r = e = n n 1. Thus, r = r, and it follows that nr = rn. So, q(nr) = qrn = rqn = rnq = (nr)q. Here we have used the fact that q commutes with all of P, as well as the fact that nr = rn. We conclude that q lies in the center of G, and we are done. 6