Algebra I: Final 2018 June 20, 2018

Similar documents
Algebra I: Final 2012 June 22, 2012

Algebra I: Final 2015 June 24, 2015

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.

Solutions to Some Review Problems for Exam 3. by properties of determinants and exponents. Therefore, ϕ is a group homomorphism.

Extra exercises for algebra

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

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

3.8 Cosets, Normal Subgroups, and Factor Groups

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

Cosets and Normal Subgroups

Written Homework # 2 Solution

Math 103 HW 9 Solutions to Selected Problems

Normal Subgroups and Factor Groups

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.

Answers to Final Exam

Course 311: Abstract Algebra Academic year

Homework #11 Solutions

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

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

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

Math 4400, Spring 08, Sample problems Final Exam.

INTRODUCTION TO THE GROUP THEORY

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions

MA441: Algebraic Structures I. Lecture 18

Section 13 Homomorphisms

Name: Solutions - AI FINAL EXAM

541 Day Lemma: If N is a normal subgroup of G and N is any subgroup of G then H N = HN = NH. Further if H is normal, NH is normal as well.

3.4 Isomorphisms. 3.4 J.A.Beachy 1. from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair

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

Math 546, Exam 2 Information.

Algebra I Notes. Clayton J. Lungstrum. July 18, Based on the textbook Algebra by Serge Lang

Part II Permutations, Cosets and Direct Product

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

Homework 2 /Solutions

Lecture Note of Week 2

Section 18 Rings and fields

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 21. Solvability by Radicals

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

Cosets, factor groups, direct products, homomorphisms, isomorphisms

MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION

Converse to Lagrange s Theorem Groups

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

120A LECTURE OUTLINES

6. The Homomorphism Theorems In this section, we investigate maps between groups which preserve the groupoperations.

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.

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

PROBLEMS FROM GROUP THEORY

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

GROUPS OF ORDER p 3 KEITH CONRAD

First Semester Abstract Algebra for Undergraduates

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

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

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

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

4 Powers of an Element; Cyclic Groups

A Little Beyond: Linear Algebra

Two subgroups and semi-direct products

Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups:

Math 581 Problem Set 8 Solutions

ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH

Solution Outlines for Chapter 6

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

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

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

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

Algebra Exercises in group theory

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

Abstract Algebra II Groups ( )

1 Chapter 6 - Exercise 1.8.cf

Algebraic Structures II

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

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

Math 450 Fall 2000 Solutions to selected problems. Proof. Let i mod n = k and j mod n = l. Then we need to show that. i = qn + k and j = sn + l.

Teddy Einstein Math 4320

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

Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013

I. Group Theory. Proof. a. Since. n 11 1 (mod 11), n so n 11 = 1. So H has a normal Sylow 11-subgroup. b. Since

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

Math 581 Problem Set 9

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

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are

Introduction to Groups

GROUP THEORY EXERCISES AND SOLUTIONS

Kevin James. p-groups, Nilpotent groups and Solvable groups

Math 451, 01, Exam #2 Answer Key

Solutions to Assignment 4

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

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

Group Theory

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

MTH Abstract Algebra II S17. Review for the Final Exam. Part I

Lecture Notes. Group Theory. Gunnar Traustason (Autumn 2016)

ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY

MA441: Algebraic Structures I. Lecture 14

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

Recall: Properties of Homomorphisms

Transfer Theory and its Applications to the Study of Simple Groups

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT

Algebraic Structures Exam File Fall 2013 Exam #1

Theorems and Definitions in Group Theory

Transcription:

1 Algebra I: Final 2018 June 20, 2018 ID#: Quote the following when necessary. A. Subgroup H of a group G: Name: H G = H G, xy H and x 1 H for all x, y H. B. Order of an Element: Let g be an element of a group G. Then g = {g n n Z} is a subgroup of G. If there is a positive integer m such that g m = e, where e is the identity element of G, g = min{m g m = e, m N} and g = g. Moreover, for any integer n, g divides n if and only if g n = e. C. Lagrange s Theorem: If H is a subgroup of a finite group G, then G = G : H H. D. Normal Subgroup: A subgroup H of a group G is normal if ghg 1 = H for all g G. If H is a normal subgroup of G, then G/H becomes a group with respect to the binary operation (gh)(g H) = gg H. E. Direct Product: If gcd(m, n) = 1, then Z mn Z m Z n and U(mn) U(m) U(n). F. Isomorphism Theorem: If α : G G is a group homomorphism, Ker(α) = {x G α(x) = e G }, where e G is the identity element of G. Then G/Ker(α) α(g). G. Sylow s Theorem: For a finite group G and a prime p, let Syl p (G) denote the set of Sylow p-subgroups of G. Then Syl p (G). Let P Syl p (G). Then Syl p (G) = G : N(P ) 1 (mod p), where N(P ) = {x G xp x 1 = P }. Other Theorems: List other theorems you applied in your solutions. Please write your message: Comments on group theory. Suggestions for improvements of this course. Write on the back of this sheet is also welcome.

2 1. Let H and K be subgroups of a group G. Let a, b G. Show the following. (20 pts) (a) ah = bh if and only if a 1 b H. (b) HH 1 = H. (c) If HK G, then HK = KH. (d) If HK = KH, then HK G.

3 2. Let G be a group, H a subgroup of G, N a normal subgroup of G, ϕ : G G/N (x xn) a function from G to a factor group G/N. Show the following. (20 pts) (a) ϕ is an onto group homomorphism. (b) ϕ(h) is a subgroup of G/N. (c) Let H = ϕ(h). Then ϕ 1 ( H) = HN. (d) H/(N H) HN/N.

4 3. Answer the following questions on Abelian groups of order 24 = 2 3 3. (20 pts) (a) Using the Fundamental Theorem of Finite Abelian Groups, list all non-isomorphic Abelian groups of order 24. Express each as an external direct product of cyclic groups. (b) What is the largest order of the elements of U(35)? Show work. (c) Express U(35) as an internal direct product of cyclic subgroups. (d) Is U(35) isomorphic to U(72)? Show work.

{[ ] a bp 4. Let p be a prime number, and let G = a, b Q, a 0 or b 0}. Let R b a be the multiplicative group of nonzero real numbers. Show the following. (20 pts) (a) G is closed under matrix product, i.e., if A, B G, then AB G. 5 (b) G is a group with respect to matrix product. ([ a (c) Suppose ϕ : G R b α R. Then α = ± p. bp a ] ) a + bα is a group homomorphism for some (d) G H = {z R z = x + y p for some x, y Q} R.

6 5. Let G be a group of order 1225 = 5 2 7 2. Let P Syl 5 (G) and Q Syl 7 (G). Show the following. (20 pts) (a) P is a normal subgroup of G. (b) P is Abelian. (c) G = P Q. (d) G has an element of order 35.

1 Algebra I: Solutions to Final 2018 June 20, 2018 1. Let H be a subgroup of a group G. Let a, b G. Show the following. (20 pts) (a) ah = bh if and only if a 1 b H. Soln. Since H G, H. Let a H. Then, a 1 H and e = aa 1 H. Suppose ah = bh. Since e H, ah = bh implies that b = be bh = ah. Hence, there exists h H such that b = ah. Therefore, by multiplying a 1 to both hand sides from the left, a 1 b = h H. Conversely, let a 1 b = h H. Then, b = ah and Therefore, ah = bh. bh = ahh ah = aeh = ahh 1 H = aa 1 bh 1 H bh. (b) HH 1 = H. Soln. Since H is a subgroup, Therefore H = H 1 = HH 1. H = (H 1 ) 1 H 1 = eh 1 HH 1 H. (c) If HK G, then HK = KH. Soln. Since HK, H and K are subgroups of G, by the proof of (b), HK = (HK) 1 = K 1 H 1 = KH. (d) If HK = KH, then HK G. Soln. We use the Two Step Subgroup Test. By the proof of (b), HKHK = HHKK = HK, (HK) 1 = K 1 H 1 = KH = HK. Hence, HK G. 2. Let G be a group, H a subgroup of G, N a normal subgroup of G, ϕ : G G/N (x xn) a function from G to a factor group G/N. Show the following. (20 pts) (a) ϕ is an onto group homomorphism. Soln. Let x, y G. Since (xn)(yn) = xyn, we have ϕ(xy) = xyn = (xn)(yn) = ϕ(x)ϕ(y). Therefore, ϕ is operation preserving. Since every element of G/N has a form xn with x G, xn = ϕ(x) and ϕ is onto. (b) ϕ(h) is a subgroup of G/N. Soln. First, note that N is the identity element in G/N, ϕ(e) = en = N and ϕ(x 1 ) = x 1 N = (xn) 1 = ϕ(x) 1. Let ϕ(h), ϕ(h ) ϕ(h) with h, h H. Then ϕ(h)ϕ(h ) 1 = ϕ(h)ϕ(h 1 ) = ϕ(hh 1 ) ϕ(h). Therefore, by the One-Step- Subgroup Test, ϕ(h) G/N.

2 (c) Let H = ϕ(h). Then ϕ 1 ( H) = HN. Soln. Let hn HN with h H and n N. Then, ϕ(hn) = hnn = hn ϕ(h) = H by 1(a), as (hn) 1 h = n 1 h 1 h = n 1 N. Hence, HN ϕ 1 ( H). If x ϕ 1 ( H), ϕ(x) H = ϕ(h). Hence, there exists h H such that ϕ(x) = ϕ(h). Then xn = hn and h 1 x N by 1 (a). Let h 1 x = n N. Then x = hn HN and ϕ 1 ( H) HN. Therefore, ϕ 1 ( H) = HN. (d) H/(N H) HN/N. Soln. Since ϕ(h) = ϕ(hn) = HN/N as N HN and Ker(ϕ) H = H N, H/H N HN/N by the First Isomorphism Theorem. Here, the theorem is applied to the group homomorphism ϕ restricted to H. 3. Answer the following questions on Abelian groups of order 24 = 2 3 3. (20 pts) (a) Using the Fundamental Theorem of Finite Abelian Groups, list all non-isomorphic Abelian groups of order 24. Express each as an external direct product of cyclic groups. Soln. There are three isomorphism classes. Z 8 Z 3 Z 24, Z 2 Z 4 Z 3 Z 2 Z 12, Z 2 Z 2 Z 2 Z 3 Z 2 Z 2 Z 6. (b) What is the largest order of the elements of U(35)? Show work. Soln. By E, U(35) U(5) U(7) Z 4 Z 6 Z 4 Z 2 Z 3, as U(5) = 2, U(7) = 3. Hence U(35) is isomorphic to the second type in (b) and the largest order of the elements of U(35) is 12. (c) Express U(35) as an internal direct product of cyclic subgroups. Soln. Since none of 2, 4, 8, 16, 32 = 3, 6 is 1, the order of 2 in U(35) is 12 and the unique element of order 2 in 2 is 6 and not 34, U(35) = 34 2 Z 2 Z 12. (d) Is U(35) isomorphic to U(72)? Show work. Soln. Since every nonidentity element of U(8) = {1, 3, 5, 7, 9} is of order 2, U(72) U(8) U(9) Z 2 Z 2 Z 6 U(35). {[ ] a bp 4. Let p be a prime number, and let G = a, b Q, a 0 or b 0}. Let R b a be the multiplicative group of nonzero real numbers. Show the following. (20 pts) (a) G is closed under matrix product, i.e., if A, B G, then AB G. [ ] [ ] 1 0 0 p Soln. Let I = and J =. Then J 0 1 1 0 2 = pi and G = {ai +bj a, b Q, a 0 or b 0}. Let A = ai + a J and B = bi + b J. Since det(a) = a 2 a 2 p and p Q, det(a) 0 if and only if a 0 or a 0. Similarly, det(b) 0. Thus det(ab) = det(a) det(b) 0 and AB = (ai + a J)(bI + b J) = (ab + a b p)i + (ab + a b)j G. Therefore, G is closed under matrix product.

3 (b) G is a group with respect to matrix product. [ ] [ ] a bp Soln. For A =, A 1 1 a bp = G and G is a subgroup b a a 2 bp 2 b a of GL(2, R) by (a) and the Two-Step-Subgroup Test. ([ ] ) a bp (c) Suppose ϕ : G R a + bα is a group homomorphism for some b a α R. Then α = ± p. Soln. Since J 2 = pi, ϕ(j) 2 = ϕ(j 2 ) = ϕ(pi) = p R. Hence a nonzero real number α = ϕ(j) has to be ± p. (d) G H = {z R z = x + y p for some x, y Q} R. ([ ] a bp Soln. Let ψ : G R a + b ) p. Then using the notation in (a), b a ψ(ab) = ψ((ab + a b p)i + (ab + a b)j) = (ab + a b p) + (ab + a b) p = (a + a p)(b + b p) = ψ(a)ψ(b). Hence ψ is a group homomorphism. By the definition of ψ, ψ is one-to-one, and onto. Therefore, ψ is an isomorphism. 5. Let G be a group of order 1225 = 5 2 7 2. Let P Syl 5 (G) and Q Syl 7 (G). Show the following. (20 pts) (a) P is a normal subgroup of G. Soln. Since G : N(P ) = Syl 5 (G) 1 (mod 5) and G : N(P ) is a divisor of 7 2, the only possibility is 1. Hence Syl 5 (G) = {P }. Since xp x 1 Syl 5 (G), xp x 1 = P for all x G and P G. (b) P is Abelian. Soln. Suppose P is a group of order p 2 for a prime p. Since P is a nontrivial p-group, Z(P ) = p or p 2. If Z(P ) = p, P/Z(P ) is a prime order and hence cyclic. Then P is Abelian and P = Z(P ), a contradiction. Thus P = Z(P ) and P is Abelian. Since P = 5 2, P is of prime square order, and hence P is Abelian. (c) G = P Q. Soln. Since G : N(Q) = Syl 7 (G) 1 (mod 7) and G : N(Q) is a divisor of 5 2, the only possibility is 1. Hence Syl 5 (G) = {Q}. Since xqx 1 Syl 5 (G), xqx 1 = Q for all x G and Q G. Since each element of P Q has order dividing P = 5 2 and Q = 7 2 by Lagrange s Theorem, P Q = {e}. Since P Q = QP, P Q is a subgroup of G by 1(d) containing P and Q as subgroups, P Q is divisible by 5 2 7 2 and P Q = G. Therefore, G = P Q, the internal direct product of P and Q. (d) G has an element of order 35. Soln. Since both P and Q are Abelian by (b), P contains an element x of order 5 and Q contains an element y of order 7. Since G P Q, G contains an element of order 35 corresponding to xy.