Your Name MATH 435, EXAM #1

Similar documents
MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

Algebra homework 6 Homomorphisms, isomorphisms

Solutions for Assignment 4 Math 402

Theorems and Definitions in Group Theory

Math 581 Problem Set 8 Solutions

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

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.

Recall: Properties of Homomorphisms

Lecture 3. Theorem 1: D 6

Math 546, Exam 2 Information.

Section 13 Homomorphisms

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

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

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

MATH 113 FINAL EXAM December 14, 2012

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

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

Solutions to Assignment 4

2MA105 Algebraic Structures I

MODEL ANSWERS TO THE FIFTH HOMEWORK

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

Group Theory

Name: Solutions Final Exam

Introduction to Groups

Cosets and Normal Subgroups

Zachary Scherr Math 370 HW 7 Solutions

Section III.15. Factor-Group Computations and Simple Groups

Math 581 Problem Set 6 Solutions

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

INTRODUCTION TO THE GROUP THEORY

Math 547, Exam 1 Information.

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 14

Name: Solutions - AI FINAL EXAM

Solutions of exercise sheet 4

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

Part IV. Rings and Fields

Section 15 Factor-group computation and simple groups

MA441: Algebraic Structures I. Lecture 26

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

Answers to Final Exam

Total 100

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

Fall /29/18 Time Limit: 75 Minutes

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

Lecture 4.1: Homomorphisms and isomorphisms

Solutions for Homework Assignment 5

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

5 Group theory. 5.1 Binary operations

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

Solution Outlines for Chapter 6

3.4 Isomorphisms. 3.4 J.A.Beachy 1. from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair

Lecture 7 Cyclic groups and subgroups

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

Quiz 2 Practice Problems

Algebra I: Final 2015 June 24, 2015

MATH RING ISOMORPHISM THEOREMS

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

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

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

Math 4400, Spring 08, Sample problems Final Exam.

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


Chapter 9: Group actions

Teddy Einstein Math 4320

Math 3140 Fall 2012 Assignment #3

Homework #11 Solutions

Math 345 Sp 07 Day 7. b. Prove that the image of a homomorphism is a subring.

MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION

Fibers, Surjective Functions, and Quotient Groups

Math 4/541 Day 25. Some observations:

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

Math 581 Problem Set 9

Ideals, congruence modulo ideal, factor rings

Lecture 6 Special Subgroups

Math 210A: Algebra, Homework 5

REU 2007 Discrete Math Lecture 2

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

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

Abstract Algebra FINAL EXAM May 23, Name: R. Hammack Score:

Visual Abstract Algebra. Marcus Pivato

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Normal Subgroups and Factor Groups

Properties of Homomorphisms

Part II Permutations, Cosets and Direct Product

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

Math 430 Final Exam, Fall 2008

Kevin James. Quotient Groups and Homomorphisms: Definitions and Examp

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

Math Introduction to Modern Algebra

Background Material in Algebra and Number Theory. Groups

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

SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.

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

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

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

Equivalence Relations and Partitions, Normal Subgroups, Quotient Groups, and Homomorphisms

Course 311: Abstract Algebra Academic year

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

Transcription:

MATH 435, EXAM #1 Your Name You have 50 minutes to do this exam. No calculators! No notes! For proofs/justifications, please use complete sentences and make sure to explain any steps which are questionable. Good luck! Problem Total Points Score 1 30 2 25 3 25 4 20 EC 10 Total 100 1

1. Definitions and short answers. (a) State Lagrange s theorem. (5 points) Solution: If G is a finite group and H is a subgroup of G, then the order of H divides the order of G. (b) Give an example of a function f : G H between two groups that is NOT a homomorphism. (5 points) Solution: Consider G = H = Z under addition. Then consider the function f(x) = x 2. We observe that f(x+y) = (x+y) 2 x 2 +y 2 = f(x)+f(y), at least in general, so that this function is not a homomorphism. (c) Give an example of an element of order 3 in a group of order 6. (5 points) Solution: The element 2 has order three inside Z mod6. (d) In class, we showed that every group G is isomorphic to a subgroup of A(S) for some set S. Define the term A(S) and state what set S was used in the proof of this fact. (5 points) Solution: A(S) denotes the set of bijective functions from S to S. In that problem I mentioned, we set S = G. (e) Assume that the kernel of a group homomorphism is a subgroup, prove that the kernel of a group homomorphism is a normal subgroup. (5 points) Solution: Suppose that φ : G G is a group homomorphism and that K is the kernel. We need to show that xkx 1 K for all x G. Fix an x G and k K, we need to show that xkx 1 K. In other words, we need to show that φ(xkx 1 ) = e G. But φ(xkx 1 ) = φ(x)φ(k)φ(x 1 ) = φ(x)e G φ(x 1 ) = φ(x)φ(x 1 ) = φ(xx 1 ) = φ(e G ) = e G as desired. This completes the proof. (f) Prove that every group of order 5 is cyclic using Lagrange s theorem. (5 points) Solution: Suppose that G is a group of order 5. Since G has more than one element, we choose x G, x e. Consider now H = x G. This is a subgroup of G. By Lagrange s theorem, the order of H is either 1 or 5. Now, H contains x and since it is a subgroup, it also contains e. Thus H 2 and so H = 5. But then G = H and since H is cyclic, so is G. 2

2. Consider G the group of rotations of a hexagon, G = {e, r60, r120, r180, r240, r300}. (a) Show that G is cyclic and identify all the generators. (6 points) Solution: Note that e = r60 6, r60 = r60 1, r120 = r60 2, r180 = r60 3, r240 = r60 4 and r300 = r60 5. Thus G = r60 is cyclic. It is easy to see that the only generators of G are r60 and r300 = r60 1. All the other elements are r60 raised to a power not coprime to 6. (b) Write down the elements of H = r180, the cyclic subgroup generated by rotation by 180 degrees. Also write down all of the distinct cosets of H. (7 points) Solution: Note H = r180 = {e, r180} = eh = r180h. r60h = {r60, r240} = r240h. r120h = {r120, r300} = r300h. And so there are 3 distinct cosets. (c) Write down a complete multiplication table for G/H. (12 points) Solution: eh r60 H r120 H eh eh r60h r120h r60 H r60h r120h eh r120 H r120h e H r60h 3

3. Suppose that φ : G G is a group homomorphism. (a) Prove directly that K = ker(φ) is a subgroup of G. (7 points) Solution: We first note that φ(e G ) = e G (as we proved in class) and so e G K. Now we tackle closure. Suppose that a, b K which just means that φ(a) = e G and φ(b) = e G. We need to show that ab K. So φ(ab) = φ(a)φ(b) = e G e G = e G which is exactly what we wanted to show. Finally, we handle inverses. Suppose that a K so that φ(a) = e G. We need to show that φ(a 1 ) = e G as well. But φ(a 1 ) = (φ(a)) 1 = e 1 G = e G which completes the proof. (b) Prove directly that K is normal. (6 points) Solution: We need to show that xkx 1 K for all x G. Fix an x G and k K, we need to show that xkx 1 K. In other words, we need to show that φ(xkx 1 ) = e G. But φ(xkx 1 ) = φ(x)φ(k)φ(x 1 ) = φ(x)e G φ(x 1 ) = φ(x)φ(x 1 ) = φ(xx 1 ) = φ(e G ) = e G as desired. This completes the proof. (c) Suppose now that G is a finite group and that φ is surjective. Prove that the order of G divides the order of G (12 points) Hint: Use the first homomorphism theorem. Solution: If K is the kernel of φ, it is a subgroup. We know that G = G/K K by Lagrange s theorem. On the other hand, the first homomorphism theorem tells us that G/K is isomorphic to G. But isomorphic groups have the same number of elements because there is a bijection between them. Therefore G/K = G. Plugging this back into our original equation, we have G = G/K K = G K. This proves that the order of G divides the order of G as desired. 4

4. Suppose that G is a group, and that G/Z(G) is cyclic. Prove that G is necessarily Abelian. (20 points) Solution: For simplicity of notation, we set Z = Z(G). Note first that Z is always a normal subgroup, so the question makes sense. Write G/Z = az since G/Z is cyclic. Now choose b, c G. We need to prove that bc = cb. Because the cosets of Z partition the group G, and those cosets are all of the form a i Z for some i Z, we know that b a i Z and c a j Z for some i, j Z. Write b = a i z 1 and c = a j z 2 for some z 1, z 2 Z. Then bc = (a i z 1 )(a j z 2 ) = (a i a j )(z 1 z 2 ) = (a i+j )(z 1 z 2 ) = (a j+i )(z 2 z 1 ) = a j a i z 2 z 1 = a j z 2 a i z 1 = cb. This repeatedly uses the fact that elements of Z = Z(G) commute with everything. 5

(EC) Suppose that G is an Abelian group and that N 1, N 2 are subgroups. Suppose additionally that N 1 N 2 = G. Consider the group G/N 1 G/N 2 = {(g 1 N 1, g 2 N 2 ) g i G/N i } Here the symbol just means ordinary Cartesian product. The multiplication operation on the group is entry-wise 1. Prove that G/(N 1 N 2 ) G/N 1 G/N 2 by using the first homomorphism theorem. (10 points) Hint: Write down a map from G to G/N 1 G/N 2 and show it is surjective. The argument is similar to the Chinese Remainder Theorem. Solution: Consider the function φ : G (G/N 1 ) (G/N 2 ) defined by the rule: φ(g) = (gn 1, gn 2 ). Note that φ(ab) = (abn 1, abn 2 ) = (an 1, an 2 ) (bn 1, bn 2 ) = φ(a) φ(b) which proves that φ is a homomorphism. We now want to show that φ is surjective. Suppose that (gn 1, g N 2 ) G/N 1 G/N 2. By hypothesis, N 1 N 2 = G, and so g = n 1 n 2 and g = n 1n 2 for some n 1, n 1 N 1 and n 2, n 2 N 2. Now, consider φ(n 2 n 1) = (n 2 n 1N 1, n 2 n 1N 2 ) = (n 2 N 1, n 1n 2 N 2 ) = (n 2 N 1, n 1N 2 ) = (n 2 n 1 N 1, n 1n 2N 2 ) = (gn 1, g N 2 ). This proves that φ is surjective. Therefore, we know that G/ ker(φ) = G/N 1 G/N 2. In particular, if we can show that ker(φ) = N 1 N 2, we are done. Now, x ker(φ) if and only if φ(x) = (xn 1, xn 2 ) = (en 1, en 2 ) = e G/N1 G/N 2. But this happens if and only if both xn 1 = en 1 and xn 2 = en 2 which is equivalent to x N 1 and x N 2. But this last statement is just the same as x N 1 N 2. In particular, since we did this with if and only if all the way down, we have shown that ker(φ) = N 1 N 2. 1 In other words, (an1, bn 2 )(cn 1, dn 2 ) = (acn 1, bdn 2 ). 6