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.

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

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


Fall /29/18 Time Limit: 75 Minutes

Algebra-I, Fall Solutions to Midterm #1

1 Chapter 6 - Exercise 1.8.cf

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

MAT 150A, Fall 2015 Practice problems for the final exam

Extra exercises for algebra

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

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

Solutions to Assignment 4

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

Algebra I: Final 2012 June 22, 2012

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

Algebra. Travis Dirle. December 4, 2016

The Outer Automorphism of S 6

Math 120: Homework 6 Solutions

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

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

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

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

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.

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

Name: Solutions - AI FINAL EXAM

Homework #5 Solutions

Chapter I: Groups. 1 Semigroups and Monoids

(5.11) (Second Isomorphism Theorem) If K G and N G, then K/(N K) = NK/N. PF: Verify N HK. Find a homomorphism f : K HK/N with ker(f) = (N K).

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

MA441: Algebraic Structures I. Lecture 26

15 Permutation representations and G-sets

The Class Equation X = Gx. x X/G

Group Theory

1 Finite abelian groups

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

MA441: Algebraic Structures I. Lecture 15

Properties of Homomorphisms

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

Physics 251 Solution Set 1 Spring 2017

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

Name: Solutions Final Exam

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

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

13 More on free abelian groups

Section 15 Factor-group computation and simple 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.

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

Elements of solution for Homework 5

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

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.

Math 451, 01, Exam #2 Answer Key

Name: Solutions Final Exam

Solutions of exercise sheet 4

School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet IV: Composition series and the Jordan Hölder Theorem (Solutions)

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

Pseudo Sylow numbers

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

CONSEQUENCES OF THE SYLOW THEOREMS

1. Group Theory Permutations.

Abstract Algebra, HW6 Solutions. Chapter 5

PROBLEMS FROM GROUP THEORY

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

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

MAT301H1F Groups and Symmetry: Problem Set 3 Solutions November 18, 2017

Groups and Symmetries

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

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

Math 210A: Algebra, Homework 5

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

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

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.

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

Converse to Lagrange s Theorem Groups

Math 3140 Fall 2012 Assignment #3

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

Groups. Groups. 1.Introduction. 1.Introduction. TS.NguyễnViết Đông. 1. Introduction 2.Normal subgroups, quotien groups. 3. Homomorphism.

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

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

QUALIFYING EXAM IN ALGEBRA August 2011

Normal Subgroups and Factor Groups

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

The Symmetric 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.

HOMEWORK Graduate Abstract Algebra I May 2, 2004

38 Irreducibility criteria in rings of polynomials

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

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

Maximal finite subgroups of Sp(2n, Q)

Theorems and Definitions in Group Theory

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

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

Fall 2014 Math 122 Midterm 1

GROUP ACTIONS EMMANUEL KOWALSKI

Quiz 2 Practice Problems

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

Algebra homework 6 Homomorphisms, isomorphisms

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

Math 4400, Spring 08, Sample problems Final Exam.

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

MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION

Transcription:

Some of the problems are very easy, some are harder. 1. Let G and H be two groups and G H the external direct product of G and H. (a) Prove that the map f : G H H G defined as f(g, h) = (h, g) is a group homomorphism. Proof: Elements of G H are all pairs {(g, h) g G, h H} operation is componentwise elements of H G are all pairs {(h, g) g G, h H} operation is componentwise f((g 1, h 1 ) + (g 2, h 2 )) = f(g 1 + g 2, h 1 + h 2 ) = (h 1 + h 2, g 1 + g 2 ) f(g 1, h 1 ) + f(g 2, h 2 ) = (h 1, g 1 ) + (h 2, g 2 ) = (h 1 + h 2, g 1 + g 2 ) Therefore f((g 1, h 1 ) + (g 2, h 2 )) = f(g 1, h 1 ) + f(g 2, h 2 ) hence f is a homomorphism. i. Find Ker(f). identity of G H is the pair (e G, e H )! identity of H G is the pair (e H, e G )! Let (a, b) Ker(f). Then f(a, b) is the identity in H G. So f(a, b) = (e H, e G ). But f(a, b) = (b, a) by definition of f. Therefore (e H, e G ) = (b, a). Therefore e H = b and e G = a. So (a, b) = (e G, e H ). Hence Ker(f) = {(e G, e H )} ii. Find Im(f). Im(f) = H G. You have to prove this! (b) Prove that the map i : G G H defined as i(g) = (g, e h ) is a group homomorphism (e H is the identity element in H). i(g 1 + g 2 ) = (g 1 + g 2, e H ) i(g 1 ) + i(g 2 ) = (g 1, e H ) + (g 2, e H ) = (g 1 + g 2, e H + e H ) = (g 1 + g 2, e H ) Therefore i(g 1 + g 2 ) = i(g 1 ) + i(g 2 ) i. Find Ker(i). Ker(i) = {e G }. You have to prove this! ii. Find Im(i). Im(i) = G {e H } = {(g, e H ) g G} < G H 1

(c) Prove that the map p : G H G defined as p(g, h) = g is a group homomorphism. i. Find Ker(p). ii. Find Im(p). 2. Describe all Abelian groups G, up to isomorphism, such that: (a) G = 16 Z 16, Z 8 Z 2, Z 4 Z 4, Z 4 Z 2 Z 2, Z 2 Z 2 Z 2 Z 2 (b) G = 16 and G has no elements of order 16. 1 Z 16 has order 16. (a, b) = lcm( a, b ) for (a, b) A B a Z 8 = a = 1, 2, 4, 8 a Z 4 = a = 1, 2, 4. a Z 2 = a = 1, 2. lcm(8, 2) = 8 lcm(4, 2) = lcm(4, 4) = lcm(2, 4) = 4 lcm(2, 2) = lcm(2, 2, 2) = 2 lcm(k, 1) = k The only possible orders of the elements in the following groups are: 8,4,2,1. Z 8 Z 2, Z 4 Z 4, Z 4 Z 2 Z 2, Z 2 Z 2 Z 2 Z 2 (c) G = 16 and G has no elements of order 8. 2 Z 16 has order 8 (1, 0) Z 8 Z 2 has order 8. The only possible orders of the elements in the following groups are: 4,2,1. Z 4 Z 4, Z 4 Z 2 Z 2, Z 2 Z 2 Z 2 Z 2 (d) G = 16 and all non-identity elements of G have order 2.. Z 2 Z 2 Z 2 Z 2 2

(e) G = 360. 360 = 2 3 3 2 5 G (2) = Z 8 or Z 4 Z 2 or Z 2 Z 2 Z 2 G (3) = Z 9 or Z 3 Z 3 G (5) = Z 5 G is isomorphic to one of the following 6 groups: Z 8 Z 9 Z 5 Z 4 Z 2 Z 9 Z 5 Z 2 Z 2 Z 2 Z 9 Z 5 Z 8 Z 3 Z 3 Z 5 Z 4 Z 2 Z 3 Z 3 Z 5 Z 2 Z 2 Z 2 Z 3 Z 3 Z 5 (f) G = 12 but G does not have elements of order 12. If G = 12 = 2 2 3 and G is Abelian, then G is isomorphic to one of the following: Z 4 Z 3, Z 2 Z 2 Z 3 1 Z 4 has order 4. 1 Z 3 has order 3. (1, 1) Z 4 Z 3 has order (1, 1) = lcm(4, 3) = 12 G = Z 2 Z 2 Z 3 (g) G = 18 but G is not cyclic. G = 18 = 2 3 2 So G is isomorphic to a product of an Abelian group G (2) of order 2 and an Abelian group G (3) of order 3 2. The only possibility for G (2) is: Z 2. The only possibilities for G (3) are: Z 9 and Z 3 Z 3. So G is isomorphic to one of: Z 2 Z 9 or Z 2 Z 3 Z 3. External product of cyclic groups of relatively prime orders is isomorphic to a cyclic group with order equal to the product of orders (done in class). So Z 2 Z 9 = Z18 which is cyclic. Therefore there is only one Abelian non-cyclic group of order 18 (up to isomorphism!): Z 2 Z 3 Z 3. 3. Let G be a group acting on a set X. Main formulas and properties to use: X = disjoint O x O x O x divides G O x = 1 if and only if x is a fixed point of the action of G on X. 3

(a) If G = 11 and X = 12 prove that the action has at least one fixed point. Proof: Since G = 11, the orbits can have 1 or 11 elements. Since X = 12 we have 12 = X = disjoint O x O x. So, we have either 12 = 11+1 or 12 = 1+1+1+1+1+1+1+1+1+1+1+1. These are the only possibilities and in both cases there is at least one x X such that the orbit O x = 1 has only one element, hence G fixes that point, i.e. x is a fixed point of the action. (b) If G = 11 and X = 10 prove that G(x) = x for all x X. Proof: Since G = 11, the orbits can have 1 or 11 elements. Since X = 10 we have 10 = X = disjoint O x O x. So, we have 10 = 1+1+1+1+1+1+1+1+1+1. So for each x X the orbit O x = 1 has only one element, hence G fixes that point, i.e. gx = x for all g G, or G(x) = x. Hence for each x X we have G(x) = x. (c) If G = 12 and X = 11 prove that the action has at least 3 orbits. (d) If G = 16 and X = 155 prove that the action has at least one fixed point. (e) If G = p 2 where p is a prime and X = q, q a prime q > p then G has at least one fixed point. 4. Let G X ϕ X be an action of group G on the set X = G given by conjugation, i.e. ϕ(g, x) = gxg 1. Suppose x is a fixed point of this action. Prove that x Z(G), i.e. x is in the center of G. Proof: Let x be a fixed point of the action of the group G on the set X = G, given by ϕ(g, x) = gxg 1. If x is fixed point then ϕ(g, x) = gxg 1 = x for all g G. So gxg 1 = x for all g G. Multiply on the right by g and get: So gx = xg for all g G. Therefore x Z(G), the center of G. (Def. Z(G) = {x G gx = xg for all g G}.) 5. Let G X ϕ X be an action of group G on the set X = {subgroups of G} given by conjugation, i.e. ϕ(g, H) = ghg 1. Suppose K is a fixed point of this action. Prove that K is a normal subgroup of G. 6. Let f : G G be a group homomorphism. Prove: If Ker(f) = e then f is a one-to-one map. Proof: Assume Ker(f) = {e}. WTS f is one-to-one. Suppose f(x 1 ) = f(x 2 ). WTS x 1 = x 2. 4

Use two facts about homomorphisms, which we did in class: f(ab) = f(a)f(b) this is just definition f(a 1 ) = (f(a)) 1 mentioned many times in class (for homomorphisms) f(x 1 x 1 2 ) = f(x 1 ) f(x 1 2 ) by the first property = f(x 1 ) f(x 1 2 ) = f(x 1 ) (f(x 2 )) 1 by the second property = f(x 1 ) (f(x 1 )) 1 by assumption that f(x 1 ) = f(x 2 ) = e G since f(x 1 ) and (f(x 1 )) 1 are inverses of each other. Therefore f(x 1 x 1 2 ) = e G Therefore x 1 x 1 2 Ker(f) = {e}. So x 1 x 1 2 = e. Now multiply the equation by x 2 on the right. Therefore (x 1 x 1 2 ) x 2 = e x 2. Apply associative law, inverse and identity property. So x 1 = x 2. Therefore f is one-to-one. 7. Let f : G G be a group homomorphism. Prove: Ker(f) is a normal subgroup of G. 8. If G = 18 and a G, what are all possible orders of a? Answer: 1,2,3,6,9,18. 9. If G = 17 and a G, what are all possible orders of a? Answer: 1,17. 10. If G = 23 and a G, a e, what are all possible orders of a? Answer: 23. 11. Let G be a group of order G = 35. (a) How many 5-Sylow subgroups does G have? r 5 = #{5-Sylow subgroups} G = 35 = r 5 = 1, 5, 7, 35 r 5 = #{5-Sylow subgroups} = 1(mod5) = r 5 = 1, 6, 11, 16, 21, 26, 31 r 5 = 1. Therefore there is exactly one 5-Sylow subgroup. (b) Let P 5 be a 5-Sylow subgroup of G. How many elements does P 5 have? P 5 = 5 (c) How many 7-Sylow subgroups does G have? r 7 = #{7-Sylow subgroups} G = 35 = r 7 = 1, 5, 7, 35 r 7 = #{7-Sylow subgroups} = 1(mod7) = r 7 = 1, 8, 15, 22, 29 r 7 = 1. Therefore there is exactly one 7-Sylow subgroup. (d) Let P 7 be a 7-Sylow subgroup of G. Find P 7. P 7 = 7 5

12. Find ALL Sylow subgroups of Z 12. Prove that these are all. r 2 = #{2-Sylow subgroups} G = 12 = r 2 = 1, 2, 3, 4, 6, 12 r 2 = #{2-Sylow subgroups} = 1(mod2) = r 2 = 1, 3, 5, 7, 9, 11 r 2 = 1 or 3. Notice, since Z 12 is Abelian, all subgroups are normal and since all 2-Sylow subgroups are conjugate to each other, it follows that gp 2 g 1 = P 2 for all g G. Hence there is only one 2-Sylow subgroup P 2. P 2 = 4 and P 2 = {3, 6, 9, 0}. Similarly, there is exactly one 3-Sylow subgroup P 3 = {4, 8, 0}. 13. Determine the Sylow subgroups of the alternating group A 4 (the even permutations of {1, 2, 3, 4}. A 4 = 12 = 2 2 3 A 4 is not Abelian, so we really need to find numbers of p-sylow subgroups for p = 2 and p = 3 r 2 = #{2-Sylow subgroups} G = 12 = r 2 = 1, 2, 3, 4, 6, 12 r 2 = #{2-Sylow subgroups} = 1(mod 2) = r 2 = 1, 3, 5, 7, 9, 11 r 2 = 1 or 3. P 2 = 4 and P 2 = {(12)(34), (13)(24), (14)(23), (1)} r 3 = #{3-Sylow subgroups} G = 12 = r 3 = 1, 2, 3, 4, 6, 12 r 3 = #{3-Sylow subgroups} = 1(mod 3) = r 3 = 1, 4, 7, 10 r 2 = 1 or 4. {P (1) 3 = (123), P (2) 3 = (124), P (3) 3 = (134) P (4) 3 = (234) } 6