Solutions of Assignment 10 Basic Algebra I

Similar documents
Answers to Final Exam

SF2729 GROUPS AND RINGS LECTURE NOTES

Group Theory

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

3.8 Cosets, Normal Subgroups, and Factor Groups

MA441: Algebraic Structures I. Lecture 18

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

Fall /29/18 Time Limit: 75 Minutes

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

Algebra Exercises in group theory

Exercises on chapter 1

1 Chapter 6 - Exercise 1.8.cf

Lecture 7 Cyclic groups and subgroups

(Think: three copies of C) i j = k = j i, j k = i = k j, k i = j = i k.

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

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

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

Group Theory pt 2. PHYS Southern Illinois University. November 16, 2016

Algebraic Structures Exam File Fall 2013 Exam #1

Quiz 2 Practice Problems

Groups and Symmetries

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

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

DIHEDRAL GROUPS II KEITH CONRAD

Math 210A: Algebra, Homework 5

MA441: Algebraic Structures I. Lecture 26

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

Introduction to Groups

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

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.

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

MODEL ANSWERS TO THE FIFTH HOMEWORK

Homework #11 Solutions

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

SUPPLEMENT ON THE SYMMETRIC GROUP

Class Equation & Conjugacy in Groups

MATH 251, Handout on Sylow, Direct Products, and Finite Abelian Groups

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

Homework #5 Solutions

A Little Beyond: Linear Algebra

0 Sets and Induction. Sets

The Symmetric Groups

Abstract Algebra II Groups ( )

The Outer Automorphism of S 6

ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.

Algebra-I, Fall Solutions to Midterm #1

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.

Midterm Exam. There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of your work! Best 5

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

Chapter 9: Group actions

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

REPRESENTATION THEORY. WEEK 4

ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS

5 Group theory. 5.1 Binary operations

Notes on Group Theory. by Avinash Sathaye, Professor of Mathematics November 5, 2013

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.

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

Rohit Garg Roll no Dr. Deepak Gumber

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

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

Lecture Note of Week 2

GROUPS AS GRAPHS. W. B. Vasantha Kandasamy Florentin Smarandache

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.

REU 2007 Discrete Math Lecture 2

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

Teddy Einstein Math 4320

Lectures - XXIII and XXIV Coproducts and Pushouts

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

Recall: Properties of Homomorphisms

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

15 Permutation representations and G-sets

DISCRETE MATHEMATICS W W L CHEN

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

Math 4400, Spring 08, Sample problems Final Exam.

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples:

Part II Permutations, Cosets and Direct Product

INTRODUCTION TO THE GROUP THEORY

Block Introduction. Some self study examples and proof of the theorems are left to the readers to check their progress.

MA441: Algebraic Structures I. Lecture 14

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

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Elements of solution for Homework 5

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

3.3 Equivalence Relations and Partitions on Groups

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

Section 0. Sets and Relations

January 2016 Qualifying Examination

Chapter 5. Modular arithmetic. 5.1 The modular ring

Some practice problems for midterm 2

The Ring of Monomial Representations

Math 103A Fall 2012 Exam 2 Solutions

n ) = f (x 1 ) e 1... f (x n ) e n

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

GROUP ACTIONS RYAN C. SPIELER

Lecture 6 Special Subgroups

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

Section 10: Counting the Elements of a Finite Group

Math 120: Homework 6 Solutions

Transcription:

Solutions of Assignment 10 Basic Algebra I November 25, 2004 Solution of the problem 1. Let a = m, bab 1 = n. Since (bab 1 ) m = (bab 1 )(bab 1 ) (bab 1 ) = ba m b 1 = b1b 1 = 1, we have n m. Conversely, since we have m n. Thus m = n. a n = b 1 ba n b 1 b = b 1 (bab 1 ) n b = b 1 1b = 1, Solution of the problem 2. Recall A non-empty subset H of a group G is a subgroup iff it satisfies the following property: h 1, h 2 H h 1 h 1 2 H. ( ) Now back to our problem, we check that H = H 1 H 2 satisfies ( ): Take h 1, h 2 H. So, h 1, h 2 H 1 ; h 1, h 2 H 2. Since both H 1 and H 2 are assumed to be subgroups of G, then ( ) tells us that Therefore h 1 h 1 2 H. h 1 h 1 2 H 1, h 1 h 1 2 H 2. For the union, we shall prove the following: H 1 H 2 is a subgroup of G iff either H 1 H 2 or H 2 H 1. Proof Sufficiency is clear. So, suppose that H 1 H 2 is a subgroup of G, and, on the contrary, assume that H 1 H 2 and that H 2 H 1. These in return imply that h 1 H 1, s.t. h 1 H 2 ; h 2 H 2, s.t. h 2 H 1. 1

Since h 1 h 2 H 1 H 2 (why?), then we would have either h 1 h 2 H 1 or h 1 h 2 H 2, and both are impossible (why?). Done. Solution of the problem 3. Let a = m. By Lagrange s theorem, m n. So, a n = (a m ) n m = 1 n m = 1. For the second part, if a 0 (mod p), then it is evident that p a(a p 1 1) = a p a. And if a 0 (mod p), then a Z p, and since Z p is a group of order p 1, by what we proved above, a p 1 = 1 (in Z p ), so p a(a p 1 1) = a p a. Solution of the problem 4. We verify that Z(S) satisfies ( ) in the solution of problem 2: Let a, b Z(S). So, as = sa, bs = sb for s S. First note that sb 1 = b 1 bsb 1 = b 1 sbb 1 = b 1 s. Therefore hence ab 1 Z(S). (ab 1 )s = ab 1 s = asb 1 = sab 1 = s(ab 1 ), Solution of the problem 5. Define φ : G 1 G 2, φ(x) = ln(x). φ is clearly bijective. Also note that φ(xy) = ln(xy) = ln(x) + ln(y) = φ(x) + φ(y). So, φ is homomorphism, hence an isomorphism. Solution of the problem 6. Let a = m, f(a) = n. Since f is a homomorphism, we have f(a) m = f(a m ) = f(1 G1 ) = 1 G2. So, n m. If f is also injective, we have f(a n ) = f(a) n = 1 G2 = f(1 G1 ). So, a n = 1 G1, since f is injective. Thus m n and we are done. Solution of the problem 7. Note that: (i) G is closed under multiplication (check this); (ii) G contains the identity element 1 (clear); (iii) G contains the inverse of all its elements: (±1) 1 = ±1, (±i) 1 = i, (±j) 1 = j, (±k) 1 = k. 2

Hence G is a (sub)group of the multiplicative group of non-zero elements of H. For the second part, enough to see that the dihedral group D 4 has two elements of order 4, namely r 1 and r 3, whereas in the group G above, there are six elements of order 4, namely ±i, ± j, ± k. So, G = D4. Extra Credit Solution of the problem 9. Let V = Z 2 Z 2 = {(0, 0), (1, 0), (0, 1), (1, 1)} = {o, e 1, e 2, e 3 }, where o = (0, 0), e 1 = (1, 0), e 2 = (0, 1), e 3 = (1, 1). We will view V as a vector space of dimension 2 over the field Z 2. Fix the basis {e 1, e 2 } for V. Now each matrix ( ) a b GL 2 (Z 2 ) may be viewed as a bijective linear( transformation ) from V into itself (by multiplication from left to e i s). Each permutes e 1, e 2, e 3. For example a b 1 1 1 1 1 1 e 1 = = = e 1, 0 1 0 1 0 0 1 1 1 1 0 1 e 2 = = = e 3, 0 1 0 1 1 1 1 1 1 1 1 0 e 3 = = = e 2. 0 1 0 1 1 1 So, ( ( ) ) 1 1 1 2 3 0 1 can be corresponded to the permutation σ =. 1 3 2 In general, we can define a well-defined map, ψ say, from the group GL 2 (Z 2 ) into the group S 3 : ( ) ( ) a b 1 2 3 σ =, σ(1)σ(2)σ(3) where ( ) a b e i = e σ(i) (1 i 3). ψ is clearly an injective group homomorphism (check this). On the other hand, since S 3 = GL 2 (Z 2 ) = 6, we conclude that ψ is also onto, hence an isomorphism. Solution of the problem 10. Let G be a group, and let a, b G. b is said to be conjugate to a if b = gag 1 for some g G. Notice that (i) Every a is conjugate to itself: a = 1a1 1 ; (ii) If b is conjugate to a, then a is also conjugate to b: b = gag 1 a = g 1 b(g 1 ) 1 ; 3

(iii) If b is conjugate to a, and if c is conjugate to b, then c is also conjugate to a: b = g 1 ag1 1, c = g 2bg2 1 c = (g 2 g 1 )a(g 2 g 1 ) 1. So, conjugacy is an equivalence relation in G. Denote the conjugacy class of a G by cl[a]: cl[a] := {gag 1 : g G}. Now suppose that N G, i.e., N is a normal subgroup of G. Given any a N, it is obvious that cl[a] N (why?). Thus N is the disjoint union of the conjugacy classes of its elements. Conversely, if a subgroup of G is a union of some conjugacy classes in G, that subgroup is clearly normal. So, one way to find all normal subgroups of G is to look at those unions of conjugacy classes in G which constitute a subgroup. To determine the conjugacy classes in the symmetric group S n, we will exploit the following useful fact: Permutations α, β S n are conjugate iff the have the same cyclic structure, i.e., iff their complete factorization into disjoint cycles have the same number of r-cycles for each r. Example Let α = (2 3 1)(4 5)(6); β = (5 6 2)(3 1)(4); γ = (2 3 1)(4 5 6). α and β are conjugate, ( since ) they have the same cyclic structure. In fact the 1 2 3 4 5 6 permutation δ = does what we want: δαδ 1 = β (check this). In 2 5 6 3 1 4 complete contrast, α and γ are not conjugate, because they don t have the same cyclic structure. Using the above fact, now listing the set of all conjugacy classes in S 4 is an easy(!) task: C 1 = {(1)}; C 2 = {(1 2), (1 3), (1 4), (2 3), (2 4), (3 4)}; C 3 = {(1 2 3), (1 3 2), (1 2 4), (1 4 2), (1 3 4), (1 4 3), (2 3 4), (2 4 3)}; C 4 = {(1 2 3 4), (1 2 4 3), (1 3 2 4), (1 3 4 2), (1 4 2 3), (1 4 3 2)}; C 5 = {(1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}. Examining all the possibilities, one can find all the normal subgroups of S 4 : {1} = C 1 ; V = C 1 C 5 ; A 4 = C 1 C 3 C 5 ; S 4 = C 1 C 2 C 3 C 4 C 5. As for S 5, the following is the complete list of all conjugacy classes: cl[(1)]; cl[(1 2)]; cl[(1 2 3)]; cl[(1 2 3 4)]; 4

cl[(1 2 3 4 5)]; cl[(1 2)(3 4)]; cl[(1 2 3)(4 5)]. And finally, one can find all normal subgroups of S 5. Here you are: {1}; A 5 ; S 5. Conclusion A 5 is the only proper non-trivial normal subgroup of S 5. In fact, this holds for any n 4. 5