Some practice problems for midterm 2

Similar documents
May 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.

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

SF2729 GROUPS AND RINGS LECTURE NOTES

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings

Name: Solutions Final Exam

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

Algebraic Structures Exam File Fall 2013 Exam #1

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

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

Algebraic structures I

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

Math 370 Spring 2016 Sample Midterm with Solutions

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

NOTES ON FINITE FIELDS

5 Group theory. 5.1 Binary operations

Math 4400, Spring 08, Sample problems Final Exam.

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.

Section 18 Rings and fields

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

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

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

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

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

Answers to Final Exam

First Semester Abstract Algebra for Undergraduates

CHAPTER 14. Ideals and Factor Rings

1. Group Theory Permutations.

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

Foundations of Cryptography

B Sc MATHEMATICS ABSTRACT ALGEBRA

Problem 1A. Use residues to compute. dx x

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

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Representation Theory

Course 311: Abstract Algebra Academic year

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Homework 10 M 373K by Mark Lindberg (mal4549)

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

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Groups and Symmetries

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

(Rgs) Rings Math 683L (Summer 2003)

MATH RING ISOMORPHISM THEOREMS

Part IV. Rings and Fields

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

MATH 113 FINAL EXAM December 14, 2012

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

Extension theorems for homomorphisms

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials

1 First Theme: Sums of Squares

Section 15 Factor-group computation and simple groups

Algebra Homework, Edition 2 9 September 2010

January 2016 Qualifying Examination

Solutions to Assignment 4

Math 451, 01, Exam #2 Answer Key

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

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

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

Homework problems from Chapters IV-VI: answers and solutions

Group Theory

Sample algebra qualifying exam

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]


Math Introduction to Modern Algebra

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002

CSIR - Algebra Problems

Rings. Chapter Definitions and Examples

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

August 2015 Qualifying Examination Solutions

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

Quasi-cyclic codes. Jay A. Wood. Algebra for Secure and Reliable Communications Modeling Morelia, Michoacán, Mexico October 12, 2012

Abstract Algebra: Chapters 16 and 17

A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Modern Computer Algebra

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

Exercises MAT2200 spring 2014 Ark 4 Homomorphisms and factor groups

Total 100

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

Algebra-I, Fall Solutions to Midterm #1

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

12 16 = (12)(16) = 0.

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

Quotient Rings. is defined. Addition of cosets is defined by adding coset representatives:

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

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

Algebra Qualifying Exam Solutions. Thomas Goller

Lectures on Class Field Theory

Solutions of exercise sheet 8

Selected Solutions to Math 4107, Set 4

Factorization in Polynomial Rings

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

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT

EXERCISES. = {1, 4}, and. The zero coset is J. Thus, by (***), to say that J 4- a iu not zero, is to

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

Math 121 Homework 2 Solutions

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.

Exercises on chapter 1

Algebra Ph.D. Preliminary Exam

Transcription:

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 a subgroup. Let a, b Z, we need to show that ab Z. Take x G then (ab)x = a(bx) = a(xb) = (ax)b = x(ab), which shows that ab Z. Also ex = xe for every x G thus e Z. Finally to show that Z contains inverses of its elements, take a Z, then ax = xa for all x, multiplying by a 1 from left and right we get xa 1 = a 1 x which proves that a 1 Z. Next let us show that Z is a normal subgroup. We need to show that for any x G and a Z, x 1 ax lies in Z. But x 1 ax = ax 1 x = a Z. Thus Z is a normal subgroup. Problem: Let G = Z 4 Z 4, H = {(0, 0), (2, 0), (0, 2), (2, 2)} and K = (1, 2). Is G/H isomorphic to Z 4 or Z 2 Z 2? How about G/K? Solution: G/H has 4 elements consisting of H, (1, 0) + H, (0, 1) + H and (1, 1) + H. The last three cosets have order 2, and hence G/H is isomorphic to the Klein group Z 2 Z 2. As for the group G/K, note that (1, 2) has order 4 and K consists of {(0, 0), (1, 2), (2, 0), (3, 2)}. Since K does not contain any element of the form (x, x) except for (0, 0) we see that the order of the element (1, 1) + K in G/K is equal to 4. It follows that G/K is cyclic isomorphic to Z 4. Problem: Let G be a finite group and let H be a normal subgroup. Prove that, for any g G, the order of the element gh in G/H must divide the order of g in G. Solution: Consider the natural homomorphism φ : G G/H, given by x xh. Let K be the subgroup of G generated by g and K the subgroup of G = G/H generated by g + H. One easily sees that φ : K K is an onto homomorphism. It follows that K is divisible by K (recall that for any homomorphism the number of elements in the image is the index of the kernel subgroup). But K (respectively K ) is the order of g + H in G/H (respectively g in G). 1

Problem: Suppose that φ : G G is a homomorphism between the groups G and G. Let N be a normal subgroup of G. Prove that the inverse image of N, namely N = φ 1 (N ) = {x φ(x) N } is a normal subgroup of G. Solution: One can prove this directly from definition of normal subgroup and homomorphism. We give another shorter proof. Consider the natural homomorphism ψ : G G /N. Then N is the kernel of ψ. Consider the composition of the homomorphisms φ and ψ. It is a homomorphism ψ φ : G G /N. Also from definition the inverse image N is the kernel of ψ φ. This shows that N is a normal subgroup because it is kernel of the homomorphism ψ φ. Problem: Determine the number of ways, up to rotation of the square, in which four corners of a square can be colored with two colors. (it is permissible to use a single color on all four corners.) Solution: Consider the set X of all the colorings or the corners of square with two colors. Clearly X has 2 4 = 16 elements. The group G = Z 4 of rotations generated by 90 rotation acts on X. The question asks to compute the number of orbits in this action. We use Burnside s theorem. Recall that it states that number of orbits is equal to: 1 X g. G g G For each rotation g we compute the number of fixed points (colorings which remain the same after the rotation): The number of colorings fixed by 0 degree rotation = 16. The number of colorings fixed by 90 degree rotation = 2. The number of colorings fixed by 180 degree rotation = 4. The number of colorings fixed by 270 degree rotation = 2. Applying Burnside s theorem, the number of different colorings is: (1/4)(16+ 2 + 4 + 2) = 24/4 = 6. Problem: Wooden cubes of the same size are to be painted a different color on each face to make children s blocks. How many distinguishable blocks can be made if 8 colors of paint are used? Solution: Consider the group G of rotations of a cube (Section 9, Ex. 45). It has 24 elements. This group acts on the set X of all possible colorings of a cube by 8 colors. One computes that the number of elements in X, i.e the number of colorings, is 8 7 6 5 4 3. We also observe that, since each coloring consists of different colors, each rotation (except identity rotation) sends a coloring to a different coloring. In other words, for any g G, the fixed point set X g =, unless g = e where X e = X. Thus the number of orbits is equal to (1/24)(8 7 6 5 4 3) = 840. One can also see this without Burnside s theorem: since no rotation fixes a coloring, all orbits have G = 24 elements. Thus the 2

number of orbits is X / G = 840. Problem: Give examples of the following: (i) A finite noncommutative ring. Solution: Consider 2 2 matrices with entires in some field Z p. (ii) Give an example of a subset of a ring which is a subgroup under addition but not a subring. Solution: In the field of complex numbers C, consider the line consisting of all the imaginary numbers I = {0 + yi y R}. Clearly it is a subgroup with addition but it is not a subring because i i = 1 which is not in I. (iii) Give example of a noncommutative ring R and elements a, b R with ab = 0 but ba 0. Solution: In the ring of 2 2 matrices with real entries consider: [ ] 0 1 a = 0 0 [ ] 1 0 b = 0 0 Problem: Prove that a ring R is commutative if and only if a 2 b 2 = (a + b)(a b) for all a, b R. Solution: By distributivity, for all a, b R we have (a + b)(a b) = a 2 + ba ab b 2. Now a 2 + ba ab + b 2 = a 2 b 2 if and only if ba ab = 0 which is equivalent to ab = ba. Problem: Suppose R is a ring and that x 2 = x for all x R. Show that R is a commutative ring. Solution: First let us show that for any x R, x = x. To prove this consider the element x + x. By assumption we have x + x = (x + x) 2 = x 2 +x 2 +x 2 +x 2 = x+x+x+x which implies that x+x = 0, i.e. x = x. Now let us show that R is commutative. Take a, b R. By distributivity we have (a+b) 2 = a 2 +ab+ba+b 2. By assumption x 2 = x we have a+b = a+ab+ba+b. This implies that ab + ba = 0 and thus ab = ba which in turn is equal to ba. Problem: Prove that any finite integral domain is a field. Solution: see Theorem 19.11 (Section 19). 3

Problem: One can easily verify that Q[ 2] = {a + b 2 a, b Q} is a subring of Q. Show that 1 + 2 2 has an inverse in this ring. (in fact Q[ 2] is a subfield, that is it contains the multiplicative inverses of all of its nonzero elements.) Solution: One observes that (1 + 2 2)(1 2 2) = 1 4 2 = 7. Thus (1 + 2 2) (1 2 2) 7 = 1 which shows that (1 + 2) 1 = ( 1/7) + (2/7) 2. Problem: Consider the ring Z 3 [x] of polynomials with coefficients in the finite field Z 3. Show that the polynomials x 2 and x 4 determine the same functions from Z 3 to Z 3. Solution: Pluging in x = 0, 1, 2 in x 4 x 2 we see that it gives 0 mod 3 which shows that x 2 and x 4 give the same function on Z 3. Alternatively one can deduce the claim from Fermat s theorem that states that for any prime p and integer x not divisible by p, x p 1 1 mod p. Problem: Let F be a field and let f(x) be polynomial in the ring F [x] (of polynomials with coefficients in F ). Show that if f has r distinct roots then deg(f) r. Solution: Let α 1,..., α r F be distinct roots of f. Then f(x) is divisible by (x α i ), for i = 1,..., r. Since the (x α i ) are irreducible and the ring F [x] is unique factorization domain (i.e. every element uniquely decomposes into product of irreducible elements) we conclude that f(x) is divisible by the product r i=1 (x α i). The degree of this product is r and hence deg(f) is greater and equal to r. Problem: Let p be a prime number. Z p [x] we have the following: Show that in the ring of polynomials x p x = x(x 1) (x (p 1)). Solution: By Fermat s theorem the polynomial f(x) = x p x has α = 0,..., p 1 as roots. By Factor Theorem we conclude that f(x) is divisible by all the x α, α = 0,..., p 1, and hence by their product g(x) = x(x 1) (x (p 1)). Since both polynomials f and g have the same degree we conclude that f = cg for some constant c F. But the coefficients of x p in both f and g is equal to 1 and hence c = 1 which proves the claim. Problem: We know that A n is a normal subgroup of S n. Also A n is a simple group for n 5. Prove that for n 5, A n is the only normal subgroup of S n (except for trivial subgroups S n and {e}). Sketch of solution: By contradiction, suppose H is a normal subgroup of S n different from {e}, A n and S n. Consider K = A n H. One proves that the intersection of two normal subgroups is always a normal subgroup. Thus K 4

should be a normal subgroup of S n and hence a normal subgroup of A n. But the only normal subgroups of A n are {e} and A n itself. It follows that K = A n or K = {e}. If K = A n then A n H. This shows that [S n : H] < 2 = [S n : A n ]. Hence [S n : H] = 1 i.e. H = S n which is a contradiction. Next consider the case K = {e}. This means that H A n = {e}. Thus H \ {e} consists only of odd permutations. Now if σ H is an odd permutation σ 2 is even which implies that σ 2 = e. Finally one verifies that there is τ S n such that τ 1 στ σ. Since H is normal we should have σ = τ 1 στ H. But then σ σ e is an even permutation and hence is in A n. This contradicts that A n H = {e}. 5