MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION

Similar documents
Name: Solutions - AI FINAL EXAM

Math 581 Problem Set 8 Solutions

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.

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

Fall /29/18 Time Limit: 75 Minutes

Math 546, Exam 2 Information.

Abstract Algebra, HW6 Solutions. Chapter 5

Quiz 2 Practice Problems

Section 13 Homomorphisms

Theorems and Definitions in 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.

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

Cosets and Normal Subgroups

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

Homework 7 Solution Chapter 7 - Cosets and Lagrange s theorem. due: Oct. 31.

Assigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation.

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

MODEL ANSWERS TO THE FIFTH HOMEWORK

EXAM 3 MAT 423 Modern Algebra I Fall c d a + c (b + d) d c ad + bc ac bd

Lecture Note of Week 2

B Sc MATHEMATICS ABSTRACT ALGEBRA

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

120A LECTURE OUTLINES

Solutions for Homework Assignment 5

Name: Solutions Final Exam

Introduction to Groups

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.

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

SF2729 GROUPS AND RINGS LECTURE NOTES

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

2MA105 Algebraic Structures I

Group. Orders. Review. Orders: example. Subgroups. Theorem: Let x be an element of G. The order of x divides the order of G

INTRODUCTION TO THE GROUP THEORY

Exercises on chapter 1

MA441: Algebraic Structures I. Lecture 26

Answers to Final Exam

Your Name MATH 435, EXAM #1

REU 2007 Discrete Math Lecture 2

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

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Normal Subgroups and Quotient Groups

Chapter 9: Group actions

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

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

BASIC GROUP THEORY : G G G,

Math 3140 Fall 2012 Assignment #3

First Semester Abstract Algebra for Undergraduates

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

Exercises MAT2200 spring 2013 Ark 3 Cosets, Direct products and Abelian groups

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

Normal Subgroups and Factor Groups

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

Algebra I: Final 2018 June 20, 2018

Two subgroups and semi-direct products

Algebra I: Final 2012 June 22, 2012

Name: Solutions Final Exam

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

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.

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

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

Elements of solution for Homework 5

HOMEWORK Graduate Abstract Algebra I May 2, 2004

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

CONSEQUENCES OF THE SYLOW THEOREMS

Homework #11 Solutions

Teddy Einstein Math 4320

Modern Algebra Homework 9b Chapter 9 Read Complete 9.21, 9.22, 9.23 Proofs

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Math 4320 Final Exam

Math 4400, Spring 08, Sample problems Final Exam.

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

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

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

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

Math 103A Fall 2012 Exam 2 Solutions

Algebra I: Final 2015 June 24, 2015

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.

Some practice problems for midterm 2

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

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

Math 210A: Algebra, Homework 5

List of topics for the preliminary exam in algebra

FROM GROUPS TO GALOIS Amin Witno

Math 210A: Algebra, Homework 6

book 2005/1/23 20:41 page 132 #146

Written Homework # 2 Solution

Groups and Symmetries

1 Chapter 6 - Exercise 1.8.cf

Math 430 Final Exam, Fall 2008

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

Section 15 Factor-group computation and simple groups

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

Abstract Algebra II Groups ( )

Lecture 4.1: Homomorphisms and isomorphisms

MA441: Algebraic Structures I. Lecture 14

Algebra Lecture Notes for MTH 818/819 Fall 12/Spring 13. Ulrich Meierfrankenfeld

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

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

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

ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY

Transcription:

MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION SPRING 2014 - MOON Write your answer neatly and show steps. Any electronic devices including calculators, cell phones are not allowed. (1) Write the definition. (a) (3 pts) Cyclic group. A group G is cyclic if it is generated by an element a G, i.e., G = a. Equivalently, G is cyclic if there is a G such that G = {a n n Z}. (b) (3 pts) The external direct product of two groups. The external direct product G H of two groups G and H is a group defined as G H = {(a, b) a G, b H}. The binary operation is defined by (a 1, b 1 ) (a 2, b 2 ) = (a 1 a 2, b 1 b 2 ). (c) (3 pts) For a group G and a normal subgroup N, the quotient group G/N. (Describe it as a set and provide the definition of its binary operation.) As a set, the quotient group is G/N = {an a G}, the set of all distinct cosets. The binary operation is defined by an bn = (ab)n. (d) (3 pts) The kernel of a group homomorphism. For a group homomorphism φ : G G, ker φ = {g G φ(g) = ē} where ē is the identity of G. (e) (3 pts) For a permutation group G on a set S and a S, the stabilizer of a. The stabilizer is stab(a) = {g G g(a) = a}. Date: May 7, 2014. 1

(2) (6 pts) For a group G and its subgroup H, the normalizer of H is defined as N(H) = {g G ghg 1 H for all h H}. Show that N(H) is a subgroup of G. For the identity e G, ehe 1 = h H for all h H. So e N(H) and N(H). If g 1, g 2 N(H), then for any h H, g 1 hg1 1 = h H. Then g 1 g 2 h(g 1 g 2 ) 1 = g 1 g 2 hg2 1 g1 1 = g 1 h g1 1. Because h H and g 1 N(H), g 1 h g1 1 H. Therefore g 1 g 2 N(H). Finally, if g N(H) and h H, then ghg 1 = h for some h H, so gh = h g. Then g 1 h(g 1 ) 1 = g 1 hg = g 1 gh = h H. Therefore g 1 N(H) and N(H) G. Showing the nonemptyness: 1 pt. Proving the closedness: 3 pts. Showing the existence of inverse: 2 pts. 2

(3) (a) (5 pts) In S 7, what is the maximum order of an element? If σ = σ 1 σ 2 σ k S n is a product of disjoint cycles σ 1, σ 2,, σ k, then σ = lcm( σ 1, σ 2,, σ k ). For σ S 7, if we describe σ as a product of disjoint cycles, then the length distributions of them are one of 7, 6 + 1, 5 + 2, 5 + 1 + 1, 4 + 3, 4 + 2 + 1, 4 + 1 + 1 + 1, 3 + 3 + 1, 3 + 2 + 2, 3 + 2 + 1 + 1, 3 + 1 + 1 + 1 + 1, 2 + 2 + 2 + 1, 2 + 2 + 1 + 1 + 1, 2 + 1 + 1 + 1 + 1 + 1, 1 + 1 + 1 + 1 + 1 + 1 + 1. In each case the least common multiple is 7, 6, 10, 5, 12, 4, 4, 3, 6, 6, 3, 2, 2, 2, 1. Therefore the maximum order is 12. Indicating the fact that the order of σ is the least common multiple of the length of disjoint cycles: 2 pts. Getting the answer 12: +3 pts. If there is no explanation of the answer, -2 pts. (b) (4 pts) Find an element σ S 7 with the maximum order. Write σ as a product of disjoint cycles and a product of 2-cycles. By (a), when σ S 7 is a product of two disjoint cycles σ 1 and σ 2 of length 4, 3 respectively, the length is 12. One example is σ = (1234)(567). If we write it as a product of 2-cycles, then σ = (14)(13)(12)(57)(56). Finding an element of order 12 and writing it as a product of disjoint cycles: 2 pts. Describing it as a product of 2-cycles: 2 pts. (c) (3 pts) Write σ 1 as a product of disjoint cycles. σ 1 = (1432)(576) (d) (4 pts) In A 7, what is the maximum order of an element? A cycle of odd (resp. even) length is even (resp. odd). So a permutation of type 4 + 3, 5 + 2 is odd, but length 7 cycle is even. It has the maximum order 7. 3

(4) (6 pts) Let G be a cyclic group of order 36. Draw the subgroup lattice of G. Let G = a. Then any subgroup of G is cyclic and generated by a k for some positive divisor k of 36. Therefore the subgroups of G are G = a, a 2, a 3, a 4, a 6, a 9, a 12, a 18, {e} = a 36. Note that a m a n if and only if n m. Therefore the subgroup lattice of G is G a 2 a 3 a 4 a 6 a 9 a 12 a 18 {e}. Listing all subgroups: 2 pts. Drawing incorrect paths or missing paths/nodes: -1 pt per 2 paths. Using incorrect names for nodes: -2 pts. Flipping the diagram vertically: -1 pt. 4

(5) (7 pts) Prove that S 4 S 3 Z 4. In S 4, if one write σ S 4 as a product of disjoint cycles, then its length can be decomposed 4, 3 + 1, 2 + 2, 2 + 1 + 1, 1 + 1 + 1 + 1. So the maximum order of an element is 4. On the other hand, in S 3 there is an element τ of order 3. In Z 4, 1 = 4. Then (τ, 1) = lcm( τ, 1 ) = 12. Therefore S 2 S 3 Z 4. Explaining an idea to proof: 1 pt. Finding the maximum order of one group: 3 pts each. Alternatively, counting the number of elements of fixed order in a group: 3 pts each. (6) (7 pts) Show that a group of prime order is cyclic. Let G be a group of prime order p. If a G is nonidentity element, a G = p. Because a e, a 1 and a = a = p. Therefore G = a and G is cyclic. Stating the definition of cyclic group: 1 pt. Stating Lagrange s theorem correctly: 2 pts. Proving the result correctly: 7 pts. (7) (9 pts) Let G be a group of order 55. Show that G has a normal subgroup of order 11. Because 11 is a prime divisor of G = 55, there is an element a G with a = 11. Then a is a subgroup of order 11. Let H and K be two subgroups of order 11. Then H K is a subgroup of H, so H K H = 11. Therefore H K is 1 or 11. But 55 = G HK = H K H K = 121 H K. Thus H K = 1 is impossible. So H K = 11 and H = K. In other words, there is a unique subgroup of order 11 in G. Let H be the subgroup. For any element g G, ghg 1 is a subgroup of G and ghg 1 = H = 11. From above observation, ghg 1 = H. This implies that H G. Showing the existence of order 11 subgroup: 3 pts. Proving that an order 11 subgroup is unique: 3 pts. Showing that the unique order 11 subgroup is normal: 3 pts. 5

(8) Let p be a prime and let G = Z p 2 Z p 2. (a) (6 pts) Determine the number of elements of order p in G. Note that a Z p 2 has order 1, p, or p 2. a = p if and only if gcd(a, p 2 ) = p 2 /p = p. Therefore there are p 1 such elements, p, 2p, 3p,, (p 1)p. Let H be the set of such elements. For any (a, b) Z p 2 Z p 2, (a, b) = lcm( a, b ). Therefore there are three possibilities of (a, b) = p. Case 1. a = p, b = 1. Then b = 0. So there are p 1 such elements. {(a, 0) a H} is the set of such elements. Case 2. a = 1, b = p. Similarly, there are p 1 such elements. {(0, b) b H} is the set of such elements. Case 3. a = b = p. In this case, {(a, b) a, b H} is the set of such elements. So the number of elements is (p 1) 2. In summary, there are (p 1) 2 + 2(p 1) = p 2 1 elements of order p in G. Listing all possibilities to get an order p elements: 3 pts. Counting the number of elements of oder p in G: 3 pts. (b) (6 pts) Find the number of subgroups of order p in G. Note that for any order p element a G, a is a subgroup of order p. Therefore every order p element is in an order p subgroup. Conversely, any nonidentity element in an order p subgroup has order p. So an order p subgroup has exactly p 1 order p elements. Moreover, if H and K are two distinct order p subgroups, then H K H = p and H K p. Therefore H K = 1 and H K = {e}. Therefore for each order p element, there is a unique subgroup of order p containing it. In summary, the number of subgroups of order p is (p 2 1)/(p 1) = p + 1. 6

(9) (a) (6 pts) Show that Z 5 Z 5 / (1, 1) Z 5. Because (1, 1) = lcm( 1, 1 ) = 5, (1, 1). Therefore Z 5 Z 5 / (1, 1) = Z 5 Z 5 (1, 1) = 25 5 = 5. A group of prime order is cyclic. Therefore it is a cyclic group of order 5, which is isomorphic to Z 5. Computing the order of Z 5 Z 5 / (1, 1) : 3 pts. Concluding that it is isomorphic to Z 5 : 3 pts. (b) (6 pts) By using the first isomorphism theorem, show that GL(2, R)/SL(2, R) R. Define a map φ : GL(2, R) R as φ(a) = det A. Then φ(ab) = det(ab) = det A det B = φ(a)φ(b), so it is a homomorphism. For any c R, [ c 0 φ( 0 1 ] ) = c. Therefore φ is onto and φ(gl(2, R)) = R. Furthermore, A ker φ det A = 1 A SL(2, R). So ker φ = SL(2, R). By the first fundamental theorem, GL(2, R)/SL(2, R) = GL(2, R)/ ker φ φ(gl(2, R)) = R. Stating the first isomorphism theorem: 1 pt. Giving the homomorphism φ: 2 pts. Showing that φ is a homomorphism: 1 pt. Proving that φ is onto: 1 pt. Indicating that ker φ = SL(2, R): 1 pt. 7

(10) (10 pts) Determine the number of ways in which the vertices of a square can be colored with four colors. Two colorings are equivalent if one is obtained from another by applying a permutation induced by the symmetry group D 4 of the square. Let D 4 = {e, R 90, R 180, R 270, H, V, D, D } where R θ is the rotation by θ and H, V are horizontal/vertical flips, D, D are two diagonal flips. Let S be the set of all colorings. Then S = 4 4 = 256. For e, fix(e) = S = 256. For R 90, if a coloring is in fix(r 90 ), then all vertices must be the same color. So fix(r 90 ) = 4. By the same idea, fix(r 270 ) = 4, too. For R 180, a coloring is in fix(r 180 ) exactly when the opposite vertices have the same color. Therefore fix(r 180 ) = 4 2 = 16. A coloring is fixed by H when two adjacent vertices connected by a vertical edge have the same color. So fix(h) = 4 2 = 16. By the same token, we have fix(v ) = 16. Finally, for two diagonal flips D and D, there are two fixed vertices on the flipping axis and a pair of vertices which share the same color. Therefore fix(d) = fix(d ) = 4 3 = 64. By Burnside s theorem, the number of orbits is 1 D 4 g D 4 fix(g) = 1 8 (256 + 4 + 16 + 4 + 16 + 16 + 64 + 64) = 440 8 = 55. Stating Burnside s theorem: 2 pts. Getting the number of all possible colorings before identification: 2 pts. Counting the number of fixed colorings for each element of D 4 : 1 pt each. 8