Math 210A: Algebra, Homework 6

Similar documents
Math 210A: Algebra, Homework 5

Teddy Einstein Math 4320

Math 210B: Algebra, Homework 4

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

BASIC GROUP THEORY : G G G,

2MA105 Algebraic Structures I

Two subgroups and semi-direct products

Math 581 Problem Set 7 Solutions

Math 581 Problem Set 8 Solutions

Solutions to Assignment 4

PROBLEMS FROM GROUP THEORY

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Math 594. Solutions 5

Lecture 7 Cyclic groups and subgroups

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.

Math 581 Problem Set 9

Solutions of exercise sheet 4

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

Homework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.

Solution Outlines for Chapter 6

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

Algebra Exercises in group theory

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

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

INTRODUCTION TO THE GROUP THEORY

Theorems and Definitions in Group Theory

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

Introduction to Groups

Elements of solution for Homework 5

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

Abstract Algebra II Groups ( )

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

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

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

A Primer on Homological Algebra

Simple groups and the classification of finite groups

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

Math 3140 Fall 2012 Assignment #3

Fall /29/18 Time Limit: 75 Minutes

Lecture 3. Theorem 1: D 6

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

Part IV. Rings and Fields

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

Math 546, Exam 2 Information.

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

Cosets and Normal Subgroups

Problem Set Mash 1. a2 b 2 0 c 2. and. a1 a

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

Math 581 Problem Set 3 Solutions

Lecture 4.1: Homomorphisms and isomorphisms

MATH 436 Notes: Cyclic groups and Invariant Subgroups.

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

Algebra homework 6 Homomorphisms, isomorphisms

Ring Theory Problem Set 2 Solutions

1. Group Theory Permutations.

Problem 1A. Use residues to compute. dx x

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT

Exercises on chapter 1

INVERSE LIMITS AND PROFINITE GROUPS

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

(d) Since we can think of isometries of a regular 2n-gon as invertible linear operators on R 2, we get a 2-dimensional representation of G for

B Sc MATHEMATICS ABSTRACT ALGEBRA

Math 120 HW 9 Solutions

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

Solutions Cluster A: Getting a feel for groups

Math 120: Homework 6 Solutions

Group Theory

MODEL ANSWERS TO THE FIFTH HOMEWORK

Math 121 Homework 5: Notes on Selected Problems

Solutions for Assignment 4 Math 402

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

MA441: Algebraic Structures I. Lecture 14

Algebra SEP Solutions

120A LECTURE OUTLINES

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.

First Semester Abstract Algebra for Undergraduates

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

Group Theory. Hwan Yup Jung. Department of Mathematics Education, Chungbuk National University

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings

FROM GROUPS TO GALOIS Amin Witno

Math 210B: Algebra, Homework 1

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

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

Algebra Homework, Edition 2 9 September 2010

THE GRIGORCHUK GROUP

Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem

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

TROPICAL SCHEME THEORY

INTRODUCTION TO ALGEBRAIC TOPOLOGY. (1) Let k < j 1 and 0 j n, where 1 n. We want to show that e j n e k n 1 = e k n e j 1

IUPUI Qualifying Exam Abstract Algebra

MATH 436 Notes: Homomorphisms.

Math 4400, Spring 08, Sample problems Final Exam.

Abstract Algebra: Supplementary Lecture Notes

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

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

MODEL ANSWERS TO THE FIRST HOMEWORK

Modern Computer Algebra

Rings and Fields Theorems

ALGEBRA QUALIFYING EXAM PROBLEMS

GALOIS THEORY BRIAN OSSERMAN

Transcription:

Math 210A: Algebra, Homework 6 Ian Coley November 13, 2013 Problem 1 For every two nonzero integers n and m construct an exact sequence For which n and m is the sequence split? 0 Z/nZ Z/mnZ Z/mZ 0 Let α : Z/nZ Z/mnZ be defined by α(1 = m Since 1 = Z/nZ, this determines the entire homomorphism Let x ker α Then mx 0, which implies mn mx so n x But since 0 x < n, we must have x = 0 Therefore the kernel of α is trivial, so α is an injection Since m mn, by the fundamental theorem on cyclic groups Z/mnZ has a subgroup of order m isomorphic to Z/mZ Let β : Z/mnZ Z/mZ be defined by projection onto that subgroup, which is a surjective homomorphism Further, let x Z/nZ Them α(x = mx and β(mx = 0, so im α ker β Since im α = ker β = n, im α = ker β Thus this is an exact sequence Recall that a sequence is split if and only if the middle term is the direct sum of the outer terms In our case, we need Z/mnZ = Z/mZ Z/nZ By the Chinese Remainder Theorem, this is true if and only if (m, n = 1 Problem 2 Let N be the normal subgroup in G H generated by G G H Prove that (G H/N = H Consider the projection π : G H H given by the following: for a word w = g 1 h 1 g n h n, let π(w = h 1 h n We have π(ε = π(e H = e H, where ε is properly the empty word but representable by (reducible e H (and by earlier considerations any group homomorphism is consistent on any representative for a word Now let w, w G H where w is as above and w = g 1h 1 g nh n Then π(ww = h 1 h n h 1 h n = π(wπ(w so indeed π is a group homomorphism π is clearly surjective since π(h = h for any h H We claim that ker π = N If so, then (G H/N = (G H/ ker π = im π = H, so we would be done We prove double inclusion 1

If w ker π, then removing all g G from w must yield ε Therefore for every instance of h in w, there must be h 1 in the form hgh 1 Therefore w is of the form w = h 1 g 1 h 1 1 h n g n h 1 n where some of the h i may be e H By Problem 8, we know the normal subgroup generated by G is generated by elements of the form hgh 1, so w N Therefore ker π N Now suppose w is a generator of N, so of the form w = vgv 1 for some word v G H and g G Then π(vgv 1 = π(vπ(gπ(v 1 = e H since π(g = e H Therefore since every generator of N is contained in ker π, N ker π as well Therefore N = ker π and we are done Problem 3 Let D = Z Z/2Z with respect to the (unique isomorphism Z/2Z Aut Z Prove that D = Z/2Z Z/2Z The non-identity automorphism of Z is given by f(x = x element of Z/2Z Then let a = (1, τ and b = (0, τ Let τ be the non-identity Then an element n(a + b = (n, 0 and n(a + b + b = (n, τ Further, a + a = (0, 0 and b+b = (0, 0 Therefore we let ϕ : Z/2Z Z/2Z Z Z/2Z be defined by letting α (1, τ and β (0, τ, where α and β are the non-identity letters of the free product Then by the above reasoning, ϕ is surjective Further, since we have established ϕ(αβ = (1, 0 (0, 0 and ϕ(βα = ( 1, 0 (0, 0 (and ϕ(α, ϕ(β 0, the only word that maps to (0, 0 is the empty word Thus ϕ is an isomorphism, and we are done Problem 4 Show that there exists a surjective homomorphism Z/nZ Z/2Z S n Recall that S n is generated by an σ = (1 2 n and τ = (1 2 Therefore any ρ S n can be written in the form ρ = σ k 1 τ σ km τ where perhaps this last τ is omitted or another τ added at the beginning This form is sufficient without loss of generality Let {0, 1,, n 1} = Z/nZ and {0, a} = Z/2Z Define a map ϕ : Z/nZ Z/2Z S n by 1 σ and a τ Then ϕ(k 1 a k m a = ϕ(k 1 ϕ(a ϕ(k m ϕ(a = ϕ(1 k 1 τ ϕ(1 km τ = σ k 1 τ σ km τ It is clear by construction that ϕ is a group homomorphism, and we have just shown it is surjective This competes the proof 2

Problem 5 Prove that the group SL 2 (Z is generated by two matrices ( ( 0 1 0 1 and 1 0 1 1 Elements of SL 2 (Z are of the form ( a b c d such that ad bc = 1 Let α and β be the matrices above, respectively We can see that α 2 = I Further, ( ( 1 1 1 n α 3 β = and (α 3 β n = 0 1 0 1 where n Z makes sense since α 1, β 1 SL 2 (Z Further, ( 1 n (α 3 β n α 2 = 0 1 so we can construct all matrices of the form ( ±1 n 0 ±1 for n Z Now, taking matrices of the form (α 3 β n α and (α 3 β n α 3 we can construct matrices of the form ( n ±1 1 0 Taking inverses of the above constructions yields ( ( 0 ±1 ±1 0 and 1 n n ±1 Problem 6 Let H and K be two subgroups of G Assume that G acts on a set X and there are two subsets A, B X and an element x X \ (A B such that h(a {x} B for every e h H and k(b {x} A for every e k K Prove that the natural homomorphism H K G is injective Let w = h 1 k 1 h n k n a word in H K and let ϕ be the natural homomorphism from H K to G Suppose that ϕ(w = e G Note that for arbitrary h H, k K, we have (hk x = h (k x B and (kh x = k (h x A, where the action of H K on X is induced by the action of G In particular, w x B since the first letter of w is in H (the case is identical if the first letter is in K But e G x = x / B, so w cannot have a first letter, ie w is the empty word Therefore if ϕ(w = e G, then w = ε the identity in H K Therefore ϕ is injective 3

Problem 7 Let G and H be two non-trivial groups Show that G H is an infinite group with trivial centre Let g G and h H be two non-identity elements Then each of the words gh }{{} gh n times is distinct Therefore G H is infinite Further, suppose that w = g 1 h 1 g n h n is in the centre of G H (without loss of generality; the case where h 1 comes first is identical Then for nontrivial h H, hw = hg 1 h 1 g n h n g 1 h 1 g n h n h = wh since, in particular, hw has n + 1 letters in H and wh has only n Even if w = g, we have hw = hg gh = wh (the case similar for h Therefore the centre of G H is trivial Problem 8 Let X be a subset in a group G Prove that X = Y where Y = g G gxg 1 We prove double inclusion Let N = X First, let gxg 1 Y Then since x N and N is closed under conjugation, we must have gxg 1 N as well Therefore since Y N, Y N We claim now that Y is normal by proving its generators are closed under conjugation Indeed, if gxg 1 Y, then hgxg 1 h 1 = (hgx(hg 1 Y as well Since N is the smallest normal subgroup containing X and Y is one such subgroup, we have N Y Therefore N = Y, so we are done Problem 9 Let G = a, b : w 3 = e, w a word in a, b Show that G is finite and find G We prove this in two steps First we claim that [a, b] Z(G We see a 2 ba 2 b 2 = a 2 (ab 2 ab 2 ab 2 b 2 aba = b 2 ab 2 ababa = b 2 ab = b 2 ab 2 a 2 ba 2 ba 2 = a 2 b(b 2 ab 2 ab 2 aaba 2 ba 2 = ab 2 aba 2 = ab 2 (bababaaba 2 = aba 2 (abababb 2 a = aba 2 b 2 a so that [a, b] commutes with a, the case for b being analogous Since it commutes with the generators of G, it commutes with every w G We additionally have ab = [a, b]ba, so ab = ba[a, b] We proceed by a combinatorial argument Through these insertions and commuting ab with ba, we can reduce any word to the form [a, b] i a j b k for some i, j, k N Then since w 3 = e, we have 0 i, j, k 2 Therefore there are 27 elements of G, and we are done 4

Problem 10 Prove that if the free groups F (X and F (Y for finite sets X and Y are isomorphic, then X = Y Suppose that X Y, so we may assume X < Y Let ϕ : F (X F (Y be a group homomorphism, and suppose it is an isomorphism Then there exists a letter y Y such that ϕ 1 (y = w has at least two letters Suppose that w = ab, a, b X (the case of w with n letters being similar Then y = ϕ(ab = ϕ(aϕ(b = a b where a, b Y must be proper letters (or words since ϕ is an isomorphism Since a b has at least two letters, y = a b is impossible Therefore ϕ is not an isomorphism Therefore we have proved the contrapositive, and we are done 5