Math 31 Take-home Midterm Solutions

Similar documents
5 Group theory. 5.1 Binary operations

Answers to Final Exam

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

MA441: Algebraic Structures I. Lecture 26

0 Sets and Induction. Sets

Fall /29/18 Time Limit: 75 Minutes

Normal Subgroups and Factor Groups

Algebra-I, Fall Solutions to Midterm #1

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

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.

MA441: Algebraic Structures I. Lecture 15

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

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

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

120A LECTURE OUTLINES

Teddy Einstein Math 4320

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

Algebraic Structures Exam File Fall 2013 Exam #1

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

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

3.3 Equivalence Relations and Partitions on Groups

Math 430 Final Exam, Fall 2008

Section 15 Factor-group computation and simple groups

INTRODUCTION TO THE GROUP THEORY

Scott Taylor 1. EQUIVALENCE RELATIONS. Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that:

What is a semigroup? What is a group? What is the difference between a semigroup and a group?

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

SF2729 GROUPS AND RINGS LECTURE NOTES

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

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

MODEL ANSWERS TO THE FIFTH HOMEWORK

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.

Some practice problems for midterm 2

Algebraic structures I

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

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

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

Math 546, Exam 2 Information.

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are

Math 430 Exam 2, Fall 2008

Math 4400 First Midterm Examination September 21, 2012 ANSWER KEY. Please indicate your reasoning and show all work on this exam paper.

All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points.

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

Quizzes for Math 401

Name: Solutions Final Exam

MATH 433 Applied Algebra Lecture 19: Subgroups (continued). Error-detecting and error-correcting codes.

Part IV. Rings and Fields

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

FROM GROUPS TO GALOIS Amin Witno

MTH 411 Lecture Notes Based on Hungerford, Abstract Algebra

Lecture 7 Cyclic groups and subgroups

3.8 Cosets, Normal Subgroups, and Factor Groups

Math 3140 Fall 2012 Assignment #3

Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm

The number of ways to choose r elements (without replacement) from an n-element set is. = r r!(n r)!.

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

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

Cosets, factor groups, direct products, homomorphisms, isomorphisms

SPRING BREAK PRACTICE PROBLEMS - WORKED SOLUTIONS

2MA105 Algebraic Structures I

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

The Chinese Remainder Theorem

Math 547, Exam 1 Information.

Math 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours

The Outer Automorphism of S 6

MA441: Algebraic Structures I. Lecture 18

Math 256 (11) - Midterm Test 2

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

Math 451, 01, Exam #2 Answer Key

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

MATH 122 SYLLBAUS HARVARD UNIVERSITY MATH DEPARTMENT, FALL 2014

January 2016 Qualifying Examination

Name: Solutions - AI FINAL EXAM

Math 370 Spring 2016 Sample Midterm with Solutions

HOMEWORK Graduate Abstract Algebra I May 2, 2004

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

MA441: Algebraic Structures I. Lecture 14

Chapter 9: Group actions

Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

Math 4320 Final Exam

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

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

1 Lecture 1 (1/5/2009)

1 Lecture 1 (1/5/2009)

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

Cyclic Group Supplement. g = g k : k Z.

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

UMASS AMHERST MATH 411 SECTION 2, FALL 2009, F. HAJIR

Lecture 5.6: The Sylow theorems

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

Discrete Mathematics with Applications MATH236

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

Math 4/541 Day 25. Some observations:

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

Group Theory

Elements of solution for Homework 5

Part II Permutations, Cosets and Direct Product

Theorems and Definitions in Group Theory

Transcription:

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 your old homework assignments. All other written materials are forbidden, as are any other electronic materials. You may not discuss the exam with anyone, and I will not give any assistance in solving the problems. You may ask me to clarify questions if necessary. Please hand this sheet in with your solutions. The exam is due on Friday, July 26 at the beginning of class. Question Points Score Honor statement: I have neither given nor received any help on this exam, and I have not discussed the exam with anyone. I attest that all of the answers are my own work. 1 10 2 8 3 12 4 7 5 7 Signature 6 14 7 22 Total 80

1. Consider the cyclic group Z 20. (a) [7 points] Any element x Z 20 can be written in the form x = a + 20 b for some a 4 and some b 5. Explain why this is so. Solution. It will suffice to see that there are a 4 and b 5 such that 1 = a + 20 b. Since gcd(4, 5) = 1, Bézout s lemma implies that there exist x, y Z such that Define a, b Z 20 by 4x + 5y = 1. a = [4x] 20, b = [5y] 20. Then a 4, b 5, and a + 20 b = 1. Now if z Z 20 is any element, we have and za 4 and zb 5. za + 20 zb = z, (b) [3 points] The elements a and b from part (a) are actually unique. Why? Solution. Suppose that x Z 20, and we can write x = a + 20 b and x = a + 20 b for some a, a 4 and b, b 5. Then or (a + 20 b) (a + 20 b ) = 0, (a a ) = (b b) in Z 20. However, a a is a multiple of 4, while b b is a multiple of 5. Therefore, both a a and b b are divisible by both 4 and 5, hence by 20. That is, a a mod 20 and b b mod 20, so each element of Z 20 can be written uniquely in the form described in part (a). Here is an alternative argument. Note that there are at most 20 possible elements of the form a + 20 b, since there are 5 choices for a and 4 choices for b. But we saw in part (a) that there are exactly 20 such combinations of a and b, so they must all be distinct. Therefore, each element of Z 20 can be expressed in exactly one way as a + 20 b with a 4 and b 5. 2

2. [8 points] Define O n (R) GL n (R) by O n (R) = { A GL n (R) : A 1 = A T }, where A T denotes the transpose of A. (You might remember from linear algebra that the elements of O n (R) are called orthogonal matrices.) Verify that O n (R) is a subgroup of GL n (R). [Hint: Recall that if A and B are n n matrices, then (AB) T = B T A T and (A T ) 1 = (A 1 ) T.] Proof. We will first show that O n (R) is closed. Let A, B O n (R). Then (AB) 1 = B 1 A 1 = B T A T = (AB) T, so AB is also an orthogonal matrix. Clearly the identity matrix belongs to O n (R), since Finally, suppose that A O n (R). Then I = I 1 = I T. (A 1 ) 1 = A = (A T ) T = (A 1 ) T, so A 1 O n (R) as well. Therefore, O n (R) is a subgroup of GL n (R). 3. Recall that S n denotes the symmetric group on n letters. (a) [8 points] Given a fixed permutation σ S n, we can define a relation on the set {1, 2,..., n} as follows: i j whenever there is an integer k such that σ k (i) = j. Note that σ k = σ} {{ σ}. k times Prove that defines an equivalence relation on {1, 2,..., n}. Proof. Let i {1, 2,..., n}. Then i i, since i = σ 0 (i) = ι(i). (If you want to deal only with positive integers, you could recall that S n = n!, so σ n! = ι, and i = σ n! (i) for all i.) Therefore, is reflexive. If i, j {1, 2,..., n} with i j, then there is a k Z such that j = σ k (i). But then σ k (j) = σ k σ k (i) = ι(i) = i, so j i, and the relation is symmetric. (Again, you could show alternatively that σ n! k (j) = i.) Finally, suppose that i, j, l {1, 2,..., n} with i j and j l. Then j = σ k 1 (i) and l = σ k 2 (j) for some k 1, k 2 Z. But then l = σ k 2 (j) = σ k 2 (σ k 1 (i)) = σ k 2 σ k 1 (i) = σ k 1+k 2 (i), so l i. Therefore, is transitive, and it is an equivalence relation. 3

(b) [4 points] Consider the permutation σ S 8 defined by ( ) 1 2 3 4 5 6 7 8 σ = 5 1 3 7 2 8 4 6 If we use this particular σ to define the equivalence relation from part (a) on the set {1, 2, 3,..., 8}, what are the equivalence classes? Solution. The equivalence classes will all have the form Therefore, we have [i] = {i, σ(i), σ 2 (i),...}. [1] = [2] = [5] = {1, 5, 2} [3] = {3} [4] = [7] = {4, 7} [6] = [8] = {6, 8} 4. [7 points] Suppose that G is a finite group of order n, and m Z is relatively prime to n. If g G and g m = e, prove that g = e. Proof. Let n = G. We know from Lagrange s theorem that o(g) must divide n. However, since g m = e, we must also have o(g) m. But then o(g) must divide gcd(n, m), which is 1. The only possibility is that o(g) = 1, which forces g = e. 5. [7 points] Let G be a group of order 49. Show that G must have a subgroup of order 7. Proof. Choose an element a G with a e. Since o(a) must divide G by Lagrange s theorem, we must have either o(a) = 7 or o(a) = 49. In the first case we are done, since the subgroup a has order 7. In the second case (i.e., where G is cyclic), note that a 7 has order 7, so the subgroup a 7 has order 7. 6. Let G be a group with respect to a binary operation. Define another binary operation on G by a b = b a. Use G op to denote the set G endowed with the binary operation. (a) [7 points] Prove that G op is a group with respect to the operation. (This group is called the opposite group.) 4

Proof. The operation certainly gives a well-defined binary operation on G. We need to check that associative, and we need to verify the existence of an identity and inverses. Suppose that a, b, c G. Then while a (b c) = a (c b) = (c b) a, (a b) c = (b a) c = c (b a). SInce is associative, these are the same. Therefore, is associative as well. We claim that the identity element of G op is still e: for any a G op, we have and e a = a e = a a e = e a = a. Finally, the inverses are the same as well: if a G op, then a 1 a = a a 1 = e and Therefore, G op is a group. a a 1 = a 1 a = e. (b) [7 points] Define ϕ : G G op by ϕ(a) = a 1 for all a G. Show that ϕ is one-to-one and onto, and that ϕ(a b) = ϕ(a) ϕ(b) for all a, b G. Proof. The fact that ϕ is one-to-one follows from uniqueness of inverses: ϕ(a) = ϕ(b) implies that a 1 = b 1, which means that a = b. Similarly, ϕ is onto because every element has an inverse: given b G op, we have Finally, if a, b G, then ϕ(b 1 ) = (b 1 ) 1 = b. ϕ(a b) = (a b) 1 = b 1 a 1 = a 1 b 1 = ϕ(a) ϕ(b). (Note that this shows that ϕ is a homomorphism, and that G = G op.) 5

7. Let G be a group. For each a G, define C(a) = {x G : ax = xa} = { x G : x 1 ax = a }. Thus C(a) can be thought of as the set of all elements of G which commute with a, and it is called the centralizer of a in G. (a) [4 points] If G is abelian, prove that C(a) = G for all a G. Proof. Suppose that G is abelian, and let g G. Then ga = ag for all a G, so clearly g C(a). Thus C(a) = G for all a G. (b) [6 points] Prove that for any a G, C(a) is a subgroup of G. Proof. First we note that e C(a), since ea = ae = a. Next, if x, y C(a), then (xy)a = x(ya) = x(ay) = (xa)y = (ax)y = a(xy), so xy C(a) as well. Therefore, C(a) is closed. Finally, if x C(a), then ax = xa implies that x 1 ax = a, so x 1 a = ax 1, and x 1 C(a). Therefore, C(a) is a subgroup of G. (c) [6 points] For a G, define cl(a) = { g 1 ag : g G }. Recall that G/C(a) denotes the set of all (right) cosets of C(a) in G. Define a function f : cl(a) G/C(a) by f(g 1 ag) = C(a)g. Prove that f is one-to-one and onto. Proof. To show that f is one-to-one, suppose that f(g 1 ag) = f(h 1 ah) for some g, h G. Then C(a)g = C(a)h, so gh 1 C(a). Therefore, But then a = (gh 1 ) 1 a(gh 1 ) = hg 1 agh 1. h 1 ah = g 1 ag, so f is one-to-one. It is certainly onto, since if C(a)g G/C(a), then f(g 1 ag) = C(a)g. 6

[Note: Part (c) is a special case of a major theorem, called the Orbit-Stabilizer Theorem. This result is important in the theory of group actions, and we are dealing with the case of a group acting on itself by conjugation.] (d) [6 points] If a, b G and b = g 1 ag for some g G, prove that C(b) = g 1 C(a)g. Proof. First let x C(a); then we need to show that g 1 xg C(b). Well, we know that a = gbg 1, so (g 1 xg) 1 b(g 1 xg) = g 1 x 1 gbg 1 xg = g 1 x 1 axg = g 1 ag since x C(a). Therefore, g 1 C(a)g C(b). Now suppose that y C(b). Then y 1 by = b, so y 1 (g 1 ag)y = g 1 ag. = b, Multiplying on left and right g and g 1, respectively, we have gy 1 (g 1 ag)yg 1 = a, or (gyg 1 ) 1 a(gyg 1 ) = a. That is, x = gyg 1 C(a), and y = g 1 xg, so y g 1 C(a)g. It follows that C(b) = g 1 C(a)g. 7