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

Similar documents
Definition : Let G be a group on X a set. A group action (or just action) of G on X is a mapping: G X X

Automorphism Groups Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G.

Solutions to Assignment 4

MA441: Algebraic Structures I. Lecture 15

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

Solution Outlines for Chapter 6

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

ALGEBRA QUALIFYING EXAM PROBLEMS

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Isomorphisms. 0 a 1, 1 a 3, 2 a 9, 3 a 7

Class Notes for Math 901/902: Abstract Algebra, Instructor Tom Marley

7 Semidirect product. Notes 7 Autumn Definition and properties

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

Elements of solution for Homework 5

Proposition 1.3. Let S and T be sets of the same cardinality. Then any free group on S is isomorphic to any free group

Extra exercises for algebra

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.

PROBLEMS FROM GROUP THEORY

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms 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.

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

Solutions of exercise sheet 4

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

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

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

ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY

Algebra-I, Fall Solutions to Midterm #1

The Outer Automorphism of S 6

Math 120: Homework 6 Solutions

Math 210A: Algebra, Homework 5

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

Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations

Chapter 5. Modular arithmetic. 5.1 The modular ring

Lecture 4.1: Homomorphisms and isomorphisms

MA441: Algebraic Structures I. Lecture 26

NOTES ON FINITE FIELDS

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.

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

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

Exercises MAT2200 spring 2014 Ark 4 Homomorphisms and factor groups

Abstract Algebra II Groups ( )

Algebra SEP Solutions

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

Math 581 Problem Set 7 Solutions

CLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz

MATH 436 Notes: Cyclic groups and Invariant Subgroups.

A while back, we saw that hai with hai = 42 and Z 42 had basically the same structure, and said the groups were isomorphic, in some sense the same.

Abstract Algebra: Supplementary Lecture Notes

Theorems and Definitions in Group Theory

2.3 The Krull-Schmidt Theorem

Name: Solutions Final Exam

Page Points Possible Points. Total 200

Cosets and Normal Subgroups

Lecture 7 Cyclic groups and subgroups

Math 546, Exam 2 Information.

Two subgroups and semi-direct products

5 Group theory. 5.1 Binary operations

Algebra homework 6 Homomorphisms, isomorphisms

Problem 1.1. Classify all groups of order 385 up to isomorphism.

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

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Higher Algebra Lecture Notes

HOMEWORK Graduate Abstract Algebra I May 2, 2004

Converse to Lagrange s Theorem Groups

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

Homework #11 Solutions

M3P10: GROUP THEORY LECTURES BY DR. JOHN BRITNELL; NOTES BY ALEKSANDER HORAWA

II. Products of Groups

C-Characteristically Simple Groups

A PROOF OF BURNSIDE S p a q b THEOREM

Math 210A: Algebra, Homework 6

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

MATH 436 Notes: Homomorphisms.

Section 10: Counting the Elements of a Finite Group

Answers to Final Exam

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

Exercises on chapter 1

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

and this makes M into an R-module by (1.2). 2

MATH 251, Handout on Sylow, Direct Products, and 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.

Math 430 Final Exam, Fall 2008

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT

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

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

Section 15 Factor-group computation and simple groups

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

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

3.2.8 Prove that if H and K are finite subgroups of G whose orders are relatively prime then H K = 1.

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

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

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS

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

1 Chapter 6 - Exercise 1.8.cf

CONSEQUENCES OF THE SYLOW THEOREMS

The group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.

International Journal of Pure and Applied Mathematics Volume 13 No , M-GROUP AND SEMI-DIRECT PRODUCT

Teddy Einstein Math 4320

2MA105 Algebraic Structures I

Transcription:

Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups: Definition: The external direct product is defined to be the following: Let H 1,..., H n be groups. H 1 H 2 H n := {(h 1,..., h n ) h i H i } and the group operation is the componentwise operation in the respective group. For each i, let H i = {(1,..., h i,..., 1) h i H i }. Then the following hold (exercise): 1. Each H i is a subgroup of G. 2. H i = H i. 3. H i G 4. G = H 1 H n. 5. H i H 1 Ĥ i H n = {1} Thus, the group G is built out of the normal subgroups H 1,..., H n in a special way. Definition: Let G be a group and H 1,..., H n subgroups of G. We say that G is an internal direct product of H 1,..., H n if the following hold: 1. H i G. 2. G = H 1 H n. 3. H i H 1 Ĥi H n = {1} In this case, we write G = H 1 H 2 H n. Note that we use the same notation for both internal and external direct products. This is justified by the previous exercise and the following: Exercise: If G is the internal direct product of H 1,..., H n then G is isomorphic to the external direct product of H 1,..., H n. Proposition: Let G be a finite abelian group. Then G is the direct product of its sylow subgroups. Proof: Suppose that G = p n 1 1 pn k k, p i distinct primes. Let P i be a sylow p i -subgroup. Then P i G, G = P 1 P k, and P i P 1 ˆP i P k, and therefore G = P 1 P 2 k, where P i is an abelian group of order P n i i. Question: What do abelian groups of order p n look like? From the structure theorem for finitely generated abelian groups, if P is abelian and P = p n, then there exists unique integers n 1 n 2 n k such that P = C p n 1 C p n 2 C p n k 1

where C m is a cyclic group of order m. Example: How many non-isomorphic abelian groups are there of order 2 5? 1. C 32 2. C 16 C 2 3. C 8 C 4 4. C 8 C 2 C 2 5. C 4 C 4 C 2 6. C 4 C 2 C 2 C 2 7. C 2 C 2 C 2 C 2 C 2 Example: How many non-isomorphic abelian groups of order 2 5 3 2 5 3 are there? There are 7 possibilities of the sylow 2-subgroup, 2 possibilities of the sylow 3-subgroup, and 3 possibilities for the sylow 5-subgroup. Therefore there are 42 isomorphism classes of abelian groups of order 2 5 3 2 5 3. Example: Let G = 3 5 7. Then G = C 5 H where H = 21. Proof: We ve already proved that the Sylow 5-subgroup and Sylow 7-subgroup of G is normal. Let P Syl 3 (G), Q Syl 5 (G), R Syl 7 (G). So, Q G, and R G. Let H = P R. Since G/R = 15, and 3 5 1, we know G/R is cyclic. Hence, H/R H G. Since G = P QR = QH, Q H = {1} and both Q and H are normal, we see that G = Q H. We ll see later that there are only two non-isomorphic groups of order 21 (one abelian and one nonabelian), therefore there are only two non-isomorphic groups of order 105. Automorphism Groups Definition: Let G be a group. The automorphism group of G is defined by: Aut(G) := {φ φ : G G is an isomorphism} This is easily seen to be a group under the operation of composition. The most easily understood automorphisms are those given by conjugation by an element: Definition: Let g G, and define ψ g : G G which maps x G to gxg 1. Then ψ g is a group homomorphism, with additional properties: ψ g is called an inner automorphism of G. The set of inner automorphisms: (ψ g ) 1 = ψ g 1, ψ g ψ h = ψ gh Inn(G) := {ψ g g G} 2

is a subgroup of Aut(G), and in fact, we see that φψ g φ 1 = ψ φ(g) for all g G, φ Aut(G), so we see that Inn(G) Aut(G). Finally, if one considers the surjective group homomorphism: f : G Inn(G) g ψ g one sees that ker f = Z(G), giving Inn(G) = G/Z(G). Important Remark: Let ψ Inn(G) and H G. Then ψ H Aut(H). (Also note that ψ H is in general not an inner automorphism of H). We want to compute the automorphism group for some easy groups. of a group of units: First, lets recall the concept Definition: Let R be a ring with identity. Let R := {u R u is a unit of R} Then R is a group under multiplication. For example, consider Z n, and it is easy to see that Z n is a group under multiplication of order φ(n) where φ is the Euler phi-function. Also, M n n (R) = GL n (R). We are ready for a theorem. Theorem: Aut(C n ) = Z n. Proof: Let C n = a and suppose φ : a a is an isomorphism. Suppose φ(a) = a k. Then φ(a i ) = φ(a) i = (a k ) i. Therefore, im φ = a k. Since φ is surjective, a k = a. Therefore (k, n) = 1, so k Z n. Now define f : Aut(C n ) Z n φ k where φ(a) = a k f is well-defined: Suppose φ(a) = a k = a l Then a k l = 1 n (k l) k = l. f is a homomorphism: Left as an exercise (easy to see). f is a monomorphism: If f(φ) = 1 then φ(a) = a, and therefore φ = 1. f is an endomorphism: If k Z n then a k = a which implies φ : a a which sends a to a k is an automorphism of C n. So f(φ) = k and therefore f is onto. Note that Z n is a cyclic group but Z n is not in general. For example, Z 15 has no element of order 8 (which is the order of the group). In fact, suppose n = kl where (k, l) = 1 and k, l > 2. By the Chinese Remainder Theorem, we have Z n = Zk Z l which implies that Z n = (Zk Z l ) = Z k Z l, which is not cyclic, since φ(k) and φ(l) are both even (exercise). Theorem: Let F be a field and H a finite subgroup of F. Then H is cyclic. 3

Proof: It is enough to show that each Sylow subgroup of H is cyclic, since H is abelian, this would mean that H is the direct product of cyclic subgroups of relatively prime order.) Hence, we may assume that H = p n, for some prime p. Then H = C p n 1 C p n 2 C p n k where n 1 n 2 n k. Hence h pn 1 = 1 for all h H. If H is not cyclic, then n 1 < n, or equivalently, k 2. Let f(x) = x pn 1 1 F [x]. Since f(h) = 0 for all h H F, f(x) has at least p n roots. But p n > p n 1, a contradiction. Corollary: If p is prime, Z p = C p 1, and in particular, Aut(Z p ) = C p 1. Example: Find an automorphism of C 13 of order 6. We know that Aut(C 13 ) = Z 13. As 2 6 1( mod 13), we see that Z 13 = 2. So, we know that 2 2 = 4 is an element of order 6 in Z 13. Hence, letting C 13 = a, an automorphism of order 6 is given by: φ : C 13 C 13 a a 4 Example: Find φ Aut(C 35 ) such that φ has order 12. We know that Aut(C 35 ) = Z 35 = Z 5 Z 7. The Chinese Remainder Theorem isomorphism: Z 35 Z 5 Z 7 ā (ā, ā) Now, Z 5 is cyclic of order 4, and Z 7 is cyclic of order 6. An element of order 4 in Z 5 is 2, and an element of order 3 in Z 7 is 4. Hence, ( 2, 4) Z 5 Z 7 has order 12. Therefore, we see that 32 is an element of order 12 in Z 35. Hence, setting C 35 = a, we see that an automorphism of order 12 is given by: φ : C 35 C 35 a a 12 Theorem: Let p > 2 be prime. Then Z p is cyclic of order n pn p n 1. Proof: We know that Z p n = φ(pn ) = p n p n 1 = p n 1 (p 1). Since Zp is cyclic, it is enough to show n all of its Sylow subgroups are cyclic. Exercise: (1 + p) pn 1 1( mod p n ) but (1 + p) pn 2 1( mod p n ). Therefore, we see that [1 + p] p n Z p is an element of order n pn 1. Therefore, the sylow p-subgroup of Z p is cyclic. Now consider the group homomorphism defined by: n ψ : Z p n Z p [a] p n [a] p 4

Note that since (a, p n ) = 1 (a, p) = 1, we have [a] p n Z p n [a] p Z p Therefore, we see that ψ is well-defined and surjective. Since Z p n = pn 1 (p 1) and Z p = p 1, we see that ker ψ = p n 1. Let Q be a Sylow q-subgroup of Z p, with q p. Then, since Q ker ψ = {1}, Q is isomorphic to a subgroup of Z p. Since Z p is cyclic and subgroups of cyclic groups are cyclic, we see that Q is cyclic, completing the proof. 5