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

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

Solution Outlines for Chapter 6

The Class Equation X = Gx. x X/G

Theorems and Definitions in Group Theory

Math 103 HW 9 Solutions to Selected Problems

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

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

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Solutions to Assignment 4

CLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz

Elements of solution for Homework 5

Group Actions Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying:

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.

Math 3140 Fall 2012 Assignment #3

120A LECTURE OUTLINES

The Outer Automorphism of S 6

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

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

Algebra-I, Fall Solutions to Midterm #1

Solutions of exercise sheet 4

Lecture 4.1: Homomorphisms and isomorphisms

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

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

Teddy Einstein Math 4320

Cosets and Normal Subgroups

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

Homework 10 M 373K by Mark Lindberg (mal4549)

Lecture 7 Cyclic groups and subgroups

Groups and Symmetries

Two subgroups and semi-direct products

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

Introduction to Groups

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

PROBLEMS FROM GROUP THEORY

Answers to Final Exam

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

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

MA441: Algebraic Structures I. Lecture 26

Lecture 3. Theorem 1: D 6

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.

Normal Subgroups and Factor Groups

Extra exercises for algebra

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

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

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

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

CONJUGATION IN A GROUP

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

Math 210A: Algebra, Homework 5

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

Your Name MATH 435, EXAM #1

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

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

Abstract Algebra II Groups ( )

Chapter 5. Modular arithmetic. 5.1 The modular ring

MA441: Algebraic Structures I. Lecture 14

5 Group theory. 5.1 Binary operations

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

The Chinese Remainder Theorem

2MA105 Algebraic Structures I

1.5 Applications Of The Sylow Theorems

Homework #11 Solutions

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.

Section 15 Factor-group computation and simple groups

Math 210A: Algebra, Homework 6

Section 10: Counting the Elements of a Finite Group

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

MATH 436 Notes: Cyclic groups and Invariant Subgroups.

SPRING BREAK PRACTICE PROBLEMS - WORKED SOLUTIONS

Algebra I: Final 2015 June 24, 2015

CHAPTER 9. Normal Subgroups and Factor Groups. Normal Subgroups

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

Homework #5 Solutions

Physics 251 Solution Set 1 Spring 2017

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

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

MA441: Algebraic Structures I. Lecture 15

MODEL ANSWERS TO THE FIFTH HOMEWORK

Discrete Mathematics with Applications MATH236

IDEAL CLASSES AND RELATIVE INTEGERS

Lecture Note of Week 2

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

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

ALGEBRA QUALIFYING EXAM PROBLEMS

Quiz 2 Practice Problems

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

Inverses and Elementary Matrices

Math 546, Exam 2 Information.

a = mq + r where 0 r m 1.

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

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

Normal Subgroups and Quotient Groups

Quizzes for Math 401

SUPPLEMENT ON THE SYMMETRIC GROUP

A Readable Introduction to Real Mathematics

ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY

Math 121 Homework 3 Solutions

THE EULER CHARACTERISTIC OF A LIE GROUP

[x, y] =x 1 y 1 xy. Definition 7.1 Let A and B be subgroups of a group G. Define the commutator. [A, B] = [a, b] a A, b B,

Transcription:

Automorphism Groups 9-9-2012 Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G. Example. The identity map id : G G is an automorphism. Example. There are two automorphisms of Z: the identity map and the map µ : Z Z given by µ(x) = x. For Z is cyclic, and an isomorphism Z Z must carry a generator to a generator. Since the only generators of Z are 1 and 1, the only automorphisms are the maps sending 1 1 and 1 1. The inverse map which appeared in the last example is a special case of the following result. Lemma. Let G be an abelian group. The map µ : G G given by µ(x) = x is an automorphism. Proof. µ is a homomorphism, since µ(x+y) = (x+y) = x y = µ(x)+µ(y). Clearly, µ µ(x) = x, so µ is its own inverse. Since µ is an invertible homomorphism, it s an isomorphism. Remark. Note that if G is not abelian, µ(xy) = y 1 x 1 x 1 y 1 = µ(x)µ(y). Lemma. Let G be a group, and let g G. The map i g : G G given by i g (x) = gxg 1 is an automorphism of G. (It is called conjugation by g, or the inner automorphism corresponding to g.) Proof. i g is a homomorphism, since i g (xy) = gxyg 1 = gxg 1 gyg 1 = i g (x)i g (y). The inner automorphism i g 1(x) = g 1 xg clearly inverts i g. Since i g is an invertible homomorphism, it s an automorphism. Notation. The set of inner automorphisms of G is denoted InnG. Remark. If G is abelian, then i g (x) = gxg 1 = gg 1 x = x = id(x). That is, in an abelian group the inner automorphisms are trivial. More generally, i g = id if and only if g Z(G). Proposition. Aut G is a group under function composition. 1

Proof. The composite of homomorphisms is a homomorphism, and the composite of bijections is a bijection. Therefore, the composite of isomorphisms is an isomorphism, and in particular, the composite of automorphisms is an automorphism. Hence, composition is a well-defined binary operation on Aut G. Composition of functions is always associative. The identity map is an automorphism of G. Finally, an isomorphism has an inverse which is an isomorphism, so the inverse of an automorphism of G exists and is an automorphism of G. Example. From an earlier example, AutZ has order 2. Since there is only one group of order 2, AutZ Z 2. Lemma. InnG AutG. Proof. First, I need to show that InnG is a subgroup. Since id = i 1 InnG, InnG. Now suppose i g,i h InnG. Then (i h ) 1 = i h 1, so i g (i h ) 1 (x) = i g (i h 1(x)) = g(i h 1(x))g 1 = gh 1 xhg 1 = i gh 1(x). Therefore, i g (i h ) 1 = i gh 1 InnG, so InnG < AutG. For normality, suppose g G and φ AutG. Then φi g φ 1 (x) = φ ( gφ 1 (x)g 1) = φ(g)xφ(g 1 ) = φ(g)xφ(g) 1 = i φ(g) (x). Since φi g φ 1 = i φ(g) InnG, it follows that InnG is normal. Proposition. The map φ : G AutG given by φ(g) = i g is a homomorphism onto the subgroup of inner automorphisms of G. Proof. Obviously, φ maps onto InnG. I must verify that it is a homomorphism. φ(g)φ(h)(x) = i g i h (x) = i g ( hxh 1 ) = ghxh 1 g 1 = (gh)x(gh) 1 = i gh (x) = φ(gh)(x). Corollary. G/Z(G) Inn G. Proof. The preceding proposition gives a surjective map φ : G InnG. I only need to verify that ker φ = Z(G). First, suppose g Z(G). Then φ(g)(x) = i g (x) = gxg 1 = gg 1 x = x = id(x). Since φ(g) = id, g ker φ. Conversely, suppose g ker φ. Then φ(g) = id, so i g = id. Applying both sides to x G, i g (x) = x, gxg 1 = x, or gx = xg. Since x was arbitrary, g commutes with everything, so g Z(G). Hence, ker φ = Z(G) as claimed. Finally, G/Z(G) Inn G by the First Isomorphism Theorem. Example. If G is abelian, G = Z(G), so InnG = {1}, as noted earlier. 2

Example. Let G = S 3. Z(S 3 ) = {id}, so S 3 /Z(S 3 ) = 6. Thus, there are 6 inner automorphisms of S 3 : different elements of S 3 give rise to distinct inner automorphisms. You can verify that i (1 3) i (1 2) (1 2) = (2 3) and i (1 2) i (1 3) (1 2) = (1 3). That is, i (1 3) i (1 2) i (1 2) i (1 3). It follows that InnS 3 is a nonabelian group of order 6. Therefore, InnS 3 S 3. Proposition. Let G = a. (a) If φ : G G is an automorphism, then φ(a) is a generator of G. (b) If b is a generator of G, there is a unique automorphism φ : G G such that φ(a) = b. Proof. (a) Let φ : G G be an automorphism, and let g G. Since φ 1 (g) G = a, it follows that φ 1 (g) = a n for some n Z. Then g = φ(a n ) = φ(a) n. Since every element of G can be expressed as a power of φ(a), φ(a) generates G. (b) Suppose b generates G. Define φ : G G by φ(a n ) = b n for all n Z. I want to cite an earlier result that says a homomorphism out of a cyclic group is determined by sending a generator somewhere. If G is infinite cyclic, I may send the generator wherever I please, and so φ is a well defined homomorphism. If G is cyclic of order n, then I must be careful to map the generator a to an element that is killed by n. But b is a generator, so it has order n as Again, the result applies to show that φ is a well defined homomorphism. In both cases, the earlier result says that the map φ is unique. Next, observe that φ is invertible. In fact, the map ψ(b n ) = a n clearly inverts φ, and it is well-defined by the same argument which showed that φ was well-defined. Since φ is an invertible homomorphism from G onto G, it is an automorphism of G. This result gives us a way of computing AutZ n : Simply fix a generator and count the number of places where it could go. Definition. Let n 1 be an integer. The Euler phi-function φ(n) is the number of elements in {1,...,n} which are relatively prime to n. Example. φ(12) = 4. φ(25) = 20. Corollary. AutZ n = φ(n). n Proof. By an earlier result, the order of m Z n is (m,n). A generator of Z n must have order n, and this evidently occurs exactly when (m,n) = 1. Now 1 Z n always generates, and the Proposition I just proved implies there is exactly one automorphism of Z n for each generator (i.e. for each possible target for 1 under an automorphism). How do you compute φ(n)? Next on the agenda is a formula for φ(n) in terms of the prime factors of n. Lemma. If p is prime, then φ(p) = p 1. Proof. The numbers {1,...,p 1} are relatively prime to p. 3

Lemma. Let p be prime, and let n 1. Then φ(p n ) = p n p n 1. Proof. The numbers in {1,...,p n } which are not relatively prime to p n are exactly the numbers divisible by p. These are p 1,p 2,...,p p n 1. There are p n 1 numbers which are not relatively prime to p n, so there are p n p n 1 which are. Example. φ(9) = 9 3 = 6. Therefore, AutZ 9 = 6. Theorem. If m,n > 0 and (m,n) = 1, then φ(mn) = φ(m)φ(n). Proof. Write down the integers from 1 to mn: 1 m+1 2m+1... (n 1)m+1 2 m+2 2m+2... (n 1)m+2 3 m+3 2m+3... (n 1)m+3.... m 2m 3m... mn I m going to find the numbers which are relatively prime to mn. First, I only need to look in rows whose row numbers are relatively prime to m. For suppose row i has (m,i) = k > 1. Since k m and k i, it follows that k am+i (a general element of the i-th row). Since k m mn, k (am+i,mn), so (am+i,mn) 1. Therefore, look at rows i for which (i,m) = 1. Note that there are φ(m) such rows. First, observe am+i bm+i mod n. Assume without loss of generality that a > b. Then (am+i) (bm+i) = (a b)m. Now if n (a b)m, then n (a b), since (m,n) = 1. However, a b < n, so this is impossible. It follows that the elements of a row are distinct mod n. However, each row has n elements, so mod n each row reduces to {0,1,...,n 1}. Hence, exactly φ(n) elements in each row are relatively prime to n. The elements relatively prime to mn are therefore the φ(n) elements in the φ(m) rows whose row numbers are relatively prime to m. Hence, φ(mn) = φ(m)φ(n). Corollary. Let n = p e 1 1 pe m be the prime factorization of n. Then φ(n) = n (1 1p1 ) ( 1 1 p m ( Proof. If m = 1, the result says φ(p n ) = p n 1 1 ), which follows from an earlier result. p Let m > 1, and assume the result is true when n is divisible by fewer than m primes. Suppose that n = p e 1 1 pe m is the prime factorization of n. Then φ(n) = φ ( p e ) 1 1 pe m 1 m 1 φ(p e m m ) = ( m 1 i=1 This establishes the result by induction. p e i i )( m 1 i=1 4 ). ) (1 ) ( (p 1pi m 1 1 )) p m = n m i=1 (1 1pi ).

Example. AutZ 11 = 10. In fact, there are two groups of order 10: Z 10 and D 5, the group of symmetries of the regular pentagon. I ll digress a little here and prove part of this claim: namely, that an abelian group of order 10 is isomorphic to Z 10. As in most extended proofs of this sort, you should try to get a feel for the kinds of techniques involved. Each classification problem of this kind presents its own difficulties, so there is not question of memorizing some kind of general method: there isn t any! Suppose then that G is abelian. I claim G is cyclic. Suppose not. Then every element of G has order 2 or order 5. I claim that there is an element of order 5 and an element of order 2. First, suppose every element besides 0 has order 2. Consider distinct elements a and b, a,b 0. Look at the subgroup a,b. I ll show that a,b = {0,a,b,a+b}. Since 2a = 2b = 0, it is easy to see by checking cases that this set is closed. However, a subset of a finite group closed under the operation is a subgroup. Now I have a contradiction, since this putative subgroup has order 4, which does not divide 10. It follows that there must be an element of order 5. On the other hand, could G contain only elements of order 5? Let a have order 5, and let b be an element of order 5 which is not in a. Since a b divides a = 5, it must be either 1 or 5. If it is 5, then a = b, which is impossible (since b / a ). Therefore, a b = 1, and so a b = {0}. This accounts for 4+4+1 = 9 elements of G. The remaining element must generate a subgroup of order 5, which (by the preceding argument) intersect a and b in exactly {0}. I ve now accounted for at least 13 elements in G. This contradiction shows that G must can t contain only elements of order 5. The preceding arguments show that G must contain an element a of order 2 and an element b of order 5. I will now show that G is the internal direct product of a and b. Since a b must divide both 2 and 5, it can only be 1. Therefore, a b = {0}. Since G is abelian, a and b are automatically normal. Finally, I claim that G = a + b. To see this, I need only show that the right side has order 10. This will be true if the following elements are distinct: S = {ma+nb 0 m 1, 0 n 4}. Suppose then that pa+qb = ra+sb, where 0 p,r 1 and 0 q,s 4. Then (p r)a = (q s)b a b = {0}. Therefore, 2 p r and 5 q s, which (given the ranges for these parameters) force p = r and q = s. It follows that the elements of S are distinct, so Obviously, this forces G = a + b. Therefore, G a b, and G Z 10. 10 = S a + b. The group of automorphisms AutG is an important group which is contructed from a given group. In case G = Z n, there s another one, which turns out to be related to AutZ n. Definition. U(n) is the set of numbers in {1,...,n} relatively prime to n. Example. U(9) = {1,2,4,5,7,8}. 5

Lemma. U(n) is a group under multiplication mod n. Proof. If x and y are relatively prime to n, then (x,n) = 1 and (y,n) = 1. Therefore, there are numbers a, b, c, d such that 1 = ax+bn, 1 = cy +dn. Multiply the two equations: 1 = ac(xy)+(axd+bcy +bdn)n. It follows that (xy,n) = 1, so the product of two elements of U(n) is again an element of U(n). Multiplication of integers mod n is associative, and since 1 is relatively prime to n, it will serve as the identity. Finally, suppose (x,n) = 1. Write ax + bn = 1. Reducing the equation mod n, I get ax = 1 mod n. Therefore, x has a multiplicative inverse mod n, namely a (possibly reduced mod n to lie in U(n)). This shows that U(n) is a group under multiplication mod n. Clearly, U(n) = φ(n). But AutZ n = φ(n). The answer to the obvious question is: Yes. Theorem. AutZ n U(n). Proof. Define φ : U(n) AutZ n by φ(a) = τ a, where τ a is the unique automorphism of Z n which maps 1 to a. I showed earlier that this does indeed give rise to a unique automorphism, and that every automorphism of Z n arises in this way. It follows that φ is a well-defined one-to-one correspondence. I need only show that φ is a homomorphism. Let a,b U(n). Then φ(ab) = τ ab, where τ ab is the map sending 1 to ab. I must show that this is the same as φ(a)φ(b) = τ a τ b. To do this, consider the effect of the two maps on m Z n. τ ab (m) = mab, since τ ab sends 1 to ab and τ ab is a homomorphism. On the other hand, τ a τ b (m) = τ a (mb) = mba, since τ b sends 1 to b and τ a sends 1 to a, and since they re both homomorphisms. Therefore, the maps are equal, and φ is a homomorphism hence, an isomorphism. Example. AutZ 10 U(10) = {1,3,7,9} There are only two groups of order 4: Z 4 and Z 2 Z 2. Notice that 3 2 = 9 mod 10. Since 3 does not have order 2, it follows that AutZ 10 Z 2 Z 2. Therefore, AutZ 10 Z 4. c 2012 by Bruce Ikenaga 6