AM 106/206: Applied Algebra Madhu Sudan 1. Lecture Notes 11

Similar documents
Recall: Properties of Homomorphisms

Ideals, congruence modulo ideal, factor rings

Lecture 4.1: Homomorphisms and isomorphisms

MA441: Algebraic Structures I. Lecture 14

Properties of Homomorphisms

Section 15 Factor-group computation and simple groups

Algebra homework 6 Homomorphisms, isomorphisms

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

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

CS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a

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

Section 13 Homomorphisms

Lecture Note of Week 2

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.

2MA105 Algebraic Structures I

Cosets, factor groups, direct products, homomorphisms, isomorphisms

MODEL ANSWERS TO THE FIFTH HOMEWORK

Introduction to Groups

Answers to Final Exam

Solutions for Assignment 4 Math 402

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

Part IV. Rings and Fields

Lecture 7.3: Ring homomorphisms

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

Algebra SEP Solutions

Chapter 11: Galois theory

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

MA441: Algebraic Structures I. Lecture 15

Chapter 25 Finite Simple Groups. Chapter 25 Finite Simple Groups

REU 2007 Discrete Math Lecture 2

Math Introduction to Modern Algebra

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Math 581 Problem Set 8 Solutions

INTRODUCTION TO GALOIS THEORY. 1. Introduction and History. one of the most interesting and dramatic tales in the history of mathematics.

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall

NOTES ON FINITE FIELDS

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

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

The First Isomorphism Theorem

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

INTRODUCTION TO THE GROUP THEORY

Galois Theory and the Insolvability of the Quintic Equation

Section 18 Rings and fields

Kevin James. Quotient Groups and Homomorphisms: Definitions and Examp

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.

Math 120: Homework 6 Solutions

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

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

ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY

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

Lecture 3. Theorem 1: D 6

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

Your Name MATH 435, EXAM #1

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

Math 121 Homework 3 Solutions

Math 581 Problem Set 7 Solutions

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

The following results are from the review sheet for the midterm.

Normal Subgroups and Factor Groups

MATH ABSTRACT ALGEBRA DISCUSSIONS - WEEK 8

Lecture 6.6: The fundamental theorem of Galois theory

RUDIMENTARY GALOIS THEORY

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.

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

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

7 Semidirect product. Notes 7 Autumn Definition and properties

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

3 Galois Theory. 3.1 Definitions and Examples

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

Overview: The short answer is no because there are 5 th degree polynomials whose Galois group is isomorphic to S5 which is not a solvable group.

Galois theory and the Abel-Ruffini theorem

Solutions to Assignment 4

CSIR - Algebra Problems

Abstract Algebra: Supplementary Lecture Notes

Math 3140 Fall 2012 Assignment #3

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

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

Name: Solutions - AI FINAL EXAM

AM 106/206: Applied Algebra Madhu Sudan 1. Lecture Notes 12

Math 4400, Spring 08, Sample problems Final Exam.

Algebra I: Final 2015 June 24, 2015

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

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

COMPUTING GALOIS GROUPS WITH GENERIC RESOLVENT POLYNOMIALS

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

Reducibility of Polynomials over Finite Fields

RINGS: SUMMARY OF MATERIAL

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

Abstract Algebra, HW6 Solutions. Chapter 5

Theorems and Definitions in Group Theory

GALOIS THEORY: LECTURE 20


Math 31 Lesson Plan. Day 22: Tying Up Loose Ends. Elizabeth Gillaspy. October 31, Supplies needed: Colored chalk.

Math 103 HW 9 Solutions to Selected Problems

Sketchy summaries of lectures - Ma 5a, Caltech

SUPPLEMENT ON THE SYMMETRIC GROUP

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

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

Transcription:

AM 106/206: Applied Algebra Madhu Sudan 1 Lecture Notes 11 October 17, 2016 Reading: Gallian Chapters 9 & 10 1 Normal Subgroups Motivation: Recall that the cosets of nz in Z (a+nz) are the same as the congruence classes modulo n ([a] n ) These form a group under addition, isomorphic to Z n: [a + b] n = [a + b mod n] n depends only on [a] n and [b] n (and not on the particular choice of coset representatives a and b), so we can define [a] n + [b] n = [a + b] n. Q: under what conditions on H G do the left-cosets of H form a group under the operation of G? Def: A subgroup H of G is normal iff for every a G, ah = Ha. If this holds, we write H G. Proposition: For H G, the following are equivalent: H G for every a G, aha 1 = H for every a G, h H, aha 1 H. That is, if h H, then all conjugates of h are also in H. Which subgroups of an abelian group are normal? Which subgroups of S 4 are normal? A n S n 1 These notes are copied mostly verbatim from the lecture notes from the Fall 2010 offering, authored by Prof. Salil Vadhan. I will attempt to update them, but apologies if some references to old dates and contents remain. 1

2 Factor Groups Thm 9.2: If H G, then the operation (ah)(bh) = abh on the left-cosets of H is well-defined (does not depend on the choice of coset representatives a, b) and forms a group, denoted G/H (called a factor group, the quotient of G by H, or G mod H ). Proof: Z/nZ S n /A n (Z 3 Z 5 )/(Z 3 {0}) S 4 /H where H is the normal subgroup of size 4. Z n / a R/Z 3 Homomorphisms Def: For groups G, H, and mapping ϕ : G H is a homomorphism if for all a, b G, we have ϕ(ab) = ϕ(a)ϕ(b). Note: we don t require that ϕ is one-to-one or onto! Def: For a homomorphism ϕ : G H, the image of ϕ is Im(ϕ) = ϕ(g) = {ϕ(g) : g G} H. the kernel of ϕ is Ker(ϕ) = {g G : ϕ(g) = ε} G. Thm 10.3: If ϕ : G H is a homomorphism, then G/Ker(ϕ) = Im(ϕ). Picture: 2

Domain Range Mapping Homo.? Image Kernel Z Z n x x mod n Z n Z d x x mod d R n R n x Mx, M a matrix Z Z Z (x, y) xy S n {±1} σ sign(σ) R C x e 2πix Z 3 Z 5 Z 3 (x, y) x G G/N, where N G g gn Properties of Homomorphisms: 1. ϕ(ε G ) = ε H. 2. ϕ(a 1 ) = ϕ(a) 1. 3. order(ϕ(a)) divides order(a). Properties of Images: 1. ϕ(g) is a subgroup of H. 2. G cyclic ϕ(g) cyclic. 3. G abelian ϕ(g) abelian. Properties of Kernels: 1. Ker(ϕ) is normal subgroup of G. Can prove that K is normal by finding a homomorphism ϕ s.t. Ker(ϕ) = K. 2. ϕ(a) = ϕ(b) b 1 a Ker(ϕ) aker(ϕ) = bker(ϕ). 3. ϕ injective (one-to-one) if and only if Ker(ϕ) = {ε}. Proof of Thm 10.3 (G/Ker(ϕ) = Im(ϕ)): 4 Appendix: Solvability of Groups and Polynomials As mentioned in the first lecture groups, historically one of the reasons that led to the study of groups was the connection to solving polynomials by the method of radicals. Let us say that a real number is expressible by radicals, or just radical for short, if it is a (1) Rational number, or (2) the sum of two radicals, or (3) the product or ratio of two radicals or (4) the mth-root of a radical for finite m. (A radical should be obtained by a finite number of applications of rules (2)-(4).) Polynomials over the rationals in one variable, of degree up to 4 have closed form expressions for their roots because their roots are radicals. For example, one of the roots of the polynomial ax 2 + bx + c is ( b + b 2 4ac)/2a which is a radical by our definition above. Galois s proof shows that some degree 5 (and higher) polynomials are not solvable by the method of radicals. One such polynomial is x 5 6x + 3. The proof looks at a finite group arising 3

from polynomials and analyzes their solvability. Let us describe this group and the definition of solvability. Suppose we have some polynomial p(x) = c n x n + + c 0. Let α 1,..., α n be the complex roots of this polynomial, so that p(x) = c n n i=1 (x α i). While every permutation of α 1,..., α n also gives the roots of p, these roots are not all equivalent to each other. For example if we consider the polynomial x 3 1 = 0, its roots are a = 1, b = ( 1 + i 3)/2 and c = ( 1 i 3)/2. Now while a is very different from b or c (a is real, even rational, while b and c are complex), b and c are really indistinguishable in some sense. This is the sense we wish to capture, and it is captured by the following group. Definition 1 (Automorphism group of a polynomial) Let p be a polynomial with roots S = {α 1,..., α n }. We say that a permutation π : S S preserves the algebra of S if for every univariate polynomial f(x) over Q and every n-variate polynomial h(z 1,..., z n ) over Q, it is the case that h(α 1,..., α n ) is a root of f if and only if h(π(α 1 ),..., π(α n )) is also a root of f. Let Aut(p) Sym(S) be the set of permutations π such that π preserves the algbera of {α 1,..., α n }. (Note that Aut(p) is closed under composition and so it is indeed a subgroup of Sym(S).) For instance Aut(x 3 1) = (bc) - which explains why b and c are similar to each other but not to a. Another example: If we let S = {1, ω, ω 2, ω 3, ω 4 } denote the roots of x 5 1, then we have Aut(x 5 1) = (ω, ω 2, ω 4, ω 3 ). In both examples above, the automorphism group was very simple - they were abelian, even cyclic. Galois s condition says that if the group gets sufficiently complex, then the polynomial does not have radical roots (or is not solvable by the method of radicals ). Definition 2 (Solvable groups) Let G be a group with identity e. We say that G is solvable if there exists a series of groups G 0,..., G m with {e} = G 0 G 1 G m = G such that for every i, G i /G i 1 is cyclic. Theorem 3 A polynomial p Q[x] has all radical roots if and only if Aut(p) is solvable. We won t prove this theorem since it is well out of scope for us (at least at this stage). But let us explain the intuition. Suppose β is a radical that forms a root of some polynomial p. If β is a radical then we must have proved so by constructing a series of radical elements, slowly building complexity till we reached β. So some β 1 is the first irrational number we build. So β 1 must be of the form r 1/l 1 0 for some rational number r 0. Then we apply rules (1), (2), (3) for a while till applying rule (4) again. At this stage we get β 2 = r 1 (β 1 ) 1/l 2 where r 1 is some rational function (ratio of polynomials) of β 1. And so till we get β m = r m 1 (β 1,..., β m 1 ) 1/l m 1. and finally β = r m (β 1,..., β m ). Roughly, the G i s correspond to the β i s and the fact that G i /G i 1 is cyclic corresponds to the fact that β i is a root of the polynomial x l i r i 1 (β 1,..., β i 1 ) whose automorphism group would be the cyclic group on l i 1 elements if r i 1 were simply a rational number. Using this theorem it is feasible to argue that concrete polynomials are not solvable. Let us return to our example polynomial p(x) = x 5 6x + 3. Let S be the set of roots so that Aut(p) Sym(S). It turns out that Aut(p) = Sym(S). This follows from the fact that p does not have any rational factors, and that three of its roots are real, and two complex. The former fact implies that Aut(p) has an element of order 5 and so must be a five cycle. The latter fact implies that the autmorphism 4

that fixes the three real roots and exchanges the two complex ones is also a permutation in the automorphism group. But now a transposition and a cyclic permutation generate all of Sym(S) leading to the claim above. (Note this is not a proof, but rather a sketch of one.) Then we argue that Sym(S) = S 5 is not solvable. It turns out the only normal subgroups of S 5 are A 5 (the alternating group) and the trivial group {e}, though I do not know of a non-exhaustive proof of this fact. But putting all these ideas together, one can show that the polynomial under consideration is indeed not solvable by the method of radicals! Source for example and reasoning about it: Galois Theory and the Insolvability of the Quintic Equation by Daniel Franz obtained from a web search from http://documents.kenyon.edu/math/franzsenex2010.pdf. This article in turn attributes the example to page 629 of Dummit, David S., and Richard M. Foote. Abstract Algebra. 3rd ed. Hoboken, NJ: John Wiley and Sons, Inc, 2004. 5