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

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

Algebraic Structures Exam File Fall 2013 Exam #1

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

Name: Solutions Final Exam

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

Homework #11 Solutions

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

5 Group theory. 5.1 Binary operations

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

Math 3140 Fall 2012 Assignment #3

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

Some practice problems for midterm 2

Lecture 7 Cyclic groups and subgroups

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

Math 430 Exam 2, Fall 2008

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

Teddy Einstein Math 4320

Groups and Symmetries

Algebraic structures I

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

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

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

Section 10: Counting the Elements of a Finite Group

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

Fundamentals of Pure Mathematics - Problem Sheet

Solutions to Practice Final

Exercises MAT2200 spring 2013 Ark 3 Cosets, Direct products and Abelian groups

xy xyy 1 = ey 1 = y 1 i.e.

Math 451, 01, Exam #2 Answer Key

MA441: Algebraic Structures I. Lecture 18

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

0 Sets and Induction. Sets

PROBLEMS FROM GROUP THEORY

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

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

1 Chapter 6 - Exercise 1.8.cf

3.8 Cosets, Normal Subgroups, and Factor Groups

SF2729 GROUPS AND RINGS LECTURE NOTES

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

120A LECTURE OUTLINES

Normal Subgroups and Factor Groups

CHAPTER 9. Normal Subgroups and Factor Groups. Normal Subgroups

Math 4400, Spring 08, Sample problems Final Exam.

Math 546, Exam 2 Information.

REMARKS 7.6: Let G be a finite group of order n. Then Lagrange's theorem shows that the order of every subgroup of G divides n; equivalently, if k is

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

Math 430 Exam 1, Fall 2006

Solutions of exercise sheet 4

Math 210A: Algebra, Homework 5

Algebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists.

Math 103A Fall 2012 Exam 2 Solutions

Stab(t) = {h G h t = t} = {h G h (g s) = g s} = {h G (g 1 hg) s = s} = g{k G k s = s} g 1 = g Stab(s)g 1.

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.

Foundations of Cryptography

Math 31 Take-home Midterm Solutions

Introduction to Groups

Math 4320, Spring 2011

INTRODUCTION TO THE GROUP THEORY

MA441: Algebraic Structures I. Lecture 26

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

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

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay

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

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

MODEL ANSWERS TO THE FIFTH HOMEWORK

HOMEWORK Graduate Abstract Algebra I May 2, 2004

Elements of solution for Homework 5

4. Permutations - worked solutions Alastair Farrugia MAT (a) What is the length of (abcd)? Its order? Its parity? (abcd) has length 4

Math 430 Final Exam, Fall 2008

Answers to Final Exam

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

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

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

Quiz 2 Practice Problems

15 Permutation representations and G-sets

Algebra SEP Solutions

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

Homework #5 Solutions

Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations

2MA105 Algebraic Structures I

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

Written Homework # 2 Solution

NOTES ON FINITE FIELDS

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

Group Theory

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

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

Maximal non-commuting subsets of groups

MATH 430 PART 2: GROUPS AND SUBGROUPS

ORDERS OF ELEMENTS IN A GROUP

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

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.

3.3 Equivalence Relations and Partitions on Groups

Math 312/ AMS 351 (Fall 17) Sample Questions for Final

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Fall /29/18 Time Limit: 75 Minutes

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

Solutions of Assignment 10 Basic Algebra I

Section II.1. Free Abelian Groups

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.

Transcription:

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 the concept Groups and Subgroups the basics Basic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed If a and b are elements of a group G, then ( ab)!1 = b!1 a!1 For any a in G, the function! a :G " G defined by! a ( x) = ax is a bijection For a finite group G, the multiplication table of G is a Latin Square (*) Theorem For any a in a group G and integers r and s, (*) (i) a r a s = a r + s (ii) a r ( ) s = a rs If x in the group G has order k and a m = e, then k divides m Hint: Let m = kq + r, 0! r < d If G is a group of order n and a is an element of G, then a n = e If a and b are arbitrary elements of a group, then ab and ba have the same order If A and B are subgroups of the group G, then so is A! B In fact if H i is a subgroup of G for each i in some set I, then! H i is a subgroup of G (ie, the intersection of any collection of subgroups is a subgroup) Let a be a particular element of the group G, then C a = {x!g :ax = xa} (the centralizer of a in G) is a subgroup of G (ie, the centralizer of a is the set of all elements of G that commute with a) The set Z(G) = {x!g :yx = xy} (the center of G) is a subgroup of G Note that Z(G) =! a!g C a Let H be a subset of G, then H is a subgroup of G iff H is closed, the identity of G belongs to H and for each x in H, x!1 "H (*) If H is a finite subset of a group G, then H is a subgroup iff it is closed i!i

Exercises 1 If A and B are subgroups of the abelian group G with A = n, B = m where n and m are relatively prime integers, then show that AB = nm [ Recall that AB = { ab : a!a,!b!b}] Hint: It is enough to show that the function f :A! B " AB, defined by f (a,b) = ab is a bijection Solution: It is enough to show that the function f :A! B " AB, defined by f (a,b) = ab is a bijection So, suppose that f (a 1,b 1 ) = f (a 2,b 2 ) We must show that (a 1,b 1 ) = (a 2,b 2 )! a 1 = a 2 and b 1 But since, f (a 1,b 1 ) = f (a 2,b 2 ), then a 1 b 1 = a 2 b 2! a 1 a "1 2 b "1 1 But that means that the element x = a 1 a!1 2 b!1 1 belongs both to A and to B Thus the order of x must divide both n and m But that means that x must have order 1, in other words that x is the identity Hence a 1 a!1 2 = e b!1 1 " a 1 = a 2 and b 1 2 In Q 8, let A = {i,! j},!!b = {!1,!i} what is AB Solution: AB = {!i,!! j,!!1,!!k} 3 If G is a group and x 2 = e for every x in G, then G is abelian Solution: Let a and b be any elements of G Then (ab) 2 = e! abab = e! a(abab) = ae! bab = a! b(bab) = ba! ab = ba 4 Suppose that G contains exactly one element a of order 2 Show that a belongs to the center of G Hint: for any x in G consider xax!1 group that has exactly one element of order 2 Solution: xax!1 ( ) 2 Give an example of a ( ) 2 = ( xax!1 )( xax!1 ) = xa(x!1 x)ax!1 = xa 2 x!1 = xx!1 = e Hence either xax!1 = e " a = e, which is impossible since a has order 2, or xax!1 has order 2 in which case xax!1 = a " xa = ax Thus a commutes with x and since x was arbitrary, that means that a commutes with every element of G Hence a belongs to the center of G 5 If G is an abelian group, then H = {x :x 2 = e} is a subgroup of G Solution: Clearly, since e 2 = e, e belongs to H Suppose that a and b are elements of G Then (ab) 2 = abab = aabb = ee = e Hence ab!h, so H is closed Finally, suppose that x is any element of H, then x!1 x!1 "H ( ) 2 = x!2 = ( x 2 )!1 = e!1 = e and so

6 For real numbers a, b let T a,b (x) = ax + b { } is a group under composition of functions F = T a,b : a,b are real numbers Solution: This follows from the parts below T a,b!t c,d = T, Solution: T a,b!t c,d (x) = T a,b ( T c,d (x)) = T a,b (cx + d) = a(cx + d) + b = acx + ad + b = T ac,ad + b (x) And so, T a,b!t c,d = T ac,ad +b which is in F and so F is closed What is the identity of F Solution: From the lines above, T a,b!t 1,0 = T a,b = T 1,0! T a,b, and so the identity is T 1,0 ( T a,b )!1 = T 1 a,! b a Solution: (Just try it) H = { T a,b : a,b are real numbers, a is rational } is a subgroup of F Cyclic Groups Basic Definitions: generator, cyclic group, G = < g > Every cyclic group is commutative If G and H are any cyclic groups of order n, then G is isomorphic to H (*) Consequently, every cyclic group on n elements is isomorphic to Z n (*) The only infinite cyclic group (up to isomorphism) is the integers under addition (*) Every subgroup of a cyclic group is cyclic If k!z n is relatively prime to n, then k generates (Z n, +) (*) For a cyclic group G = g of order n, G = {e,!e 2,!,,!e n!1 } (*) LaGrange s Theorem and Its Consequences Theorem (LaGrange) Let G be a finite group of order n and H a subgroup of order k, then k divides n (*)

So, G = H [ G:H ], where [ G:H ] = G H is the index of H in G (*) For any subgroup H of the group G, the relation x! y mod H " x #1 y $H is an equivalence relation The equivalence class of any element x of G is [x] = xh the left coset of x in G The cardinality of any left coset xh is the same as that of H If x is an element of the finite group G then the order of x divides the order of G If G is a group of prime order, then G is cyclic Theorem (Euler) If a and n are positive, relatively prime integers, then a!( n ) " 1 mod n Theorem (Fermat) If n, p!z +, p is a prime and / p / n, then a p!1 "1 mod p (Note: / p / n means that p does not divide n) Exercises 1 Let A and B be subgroups of G with A = n, B = m where n and m are relatively prime integers Then show that A! B = {e} Solution: suppose that a belongs to both A and B Then the order of a must divide both n and m and hence the order of a is 1 and so a is the identity 2 Show that if G is an abelian group of order 2n, and n is odd, then G has exactly one element of order 2 (This uses LaGrange s Theorem) Hint: We know from a previous exercise that G must contain at least one element of order 2 You need to show here that there cannot be another one Solution: Suppose that G has (at least) two distinct elements a and b of order 2 We will show that this produces a contradiction Then it is easy to check that H = {e, a, b, ab} is a subgroup of G (Recall that if H is a finite subset of a group, then it is a subgroup iff it is closed) Hence, by LaGrange s Theorem, H divides G Hence 4 divides 2n which is impossible since n is odd 3 (a) List all the left cosets of {-1, 1} in the Quaternions (b) What is the order of i in the Quaternions Solution: 4

4 Suppose that G is a finite group and K is a subgroup of H and H is a subgroup of G Then show that [ G : K ] = [ G : H ][ H : K ] Solution: See problem set 15 Permutations, Permutation Groups and Cayley s Theorem Basic Definitions: permutation, cycle, transposition Be able to express a permutation as a product of disjoint cycles Be able to find powers and the inverse of a given permutation If!, " are disjoint cycles, then! " = "! (*) Every permutation is the product of disjoint cycles and this representation is unique up to the order of the factors (*) If a permutation is written as a product of disjoint cycles, then its order is the the least common multiple of the lengths of the cycles Example: The order of ( 1,!5,!4)(7,!3,!2,!8) is 12, the order of ( 3,!4) 5,!7,!1 and the order of 3,!5 Exercises ( )( 2,!1,!4) ( 6,!8,!7) ( 9,!10) is 6 1 Find a permutation! such that!(1, 2, 3, 4) = (3,1, 2, 4) Solution:! = (3,1,2,4) 4,3,2,1 ( ) = ( 1,3,4 ) 2 Find a permutation! "S 8 that is not a cycle and such that! 3 = (1, 2, 3, 4) 3 Solution: We may choose! = (1, 2, 3, 4) 5, 6, 7 ( ) 3 (a) What is the order of! = ( 3,!1,!6,!5,!7) "S 8 ( ) is 6, " (b) Express! = 1 2 3 4 5 6 7 8 % # $ 4 5 1 3 7 2 8 6& ' as a product of disjoint cycles (c) What is! 2!!! 3 " (c) Let! = 1 2 3 4 5 6 7 8 % # $ 5 3 1 2 6 4 8 7& ' What is the product!" 4 How many distinct r-cycles with r < n are there in S n Hint: The number of distinct ways to arrange r objects in a circle is (r!1)!! n Solution: # $! & ( r '1)! So, in particular, there are # n$ & transpositions " r% " 2%

5 Let a be an integer in {1, 2, 3,, n}, then show that H a = {! :!(a) = a} is a subgroup of S n Solution: Just do it 6 (a) Show that every cycle is a product of transpositions Hint: ( 1,!2,!3,!4) = ( 1,!4) ( 1,!3) ( 1,!2) (b) Show that every permutation is a product of transpositions Solution: A simple consequence of the the fact hat every permutation is a product of cycles 7 What is the index of 1,!2,!3 ( )( 4,!5) in S 8 Solution: 8! 7! 6! 5! 4 = 6720 8 Show that if! "S 5, then! 120 = i (i is the identity permutation) Note that this was originally posted as! "S 9 Solution: The order of S 5 is 120 Can you show that there is a! "S 9 for which the conclusion in (8) fails 9 (a) Does there exist an element of order 15 in S 12 Solution: Yes, for example (1,!2,!3)(4,!5,!6,!7,!8) (b) Does there exist an element of order 13 in S 12 Solution: No If there were such an element then 13 would have to divide 12! 10 (Harder) What is the centralizer of ( 1,!2) in S 4 Solution: You can verify that C [(1,!2)] = {! "S 4 :!(1) = 1 and!(2) = 2!or!!(1) = 2 and!(2) = 1 } Isomorphisms 1 Show that f :( R, + )! C *, " Hint: use the relations cos(x + y) = cos x cos y! sin x sin y, sin(x + y) = sin x cos y + sin y cos x Solution: The hint tells it all ( ) defined by f (x) = cos x + isin x is an isomorphism 2 Let G be a group of order n and m an integer relatively prime to n Show that the function f :G! G, defined by f (x) = x m is a bijection Determine a condition on G that would make f a homomorphism as well Hint: Show that f is onto then it will also be 1-1 since G is finite Solution: Let a and b be integers such that an + bm = 1 Then for any y in G, y = y an +bm = (y n ) a (y b ) m = (y b ) m = f (y b ) and so since y was arbitrarily chosen in G, f is onto

The Euler phi-function!(p) = p " 1, and!(p n ) = (p " 1)p n"1 where p is a prime(*)!(nm) =!(n)!(m) if n and m are relatively prime (*) If p is a prime and a and b are integers and p divides ab, then p divides a or p divides b(*) If n and m are relatively prime, then there exist integers a and b such that an + bm = 1 For any positive integers n and d there exists integers q and 0! r < d, such that n = dq + r(*)