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

Size: px
Start display at page:

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

Transcription

1 MAT301H1F Groups and Symmetry: Problem Set 2 Solutions October 20, 2017 Questions From the Textbook: for odd-numbered questions, see the back of the book. Chapter 5: #8 Solution: (a) (135) = (15)(13) is even. (b) (1356) = (16)(15)(13) is odd. (c) (13567) = (17)(16)(15)(13) is even. (d) (12)(134)(152) = (12)(14)(13)(12)(15) is odd. (e) (1243)(3521) = (13)(14)(12)(31)(32)(35) is even. Chapter 5: #10 Solution: α = (123)(45678) is a product of disjoint cycles, one of length 3 and one of length 5, the order of α is the least common multiple of 3 and 5, namely 15. Chapter 5: #14 Solution: 5-cycles are even and 6-cycles are odd, so α is odd and β is even. The number of total 2-cycles for α 5 β 4 α 1 β 3 α 5 is of the form 5 odd + 4 even + odd + 3 even + 5 odd, which is the same as odd + even + odd + even + odd, which is odd. Chapter 5: #16 Solution: using the Lemma on p 103. Let α be the product of r 2-cycles, with r even. Let α 1 be the product of s 2-cycles. Then α α 1 = ε, so by the Lemma on p. 103, r + s is even, which means s is even, because r is even. (But if r is odd, then s must be odd as well.) Chapter 5: #26 Solution: from #16 we know that a permutation and its inverse are both even, or both odd. Let α, β S n. The possibilities for the number of 2-cycles in α 1 β 1 αβ are odd + odd + odd + odd, even + odd + even + odd, odd + even + odd + even, or even + even + even + even, which are all even. Chapter 5: #28 Solution: the answer is the number of distinct 5-cycles in S 7. There are 7!/2! = 2520 distinct ways of writing a 5-cycle (abcde) S 7, but for each such choice, (abcde), (bcdea), (cdeab), (deabc) and (eabcd) represent the same 5-cycle in S 7. So the number of distinct 5-cycles in S 7 is 2520/5 = 504. Chapter 5: #38 Solution: let H = {β S 5 β(1) = 1, β(3) = 3}. Claim H S 5. Obviously ε(1) = 1, ε(3) = 3, so ε H.

2 If β H, then 1 = β 1 (1) and 3 = β 1 (3), so β 1 H. And if α, β H, then α(β(1)) = α(1) = 1 and α(β(3)) = α(3) = 3, so αβ H. Thus H S 5. The order of H is 6, because H consists of all the permutations of the numbers 2, 4 and 5; that is H S 3. In general, for n 3, H S n 2 ; so H = (n 2)! Chapter 5: #50 Solution: The cycle (14253) represents a rotation of 3 72 = 216 counter clockwise around the centre of the pentagon. That is, 1 4, 2 5, 3 1, 4 2, 5 3. Or you could describe it as a rotation of 144 clockwise around the centre. The permutation (25)(34) represents a reflection in the line joining vertex 1 with the midpoint of side connecting vertices 3 and 4. Chapter 5: #54 Solution: (1234) is a cyclic subgroup of order 4 in A 8. And {ε, (12)(34), (13)(24), (14)(23)} is a non-cyclic subgroup of order 4 in A 8. (Note that these are the same four permutations that form the non-cyclic subgroup of order 4 in A 4.)

3 Chapter 10: #14 Solution: let φ : Z 12 Z 10 by φ(x) = 3x. Then φ(2) = 6 and φ(10) = 30 0 mod 10, so that φ(2) + φ(10) = = 6. But in Z 12, = 12 0 mod 12, so φ(2 + 10) = φ(0) = 0. Thus and φ cannot be a homomorphism. Chapter 10: #24 φ(2 + 10) φ(2) + φ(10), Solution: it is given that φ : Z 50 Z 15 is a homomorphism with φ(7) = 6. Then φ(7) = 7φ(1) 6 mod 15. The only solution m Z 15 to 7m 6 mod 15 is m = 3; thus φ(1) = 3. (a) φ(x) = φ(x 1) = xφ(1) = x 3 = 3x. (b) im (φ) = {φ(x) Z 15 x Z 50 } = {3x Z 15 x Z 50 } = {0, 3, 6, 9, 12} Z 5 (c) ker(φ) = {x Z 50 φ(x) 0 mod 15} = {x Z 50 3x 0 mod 15} = {0, 5, 10, 15, 20, 25, 30, 35, 40, 45} Z 10 (d) φ 1 (3) = {x Z 50 φ(x) = 3} = {x Z 50 3x 3 mod 15} = {1, 6, 11, 16, 21, 26, 31, 36, 41, 46} Chapter 10: #52 Solution: if G = a is a cyclic group generated by a, then every x G, x e, can be written as x = a n, for some positive integer n. If φ is a homomorphism defined on G, then φ(x) = φ(a n ) = φ(a } a.{{.. a a} ) = φ(a) φ(a)... φ(a) φ(a) ) = (φ(a)) n, }{{} n times n times which shows that φ is completely determined by what it does to a generator of a cyclic group G. Chapter 10: #64 Solution: let φ : Z m Z n be defined by φ(x) = x. Note that in Z m, 1 } {{ + 1 } = m 0 mod m. If φ is a homomorphism, then m times 0 = φ(0) = φ(1 } {{ + 1 } ) = m φ(1) = m 1 = m; m times that is, m 0 mod n; so n divides m. Conversely, if n divides m, then m = kn, for some positive integer k. Then x + y q mod m kn divides x + y q n divides x + y q. Thus x + y q mod m x + y q mod n, and so φ(x + y) = φ(x) + φ(y), which means that φ is a homomorphism.

4 Chapter 6: #4 Solution: U(8) = {1, 3, 5, 7}, which is not cyclic, since each element has order 2: (mod 8), (mod 8), (mod 8), (mod 8). But U(10) = {1, 3, 7, 9} is cyclic, since 3 = 4 and U(10) = 3. So U(8) and U(10) cannot be isomorphic groups. Chapter 6: #12 Solution: let α : G G be defined by α(g) = g 1. Then, for all g, h G, α(gh) = α(g)α(h) (gh) 1 = g 1 h 1 (gh) 1 = (hg) 1 gh = hg. So α is a homomorphism if and only if G is Abelian. Chapter 6: #18 Solution: let φ : G H be an isomorphism; let α Aut (G). Define f : Aut (G) Aut (H) by f(α) = φ α φ 1. Then check the following: 1. f(α) is in Aut (H) : i.e. f(α) : H H and f(α) is an isomorphism. Let x, y H. f(α) is a homomorphism: (f(α))(xy) = (φ α φ 1 )(xy) = φ(α(φ 1 (xy))) = φ(α(φ 1 (x) φ 1 (y))) = φ(α(φ 1 (x)) α(φ 1 (y))) = φ(α(φ 1 (x)) φ(α(φ 1 (y))) = (f(α))(x)(f(α))(y). f(α) is one-to-one: f(α)(x) = e H φ(α(φ 1 (x))) = e H α(φ 1 (x)) = φ 1 (e H ) = e G φ 1 (x) = α 1 (e G ) = e G x = φ(e G ) = e H f(α) is onto: for any y H, (f(α))(φ(α 1 (φ 1 (y)))) = (φ α φ 1 )(φ(α 1 (φ 1 (y)))) = y 2. f : Aut (G) Aut (H) is a homomorphism: Let α, β Aut (G). Then f(α β) = φ α β φ 1 = φ α φ 1 φ β φ 1 = f(α) f(β) 3. f is one-to-one: let i G : G G and i H : H H be the identity automorphisms on G and H, respectively. Then f(α) = i H φ α φ 1 = i H φ α = φ i H = φ α = φ 1 φ = i G 4. f is onto: let β Aut (H). Then Chapter 6: #26 f(φ 1 β φ) = φ φ 1 β φ φ 1 = i G β i H = β. Solution: suppose φ : Z 20 Z 20 is an automorphism such that φ(5) = 5. Since φ(5) = 5 φ(1) = 5 we must have 5 φ(1) 5 mod 20 φ(1) = 1, 5, 9, 13 or 17.

5 Then since φ(x) = x φ(1), there are five possible homomorphisms: φ(x) = x, φ(x) = 5x, φ(x) = 9x, φ(x) = 13x, φ(x) = 17x. To be an automorpphism, ker(φ) = {0}. This rules out φ(x) = 5x, so the only four possibilities are φ(x) = x, φ(x) = 9x, φ(x) = 13x or φ(x) = 17x. Alternate Solution: since Aut (Z 20 ) U(20) = {1, 3, 7, 9, 11, 13, 17, 19}, there are only 8 possible automorphisms φ of Z 20, defined by if and only if φ(1) = 1, 3, 7, 9, 11, 13, 17 or 19 φ(x) = x, 3x, 7x, 9x, 11x, 13x, 17x or 19x. Only four of these satisfy φ(5) = 5. (The other four satisfy φ(5) 5 mod 20.) Chapter 6: #32 Solution: this is similar to #26. If φ : Z 50 Z 50 is an automorphism with φ(7) = 13, then So the only possibility is φ(x) = 9x. Chapter 6: #36 7 φ(1) 13 mod 50 φ(1) = 9. Solution: since U(20) = U(24) = 8, U(20) and U(24) are candidates for isomorphic groups. But, in fact, they are not isomorphic. You can see this by considering the orders of elements in each group. Every element x U(24) = {1, 5, 7, 11, 13, 17, 19, 23} satisfies x 2 1 mod 24, so every element x U(24), x 1, has order 2. But in U(20), there are four elements of order 4, namely x = 3, 7, 13, 17. For example, mod 20, but mod 20. Chapter 6: #40 Solution: since α = (123)(45678) has order lcm(3, 5) = 15, α Z The cycle α = ( ) represents a rotation of order 8 of the octagon. Let β = (34)(25)(16)(78), which represents a reflection of the octagon in the vertical axis of symmetry of the octagon shown to the left. Check that 7 8 Thus α, β D 8. βαβ = ( ) = α 1. As for U(16) : mimic the construction in the proof of Cayley s Theorem. That is, for every g U(16) = {1, 3, 5, 7, 9, 11, 13, 15}, define T g : U(16) U(16) by T g (x) = gx. Each T g is a permutation of the first eight odd numbers, so it can equally well be considered as a permutation of the ordinal numbers 1, 2, 3, 4, 5, 6, 7 and 8. Thus U(16) {T g g U(16)} S 8. Chapter 6: #54 Solution: if φ Aut (D 8 ) then φ(r 45 ) = R 45 = 8. So φ(r 45 ) must be a rotation of order 8 as well. That is, φ(r 45 ) = R 45, R 135, R 225 or R 315.

6 Chapter 7: #8 Solution: in S 3, let H = {ε, (12)}, K = {ε, (13)}. Then HK = {hk h H, k K} = {ε, (12), (13), (132)} which is not a subgroup of S 3 because (132) 2 = (123) / HK. Chapter 7: #12 Solution: given a and b are nonidentity elements with different orders, in a group G of order 155 = 5 31, we must have a = 5 and b = 31 (or b = 5 and a = 31.) Let H be a subgroup of G that contains both a and b. Then both 5 and 31 divide H, and H divides G = 155. This means 155 H 155, so H = 155 and H = G. Chapter 7: #18 Solution: let a U(n). The order of U(n) is φ(n), so by Corollary 4 to Lagrange s Theorem, Chapter 7: #22 a φ(n) = e a φ(n) 1 mod n. Solution: suppose H = 12 and K = 35. Let d = H K. Since H K is a subgroup of both H and K, we know that d divides both 12 and 35, which are relatively prime. Thus d = 1 and H K = {e}. In general, if gcd( H, K ) = 1, then H K = 1. Chapter 7: #38 Solution: proof by contradiction. Suppose [G : Z(G)] = p, a prime. Pick x / Z(G). We have Z(G) C(x) G, where C(x) is the centralizer of x in G. Using Corollary 1 to Lagrange s Theorem we have [G : Z(G) = G, [G : C(x)] = G Z(G) from which we can conclude There are two possibilities: 1. [G : C(x)] = 1 and [C(x) : Z(G)] = p. C(x), [C(x) : Z(G)] = C(x) Z(G), p = [G : Z(G)] = [G : C(x)][C(x) : Z(G)]. If [G : C(x)] = 1, then C(x) = G, and every element of G commutes with x. But then x Z(G), contradicting our choice of x. 2. [G : C(x)] = p and [C(x) : Z(G)] = 1. In this case, [C(x) : Z(G)] = 1, implying Z(G) = C(x). But then x Z(G), again contradicting our choice of x. Conclusion: [G : Z(G)] is not prime. Chapter 7: #40 Solution: if G = 63 = and a e is an element of G, then a divides 63. The possibilities are a = 3, 7, 9, 21 or 63. Suppose there is no element a in G with a = 3. Then there can t be any elements b G with order 9, 21, or 63, either. That is:

7 b = 9 b 3 = 3, b = 21 b 7 = 3, b = 63 b 21 = 3. So every non-identity element a G must have order 7, and so G has 62 elements of order 7. By the Corollary to Theorem 4.4, the number of elements of order 7 in a group is a multiple of φ(7) = 6. Thus we require 6k = 62, which is impossible if k is an integer. Conclusion: every group of order 63 must have an element of order 3. Chapter 7: #44 Solution: D n = R, F R n = F 2 = I, F RF = F 1 where R is a rotation of order n and F is a reflection of order 2. Let G = R be the subgroup of D n consisting solely of rotations; G = n. Now suppose H D n and H is odd. By Corollary 2 of Lagrange s Theorem, H contains no reflections, since every reflection has order 2, and 2 does not divide an odd number. Thus H consists entirely of rotations and H G. Finally, every subgroup of a cyclic group is cyclic, so H is cyclic. Chapter 7: #50 Solution: A 5 contains a copy of A 4, which has order 12. That is, H = {ε, (123), (132), (124), (142), (134), (143), (234), (243), (12)(34), (13)(24), (14)(23)} = A 4 is a subgroup of A 5. (Since 5 choose 4 equals 5, A 5 contains at least five copies of A 4.)

8 Other Questions: 1. As in Example 6 of the lecture notes for Chapter 5, find how many elements of each possible order there are in S 6. Indicate which elements are even and which are odd. Solution: Cycle structure Order Number of Permutations in S 6 Parity (1) 1 1 even (ab) 2 (6 5)/2 = 15 odd (ab)(cd) 2 (6 5)/2 (4 3)/2 1/2 = 45 even (ab)(cd)(ef) 2 (6 5)/2 (4 3)/2 (2 1)/2 (1/3!) = 15 odd (abc) 3 (6 5 4)/3 = 40 even (abc)(def) 3 (6 5 4)/3 (3 2 1)/3 (1/2) = 40 even (abc)(de) 6 (6 5 4)/3 (3 2)/2 = 120 odd (abcd) 4 ( )/4 = 90 odd (abcd)(ef) 4 ( )/4 (2 1)/2 = 90 even (abcde) 5 ( )/5 = 144 even (abcdef) 6 ( )/6 = 120 odd 2. Let φ : G G be a homomorphism. Let F = {x G φ(x) = x} be the set of fixed points of φ. Show that F is a subgroup of G. (Compare with Chapter 6, #24.) Solution: every homomorphism takes the identity to the identity, so e F. F is closed under multiplication: x, y F φ(xy) = φ(x) φ(y), since φ is a homomorphism φ(xy) = x y, since x, y F xy F F is also closed under inverses: suppose x F. Thus F G. x 1 x = e φ(x 1 x) = φ(e) φ(x 1 ) φ(x) = e φ(x 1 ) x = e, since x F φ(x 1 ) = x 1 x 1 F

9 3. Consider the cube with vertices (±1, ±1, ±1), with respect to the usual x, y and z axes, and centre at the origin (0, 0, 0). Let S(C) be the symmetry group of this cube. Recall that S(C) consists of the following 48 matrices, with usual matrix multiplication:,,,, with usual matrix multiplication. Let A = (a ij ) be a matrix in S(C) and define Φ : S(C) S(C) ( ) by Φ ((a ij )) = a 2 ij. That is, the effect of Φ on a matrix A is to square each entry of A. (a) Prove that Φ is a homomorphism. (This is tricky!) Solution: let A = (a ij ), B = (b ij ). Then AB = (a i1 b 1j + a i2 b 2j + a i3 b 3j ) and Φ(AB) = Φ(A)Φ(B) ( (a i1 b 1j + a i2 b 2j + a i3 b 3j ) 2) = ( a 2 i1b 2 1j + a 2 i2b 2 2j + a 2 i3b 2 ) 3j (a i1 b 1j + a i2 b 2j + a i3 b 3j ) 2 = a 2 i1b 2 1j + a 2 i2b 2 2j + a 2 i3b 2 3j a i1 a i2 b 1j b 2j + a i1 a i3 b 1j b 3j + a i2 a i3 b 2j b 3j = 0 which last statement is true since for any matrix A or B in S(C) every row of A has two zeros, as does every column of B. (b) Find the kernel and image of Φ. Solution: ker(φ) = {A S(C) Φ(A) = I} =,,. The image of Φ consists of all the matrices in S(C) that have no negative entries, that is the 6 matrices , 0 0 1, 1 0 0, 0 0 1, 0 1 0, 1 0 0, which as a group is isomorphic to both S 3 and D 3. (c) Prove that (1) Φ Φ = Φ and (2) Φ( A) = Φ(A). Solution: let A = (a ij ) be a matrix in S(C). Then 1. each non-zero entry of Φ(A) is +1, so applying Φ to Φ(A) changes nothing. 2. Φ( A) = Φ (( a ij )) = ( ( a ij ) 2) ( ) = a 2 ij = Φ(A). (d) Find the group of fixed points of Φ. Solution: Φ(A) = A a 2 ij = a ij a ij = 0 or 1. Thus the group of fixed points of Φ is im (Φ).

10 (e) Show that both p : S(C) {1, 1} and q : S(C) {1, 1} defined by p(a) = det (Φ(A)) and q(a) = det (A Φ(A)) are homomorphisms, where det : S(C) {1, 1} is the usual determinant function. Solution: use properties of determinants and part (a). Watch your brackets! similarly, p(ab) = det(φ(ab)) = det (Φ(A)Φ(B)) = det(φ(a)) det(φ(b)) = p(a) p(b); q(ab) = det (AB Φ(AB)) = det (AB Φ(A)Φ(B)) = det(a) det(φ(a)) det(b) det(φ(b)) = det(a Φ(A)) det(b Φ(B)) = q(a) q(b) (f) Prove that f : S(C) S(C) defined by f(a) = p(a) A is an automorphism of S(C). Solution: first show that f is a homomorphism. Note: p(a) = ±1, which is just a scalar in terms of matrix multiplication. f(ab) = p(ab) (AB) = p(a) p(b) A B = (p(a) A) (p(b) B) = f(a) f(b). To show f is an isomorphism we need to show it is one-to-one and onto. f is one-to-one: show ker(f) = {I}. f(a) = I p(a) A = I A = p(a) I, since p(a) 2 = 1 A = ±I, since p(a) = ±1 But f( I) = p( I) ( I) = det(φ( I))( I) = det(i) ( I) = I, so the only solution is A = I. f is onto: let B be a matrix in S(C). We need to find a matrix A in S(C) such that f(a) = B. Take { B, if p(b) = 1 A = B, if p(b) = 1 Verification: 1. if p(b) = 1, then f(b) = p(b) B = (1)B = B 2. if p(b) = 1, then f( B) = p( B) ( B) = det(φ( B))( B) = det(φ(b))( B) = p(b)( B) = ( 1)( B) = B.

11 OR first show that f has order 2: f(f(a)) = f(p(a) A) = f(det(φ(a)) A) = p (det(φ(a)) A) det(φ(a)) A = det (Φ (det(φ(a)) A))) det(φ(a)) A { det (Φ (1 A)) (1) A, if det(φ(a)) = 1, = det (Φ ( A)) ( 1) A, if det(φ(a)) = 1 { det (Φ (A)) A, if det(φ(a)) = 1, = det (Φ (A)) ( 1) A, if det(φ(a)) = 1 { 1 A, if det(φ(a)) = 1, = ( 1) ( 1)A, if det(φ(a)) = 1 = A f is one-to-one: f(a) = I f(f(a)) = f(i) A = I f is onto: for any A S(C), f(f(a)) = A. (g) Explain why the group of fixed points of f is ker(p). What are the matrices in ker(p)? Solution: f(a) = A p(a) A = A p(a) = 1. Thus the group of fixed points of f is {A S(C) p(a) = 1} = ker(p) = {A S(C) det(φ(a)) = 1} =,,. (h) Show that f(ker(q)) = ker(det) and conclude that ker(q) ker(det). Solution: A ker(q) q(a) = 1 det(a Φ(A)) = 1 det(a) det(φ(a)) = 1. Consequently, if A ker(q), then det(f(a)) = det (p(a) A) = (p(a)) 3 det(a), since A is a 3 3 matrix = (det(φ(a))) 3 det(a) = (det(φ(a))) 2 (det(φ(a)) det(a)) = (±1) 2 1 = 1, and so f(a) ker(det). This shows that f(ker(q)) ker(det). Then you could count and find that both ker(q) and ker(det) contain 24 matrices, implying that f(ker(q)) = ker(det). OR you could prove the other inclusion: f(ker(det)) ker(q). Suppose A ker(det), so that det(a) = 1. Then q(f(a)) = q (p(a) A) = q (det(φ(a)) A) = det [det(φ(a)) A Φ (det(φ(a)) A)] = det [det(φ(a)) A Φ(A)], since det(φ(a)) = ±1, = (det(φ(a)) 3 det [A Φ(A)], since A Φ(A) is a 3 3 matrix = (det(φ(a)) 3 det(φ(a)) det(a) = (det(φ(a)) 4 det(a) = (±1) 4 1 = 1

12 and so f(a) ker(q). This shows that f(ker(det)) ker(q). Since f has order 2 it follows that ker(det) f(ker(q)). Thus: f(ker(q)) = ker(det), and since f is an isomorphism, ker(q) ker(det). OR there are other ways. Since f is one-to-one, we know 1. f(ker(q)) ker(det) ker(q) = f(ker(q)) ker(det). 2. f(ker(det)) ker(q) ker(det) = f(ker(det)) ker(q). Combining these two inequalities gives ker(q) = ker(det), and hence f(ker(q)) = ker(det).

MAT301H1F Groups and Symmetry: Problem Set 3 Solutions November 18, 2017

MAT301H1F Groups and Symmetry: Problem Set 3 Solutions November 18, 2017 MAT301H1F Groups and Symmetry: Problem Set 3 Solutions November 18, 2017 Questions From the Textbook: for odd-numbered questions see the back of the book. Chapter 8: #8 Is Z 3 Z 9 Z 27? Solution: No. Z

More information

Abstract Algebra, HW6 Solutions. Chapter 5

Abstract Algebra, HW6 Solutions. Chapter 5 Abstract Algebra, HW6 Solutions Chapter 5 6 We note that lcm(3,5)15 So, we need to come up with two disjoint cycles of lengths 3 and 5 The obvious choices are (13) and (45678) So if we consider the element

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

Section 13 Homomorphisms

Section 13 Homomorphisms Section 13 Homomorphisms Instructor: Yifan Yang Fall 2006 Homomorphisms Definition A map φ of a group G into a group G is a homomorphism if for all a, b G. φ(ab) = φ(a)φ(b) Examples 1. Let φ : G G be defined

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

Homework 7 Solution Chapter 7 - Cosets and Lagrange s theorem. due: Oct. 31.

Homework 7 Solution Chapter 7 - Cosets and Lagrange s theorem. due: Oct. 31. Homework 7 Solution Chapter 7 - Cosets and Lagrange s theorem. due: Oct. 31. 1. Find all left cosets of K in G. (a) G = Z, K = 4. K = {4m m Z}, 1 + K = {4m + 1 m Z}, 2 + K = {4m + 2 m Z}, 3 + K = {4m +

More information

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

Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations (bijections). Definition A bijection from a set A to itself is also

More information

MA441: Algebraic Structures I. Lecture 14

MA441: Algebraic Structures I. Lecture 14 MA441: Algebraic Structures I Lecture 14 22 October 2003 1 Review from Lecture 13: We looked at how the dihedral group D 4 can be viewed as 1. the symmetries of a square, 2. a permutation group, and 3.

More information

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

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV. Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is

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

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M. 1 Monoids and groups 1.1 Definition. A monoid is a set M together with a map M M M, (x, y) x y such that (i) (x y) z = x (y z) x, y, z M (associativity); (ii) e M such that x e = e x = x for all x M (e

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

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

S11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES

S11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES S11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES 1 Some Definitions For your convenience, we recall some of the definitions: A group G is called simple if it has

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

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

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

Name: Solutions - AI FINAL EXAM

Name: Solutions - AI FINAL EXAM 1 2 3 4 5 6 7 8 9 10 11 12 13 total Name: Solutions - AI FINAL EXAM The first 7 problems will each count 10 points. The best 3 of # 8-13 will count 10 points each. Total is 100 points. A 4th problem from

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

Homework #11 Solutions

Homework #11 Solutions Homework #11 Solutions p 166, #18 We start by counting the elements in D m and D n, respectively, of order 2. If x D m and x 2 then either x is a flip or x is a rotation of order 2. The subgroup of rotations

More information

First Semester Abstract Algebra for Undergraduates

First Semester Abstract Algebra for Undergraduates First Semester Abstract Algebra for Undergraduates Lecture notes by: Khim R Shrestha, Ph. D. Assistant Professor of Mathematics University of Great Falls Great Falls, Montana Contents 1 Introduction to

More information

Lecture Note of Week 2

Lecture Note of Week 2 Lecture Note of Week 2 2. Homomorphisms and Subgroups (2.1) Let G and H be groups. A map f : G H is a homomorphism if for all x, y G, f(xy) = f(x)f(y). f is an isomorphism if it is bijective. If f : G

More information

Math 546, Exam 2 Information.

Math 546, Exam 2 Information. Math 546, Exam 2 Information. 10/21/09, LC 303B, 10:10-11:00. Exam 2 will be based on: Sections 3.2, 3.3, 3.4, 3.5; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/546fa09/546.html)

More information

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

SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March. SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III 2009 Week 1 Lecture 1 Tuesday 3 March. 1. Introduction (Background from Algebra II) 1.1. Groups and Subgroups. Definition 1.1. A binary operation on a set

More information

Isomorphisms. 0 a 1, 1 a 3, 2 a 9, 3 a 7

Isomorphisms. 0 a 1, 1 a 3, 2 a 9, 3 a 7 Isomorphisms Consider the following Cayley tables for the groups Z 4, U(), R (= the group of symmetries of a nonsquare rhombus, consisting of four elements: the two rotations about the center, R 8, and

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

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

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

FINAL EXAM MATH 150A FALL 2016

FINAL EXAM MATH 150A FALL 2016 FINAL EXAM MATH 150A FALL 2016 The final exam consists of eight questions, each worth 10 or 15 points. The maximum score is 100. You are not allowed to use books, calculators, mobile phones or anything

More information

Physics 251 Solution Set 1 Spring 2017

Physics 251 Solution Set 1 Spring 2017 Physics 5 Solution Set Spring 07. Consider the set R consisting of pairs of real numbers. For (x,y) R, define scalar multiplication by: c(x,y) (cx,cy) for any real number c, and define vector addition

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

Quiz 2 Practice Problems

Quiz 2 Practice Problems Quiz 2 Practice Problems Math 332, Spring 2010 Isomorphisms and Automorphisms 1. Let C be the group of complex numbers under the operation of addition, and define a function ϕ: C C by ϕ(a + bi) = a bi.

More information

5 Group theory. 5.1 Binary operations

5 Group theory. 5.1 Binary operations 5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1

More information

7. Let K = 15 be the subgroup of G = Z generated by 15. (a) List the elements of K = 15. Answer: K = 15 = {15k k Z} (b) Prove that K is normal subgroup of G. Proof: (Z +) is Abelian group and any subgroup

More information

Groups and Symmetries

Groups and Symmetries Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group

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

S11MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (PracticeSolutions) Name: 1. Let G and H be two groups and G H the external direct product of G and H.

S11MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (PracticeSolutions) Name: 1. Let G and H be two groups and G H the external direct product of G and H. Some of the problems are very easy, some are harder. 1. Let G and H be two groups and G H the external direct product of G and H. (a) Prove that the map f : G H H G defined as f(g, h) = (h, g) is a group

More information

Lecture 4.1: Homomorphisms and isomorphisms

Lecture 4.1: Homomorphisms and isomorphisms Lecture 4.: Homomorphisms and isomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4, Modern Algebra M. Macauley (Clemson) Lecture

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

MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION

MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION SPRING 2014 - MOON Write your answer neatly and show steps. Any electronic devices including calculators, cell phones are not allowed. (1) Write the definition.

More information

Answers to Final Exam

Answers to Final Exam Answers to Final Exam MA441: Algebraic Structures I 20 December 2003 1) Definitions (20 points) 1. Given a subgroup H G, define the quotient group G/H. (Describe the set and the group operation.) The quotient

More information

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

6. The Homomorphism Theorems In this section, we investigate maps between groups which preserve the groupoperations. 6. The Homomorphism Theorems In this section, we investigate maps between groups which preserve the groupoperations. Definition. Let G and H be groups and let ϕ : G H be a mapping from G to H. Then ϕ is

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

Math 581 Problem Set 7 Solutions

Math 581 Problem Set 7 Solutions Math 581 Problem Set 7 Solutions 1. Let f(x) Q[x] be a polynomial. A ring isomorphism φ : R R is called an automorphism. (a) Let φ : C C be a ring homomorphism so that φ(a) = a for all a Q. Prove that

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

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

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

Group Theory. Hwan Yup Jung. Department of Mathematics Education, Chungbuk National University Group Theory Hwan Yup Jung Department of Mathematics Education, Chungbuk National University Hwan Yup Jung (CBNU) Group Theory March 1, 2013 1 / 111 Groups Definition A group is a set G with a binary operation

More information

Math 451, 01, Exam #2 Answer Key

Math 451, 01, Exam #2 Answer Key Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement

More information

Homework #7 Solutions

Homework #7 Solutions Homework #7 Solutions p 132, #4 Since U(8) = {1, 3, 5, 7} and 3 2 mod 8 = 5 2 mod 8 = 7 2 mod 8, every nonidentity element of U(8) has order 2. However, 3 U(10) we have 3 2 mod 10 = 9 3 3 mod 10 = 7 3

More information

Reducibility of Polynomials over Finite Fields

Reducibility of Polynomials over Finite Fields Master Thesis Reducibility of Polynomials over Finite Fields Author: Muhammad Imran Date: 1976-06-02 Subject: Mathematics Level: Advance Course code: 5MA12E Abstract Reducibility of certain class of polynomials

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

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

book 2005/1/23 20:41 page 132 #146 book 2005/1/23 20:41 page 132 #146 132 2. BASIC THEORY OF GROUPS Definition 2.6.16. Let a and b be elements of a group G. We say that b is conjugate to a if there is a g G such that b = gag 1. You are

More information

MA441: Algebraic Structures I. Lecture 15

MA441: Algebraic Structures I. Lecture 15 MA441: Algebraic Structures I Lecture 15 27 October 2003 1 Correction for Lecture 14: I should have used multiplication on the right for Cayley s theorem. Theorem 6.1: Cayley s Theorem Every group is isomorphic

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

Part II Permutations, Cosets and Direct Product

Part II Permutations, Cosets and Direct Product Part II Permutations, Cosets and Direct Product Satya Mandal University of Kansas, Lawrence KS 66045 USA January 22 8 Permutations Definition 8.1. Let A be a set. 1. A a permuation of A is defined to be

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

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT HOMEWORK 3 LOUIS-PHILIPPE THIBAULT Problem 1 Let G be a group of order 56. We have that 56 = 2 3 7. Then, using Sylow s theorem, we have that the only possibilities for the number of Sylow-p subgroups

More information

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

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2009 Midterm Johns Hopkins University, Department of Mathematics 110.401 Abstract Algebra - Spring 2009 Midterm Instructions: This exam has 8 pages. No calculators, books or notes allowed. You must answer the first

More information

Homework #5 Solutions

Homework #5 Solutions Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will

More information

PROBLEMS FROM GROUP THEORY

PROBLEMS FROM GROUP THEORY PROBLEMS FROM GROUP THEORY Page 1 of 12 In the problems below, G, H, K, and N generally denote groups. We use p to stand for a positive prime integer. Aut( G ) denotes the group of automorphisms of G.

More information

Math 547, Exam 1 Information.

Math 547, Exam 1 Information. Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

Math 3140 Fall 2012 Assignment #3

Math 3140 Fall 2012 Assignment #3 Math 3140 Fall 2012 Assignment #3 Due Fri., Sept. 21. Remember to cite your sources, including the people you talk to. My solutions will repeatedly use the following proposition from class: Proposition

More information

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

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1 2 3 style total Math 415 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. Every group of order 6

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

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

Part IV. Rings and Fields

Part IV. Rings and Fields IV.18 Rings and Fields 1 Part IV. Rings and Fields Section IV.18. Rings and Fields Note. Roughly put, modern algebra deals with three types of structures: groups, rings, and fields. In this section we

More information

Algebra I: Final 2018 June 20, 2018

Algebra I: Final 2018 June 20, 2018 1 Algebra I: Final 2018 June 20, 2018 ID#: Quote the following when necessary. A. Subgroup H of a group G: Name: 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

More information

Mathematics Department Qualifying Exam: Algebra Fall 2012

Mathematics Department Qualifying Exam: Algebra Fall 2012 Mathematics Department Qualifying Exam: Algebra Fall 202 Part A. Solve five of the following eight problems:. Let {[ ] a b R = a, b Z} and S = {a + b 2 a, b Z} 2b a ([ ]) a b Define ϕ: R S by ϕ = a + b

More information

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

Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati Shyamashree Upadhyay Contents 1 Lecture 1 4 1.1 Properties of Integers....................... 4 1.2 Sets, relations and

More information

Math 210A: Algebra, Homework 6

Math 210A: Algebra, Homework 6 Math 210A: Algebra, Homework 6 Ian Coley November 13, 2013 Problem 1 For every two nonzero integers n and m construct an exact sequence For which n and m is the sequence split? 0 Z/nZ Z/mnZ Z/mZ 0 Let

More information

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

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions

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

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

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

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

Finite Fields. Sophie Huczynska. Semester 2, Academic Year Finite Fields Sophie Huczynska Semester 2, Academic Year 2005-06 2 Chapter 1. Introduction Finite fields is a branch of mathematics which has come to the fore in the last 50 years due to its numerous applications,

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

Name: Solutions Final Exam

Name: Solutions Final Exam Instructions. Answer each of the questions on your own paper. Be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] All of

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

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

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The

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

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

120A LECTURE OUTLINES

120A LECTURE OUTLINES 120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication

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

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

1 Lecture 1 (1/5/2009)

1 Lecture 1 (1/5/2009) 1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think

More information

1 Lecture 1 (1/5/2009)

1 Lecture 1 (1/5/2009) 1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think

More information

The Symmetric Groups

The Symmetric Groups Chapter 7 The Symmetric Groups 7. Introduction In the investigation of finite groups the symmetric groups play an important role. Often we are able to achieve a better understanding of a group if we can

More information

Algebra I: Final 2015 June 24, 2015

Algebra I: Final 2015 June 24, 2015 1 Algebra I: Final 2015 June 24, 2015 ID#: Quote the following when necessary. A. Subgroup H of a group G: Name: 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

More information

Math 210A: Algebra, Homework 5

Math 210A: Algebra, Homework 5 Math 210A: Algebra, Homework 5 Ian Coley November 5, 2013 Problem 1. Prove that two elements σ and τ in S n are conjugate if and only if type σ = type τ. Suppose first that σ and τ are cycles. Suppose

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

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

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

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

Cosets and Normal Subgroups

Cosets and Normal Subgroups Cosets and Normal Subgroups (Last Updated: November 3, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from

More information

Properties of Homomorphisms

Properties of Homomorphisms Properties of Homomorphisms Recall: A function φ : G Ḡ is a homomorphism if φ(ab) = φ(a)φ(b) a, b G. Let φ : G Ḡ be a homomorphism, let g G, and let H G. Properties of elements Properties of subgroups

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

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

2. Groups 2.1. Groups and monoids. Let s start out with the basic definitions. We will consider sets with binary operations, which we will usually

2. Groups 2.1. Groups and monoids. Let s start out with the basic definitions. We will consider sets with binary operations, which we will usually 2. Groups 2.1. Groups and monoids. Let s start out with the basic definitions. We will consider sets with binary operations, which we will usually write multiplicatively, as a b, or, more commonly, just

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

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

MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b, MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems Problem Set 2 2. Define a relation on R given by a b if a b Z. (a) Prove that is an equivalence relation. (b) Let R/Z denote the set of equivalence

More information