S10MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (Practice) Name: Some of the problems are very easy, some are harder.

Size: px
Start display at page:

Download "S10MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (Practice) Name: Some of the problems are very easy, some are harder."

Transcription

1 Some of the problems are very easy, some are harder. 1. Let F : Z Z be a function defined as F (x) = 10x. (a) Prove that F is a group homomorphism. (b) Find Ker(F ) Solution: Ker(F ) = {0}. Proof: Let x Ker(F ). Then F (x) = 0 by definition of the kernel of a homomorphism. Therefore 10x = 0. In Z product of two numbers can be 0 only if one of them is 0. Therefore x = 0. So Ker(F ) = {0}. (c) Find Im(F ) Im(F ) = {10i i any integer} = {all integer multiples of 10} = {all integers of the form 10i, whereiis an {..., 30, 20, 10, 0, 10, 20, 30,...} 2. Let f : Z 6 D 3 be the homomorphism (!) defined as f(1) = ρ. Solution: Z 6 = ({0, 1, 2, 3, 4, 5}, + 6 ) and D 3 = ({e, ρ, ρ 2, t, tρ, tρ 2 ), multiplication) (a) Find f(2) = f(2) = f(1 + 1) = f(1)f(1) = ρρ = ρ 2 (b) Find f(3) = (c) Find f(4) = f(3) = f(2 + 1) = f(2)f(1) = ρ 2 ρ = ρ 3 = e f(4) = f(3 + 1) = f(3)f(1) = eρ = ρ (d) Find f(5) = f(5) = f(3 + 2) = f(3)f(2) = eρ 2 = ρ 2 (e) Find f(0) = f(0) = e (f) Find Ker(f) Ker(f) = {x Z 6 f(x) = e} is the definition of the kerenel Ker(f) = {0, 3} by the above computation. (g) Find Im(f) Im(f) = {y D 3 there exist x Z 6 so that f(x) = y} defn of image Im(f) = {e, ρ, ρ 2 } by the above computation. (h) Find Z 6 /Ker(f) These are (left) cosets of Ker(f) = {0, 3} in Z 6 : 0 + {0, 3} = {0, 3} 1 + {0, 3} = {1, 4} 2 + {0, 3} = {2, 5} 3 + {0, 3} = {3, 0} = {0, 3} 4 + {0, 3} = {4, 1} = {1, 4} 5 + {0, 3} = {5, 2} = {2, 5} 1

2 (i) Describe an isomorphism Z 6 /Ker(f) Im(f) f : Z 6 /Ker(f) Im(f) is defined as f(x + Ker(f)) := f(x) f({1, 4}) = f(1 + {0, 3}) = f(1) = ρ f({2, 5}) = f(2 + {0, 3}) = f(2) = ρ 2 f({0, 3}) = f(3 + {0, 3}) = f(3) = e 3. 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 homomorphism. i. Find Ker(f) Ker(f) = {(e G, e H )}. You have to prove this! Proof: First notice that: elements of G H are all pairs {(g, h) g G, h H} operation is componentwise identity of G H is the pair (e G, e H )! Similarly: elements of H G are all pairs {(h, g) g G, h H} operation is componentwise identity of H G is the pair (e H, e G )! This was just set-up and reminder of the definitions! Now the actual proof: Let (a, b) Ker(f). Then f(a, b) is the identity in H G. So f(a, b) = (e H, e G ). But f(a, b) = (b, a) be definition of f. Therefore (e H, e G ) = (b, a). Therefore e H = b and e G = a. So (a, b) = (e G, e H ). Hence Ker(f) {(e G, e H )} and since this is only one element in G H, it follows that Ker(f) = {(e G, e H )} ii. Find Im(f) Im(f) = H G. You have to prove this! (b) Prove that the map i : G G H defined as i(g) = (g, e h ) is a group homomorphism (e H is the identity element in H). i. Find Ker(i) ii. Find Im(i) Im(i) = {(g, e H ) g G} You need to prove this! (c) Prove that the map p : G H G defined as p(g, h) = g is a group homomorphism. i. Find Ker(p) ii. Find Im(p) Im(p) = G. You need to prove this! 4. Describe all Abelian groups G, up to isomorphism, such that: 2

3 (a) G = 16 (b) G = 16 and G has no elements of order 16. (c) G = 16 and G has no elements of order 8. (d) G = 16 and all elements of G have order 2. (e) G = 360 (f) G = 12 but G does not have elements of order 12. (g) G = 18 but G is not cyclic. Solution: G = 18 = So G is isomorphic to a product of an Abelian group G (2) of order 2 and an Abelian group G (3) of order 3 2. The only possibility for G (2) is: Z 2. The only possibilities for G (3) are: Z 9 and Z 3 Z 3. So G is isomorphic to one of: Z 2 Z 9 or Z 2 Z 3 Z 3. External product of cyclic groups of relatively prime orders is isomorphic to a cyclic group with order equal to the product of orders (done in class). So Z 2 Z 9 = Z18 which is cyclic. Therefore there is only one Abelian non-cyclic group of order 18 (up to isomorphism!): Z 2 Z 3 Z Let G be a group acting on a set X. Solutions: Main formulas and properties to use: X = disjoint O x O x O x divides G O x = 1 if and only if x is a fixed point of the action of G on X. (a) If G = 11 and X = 12 prove that the action has at least one fixed point. Proof: Since G = 11, the orbits can have 1 or 11 elements. Since X = 12 we have 12 = X = disjoint O x O x. So, we have either 12 = 11+1 or 12 = These are the only possibilities and in both cases there is at least one x X such that the orbit O x = 1 has only one element, hence G fixes that point, i.e. x is a fixed point of the action. (b) If G = 11 and X = 10 prove that G(x) = x for all x X. Proof: Since G = 11, the orbits can have 1 or 11 elements. Since X = 10 we have 10 = X = disjoint O x O x. So, we have 10 = So for each x X the orbit O x = 1 has only one element, hence G fixes that point, i.e. gx = x for all g G, or G(x) = x. Hence for each x X we have G(x) = x. 3

4 (c) If G = 12 and X = 11 prove that the action has at least 3 orbits. (d) If G = 16 and X = 155 prove that the action has at least one fixed point. (e) If G = p 2 where p is a prime and X = q, q a prime q > p then G has at least one fixed point. 6. Let G X ϕ X be an action of group G on the set X = G given by conjugation, i.e. ϕ(g, x) = gxg 1. Suppose x is a fixed point of this action. Prove that x Z(G), i.e. x is in the center of G. Proof: Let x is a fixed point of the action of the group G on the set X = G, given by ϕ(g, x) = gxg 1. If x is fixed point then ϕ(g, x) = gxg 1 = x for all g G. So gxg 1 = x for all g G. Multiply on the right by g and get: So gx = xg for all g G. Therefore x Z(G), the center of G. (Definition Z(G) = {x G gx = xg for all g G}.) 7. Let G X ϕ X be an action of group G on the set X = {subgroups of G} given by conjugation, i.e. ϕ(g, H) = ghg 1. Suppose K is a fixed point of this action. Prove that K is a normal subgroup of G. 8. Let f : G G be a group homomorphism. Prove: If Ker(f) = {e} then f is a one-to-one map. Proof: Assume Ker(f) = {e}. WTS f is one-to-one. Suppose f(x 1 ) = f(x 2 ). WTS x 1 = x 2. Use two facts about homomorphisms, which we did in class: f(ab) = f(a)f(b) this is just definition f(a 1 ) = (f(a)) 1 mentioned many times in class (for homomorphisms) f(x 1 x 1 2 ) = f(x 1 ) f(x 1 2 ) by the first property = f(x 1 ) f(x 1 2 ) = f(x 1 ) (f(x 2 )) 1 by the second property = f(x 1 ) (f(x 1 )) 1 by assumption that f(x 1 ) = f(x 2 ) = e G since f(x 1 ) and (f(x 1 )) 1 are inverses of each other. Therefore f(x 1 x 1 2 ) = e G Therefore x 1 x 1 2 Ker(f) = {e}. So x 1 x 1 2 = e. Now multiply the equation by x 2 on the right. Therefore (x 1 x 1 2 ) x 2 = e x 2. Apply associative law, inverse and identity property. So x 1 = x 2. Therefore f is one-to-one. 9. Let f : G G be a group homomorphism. Prove: Ker(f) is a normal subgroup of G. 10. If G = 18 and a G, what are all possible orders of a? Answer: 1,2,3,6,9,18. 4

5 11. If G = 17 and a G, what are all possible orders of a? Answer: 1, If G = 23 and a G, a e, what are all possible orders of a? Answer: 23. Reamark - Syllow theory will be on the next quiz. 5

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

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

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

Fall /29/18 Time Limit: 75 Minutes

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

More information

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

Assigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation.

Assigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation. 1. Show that the set G = multiplication. Assigment 1 1 a b 0 1 c a, b, c R 0 0 1 is a group under matrix 2. Let U be a set and G = {A A U}. Show that G ia an abelian group under the operation defined by

More information

Elements of solution for Homework 5

Elements of solution for Homework 5 Elements of solution for Homework 5 General remarks How to use the First Isomorphism Theorem A standard way to prove statements of the form G/H is isomorphic to Γ is to construct a homomorphism ϕ : G Γ

More information

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

MATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory. MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is

More information

MAT 150A, Fall 2015 Practice problems for the final exam

MAT 150A, Fall 2015 Practice problems for the final exam MAT 150A, Fall 2015 Practice problems for the final exam 1. Let f : S n! G be any homomorphism (to some group G) suchthat f(1 2) = e. Provethatf(x) =e for all x. Solution: The kernel of f is a normal subgroup

More information

Math 4400, Spring 08, Sample problems Final Exam.

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

More information

Solutions of exercise sheet 4

Solutions of exercise sheet 4 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 4 The content of the marked exercises (*) should be known for the exam. 1. Prove the following two properties of groups: 1. Every

More information

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

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

More information

Algebra-I, Fall Solutions to Midterm #1

Algebra-I, Fall Solutions to Midterm #1 Algebra-I, Fall 2018. Solutions to Midterm #1 1. Let G be a group, H, K subgroups of G and a, b G. (a) (6 pts) Suppose that ah = bk. Prove that H = K. Solution: (a) Multiplying both sides by b 1 on the

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

Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups:

Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups: Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups: Definition: The external direct product is defined to be the following: Let H 1,..., H n be groups. H 1 H 2 H n := {(h 1,...,

More information

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

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded

More information

Chapter I: Groups. 1 Semigroups and Monoids

Chapter I: Groups. 1 Semigroups and Monoids Chapter I: Groups 1 Semigroups and Monoids 1.1 Definition Let S be a set. (a) A binary operation on S is a map b : S S S. Usually, b(x, y) is abbreviated by xy, x y, x y, x y, x y, x + y, etc. (b) Let

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

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

13 More on free abelian groups

13 More on free abelian groups 13 More on free abelian groups Recall. G is a free abelian group if G = i I Z for some set I. 13.1 Definition. Let G be an abelian group. A set B G is a basis of G if B generates G if for some x 1,...x

More information

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

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 402A - Solutions for the suggested problems. 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 N =

More information

MA441: Algebraic Structures I. Lecture 26

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

More information

Exam I, MTH 320: Abstract Algebra I, Spring 2012

Exam I, MTH 320: Abstract Algebra I, Spring 2012 Name, ID Abstract Algebra, Math 320, Spring 2012, 1 3 copyright Ayman Badawi 2012 Exam I, MTH 320: Abstract Algebra I, Spring 2012 Ayman Badawi QUESTION 1. a) Let G = (Z, +). We know that H =< 6 > < 16

More information

Algebra. Travis Dirle. December 4, 2016

Algebra. Travis Dirle. December 4, 2016 Abstract Algebra 2 Algebra Travis Dirle December 4, 2016 2 Contents 1 Groups 1 1.1 Semigroups, Monoids and Groups................ 1 1.2 Homomorphisms and Subgroups................. 2 1.3 Cyclic Groups...........................

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

(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

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

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

Extra exercises for algebra

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

More information

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it

More information

Groups. Groups. 1.Introduction. 1.Introduction. TS.NguyễnViết Đông. 1. Introduction 2.Normal subgroups, quotien groups. 3. Homomorphism.

Groups. Groups. 1.Introduction. 1.Introduction. TS.NguyễnViết Đông. 1. Introduction 2.Normal subgroups, quotien groups. 3. Homomorphism. Groups Groups 1. Introduction 2.Normal sub, quotien. 3. Homomorphism. TS.NguyễnViết Đông 1 2 1.1. Binary Operations 1.2.Definition of Groups 1.3.Examples of Groups 1.4.Sub 1.1. Binary Operations 1.2.Definition

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 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

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

More information

Algebra I Notes. Clayton J. Lungstrum. July 18, Based on the textbook Algebra by Serge Lang

Algebra I Notes. Clayton J. Lungstrum. July 18, Based on the textbook Algebra by Serge Lang Algebra I Notes Based on the textbook Algebra by Serge Lang Clayton J. Lungstrum July 18, 2013 Contents Contents 1 1 Group Theory 2 1.1 Basic Definitions and Examples......................... 2 1.2 Subgroups.....................................

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

The Outer Automorphism of S 6

The Outer Automorphism of S 6 Meena Jagadeesan 1 Karthik Karnik 2 Mentor: Akhil Mathew 1 Phillips Exeter Academy 2 Massachusetts Academy of Math and Science PRIMES Conference, May 2016 What is a Group? A group G is a set of elements

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

Quizzes for Math 401

Quizzes for Math 401 Quizzes for Math 401 QUIZ 1. a) Let a,b be integers such that λa+µb = 1 for some inetegrs λ,µ. Prove that gcd(a,b) = 1. b) Use Euclid s algorithm to compute gcd(803, 154) and find integers λ,µ such that

More information

Fall 2014 Math 122 Midterm 1

Fall 2014 Math 122 Midterm 1 1. Some things you ve (maybe) done before. 5 points each. (a) If g and h are elements of a group G, show that (gh) 1 = h 1 g 1. (gh)(h 1 g 1 )=g(hh 1 )g 1 = g1g 1 = gg 1 =1. Likewise, (h 1 g 1 )(gh) =h

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

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

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication. Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions

More information

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

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

More information

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

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

Direction: You are required to complete this test within 50 minutes. Please make sure that you have all the 10 pages. GOOD LUCK!

Direction: You are required to complete this test within 50 minutes. Please make sure that you have all the 10 pages. GOOD LUCK! Test 3 November 11, 2005 Name Math 521 Student Number Direction: You are required to complete this test within 50 minutes. (If needed, an extra 40 minutes will be allowed.) In order to receive full credit,

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

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

xy xyy 1 = ey 1 = y 1 i.e. Homework 2 solutions. Problem 4.4. Let g be an element of the group G. Keep g fixed and let x vary through G. Prove that the products gx are all distinct and fill out G. Do the same for the products xg.

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

BASIC GROUP THEORY : G G G,

BASIC GROUP THEORY : G G G, BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e

More information

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

Exercises MAT2200 spring 2013 Ark 3 Cosets, Direct products and Abelian groups Exercises MAT2200 spring 2013 Ark 3 Cosets, Direct products and Abelian groups This Ark concerns the weeks No. (Feb ) andno. (Feb Mar ). The plans for those two weeks are as follows: On Wednesday Feb I

More information

Lecture 6 Special Subgroups

Lecture 6 Special Subgroups Lecture 6 Special Subgroups Review: Recall, for any homomorphism ϕ : G H, the kernel of ϕ is and the image of ϕ is ker(ϕ) = {g G ϕ(g) = e H } G img(ϕ) = {h H ϕ(g) = h for some g G} H. (They are subgroups

More information

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

Abstract Algebra FINAL EXAM May 23, Name: R. Hammack Score: Abstract Algebra FINAL EXAM May 23, 2003 Name: R. Hammack Score: Directions: Please answer the questions in the space provided. To get full credit you must show all of your work. Use of calculators and

More information

3. G. Groups, as men, will be known by their actions. - Guillermo Moreno

3. G. Groups, as men, will be known by their actions. - Guillermo Moreno 3.1. The denition. 3. G Groups, as men, will be known by their actions. - Guillermo Moreno D 3.1. An action of a group G on a set X is a function from : G X! X such that the following hold for all g, h

More information

Written Homework # 1 Solution

Written Homework # 1 Solution Math 516 Fall 2006 Radford Written Homework # 1 Solution 10/11/06 Remark: Most of the proofs on this problem set are just a few steps from definitions and were intended to be a good warm up for the course.

More information

MAT1100HF ALGEBRA: ASSIGNMENT II. Contents 1. Problem Problem Problem Problem Problem Problem

MAT1100HF ALGEBRA: ASSIGNMENT II. Contents 1. Problem Problem Problem Problem Problem Problem MAT1100HF ALEBRA: ASSINMENT II J.A. MRACEK 998055704 DEPARTMENT OF MATHEMATICS UNIVERSITY OF TORONTO Contents 1. Problem 1 1 2. Problem 2 2 3. Problem 3 2 4. Problem 4 3 5. Problem 5 3 6. Problem 6 3 7.

More information

Group. Orders. Review. Orders: example. Subgroups. Theorem: Let x be an element of G. The order of x divides the order of G

Group. Orders. Review. Orders: example. Subgroups. Theorem: Let x be an element of G. The order of x divides the order of G Victor Adamchik Danny Sleator Great Theoretical Ideas In Computer Science Algebraic Structures: Group Theory II CS 15-251 Spring 2010 Lecture 17 Mar. 17, 2010 Carnegie Mellon University Group A group G

More information

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

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

More information

January 2016 Qualifying Examination

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

More information

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

MATH 436 Notes: Homomorphisms.

MATH 436 Notes: Homomorphisms. MATH 436 Notes: Homomorphisms. Jonathan Pakianathan September 23, 2003 1 Homomorphisms Definition 1.1. Given monoids M 1 and M 2, we say that f : M 1 M 2 is a homomorphism if (A) f(ab) = f(a)f(b) for all

More information

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

Converse to Lagrange s Theorem Groups

Converse to Lagrange s Theorem Groups Converse to Lagrange s Theorem Groups Blain A Patterson Youngstown State University May 10, 2013 History In 1771 an Italian mathematician named Joseph Lagrange proved a theorem that put constraints on

More information

Fibers, Surjective Functions, and Quotient Groups

Fibers, Surjective Functions, and Quotient Groups Fibers, Surjective Functions, and Quotient Groups 11/01/06 Radford Let f : X Y be a function. For a subset Z of X the subset f(z) = {f(z) z Z} of Y is the image of Z under f. For a subset W of Y the subset

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

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

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

Algebra I: Final 2012 June 22, 2012

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

More information

Algebraic Structures Exam File Fall 2013 Exam #1

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

More information

Normal Subgroups and Quotient Groups

Normal Subgroups and Quotient Groups Normal Subgroups and Quotient Groups 3-20-2014 A subgroup H < G is normal if ghg 1 H for all g G. Notation: H G. Every subgroup of an abelian group is normal. Every subgroup of index 2 is normal. If H

More information

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

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

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

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

SPRING BREAK PRACTICE PROBLEMS - WORKED SOLUTIONS

SPRING BREAK PRACTICE PROBLEMS - WORKED SOLUTIONS Math 330 - Abstract Algebra I Spring 2009 SPRING BREAK PRACTICE PROBLEMS - WORKED SOLUTIONS (1) Suppose that G is a group, H G is a subgroup and K G is a normal subgroup. Prove that H K H. Solution: We

More information

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY HANDOUT ABSTRACT ALGEBRA MUSTHOFA DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY 2012 BINARY OPERATION We are all familiar with addition and multiplication of two numbers. Both

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

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

Math 120: Homework 6 Solutions

Math 120: Homework 6 Solutions Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has

More information

School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet IV: Composition series and the Jordan Hölder Theorem (Solutions)

School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet IV: Composition series and the Jordan Hölder Theorem (Solutions) CMRD 2010 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet IV: Composition series and the Jordan Hölder Theorem (Solutions) 1. Let G be a group and N be a normal subgroup of G.

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

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

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

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

Math 581 Problem Set 8 Solutions

Math 581 Problem Set 8 Solutions Math 581 Problem Set 8 Solutions 1. Prove that a group G is abelian if and only if the function ϕ : G G given by ϕ(g) g 1 is a homomorphism of groups. In this case show that ϕ is an isomorphism. Proof:

More information

B Sc MATHEMATICS ABSTRACT ALGEBRA

B Sc MATHEMATICS ABSTRACT ALGEBRA UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z

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

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

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

More information

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

MAT301H1F Groups and Symmetry: Problem Set 2 Solutions October 20, 2017 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

More information

Modern Algebra Homework 9b Chapter 9 Read Complete 9.21, 9.22, 9.23 Proofs

Modern Algebra Homework 9b Chapter 9 Read Complete 9.21, 9.22, 9.23 Proofs Modern Algebra Homework 9b Chapter 9 Read 9.1-9.3 Complete 9.21, 9.22, 9.23 Proofs Megan Bryant November 20, 2013 First Sylow Theorem If G is a group and p n is the highest power of p dividing G, then

More information

HOMEWORK Graduate Abstract Algebra I May 2, 2004

HOMEWORK Graduate Abstract Algebra I May 2, 2004 Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it

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

Section 10: Counting the Elements of a Finite Group

Section 10: Counting the Elements of a Finite Group Section 10: Counting the Elements of a Finite Group Let G be a group and H a subgroup. Because the right cosets are the family of equivalence classes with respect to an equivalence relation on G, it follows

More information

Math 430 Final Exam, Fall 2008

Math 430 Final Exam, Fall 2008 IIT Dept. Applied Mathematics, December 9, 2008 1 PRINT Last name: Signature: First name: Student ID: Math 430 Final Exam, Fall 2008 Grades should be posted Friday 12/12. Have a good break, and don t forget

More information

Ideals, congruence modulo ideal, factor rings

Ideals, congruence modulo ideal, factor rings Ideals, congruence modulo ideal, factor rings Sergei Silvestrov Spring term 2011, Lecture 6 Contents of the lecture Homomorphisms of rings Ideals Factor rings Typeset by FoilTEX Congruence in F[x] and

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

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

More information

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

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

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 3: RELATIVE SINGULAR HOMOLOGY LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following

More information

The Class Equation X = Gx. x X/G

The Class Equation X = Gx. x X/G The Class Equation 9-9-2012 If X is a G-set, X is partitioned by the G-orbits. So if X is finite, X = x X/G ( x X/G means you should take one representative x from each orbit, and sum over the set of representatives.

More information