Teddy Einstein Math 4320
|
|
- Jennifer Russell
- 6 years ago
- Views:
Transcription
1 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 homomorphism G G because compositions of homomorphisms are homomorphisms and compositions of bijections are bijections. Hence f g Aut G. If id G G G is defined by g g, it is trivially an automorphism. For f Aut G, f id G = f = id G f. Thus the identity map on G is the identity in Aut G. Recall that if G, H are groups and q G H is an isomorphism, then its inverse function f 1 H G is an isomorphism as well. Thus if f G G is an automorphism, its inverse function f 1 G G is also an automorphism. Hence Aut G is closed under inverses. Function composition is associative, so we have associativity. Thus Aut G satisfies the axioms of a group. ii. Prove that γ G Aut G defined by g γ g where γ g h g 1 hg is a homomorphism. Proof. Let g, k G. Observe that for h G: γ(gh)(k) = (gh) 1 k(gh) = h 1 g 1 kgh = h 1 (g 1 kg)h = γ h (γ g (k)) = [γ(h) γ(k)](h) so γ h is a homomorphism of groups. iii. Prove that ker γ = Z(G). Proof. Observe that ker γ = {g G γ g = id G } = {g G g 1 xg = x x G} = {g G xg = gx x G} = Z(G), yielding the desired result. iv. Prove Im γ Aut G. Proof. Let g G so that γ g is an arbitrary element of Im γ. We need to prove that given f Aut G, f 1 γ g f Im γ. Now we see that for k G: f 1 γ g f(k) = f 1 (g 1 f(k)g) = f 1 (g 1 ) f 1 f(k) f 1 (g) = (f 1 (g)) 1 ck 9 f 1 (g) = γ f 1 (g)(k) using the fact that f 1 is a homomorphism. Hence f 1 γ g f = γ f 1 (g) Im γ, so Im γ Aut G. 1
2 2 Problem 2: (20 pts) Let G be a group with x, y G. Define the commutator [x, y] = x 1 y 1 xy and the commutator subgroup of G = x 1 y 1 xy x, y G G. 1 i. Prove that G G. Proof. Let x, y G and h G. Observe that: h 1 x 1 y 1 xyh = h 1 x 1 y 1 hh 1 xyh = (h 1 x 1 hh 1 y 1 h)(h 1 xhh 1 yh) = [h 1 xh, h 1 yh] because for any k G, (h 1 kh) 1 = h 1 k 1 h. Hence the conjugate of any commutator is contained in G. Now let α G be a product of a commutators α i G so that: α = α 1 α 2... α n Observe that for g G, g 1 α i g G by the preceding. Now we see that: g 1 αg = g 1 α 1 α 2... α n g = g 1 α 1 g 1 gα 2 g 1 gα 3 g 1 g... gg 1 α n g = n i=1 g 1 α i g where each g 1 α i g G, so g 1 αg is a product of commutators. Thus g 1 αg G. Hence G G. ii. Prove that G/G is abelian. Proof. Let x, y G. Observe that the coset x 1 y 1 xyg = G because x 1 y 1 xy G. Hence xg yg = xyg = yxg = yg xg, so G/G is abelian. iii. If ϕ G A is a homomorphism, where A is an abelian group, prove that G ker ϕ. Conversely, if G ker ϕ, prove that Im ϕ is abelian. Proof. Suppose x, y G and let ϕ G A be a homomorphism where A is abelian. Observe that ϕ(x 1 y 1 xy) = ϕ(x) 1 ϕ(y) 1 ϕ(x)ϕ(y). Since A is abelian, we can rearrange to find: ϕ(x 1 y 1 xy) = ϕ(x) 1 ϕ(x)ϕ(y) 1 ϕ(y) = 1 A so x 1 y 1 xy ker ϕ. Thus every commutator lies in ker ϕ which is a subgroup of G, so G, the smallest subgroup of G containing all commutators of G, must be a subgroup of ker ϕ. Now conversely, suppose G ker ϕ where ϕ G H is a group homomorphism. By the first isomorphism theorem, Im ϕ G/ ker ϕ. Thus it suffices to show G/ ker ϕ is abelian. For x, y G: x 1 y 1 xy ker ϕ = ker ϕ 1 Note that the commutator subgroup contains ALL (finite) PRODUCTS of commutators which may not be commutators themselves.
3 3 because x 1 y 1 xy ker ϕ since G ker ϕ. Hence we have by properties of quotient groups: xy ker ϕ = yx ker ϕ x ker ϕy ker ϕ = y ker ϕx ker ϕ which shows that G/ ker ϕ is abelian. Hence Im ϕ is abelian. iv. If G H G, prove that H G. Proof. By proposition 2.123, H G if and only if H/G is a normal subgroup of G/G. Observe that G/G is abelian and every subgroup of an abelian group is normal. 2 Thus H/G is normal in G/G which is abelian by the previous part. We then conclude that H is normal in G. Problem 3: Supplemental Let (G, ) and (H, ) be groups and let f H Aut G be a homomorphism. operation on the set G H by: Define a binary (g 1, h 1 ) (g 2, h 2 ) = (g 1 f(h 1 )(g 2 ), h 1 h 2 ) Prove that (G H, ) is a group. Proof. Let g, g G and h, h H. We see that f(h)(g ) G because f(h) Aut G. Thus by closure of G, we have g f(h)(g ) G. Similarly, h 1 h 2 H, so: (g, h) (g, h ) = (g f(h)(g ), h 1 h 2 ) G H so (G H) is closed under. Observe that: (1 G, 1 H )(g, h) = (1 G f(1 H )(g), 1 H h) = (1 G g, 1 H h) = (g, h) (g, h)(1 G, 1 H ) = (g f(h)(1 G ), h 1 H ) = (g 1 G, h 1 H ) = (g, h) making (1 G, 1 H ) the identity in (G H, ). Note that f(1 H ) = id G because f is a homomorphism (which means identity maps to identity), and f(h)(1 G ) = 1 G because f(h) is a homomorphism which means it takes identity to identity as well. For inverses, if we want (g, h) (a, b) = (1 G, 1 H ), we need (g f(h)a, h b) = (1 G, 1 H ). Thus we need b = h 1 and f(h)(a) = g 1. Of course, such an a G exists because f is an automorphism and is surjective. Thus setting a, b with these parameters, we obtain an inverse for (g, h). Finally, we need to check associativity of the operation. Let g G and h H. Then check: (g, h) ((g, h ) (g, h )) = ((g, h) (g, h )) (g, h ) this is annoying but straightforward and is hence omitted. 2 This is easy, if A is an abelian group, for all a, b A, a 1 ba = b, so every subgroup is fixed under conjugation.
4 4 Problem 4: Supplemental Denote the group constructed in the previous exercise by G f H. For all n 3 find f n such that D 2n I n fn I 2. Proof. Recall that D 2n = a, b a n = b 2 = 1, ab = ba 1. With this presentation, every element of D 2n can be written in the form a k b m where 0 k < n, 0 b < 2. 3 Naively, we would want (k, m) I n I 2 to correspond to a k, b m where denotes the equivalence class of the specified integer either mod 2 or mod n as appropriate. When multiplying together a k b m a k b m, if m = 0, then we get a k+k b m+m. Otherwise if m = 1, we get a k a k bb m = a k k b m+m. In other words, if we want to realize D 2n in the desired form, we will want to apply some kind of inversion when the second coordinate of the first term is 1. Specifically, suppose we have an f I 2 Aut I n giving the desired transformation and let x, y, z, w Z. We want (x, y)(z, w) = (x+f(y)(z), y+w). In order for the corespondence we want, we need x+f(y)(z) = x + z if y = 0 and x z if y = 1. Hence define f Z Aut I n by: 4 f (t) = h ( 1) t h thus f (t) is either the identity or inversion, so f (t) is always an automorphism of I n. Check f (t + t ) = (h ( 1) t+t h) = (h ( 1) t ( 1) t h) = (f (t) f (t )). Hence f is a homomorphism whose kernel is precisely 2Z, then even numbers. Since I 2 = Z/2Z, f (t) induces a well defined homomorphism f I 2 Aut I n such that f(0) is identity and f(1) is inversion. Now set our group G = I n f I 2. Define a map ϕ D 2n G defined by ϕ a k b m (k, m). We need to check that ϕ is a homomorphism. Let k, m, k, m be integers with 0 k, k < n and m, m {0, 1}. Suppose first that m is even: ϕ(a k b m )ϕ(a k b m ) = (k, 0)(k, m ) = (k + f(0)(k ), 0 + m ) = (k + k, m + m ) On the other hand if m is odd: = (k + k, m + m ) = ϕ(a k+k b m+m ) ϕ(a k b m )ϕ(a k b m ) = (k, 1)(k, m ) = (k + f(1)(k ), 1 + m ) = (k k, 1 + m ) = ϕ(a k k b 1+m ) = ϕ(a k b 1 a k b m ) = ϕ(a k b m a k b m ) Thus ϕ is a homomorphism. If ϕ(a m b k ) = (0, 0), then with 0 k < n, 0 m < 2, then m = 0, k = 0, so a m b k = e, so ϕ is injective. Trivially, (m, k) = ϕ(a m b k ), so ϕ is surjective. Thus ϕ is an isomorphism of groups. 3 In order to see this, observe that whenever a b appears to the left of a power of a, the relation ab = ba 1 allows it to be moved to the right of any power of a. 4 Note that we are writing In as an additive group here with operation +.
5 5 Problem 5: Prove that the translation τ a S G defined by τ a a ag is a regular permutation (Assume G is finite). Proof. We need to show that τ a is a product of disjoint cycles of the same length with no fixed points or is the identity when S G is identified with S G. Observe that the elements can be reached from g by applying τ a repeatedly are exactly those of the form (τ a ) n (g) = a n g for n N where in practice, a a = 1, so this consists exactly of the elements g, ag, a 2 g,..., a a 1 g. Hence in the disjoint cycle decomposition of τ a, g is in the cycle (a, a 2 g, a 3 g,..., a a 1 g). Note that this cycle coincides exactly with a g, a right coset of g in G. Since a was arbitrary, any element in G appears in the disjoint cycle decomposition of τ a in a cycle which is some permutation of the elements of a g. Hence the cycle length for g is exactly a g. The proof to Lagrange s theorem shows that all cosets of a have the same order, namely a = a. Thus we see that τ a is a product of disjoint cycles of equal length. If τ a has a fixed point, then ag = g for some g G, but then a = 1 G. In that case, τ a is the identity map on G, so τ a has a fixed point only if it is the identity. Hence τ a is a regular permutation. Problem 6: Let σ, τ S 5 with σ a 5 cycle and τ a transposition. Show that σ, τ = S 5. Proof. Without loss of generality, we may relabel so that τ = (12). Since σ is a 5-cycle, then there exists 0 < k < 5 such that σ k (1) = 2. Since 5 is prime and 0 < k < 5 so that (5, k) = 1, σ k is also a 5 cycle. Thus (σ k ) l (2) 1, 2 if l < 3. Since we only needed to fix the labelling of 1, 2, we can freely change the labelling of 3, 4, 5 and still have a group isomorphic to S 5 with τ = (12). Thus we can relabel so that without loss of generality σ k = (12345) because the first two letters of the 5 cycle σ k are fixed as 1, 2, so the last 3 must be among 3, 4, 5. Now observe that the element (12345) n (12)(12345) n = (1 + n, 2 + n) for 0 n 3 and is in σ, τ (You should actually show this calculation). Thus σ, τ contains all of the simple transpositions in S 5. In a previous homework exercise, we showed that the simple transpositions in S n generate S n, so σ, τ must contain S 5, so we conclude they are equal.
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 informationTwo subgroups and semi-direct products
Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset
More informationMath 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 informationElements 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 informationPROBLEMS 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 informationIntroduction 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 informationSolutions 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 informationBASIC 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 informationABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.
ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS. ANDREW SALCH 1. Subgroups, conjugacy, normality. I think you already know what a subgroup is: Definition
More informationMath 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 informationAlgebra 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 informationSolutions 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 informationMAT1100HF 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 informationSupplement. 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 informationMODEL 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 informationAlgebra-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 informationMATH 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 informationA. (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 informationHomework #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 information120A 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 informationSolution 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 informationThe 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 informationAlgebra 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 informationMath 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 information23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.
23. Quotient groups II 23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. Theorem (FTH). Let G, H be groups and ϕ : G H a homomorphism.
More informationSection 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 informationMATH 436 Notes: Cyclic groups and Invariant Subgroups.
MATH 436 Notes: Cyclic groups and Invariant Subgroups. Jonathan Pakianathan September 30, 2003 1 Cyclic Groups Now that we have enough basic tools, let us go back and study the structure of cyclic groups.
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).
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 information2) 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 information23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.
23. Quotient groups II 23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. Theorem (FTH). Let G, Q be groups and ϕ : G Q a homomorphism.
More informationPhysics 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 informationBasic 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 informationSPRING 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 informationSolutions for Assignment 4 Math 402
Solutions for Assignment 4 Math 402 Page 74, problem 6. Assume that φ : G G is a group homomorphism. Let H = φ(g). We will prove that H is a subgroup of G. Let e and e denote the identity elements of G
More information1.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 informationNormal 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 informationSUMMARY 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 informationGroup 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 informationFall 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 informationTheorems 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 informationits image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1
10 Chapter 1 Groups 1.1 Isomorphism theorems Throughout the chapter, we ll be studying the category of groups. Let G, H be groups. Recall that a homomorphism f : G H means a function such that f(g 1 g
More informationABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH
ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH 1. Homomorphisms and isomorphisms between groups. Definition 1.1. Let G, H be groups.
More informationExercises 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 informationDefinitions. 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 informationChapter 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 informationCosets 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 information2MA105 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 informationDISCRETE 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 informationINTRODUCTION 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(d) Since we can think of isometries of a regular 2n-gon as invertible linear operators on R 2, we get a 2-dimensional representation of G for
Solutions to Homework #7 0. Prove that [S n, S n ] = A n for every n 2 (where A n is the alternating group). Solution: Since [f, g] = f 1 g 1 fg is an even permutation for all f, g S n and since A n is
More informationProblem 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 informationCourse 311: Abstract Algebra Academic year
Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 1 Topics in Group Theory 1 1.1 Groups............................... 1 1.2 Examples of Groups.......................
More informationFall /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 informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
More informationMODEL ANSWERS TO HWK #4. ϕ(ab) = [ab] = [a][b]
MODEL ANSWERS TO HWK #4 1. (i) 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 seen to be nz. (ii) No. Suppose that
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationMath 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 informationChapter 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 informationCosets, 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 informationENTRY 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 informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationSection III.15. Factor-Group Computations and Simple Groups
III.15 Factor-Group Computations 1 Section III.15. Factor-Group Computations and Simple Groups Note. In this section, we try to extract information about a group G by considering properties of the factor
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationMath 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 informationSchool 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 informationM3P10: GROUP THEORY LECTURES BY DR. JOHN BRITNELL; NOTES BY ALEKSANDER HORAWA
M3P10: GROUP THEORY LECTURES BY DR. JOHN BRITNELL; NOTES BY ALEKSANDER HORAWA These are notes from the course M3P10: Group Theory taught by Dr. John Britnell, in Fall 2015 at Imperial College London. They
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/54851 holds various files of this Leiden University dissertation Author: Stanojkovski, M. Title: Intense automorphisms of finite groups Issue Date: 2017-09-05
More informationHW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below).
Teddy Einstein Math 430 HW Solutions Problem 1:. Find the sign and inverse of the permutation shown in the book (and below). Proof. Its disjoint cycle decomposition is: (19)(8)(37)(46) which immediately
More informationMath 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 informationHOMEWORK 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 informationGroup 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 informationName: 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 informationLecture 7.3: Ring homomorphisms
Lecture 7.3: Ring homomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 7.3:
More informationAlgebra. 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 informationSolutions Cluster A: Getting a feel for groups
Solutions Cluster A: Getting a feel for groups 1. Some basics (a) Show that the empty set does not admit a group structure. By definition, a group must contain at least one element the identity element.
More information5 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 informationGROUP THEORY EXERCISES AND SOLUTIONS
GROUP THEORY EXERCISES AND SOLUTIONS Mahmut Kuzucuoğlu Middle East Technical University matmah@metu.edu.tr Ankara, TURKEY November 10, 2014 ii iii TABLE OF CONTENTS CHAPTERS 0. PREFACE..................................................
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More informationModule MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013
Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents 1 Basic Principles of Group Theory 1 1.1 Groups...............................
More information(Think: three copies of C) i j = k = j i, j k = i = k j, k i = j = i k.
Warm-up: The quaternion group, denoted Q 8, is the set {1, 1, i, i, j, j, k, k} with product given by 1 a = a 1 = a a Q 8, ( 1) ( 1) = 1, i 2 = j 2 = k 2 = 1, ( 1) a = a ( 1) = a a Q 8, (Think: three copies
More informationMathematics 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 informationCOMBINATORIAL GROUP THEORY NOTES
COMBINATORIAL GROUP THEORY NOTES These are being written as a companion to Chapter 1 of Hatcher. The aim is to give a description of some of the group theory required to work with the fundamental groups
More informationWritten Homework # 2 Solution
Math 516 Fall 2006 Radford Written Homework # 2 Solution 10/09/06 Let G be a non-empty set with binary operation. For non-empty subsets S, T G we define the product of the sets S and T by If S = {s} is
More informationLecture Notes. Group Theory. Gunnar Traustason (Autumn 2016)
Lecture Notes in Group Theory Gunnar Traustason (Autumn 2016) 0 0 Introduction. Groups and symmetry Group Theory can be viewed as the mathematical theory that deals with symmetry, where symmetry has a
More informationMath 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 informationMATH 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 informationAlgebraic 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 informationDefinition 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 informationDefinitions, 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 informationIsomorphisms. 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φ(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 informationStab(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.
1. Group Theory II In this section we consider groups operating on sets. This is not particularly new. For example, the permutation group S n acts on the subset N n = {1, 2,...,n} of N. Also the group
More informationAlgebra 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 information1.5 Applications Of The Sylow Theorems
14 CHAPTER1. GROUP THEORY 8. The Sylow theorems are about subgroups whose order is a power of a prime p. Here is a result about subgroups of index p. Let H be a subgroup of the finite group G, and assume
More informationA study of permutation groups and coherent configurations. John Herbert Batchelor. A Creative Component submitted to the graduate faculty
A study of permutation groups and coherent configurations by John Herbert Batchelor A Creative Component submitted to the graduate faculty in partial fulfillment of the requirements for the degree of MASTER
More information3. 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 informationPseudo Sylow numbers
Pseudo Sylow numbers Benjamin Sambale May 16, 2018 Abstract One part of Sylow s famous theorem in group theory states that the number of Sylow p- subgroups of a finite group is always congruent to 1 modulo
More informationAutomorphism 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 informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationSolutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3
Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group
More information