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

Similar documents
Solutions of exercise sheet 8

Solutions of exercise sheet 4

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

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.

9. Finite fields. 1. Uniqueness

Exercises on chapter 1

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

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

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

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

Algebra Exercises in group theory

ALGEBRA QUALIFYING EXAM PROBLEMS

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

ALGEBRA 11: Galois theory

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Abstract Algebra II Groups ( )

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

MA441: Algebraic Structures I. Lecture 26

Section II.8. Normal and Subnormal Series

Lecture 4.1: Homomorphisms and isomorphisms

Name: Solutions Final Exam

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

120A LECTURE OUTLINES

A Little Beyond: Linear Algebra

1.5 Applications Of The Sylow Theorems

CONSEQUENCES OF THE SYLOW THEOREMS

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

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

(1) a b = (a 1,..., a n ) (b 1,..., b n ) = (a 1 b 1,...,a n b n ) for all a i, b i A i

Math 594. Solutions 5

Algebra I: Final 2018 June 20, 2018

MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups.

Cover Page. The handle holds various files of this Leiden University dissertation

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

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

CHAPTER III NORMAL SERIES

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

AN AXIOMATIC FORMATION THAT IS NOT A VARIETY

Two subgroups and semi-direct products

BASIC GROUP THEORY : G G G,

Math 120: Homework 6 Solutions

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

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

Chapter 2 Linear Transformations

Algebra-I, Fall Solutions to Midterm #1

Math 210C. A non-closed commutator subgroup

GROUP ACTIONS EMMANUEL KOWALSKI

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

Direct Limits. Mathematics 683, Fall 2013

Written Homework # 5 Solution

Supplementary Notes: Simple Groups and Composition Series

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

Algebraic Structures II

Math 121 Homework 3 Solutions

Cosets and Normal Subgroups

Course 311: Abstract Algebra Academic year

Math 210A: Algebra, Homework 5

2.3 The Krull-Schmidt Theorem

NAVARRO VERTICES AND NORMAL SUBGROUPS IN GROUPS OF ODD ORDER

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013

Finite Subgroups of Gl 2 (C) and Universal Deformation Rings

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

Chapter I: Groups. 1 Semigroups and Monoids

Extra exercises for algebra

Solutions to Assignment 4

A conjugacy criterion for Hall subgroups in finite groups

Notes on Galois Theory

Abstract Algebra: Supplementary Lecture Notes

Elements of solution for Homework 5

Fibers, Surjective Functions, and Quotient Groups

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

Rohit Garg Roll no Dr. Deepak Gumber

Topics in Module Theory

Algebra homework 6 Homomorphisms, isomorphisms

NOTES ON FINITE FIELDS

Higher Algebra Lecture Notes

INVERSE LIMITS AND PROFINITE GROUPS

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers

ALGEBRAIC GROUPS J. WARNER

Galois theory (Part II)( ) Example Sheet 1

but no smaller power is equal to one. polynomial is defined to be

THE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p

Galois Theory, summary

Solutions to the August 2008 Qualifying Examination

0 Sets and Induction. Sets

ISOMORPHISMS KEITH CONRAD

Homework 2 /Solutions

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

Math 581 Problem Set 7 Solutions

DIHEDRAL GROUPS II KEITH CONRAD

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

Modern Computer Algebra

Homework 3 MTH 869 Algebraic Topology

MATH 436 Notes: Homomorphisms.

Transcription:

D-MATH Algebra II FS18 Prof. Marc Burger Solution 21 Solvability by Radicals 1. Let be (N, ) and (H, ) be two groups and ϕ : H Aut(N) a group homomorphism. Write ϕ h := ϕ(h) Aut(N) for each h H. Define G := N ϕ H, the (external) semidirect product of N and H, as the set N H with the binary operation n, n N, h, h H, (n, h) ϕ (n, h ) = (n ϕ h (n ), h h ). (a) Check that (N ϕ H, ϕ) is a group. (b) Prove: there is a short exact sequence 1 N j N ϕ H π H 1. (c) Deduce that G = N ϕ H contains two subgroups N 0, H 0 with N 0 G, such that N = N 0 and H = H 0, satisfying the properties { N0 H 0 = G N 0 H 0 = {1}. Conversely, let G be a group, H G a subgroup and N G a normal subgroup. We say that G is the (inner) semidirect product of N and H, if { NH = G N H = {1}. In this case, we write G = N H. Assume that this is the case. (d) Prove: there is a unique homomorphism α : G H such that α H = id H and ker(α) = N. (e) Let ϕ : H Aut(N) be the action of H on N by conjugation, that is, ϕ(h)(n) := hnh 1 for all h H and n N. Show that there is an isomorphism θ : G N ϕ H which satisfies θ N = j and α = π θ. Draw a diagram containing two short exact sequences which explains the situation. (f) Let M be a normal subgroup of N. Show that M G if and only if hmh 1 = M for all h H. Solution: (a) The formula given in the exercise is a well-defined binary operation on the set N H, since ϕ h is an automorphism of N for each h H, so that ϕ h (n ) N for each n N and then using the binary operations on N and H we know that n ϕ h (n ) N and h h H. 1

First, we check that the operation ϕ is associative. For each n, n, n N and h, h, h H, we compute (omitting the sign for the group operations in N and H and using associativity in those two groups by omitting parentheses when the group operation is performed several times) ((n, h) ϕ (n, h )) ϕ (n, h ) = (nϕ h (n ), hh ) ϕ (n, h ) = (nϕ h (n )ϕ hh (n ), hh h ) ( ) = (nϕ h (n )(ϕ h ϕ h )(n ), hh h ) = (nϕ h (n )ϕ h (ϕ h (n )), hh h ) ( ) = (nϕ h (n ϕ h (n )), hh h ) = (n, h) ϕ (n ϕ h (n ), h h ) = (n, h) ϕ ((n, h ) ϕ (n, h )) so that ϕ is associative. In the step ( ) we use the assumption that ϕ is a group homomorphism, while in the step ( ) we use the assumption that ϕ h is a group homomorphism. We notice that (1, 1) = (1 N, 1 H ) is the neutral element of N ϕ H. Indeed, we know that ϕ 1 = ϕ(1) = id since ϕ is a group homomorphism, while ϕ h (1) = 1 for each h H because ϕ h is a group automorphism of N. Hence for every h H and n N (1, 1) ϕ (n, h) = (1 ϕ 1 (n), 1 h) = (1 n, 1 h) = (n, h) (n, h) ϕ (1, 1) = (n ϕ h (1), h 1) = (n 1, h 1) = (n, h). We look now for an inverse (n, h ) of (n, h) with n, n N and h, h H. We want to ensure that the equalities {! (1, 1) = (n, h) ϕ (n, h ) = (nϕ h (n ), hh )! (1, 1) = (n, h ) ϕ (n, h) = (n ϕ h (n), h h). The second component coincides in both equalities by taking h = h 1. Comparing the first component in the second equality, we get n = ϕ h 1(n) 1 = ϕ h 1(n 1 ), which substituted in the first component in the first equation gives 1? = nϕ h (ϕ h 1(n 1 )) = nϕ hh 1(n 1 ) = nϕ 1 (n 1 ) = nn 1 = 1, so that (n, h) has an inverse and we can conclude that G = N ϕ H is a group. (b) The map j : N N ϕ H sending n (n, 1) is injective and it is a group homomorphism since for each n, n N we know that (n, 1) ϕ (n, 1) = (nϕ 1 (n ), 1) = (nn, 1). The projection map α : N ϕ H H sending (n, h) h is surjective and is seen to be a group homomorphism by definition of ϕ. In order to conclude that j and α sits in a short exercise sequence, we need to check that ker(π) = im(j), which is immediate by noticing that those two subgroups of N ϕ H are both given by N 0 := {(n, 1) : n N} N ϕ H. (1) 2

(c) Since j is injective, it restricts to an isomorphism N = im(j) = N 0 (as defined in (1)) and since N 0 = ker(π), it is a normal subgroup of G. The map ι : H N ϕ H is seen to be an injective group homomorphism, so that H is isomorphic to By construction, H 0 := im(ι) = {(1, h) : h H} N ϕ H. N 0 H 0 = {(n, 1) ϕ(1, h) : n N, h H} = {(n ϕ 1 (1), h) : n N, h H} = G and N 0 H 0 = {(1, 1)} so that N 0 and H 0 satisfy all the desired properties. (d) Now we are working with a group G containg two subgroups N G and H G such that NH = G and N H = G. For each g G, there exist n N and h H for which g = nh. We claim that those are uniquely determined. Suppose that n, n N and h, h H satisfy nh = n h. Then h(h ) 1 = n 1 n H N = {1} so that 1 = h(h ) 1 = n 1 n which means that h = h and n = n. This proves our claim. Hence the assignment nh h is a well defined map α : G H, which is surjective since h = 1 h h for each h H. This also proves the desired property that α H = id H. In order to prove that α is a group homomorphism, we need to check that α(nhn h ) = hh for each n, n N and h, h H. This is the case because nhn h = n(hn h 1 )hh and n(hn h 1 ) N because N G. Finally, ker(α) = {n 1, n N} = N by definition of α. (e) The map ϕ is well defined because N G so that it is closed under conjugation by elements of H. It is easily checked to be a group homomorphism. As we showed in the previous part, for each g G there exist n N and h H such that g = nh. Hence there is a well defined bijection θ : G N ϕ H sending nh (n, h). This is a group homomorphism, since for each n, n N and h, h H θ(nhn h ) = θ(nhn h 1 hh ) = θ(nϕ h (n )hh ) = (nϕ h (n ), hh ) = (n, h) ϕ (n, h ) = θ(nh) θ(n h ). 3

Then, for each n N and h H, we see that θ(n) = (n, 1) = j(n) and that α(nh) = h = π(n, h) = π(θ(nh)) so that θ satisfies all the desired properties. We have a commutative diagram 1 > N > G θ j 1 > N > N ϕ H α > H > 1 π > H > 1 This can be said to be an isomorphism of short exact sequences. Since the vertical maps on the sides are identity maps, this is a special isomorphism, called an equivalence of group extensions. (f) If M G, then it is stable under the conjugation of elements of H because H G. Conversely, if h 0 Mh 1 0 for each h 0 H, then, for each g G, writing g = nh with n N and h H, we obtain gmg 1 = nhmh 1 n 1 = nmn 1 = M, where in the second step we used the assumption that M N. 2. Let p be a prime number and n 1 an integer. Consider the natural action ϕ : GL n (F p ) Aut(F n p). Let G = F n p ϕ GL n (F p ) and embed F n p G via Exercise 1. Let L F n p be a F p -linear subspace of F n p. Show that L is subnormal in G and that L G if and only if L = 0 or L = F n p. Solution: In the setup of Exercise 1, suppose that N and H are groups and ϕ : H Aut(N) a group homomorphism. Let G = N ϕ H. Then as in part 1(c) we define N 0 := N 1 N ϕ 1 and H 0 := 1 H 1 H and obtain that G = N 0 H 0 (that is, N 0 and H 0 satisfy N 0 H 0 = G and N 0 H 0 = 1). Then, by part (e), G = N 0 ϕ H 0 where ϕ : H 0 Aut(N 0 ) is the conjugation of N 0 by H 0 inside G. We claim that ϕ corresponds to ϕ under the canonical identification N = N 0 and H = H 0. This is checked by letting h H and n N and computing ϕ (1,h)(n, 1) = (1, h)(n, 1)(1, h 1 ) = (ϕ h (n), h)(1, h 1 ) = (ϕ h (n), 1). Since a normal subgroup M 0 N 0 corresponds canonically to a normal subgroup M N and it is normal in G if and only if the conjugation by H 0 preserves M 0, we deduce that M 0 is normal in G if and only if for ϕ h (M) M for each h H. In the situation of our exercise, this means that we just need to check that a linear subspace L F n p is normal in G = F n p ϕ GL n (F p ) if and only if it is stable under the action of GL n (F p ). By basic linear algebra, taking bases of two proper distinct subspaces of the same dimension, we see that there exists g GL n (F p ) mapping one to the other, so that the only subspaces of F n p stable under the action of GL n (F p ) are 0 and F n p, as desired. 4

3. Let G be a finite group. (a) Suppose that G has a normal subgroup N G such that G/N is abelian. Prove that G has a normal subgroup of prime index, which contains N. (b) Prove that G is solvable if and only if it has a normal series all whose factors are cyclic of prime order. Solution: (a) By the classification of finitely generated abelian groups we know that there exists a finite set of prime numbers P 0 and positive integers l p and r p,n for p P 0 and 1 n l p such that G/N = p P 0 l p n=1 Z/p rp,n Z. Isolating one of the factors we can write for some prime number p, an integer n > 0 and an abelian group H G/N = Z/p n Z H. (2) The subgroup p n 1 Z/p n Z H Z/p n Z H is seen to have index p and it is normal because we are working in an abelian group. Via (2) we can map this subgroup to a subgroup of G/N with the same features. Since subgroup of G/N are subgroups of G containing N, we know that there is a subgroup M G such that (by the third isomorphism theorem for groups) [G : M] = [G/N : M/N] = p. (b) Assume that we are in the situation of part (a). Then, by induction on the index of N one can prove that there is a series a normal series N = M n M n 1 M 1 M 0 = G such that each M k /M k 1 is cyclic of prime order. Indeed, the subgroup M 1 is found as in part (a) and then [M 1 : N] = [G : N] [G : M 1 ] < [G : N] so that we can apply the inductive hypothesis. Suppose that G is solvable. Then, by the argument we just outlined, a normal sequence with abelian factors of G can be refined into a normal sequence whose factors are cyclic of prime order. Conversely, a group with such a sequence is solvable by definition because cyclic groups are abelian. 5

4. Let k be a field and f k[x] a polynomial of prime degree p. Let E = Sf(f). Suppose that Gal(E/k) is cyclic of order p. Prove that f is irreducible. Solution: Let q = card(r(f) p and embed Gal(E/k) into S n via its action on the roots of f. Let σ S q be a generator of Gal(E/k) so that σ is an element of order p. Writing σ as a product of n disjoint cycles of orders l 1,..., l n we see as in Assignment 17, Exercise 4 that p = lcm(l 1,..., l n ) so that p divides one of the l r and since r l r n p the only possibility is that p = n and that σ is a p-cycle. Then the group Gal(E/k) =< σ > S p acts transitively on the roots of f, which in turn is irreducible by Corollary II.23. 6