Zachary Scherr Math 370 HW 7 Solutions

Size: px
Start display at page:

Download "Zachary Scherr Math 370 HW 7 Solutions"

Transcription

1 1 Book Problems b Solution: Let U 1 {u 1 u U} and let S U U 1. Then (U) is the set of all elements of G which are finite products of elements of S. We are told that for any u U and g G we have gug 1 U. This implies that gu 1 g 1 (gug 1 ) 1 U 1 as well. Thus we see that every s S satisfies gsg 1 S for every g G. Let x (U). Then there exists k 0 and s 1, s 2,..., s k S so that x s 1 s 2 s k. We must prove that for every g G we have gxg 1 (U). We prove this by induction on k. The case k 0 is trivial (x e in this case) and the case k 1 follows from our statement about S. Thus we may assume the statement is true for any element of (U) expressible as a product of k 1 terms in S. If x s 1 s 2 s k, then for any g G we have gxg 1 g(s 1 s 2 s k )g 1 (gs 1 s 2 s k 1 g 1 )(gs k g 1 ). The induction hypothesis ensures gs 1 g k 1 g 1 (U) while the case k 1 ensures gs k g 1 (U). Since (U) is closed under multiplication, we also get that gxg 1 (U). Thus we ve proved that for every x (U) and g G, gxg 1 (U) which implies that (U) is normal in G Solution: (a) In light of 2.7.4b, we only need to show that for every u U and g G we have gug 1 U. Of course any u U is of the form u xyx 1 y 1 for some x, y G so gug 1 g(xyx 1 y 1 )g 1 (gxg 1 )(gyg 1 )(gxg 1 ) 1 (gyg 1 ) 1 which shows that gug 1 U as well. (b) For any a, b G we have aba 1 b 1 (ab)(ba) 1 U G. Thus we have an equality of cosets G ab G ba. But of course in the group G/G this just says which means that G/G is abelian. G ag b G ab G ba G bg a (c) Let N G be a normal subgroup and suppose G/N is abelian. Then for every a, b G we have Nab NaNb NbNa Nba which says that (ab)(ba) 1 aba 1 b 1 N. Thus U N and since N is a subgroup of G containing U we must have G N. (d) Let ϕ: G G/G be the onto homomorphism ϕ(g) G g. We proved in class that there is a one-to-one correspondence between subgroups of G/G and subgroups of G which contain G, the kernel of ϕ. In our correspondence, we also showed that normal subgroups of G/G correspond to normal subgroups of G. The fact that G/G is abelian means that every one of its subgroups is normal, and hence by the correspondence, every subgroup of G containing G must be normal in G.

2 Solution: Consider the function ϕ: N NM/M given by ϕ(n) Mn. Notice that ϕ actually gives a function since N NM. It is easy to verify that ϕ is a homomorphism since ϕ(n 1 n 2 ) M(n 1 n 2 ) Mn 1 Mn 2 ϕ(n 1 )ϕ(n 2 ). We can also check that ϕ is onto. Let X NM/M. Then there exists x NM so that X Mx. Of course then there must be n N and m M so that x nm. We have X Mx M(nm) MnMm MnMe Mn so that X ϕ(n). If K is the kernel of ϕ then the isomorphism theorems tell us that N/K NM/M. By definition, K {n N Mn Me} but Mn Me if and only if n M. Thus K N M and hence N/N M NM/M Solution: We define a function ϕ: G R {0} by ϕ(τ ab ) a. Notice that this is actually a function since by assumption a 0. We claim that ϕ is a homomorphism onto R {0}, as a group under multiplication, with kernel N. It s clear that ϕ is onto. To see it s a homomorphism, note that for any x V and a, b, c, d R with ac 0 we have Thus τ ab τ cd (x) τ ab (cx + d) a(cx + d) + b acx + ad + b τ (ac)(ad+b) (x). ϕ(τ ab τ cd ) ϕ(τ (ac)(ad+b) ) ac ϕ(τ ab )ϕ(τ cd ). It is clear by definition that ker(ϕ) consists of all τ 1b for b R so ker(ϕ) N. Thus immediately we see that N is a normal subgroup of G and in fact by the isomorphism theorems G/N R {0} Solution: (a) The subgroup N (y) is trivially normal in G since it has index 2 and you proved on the exam practice problems that an index two subgroup is always normal. To prove this without resorting to machinery, notice that normality of N will follow from knowing that xn Nx. Now xn {x, xy, xy 2,..., xy n 1 } Page 2

3 while Nx {x, yx, y 2 x,..., y n 1 x} {x, xy n 1, xy n 2,..., xy} xn. (b) This is obvious. G/N is a group of order 2 so it must be cyclic, and up to isomorphism there is only one cyclic group of order 2. For practice we use the isomorphism theorems. Consider a function ϕ: G {1, 1} defined by ϕ(x i y j ) ( 1) i. We ve previously seen that Thus (x i y j )(x i y j ) x i+i y j( 1)i. ϕ((x i y j )(x i y j )) ϕ(x i+i y j( 1)i ) ( 1) i+i ( 1) i ( 1) i ϕ(x i y j )ϕ(x i y j ) so ϕ is a homomorphism. The map ϕ is trivially onto and it is clear that N ker(ϕ). Thus the isomorphism theorem says G/N {1, 1} Solution: We will see later in the course that any finite group consisting of p 2 elements, where p is a prime, is necessarily abelian. Here is a clever, yet somewhat brute force approach, for order 9. Since o(g) 9, Lagrange tells us that any element in G has order 1, 3, or 9. If any element has order 9 then G would be cyclic hence abelian, so we might as well assume that every non-identity element in G has order 3. Let L be any subgroup of G. The fact that every non-identity element of G has order 3 implies that for any g G we have g L if and only if g 2 L. If g L then trivially g 2 L. Conversely, if g 2 L then so is (g 2 ) 2 g 4 g 3 g g. Now let x be any non-identity element in G, then H (x) {e, x, x 2 }. Lagrange tells us that H has three cosets in G. I claim that if y G H, then the three cosets of H are H, Hy and Hy 2. By our above observation, neither y nor y 2 are in H so Hy H and Hy 2 H. Furthermore, the fact that y H implies as well that Hy Hy 2. Thus our 9 elements in G are of the form H {e, x, x 2 } Hy {y, xy, x 2 y} Hy 2 {y 2, xy 2, x 2 y 2 }. To show that G is abelian, it suffices to prove that xy yx since this would imply that any two elements of G commute. To attack this, let s first prove that yx Hy. Note that yx H since y H. If Hy 2 Hyx then necessarily yx(y 2 ) 1 yxy H. But then yxyx (yx) 2 H as well. By our above observation we then get that yx H, which is absurd. Thus yx Hy, so we have narrowed down our case work. Clearly yx y since x e. If yx x 2 y then we can multiply both sides by x on the left to get xyx y. But then this equation implies (yx) 2 yxyx y 2 xyxy (xy) 2 and we can square both sides to get xy yx. This cannot happen since then xy x 2 y implies that x e. Thus the only possibility we are left with is yx xy, which in turn shows that G is abelian. Page 3

4 Solution: By Lagrange s theorem, any element in G can only have order 1,2,3 or 6. G cannot have any elements of order 6, for otherwise G would be cyclic hence abelian. Thus every non-identity element of G has order 2 or 3. You proved in Herstein that if every element of a group is equal to its inverse (meaning it has order 1 or 2) then the group is abelian. This forces G to have an element y G such that o(y) 3. Let H (y) {e, y, y 2 } and choose x G H. Lagrange s theorem tells us that H has index 2 in G so the cosets of H are H {e, y, y 2 } Hx {x, yx, y 2 x}. As H has index 2 in G it must be normal so xh Hx. As G is non-abelian we cannot have x and y commuting (for otherwise G would be abelian since x and y generate G) so the fact that xh Hx yields yx xy 2. To show that G is isomorphic to S 3, the last thing we need to verify is that o(x) 2. Of course G/H is a group of order 2 so He (Hx) 2 Hx 2 which means that x 2 H. Now o(x) 2 or 3, but if o(x) 3 then x 3 e H would imply that x x 3 x 2 H which is absurd. Thus o(x) 2 and we see that G is isomorphic to S Solution: Let G be abelian. Then any subgroup N G is normal so G/N is a group. For any a, b G we know ab ba so in fact implies that G/N is abelian. NaNb Nab Nba NbNa Solution: Let G C {0} and let G be the set of matrices of the form a b b a where a, b R are not both zero. Before we construct an explicit isomorphism between G and G, let s remind ourselves the multiplication rules. In G we have and in G a b b a d c (a + bi)(c + di) (ac bd) + (ad + bc)i ac bd ad + bc (ad + bc) ac bd These multiplication rules strongly hint at what our map should be. Define ϕ: G G by a b ϕ(a + bi). b a The multiplication rules we just wrote show that ϕ is a homomorphism. The map ϕ is clearly onto and is also one-to-one since ker(ϕ) {1}. Thus ϕ is the desired isomorphism. Page 4

5 Solution: Let ψ : S 1 S 2 be a one-to-one map. We d like to produce a one-to-one homomorphism ϕ: A(S 1 ) A(S 2 ). To do so, start by letting ψ(s 1 ) T S 2. Then ψ : S 1 T is a one-to-one correspondence. This is because ψ is known to be one-to-one and is certainly onto its image. Thus we can define the inverse function ψ 1 : T S 1. Now let f A(S 1 ). We need to define ϕ(f) to be a one-to-one correspondence from S 2 to itself. I propose we define the function ϕ(f) as follows { z, z T ϕ(f)(z) ψ f ψ 1 (z), z T. Notice that this truly defines a function from S 2 to itself, so it only remains to check that ϕ(f) is actually a correspondence and that ϕ is a homomorphism and that ϕ is one-to-one. To prove that ϕ(f) is a one-to-one correspondence, it suffices to exhibit an inverse function. We define g : S 2 S 2 by { z, z T g(z) ψ f 1 ψ 1, z T. Notice that g is well-defined since f is invertible on S 1 and it is a simple matter to check that ϕ(f) g g ϕ(f) I, the identity map on S 2. This proves that ϕ(f) is actually an element of A(S 2 ). Next we need to show that ϕ is a homomorphism. Let f 1, f 2 A(S 1 ). For any z S 2 T we have by definition ϕ(f 1 f 2 )(z) z ϕ(f 1 ) ϕ(f 2 )(z). For z T we get ϕ(f 1 f 2 )(z) ψ f 1 f 2 ψ 1 (z) (ψ f 1 ψ 1 ) (ψ f 2 ψ 1 )(z) ϕ(f 1 ) ϕ(f 2 )(z). This proves that ϕ(f 1 f 2 ) ϕ(f 1 ) ϕ(f 2 ) and so ϕ is a homomorphism. The last thing to check is that ϕ is one-to-one, but this can be done by computing the kernel of ϕ. A function f is contained in ker(ϕ) iff ϕ(f)(z) z for every z S 2. This only occurs when ψ f ψ 1 (z) z for every z T, but this forces f to be the identity map on S 1. Thus the kernel of ϕ consists of the identity element of A(S 1 ) alone and hence ϕ is one-to-one. 2 For Fun Solution: Let G be the group of real numbers under addition, and let G denote the group of Page 5

6 complex numbers having absolute value 1 under multiplication. Define a function ϕ: G G by Note that ϕ(x) G since ϕ(x) e 2πix. e 2πix cos(2πx) + i sin(2πx) cos 2 (2πx) + sin 2 (2πx) 1. It is easy to check that ϕ is a homomorphism since ϕ(x + y) e 2πi(x+y) e 2πix+2πiy e 2πix e 2πiy ϕ(x)ϕ(y). Now x ker(ϕ) if and only if ϕ(x) e 2πix 1. But 1 e 2πix cos(2πx) + i sin(2πix) implies that cos(2πix) 1 and sin(2πix) 0. This occurs if and only if x Z. This proves that ker(ϕ) N. The last thing to prove is that ϕ is onto. This is obvious if you know properties of complex numbers. If not, we prove it as follows. Let a + bi G, then a 2 + b 2 1. Then surely 1 a 1 so there exists r R so that a cos(r). But then b 2 1 a 2 1 cos 2 (r) sin 2 (r). This proves that b ± sin(r). Notice, however, that cos(r) cos( r) while sin(r) sin( r). Thus we can change r to r if necessary to ensure that a cos(r) and b sin(r). Letting x r 2π shows that ϕ(x) e 2πix e ir cos(r) + i sin(r) a + bi. Thus ϕ is onto, and the result follows by the isomorphism theorems Solution: In problem 18 it is easy to prove that G N. Let { } a b G a, b, c, d R, ad bd 0 We define a function det: G R {0} by a b det ad bc. Then we have previously proven that det is a homomorphism. Since the image of det is abelian, problem 5 tells us that G ker(det). Of course ker(det) is just N from problem 18. We are tasked with proving that in fact N G. The idea is to find a subset S N for which S N G and that N (S). This will then prove that N G. This might be tricky, but if you are familiar with row reduction you might think to try the following. Let S consist of all matrices of the form where a 0, and all matrices of the form 1 x a 0 /a and x 1 Page 6

7 where x R. It is then clear that S N. Let a b N. If a 0 then you can verify that a b ( a 0 c/a 1 /a ) ( 1 b/a If a 0, then certainly c 0, and you can check 0 b 1 1 c (b + d)/c. 1 1 /c This computation shows that N (S) since we just gave a recipe for writing elements of N as products of elements from S. Thus it only remains to show that S G. You should verify that 1 x and x 1 ( 2 0 ( x 0 and a 0 /a ). ) 1 ( 1 x 2 x ) 1 ) 1 ( 1/2 /2 0 x 0 ( This proves that S G so in fact N (S) G. ) 1 ) 1 1. a 0 a 0 It s worth pointing out that the diagonal matrices are unnecessary. In fact, every 2 2 matrix of determinant 1 is a product of matrices of the form 1 x and. x 1 Page 7

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

Solutions to Some Review Problems for Exam 3. by properties of determinants and exponents. Therefore, ϕ is a group homomorphism. Solutions to Some Review Problems for Exam 3 Recall that R, the set of nonzero real numbers, is a group under multiplication, as is the set R + of all positive real numbers. 1. Prove that the set N of

More information

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

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group

More information

Your Name MATH 435, EXAM #1

Your Name MATH 435, EXAM #1 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.

More information

Section 15 Factor-group computation and simple groups

Section 15 Factor-group computation and simple groups Section 15 Factor-group computation and simple groups Instructor: Yifan Yang Fall 2006 Outline Factor-group computation Simple groups The problem Problem Given a factor group G/H, find an isomorphic group

More information

Lecture 3. Theorem 1: D 6

Lecture 3. Theorem 1: D 6 Lecture 3 This week we have a longer section on homomorphisms and isomorphisms and start formally working with subgroups even though we have been using them in Chapter 1. First, let s finish what was claimed

More information

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope

More information

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

Mathematics 331 Solutions to Some Review Problems for Exam a = c = 3 2 1 Mathematics 331 Solutions to Some Review Problems for Exam 2 1. Write out all the even permutations in S 3. Solution. The six elements of S 3 are a =, b = 1 3 2 2 1 3 c =, d = 3 2 1 2 3 1 e =, f = 3 1

More information

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

MATH 420 FINAL EXAM J. Beachy, 5/7/97 MATH 420 FINAL EXAM J. Beachy, 5/7/97 1. (a) For positive integers a and b, define gcd(a, b). (b) Compute gcd(1776, 1492). (c) Show that if a, b, c are positive integers, then gcd(a, bc) = 1 if and only

More information

2MA105 Algebraic Structures I

2MA105 Algebraic Structures I 2MA105 Algebraic Structures I Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/2ma105.html Lecture 7 Cosets once again Factor Groups Some Properties of Factor Groups Homomorphisms November 28, 2011

More information

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

MODEL ANSWERS TO HWK #4. ϕ(ab) = [ab] = [a][b] MODEL ANSWERS TO HWK #4 1. (i) Yes. Given a and b Z, ϕ(ab) = [ab] = [a][b] = ϕ(a)ϕ(b). This map is clearly surjective but not injective. Indeed the kernel is easily seen to be nz. (ii) No. Suppose that

More information

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

MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018 MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018 Here are a few practice problems on groups. You should first work through these WITHOUT LOOKING at the solutions! After you write your

More information

Groups. Chapter 1. If ab = ba for all a, b G we call the group commutative.

Groups. Chapter 1. If ab = ba for all a, b G we call the group commutative. Chapter 1 Groups A group G is a set of objects { a, b, c, } (not necessarily countable) together with a binary operation which associates with any ordered pair of elements a, b in G a third element ab

More information

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

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

(Think: three copies of C) i j = k = j i, j k = i = k j, k i = j = i k.

(Think: three copies of C) i j = k = j i, j k = i = k j, k i = j = i k. Warm-up: The quaternion group, denoted Q 8, is the set {1, 1, i, i, j, j, k, k} with product given by 1 a = a 1 = a a Q 8, ( 1) ( 1) = 1, i 2 = j 2 = k 2 = 1, ( 1) a = a ( 1) = a a Q 8, (Think: three copies

More information

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

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis PART B: GROUPS GROUPS 1. ab The binary operation a * b is defined by a * b = a+ b +. (a) Prove that * is associative.

More information

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

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld. ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.

More information

INTRODUCTION TO THE GROUP THEORY

INTRODUCTION TO THE GROUP THEORY Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher

More information

MODEL ANSWERS TO THE FIFTH HOMEWORK

MODEL ANSWERS TO THE FIFTH HOMEWORK MODEL ANSWERS TO THE FIFTH HOMEWORK 1. Chapter 3, Section 5: 1 (a) Yes. Given a and b Z, φ(ab) = [ab] = [a][b] = φ(a)φ(b). This map is clearly surjective but not injective. Indeed the kernel is easily

More information

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

Basic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed. Math 546 Review Exam 2 NOTE: An (*) at the end of a line indicates that you will not be asked for the proof of that specific item on the exam But you should still understand the idea and be able to apply

More information

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

EXAM 3 MAT 423 Modern Algebra I Fall c d a + c (b + d) d c ad + bc ac bd EXAM 3 MAT 23 Modern Algebra I Fall 201 Name: Section: I All answers must include either supporting work or an explanation of your reasoning. MPORTANT: These elements are considered main part of the answer

More information

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

Section III.15. Factor-Group Computations and Simple Groups III.15 Factor-Group Computations 1 Section III.15. Factor-Group Computations and Simple Groups Note. In this section, we try to extract information about a group G by considering properties of the factor

More information

Solution Outlines for Chapter 6

Solution Outlines for Chapter 6 Solution Outlines for Chapter 6 # 1: Find an isomorphism from the group of integers under addition to the group of even integers under addition. Let φ : Z 2Z be defined by x x + x 2x. Then φ(x + y) 2(x

More information

Theorems and Definitions in Group Theory

Theorems and Definitions in Group Theory Theorems and Definitions in Group Theory Shunan Zhao Contents 1 Basics of a group 3 1.1 Basic Properties of Groups.......................... 3 1.2 Properties of Inverses............................. 3

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

Abstract Algebra II Groups ( )

Abstract Algebra II Groups ( ) Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition

More information

Extra exercises for algebra

Extra exercises for algebra Extra exercises for algebra These are extra exercises for the course algebra. They are meant for those students who tend to have already solved all the exercises at the beginning of the exercise session

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

Algebra homework 6 Homomorphisms, isomorphisms

Algebra homework 6 Homomorphisms, isomorphisms MATH-UA.343.005 T.A. Louis Guigo Algebra homework 6 Homomorphisms, isomorphisms Exercise 1. Show that the following maps are group homomorphisms and compute their kernels. (a f : (R, (GL 2 (R, given by

More information

3.8 Cosets, Normal Subgroups, and Factor Groups

3.8 Cosets, Normal Subgroups, and Factor Groups 3.8 J.A.Beachy 1 3.8 Cosets, Normal Subgroups, and Factor Groups from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 29. Define φ : C R by φ(z) = z, for

More information

Algebra I: Final 2012 June 22, 2012

Algebra I: Final 2012 June 22, 2012 1 Algebra I: Final 2012 June 22, 2012 Quote the following when necessary. A. Subgroup H of a group G: H G = H G, xy H and x 1 H for all x, y H. B. Order of an Element: Let g be an element of a group G.

More information

) = 1, ) = 2, and o( [ 11]

) = 1, ) = 2, and o( [ 11] True/False Questions 1. The order of the identity element in any group is 1. True. n = 1 is the least positive integer such that e n = e. 2. Every cyclic group is abelian. True. Let G be a cyclic group.

More information

Solutions for Homework Assignment 5

Solutions for Homework Assignment 5 Solutions for Homework Assignment 5 Page 154, Problem 2. Every element of C can be written uniquely in the form a + bi, where a,b R, not both equal to 0. The fact that a and b are not both 0 is equivalent

More information

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

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall I. Take-Home Portion: Math 350 Final Exam Due by 5:00pm on Tues. 5/12/15 No resources/devices other than our class textbook and class notes/handouts may be used. You must work alone. Choose any 5 problems

More information

Math Exam 1 Solutions October 12, 2010

Math Exam 1 Solutions October 12, 2010 Math 415.5 Exam 1 Solutions October 1, 1 As can easily be expected, the solutions provided below are not the only ways to solve these problems, and other solutions may be completely valid. If you have

More information

Supplementary Notes: Simple Groups and Composition Series

Supplementary Notes: Simple Groups and Composition Series 18.704 Supplementary Notes: Simple Groups and Composition Series Genevieve Hanlon and Rachel Lee February 23-25, 2005 Simple Groups Definition: A simple group is a group with no proper normal subgroup.

More information

Fall /29/18 Time Limit: 75 Minutes

Fall /29/18 Time Limit: 75 Minutes Math 411: Abstract Algebra Fall 2018 Midterm 10/29/18 Time Limit: 75 Minutes Name (Print): Solutions JHU-ID: This exam contains 8 pages (including this cover page) and 6 problems. Check to see if any pages

More information

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Math 2070BC Term 2 Weeks 1 13 Lecture Notes Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic

More information

Algebraic Structures Exam File Fall 2013 Exam #1

Algebraic Structures Exam File Fall 2013 Exam #1 Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write

More information

Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016

Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016 Abstract Algebra I Randall R. Holmes Auburn University Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016 This work is licensed under the Creative Commons Attribution- NonCommercial-NoDerivatives

More information

Math Introduction to Modern Algebra

Math Introduction to Modern Algebra Math 343 - Introduction to Modern Algebra Notes Rings and Special Kinds of Rings Let R be a (nonempty) set. R is a ring if there are two binary operations + and such that (A) (R, +) is an abelian group.

More information

MATH RING ISOMORPHISM THEOREMS

MATH RING ISOMORPHISM THEOREMS MATH 371 - RING ISOMORPHISM THEOREMS DR. ZACHARY SCHERR 1. Theory In this note we prove all four isomorphism theorems for rings, and provide several examples on how they get used to describe quotient rings.

More information

Normal Subgroups and Factor Groups

Normal Subgroups and Factor Groups Normal Subgroups and Factor Groups Subject: Mathematics Course Developer: Harshdeep Singh Department/ College: Assistant Professor, Department of Mathematics, Sri Venkateswara College, University of Delhi

More information

1. (7 points)state and PROVE Cayley s Theorem.

1. (7 points)state and PROVE Cayley s Theorem. Math 546, Final Exam, Fall 2004 The exam is worth 100 points. Write your answers as legibly as you can on the blank sheets of paper provided. Use only one side of each sheet. Take enough space for each

More information

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

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK

More information

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups This Ark concerns the weeks No. (Mar ) and No. (Mar ). Plans until Eastern vacations: In the book the group theory included in the curriculum

More information

CONSEQUENCES OF THE SYLOW THEOREMS

CONSEQUENCES OF THE SYLOW THEOREMS CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.

More information

Solutions to Assignment 4

Solutions to Assignment 4 1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

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.

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. 10. Homomorphisms 1 Homomorphisms Isomorphisms are important in the study of groups because, being bijections, they ensure that the domain and codomain groups are of the same order, and being operation-preserving,

More information

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Cosets, factor groups, direct products, homomorphisms, isomorphisms Cosets, factor groups, direct products, homomorphisms, isomorphisms Sergei Silvestrov Spring term 2011, Lecture 11 Contents of the lecture Cosets and the theorem of Lagrange. Direct products and finitely

More information

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN NAME: MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN 1. INSTRUCTIONS (1) Timing: You have 80 minutes for this midterm. (2) Partial Credit will be awarded. Please show your work and provide full solutions,

More information

January 2016 Qualifying Examination

January 2016 Qualifying Examination January 2016 Qualifying Examination If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems, in principle,

More information

Chapter 9: Group actions

Chapter 9: Group actions Chapter 9: Group actions Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Summer I 2014 M. Macauley (Clemson) Chapter 9: Group actions

More information

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

Automorphism Groups Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G. 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.

More information

A Little Beyond: Linear Algebra

A Little Beyond: Linear Algebra A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two

More information

Recall, R is an integral domain provided: R is a commutative ring If ab = 0 in R, then either a = 0 or b = 0.

Recall, R is an integral domain provided: R is a commutative ring If ab = 0 in R, then either a = 0 or b = 0. Recall, R is an integral domain provided: R is a commutative ring If ab = 0 in R, then either a = 0 or b = 0. Examples: Z Q, R Polynomials over Z, Q, R, C The Gaussian Integers: Z[i] := {a + bi : a, b

More information

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

Problem 1.1. Classify all groups of order 385 up to isomorphism. Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5

More information

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

x 2 = xn xn = x 2 N = N = 0 Potpourri. Spring 2010 Problem 2 Let G be a finite group with commutator subgroup G. Let N be the subgroup of G generated by the set {x 2 : x G}. Then N is a normal subgroup of G and N contains G. Proof.

More information

Solutions to Problem Set 1

Solutions to Problem Set 1 Solutions to Problem Set 1 18.904 Spring 2011 Problem 1 Statement. Let n 1 be an integer. Let CP n denote the set of all lines in C n+1 passing through the origin. There is a natural map π : C n+1 \ {0}

More information

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

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 3.4 J.A.Beachy 1 3.4 Isomorphisms from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 29. Show that Z 17 is isomorphic to Z 16. Comment: The introduction

More information

20 Group Homomorphisms

20 Group Homomorphisms 20 Group Homomorphisms In Example 1810(d), we have observed that the groups S 4 /V 4 and S 3 have almost the same multiplication table They have the same structure In this paragraph, we study groups with

More information

MA441: Algebraic Structures I. Lecture 26

MA441: Algebraic Structures I. Lecture 26 MA441: Algebraic Structures I Lecture 26 10 December 2003 1 (page 179) Example 13: A 4 has no subgroup of order 6. BWOC, suppose H < A 4 has order 6. Then H A 4, since it has index 2. Thus A 4 /H has order

More information

ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY

ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY John A. Beachy Northern Illinois University 2000 ii J.A.Beachy This is a supplement to Abstract Algebra, Second Edition by John A. Beachy and

More information

GENERALIZED QUATERNIONS

GENERALIZED QUATERNIONS GENERALIZED QUATERNIONS KEITH CONRAD 1. introduction The quaternion group Q 8 is one of the two non-abelian groups of size 8 (up to isomorphism). The other one, D 4, can be constructed as a semi-direct

More information

Solutions to the August 2008 Qualifying Examination

Solutions to the August 2008 Qualifying Examination Solutions to the August 2008 Qualifying Examination Any student with questions regarding the solutions is encouraged to contact the Chair of the Qualifying Examination Committee. Arrangements will then

More information

Math 4400, Spring 08, Sample problems Final Exam.

Math 4400, Spring 08, Sample problems Final Exam. Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that

More information

Math 4320, Spring 2011

Math 4320, Spring 2011 Math 4320, Spring 2011 Prelim 2 with solutions 1. For n =16, 17, 18, 19 or 20, express Z n (A product can have one or more factors.) as a product of cyclic groups. Solution. For n = 16, G = Z n = {[1],

More information

Of course, we can do the same thing for a homomorphism ϕ : G G between groups. In this case, the maps q, f will then be homomorphisms

Of course, we can do the same thing for a homomorphism ϕ : G G between groups. In this case, the maps q, f will then be homomorphisms 3. Group theory 3.1. The basic isomorphism theorems. If f : X Y is any map, then x x if and only if f(x) = f(x ) defines an equivalence relation on X. Recall that the quotient X = X/ was defined as the

More information

Computations/Applications

Computations/Applications Computations/Applications 1. Find the inverse of x + 1 in the ring F 5 [x]/(x 3 1). Solution: We use the Euclidean Algorithm: x 3 1 (x + 1)(x + 4x + 1) + 3 (x + 1) 3(x + ) + 0. Thus 3 (x 3 1) + (x + 1)(4x

More information

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

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,

More information

Contemporary Abstract Algebra (6th ed.) by Joseph Gallian

Contemporary Abstract Algebra (6th ed.) by Joseph Gallian Contemporary Abstract Algebra (6th ed.) by Joseph Gallian 9.7 Prove that if H has index 2 in G, then H is normal in G. Suppose G : H = 2. Now, we can divide all the elements of G into two sets covered

More information

Math 581 Problem Set 9

Math 581 Problem Set 9 Math 581 Prolem Set 9 1. Let m and n e relatively prime positive integers. (a) Prove that Z/mnZ = Z/mZ Z/nZ as RINGS. (Hint: First Isomorphism Theorem) Proof: Define ϕz Z/mZ Z/nZ y ϕ(x) = ([x] m, [x] n

More information

Math 31 Take-home Midterm Solutions

Math 31 Take-home Midterm Solutions Math 31 Take-home Midterm Solutions Due July 26, 2013 Name: Instructions: You may use your textbook (Saracino), the reserve text (Gallian), your notes from class (including the online lecture notes), and

More information

SUPPLEMENT ON THE SYMMETRIC GROUP

SUPPLEMENT ON THE SYMMETRIC GROUP SUPPLEMENT ON THE SYMMETRIC GROUP RUSS WOODROOFE I presented a couple of aspects of the theory of the symmetric group S n differently than what is in Herstein. These notes will sketch this material. You

More information

( ) 3 = ab 3 a!1. ( ) 3 = aba!1 a ( ) = 4 " 5 3 " 4 = ( )! 2 3 ( ) =! 5 4. Math 546 Problem Set 15

( ) 3 = ab 3 a!1. ( ) 3 = aba!1 a ( ) = 4  5 3  4 = ( )! 2 3 ( ) =! 5 4. Math 546 Problem Set 15 Math 546 Problem Set 15 1. Let G be a finite group. (a). Suppose that H is a subgroup of G and o(h) = 4. Suppose that K is a subgroup of G and o(k) = 5. What is H! K (and why)? Solution: H! K = {e} since

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

GROUPS OF ORDER p 3 KEITH CONRAD

GROUPS OF ORDER p 3 KEITH CONRAD GROUPS OF ORDER p 3 KEITH CONRAD For any prime p, we want to describe the groups of order p 3 up to isomorphism. From the cyclic decomposition of finite abelian groups, there are three abelian groups of

More information

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

SCHOOL OF DISTANCE EDUCATION

SCHOOL OF DISTANCE EDUCATION SCHOOL OF DISTANCE EDUCATION B. Sc. MATHEMATICS MM5B06: ABSTRACT ALGEBRA (Core Course) FIFTH SEMESTER STUDY NOTES Prepared by: Vinod Kumar P. Assistant Professor P. G.Department of Mathematics T. M. Government

More information

Group Theory

Group Theory Group Theory 2014 2015 Solutions to the exam of 4 November 2014 13 November 2014 Question 1 (a) For every number n in the set {1, 2,..., 2013} there is exactly one transposition (n n + 1) in σ, so σ is

More information

A matrix over a field F is a rectangular array of elements from F. The symbol

A matrix over a field F is a rectangular array of elements from F. The symbol Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted

More information

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

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial

More information

Solutions for Assignment 4 Math 402

Solutions for Assignment 4 Math 402 Solutions for Assignment 4 Math 402 Page 74, problem 6. Assume that φ : G G is a group homomorphism. Let H = φ(g). We will prove that H is a subgroup of G. Let e and e denote the identity elements of G

More information

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

(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). Lecture Note of Week 3 6. Normality, Quotients and Homomorphisms (5.7) A subgroup N satisfying any one properties of (5.6) is called a normal subgroup of G. Denote this fact by N G. The homomorphism π

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

Dr. Marques Sophie Algebra 1 Spring Semester 2017 Problem Set 9

Dr. Marques Sophie Algebra 1 Spring Semester 2017 Problem Set 9 Dr. Marques Sophie Algebra Spring Semester 207 Office 59 marques@cims.nyu.edu Problem Set 9 Exercise 0 : Prove that every group of order G 28 must contain a normal subgroup of order 7. (Why should it contain

More information

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.

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. Chapter 2 Groups Groups are the central objects of algebra. In later chapters we will define rings and modules and see that they are special cases of groups. Also ring homomorphisms and module homomorphisms

More information

Answers and Solutions to Selected Homework Problems From Section 2.5 S. F. Ellermeyer. and B =. 0 2

Answers and Solutions to Selected Homework Problems From Section 2.5 S. F. Ellermeyer. and B =. 0 2 Answers and Solutions to Selected Homework Problems From Section 2.5 S. F. Ellermeyer 5. Since gcd (2; 4) 6, then 2 is a zero divisor (and not a unit) in Z 4. In fact, we see that 2 2 0 in Z 4. Thus 2x

More information

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions Math 306 Topics in Algebra, Spring 203 Homework 7 Solutions () (5 pts) Let G be a finite group. Show that the function defines an inner product on C[G]. We have Also Lastly, we have C[G] C[G] C c f + c

More information

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

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

Teddy Einstein Math 4320

Teddy Einstein Math 4320 Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective

More information

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

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson On almost every Friday of the semester, we will have a brief quiz to make sure you have memorized the definitions encountered in our studies.

More information

Introduction to Groups

Introduction to Groups Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)

More information

Solutions Cluster A: Getting a feel for groups

Solutions Cluster A: Getting a feel for groups Solutions Cluster A: Getting a feel for groups 1. Some basics (a) Show that the empty set does not admit a group structure. By definition, a group must contain at least one element the identity element.

More information

FROM GROUPS TO GALOIS Amin Witno

FROM GROUPS TO GALOIS Amin Witno WON Series in Discrete Mathematics and Modern Algebra Volume 6 FROM GROUPS TO GALOIS Amin Witno These notes 1 have been prepared for the students at Philadelphia University (Jordan) who are taking the

More information

1 Chapter 6 - Exercise 1.8.cf

1 Chapter 6 - Exercise 1.8.cf 1 CHAPTER 6 - EXERCISE 1.8.CF 1 1 Chapter 6 - Exercise 1.8.cf Determine 1 The Class Equation of the dihedral group D 5. Note first that D 5 = 10 = 5 2. Hence every conjugacy class will have order 1, 2

More information

Math 103 HW 9 Solutions to Selected Problems

Math 103 HW 9 Solutions to Selected Problems Math 103 HW 9 Solutions to Selected Problems 4. Show that U(8) is not isomorphic to U(10). Solution: Unfortunately, the two groups have the same order: the elements are U(n) are just the coprime elements

More information

Recall: Properties of Homomorphisms

Recall: Properties of Homomorphisms Recall: Properties of Homomorphisms Let φ : G Ḡ be a homomorphism, let g G, and let H G. Properties of elements Properties of subgroups 1. φ(e G ) = eḡ 1. φ(h) Ḡ. 2. φ(g n ) = (φ(g)) n for all n Z. 2.

More information

Math 594, HW2 - Solutions

Math 594, HW2 - Solutions Math 594, HW2 - Solutions Gilad Pagi, Feng Zhu February 8, 2015 1 a). It suffices to check that NA is closed under the group operation, and contains identities and inverses: NA is closed under the group

More information

Some practice problems for midterm 2

Some practice problems for midterm 2 Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is

More information