Assignment 8: Selected Solutions



Similar documents
Group Fundamentals. Chapter Groups and Subgroups Definition

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory

2. Let H and K be subgroups of a group G. Show that H K G if and only if H K or K H.

Notes on Group Theory

GROUP ACTIONS KEITH CONRAD

6 Commutators and the derived series. [x,y] = xyx 1 y 1.

GROUPS ACTING ON A SET

Chapter 7: Products and quotients

CONSEQUENCES OF THE SYLOW THEOREMS

Group Theory. Contents

Group Theory. Chapter 1

NOTES ON GROUP THEORY

(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4.

4. FIRST STEPS IN THE THEORY 4.1. A

Elements of Abstract Group Theory

9. Quotient Groups Given a group G and a subgroup H, under what circumstances can we find a homomorphism φ: G G ', such that H is the kernel of φ?

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

Abstract Algebra Cheat Sheet

How To Solve The Group Theory

Chapter 7. Permutation Groups

4.1 Modules, Homomorphisms, and Exact Sequences

Notes on finite group theory. Peter J. Cameron

Test1. Due Friday, March 13, 2015.

calculating the result modulo 3, as follows: p(0) = = 1 0,

FINITE GROUP THEORY. FOR COMBINATORISTS Volume one. Jin Ho Kwak. Department of Mathematics POSTECH Pohang, Korea

G = G 0 > G 1 > > G k = {e}

How To Factorize Of Finite Abelian Groups By A Cyclic Subset Of A Finite Group

S on n elements. A good way to think about permutations is the following. Consider the A = 1,2,3, 4 whose elements we permute with the P =

6.2 Permutations continued

= = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

Galois Theory. Richard Koch

Math 250A: Groups, rings, and fields. H. W. Lenstra jr. 1. Prerequisites

SOLUTIONS TO PROBLEM SET 3

Introduction to Modern Algebra

Lemma 5.2. Let S be a set. (1) Let f and g be two permutations of S. Then the composition of f and g is a permutation of S.

Chapter 13: Basic ring theory

Galois Theory III Splitting fields.

GROUP ALGEBRAS. ANDREI YAFAEV

Math 231b Lecture 35. G. Quick

Mathematics Course 111: Algebra I Part IV: Vector Spaces

GENERATING SETS KEITH CONRAD

INTRODUCTORY SET THEORY

3 1. Note that all cubes solve it; therefore, there are no more

Geometric Transformations

How To Prove The Dirichlet Unit Theorem

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Factoring of Prime Ideals in Extensions

1 Symmetries of regular polyhedra

(Q, ), (R, ), (C, ), where the star means without 0, (Q +, ), (R +, ), where the plus-sign means just positive numbers, and (U, ),

Galois representations with open image

THE AVERAGE DEGREE OF AN IRREDUCIBLE CHARACTER OF A FINITE GROUP

GROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS

Algebra & Number Theory. A. Baker

it is easy to see that α = a

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

Abstract Algebra Theory and Applications. Thomas W. Judson Stephen F. Austin State University

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

5. Linear algebra I: dimension

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

Notes on Algebraic Structures. Peter J. Cameron

ALGEBRA HW 5 CLAY SHONKWILER

Universitext. Springer. S. Axler F.W. Gehring K.A. Ribet. Editorial Board (North America): New York Berlin Heidelberg Hong Kong London Milan Paris

ADDITIVE GROUPS OF RINGS WITH IDENTITY

The Structure of Galois Algebras

1 = (a 0 + b 0 α) (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

Factoring finite abelian groups

SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

Group Theory and the Rubik s Cube. Janet Chen

FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

MATH PROBLEMS, WITH SOLUTIONS

Ideal Class Group and Units

Computing the Symmetry Groups of the Platonic Solids With the Help of Maple

11 Ideals Revisiting Z

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

Cardinality. The set of all finite strings over the alphabet of lowercase letters is countable. The set of real numbers R is an uncountable set.

4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:

Abstract Algebra. Definition of fields is assumed throughout these notes. Algebra is generous; she often gives more than is asked of her.

Matrix Representations of Linear Transformations and Changes of Coordinates

ZORN S LEMMA AND SOME APPLICATIONS

Algebraic Geometry. Keerthi Madapusi

Algebra of the 2x2x2 Rubik s Cube

Chapter 13. Fractional Factorials Fractional replicates

Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

Groups with the same orders and large character degrees as PGL(2, 9) 1. Introduction and preliminary results

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples

Lecture 13 - Basic Number Theory.

ABEL S THEOREM IN PROBLEMS AND SOLUTIONS

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.

Alexander Hulpke Department of Mathematics Colorado State University Fort Collins, CO, 80523, USA

University of Lille I PC first year list of exercises n 7. Review

Primality - Factorization

Transcription:

Section 4.1 Assignment 8: Selected Solutions 1. and 2. Express each permutation as a product of disjoint cycles, and identify their parity. (1) (1,9,2,3)(1,9,6,5)(1,4,8,7)=(1,4,8,7,2,3)(5,9,6), odd; (2) (1,2,9)(3,4)(5,6,7,8,9)(4,9)=(1,2,9,3,4,5,6,7,8), even; (3) (1,4,8,7)(1,9,6,5)(1,5,3,2,9)=(1,4,8,7)(2,6,5,3), even; (4) (1,4,2,3,5)(1,3,4,5)=(1,5,4)(2,3), odd; (5) (1,3,5,4,2)(1,4,3,5)=(1,2)(3,4,5), odd; (6) (1,9,2,4)(1,7,6,5,9)(1,2,3,8)=(1,4)(2,3,8,7,6,5), even; (7) (2,3,7)(1,2)(3,5,7,6,4)(1,4)=(1,7,6,4,3,5,2), even; (8) (4,9,6,7,8)(2,6,4)(1,8,7)(3,5)=(1,4,2,7)(3,5)(6,9), odd. 14. List the elements of A 3 in cycle notation. A 3 = (1, 2, 3) = {(1), (123), (321)} S 3 4.2 9. Let G be a group. For each element a G, let k a : G G be the map k a (g) = ga 1. (1) Prove that each k a is a permutation of G; (2) Prove that K = {k a a G} is a group under composition of maps; (3) Define ϕ : G K by ϕ(a) = k a. Determine if ϕ is an isomorphism. (1) Observe that k a is surjective, since given g G, k a (ga) = (ga)a 1 = g. Also, k a is injective since, if ga 1 = k a (g) = k a (h) = ha 1, then g = (ga 1 )a = (ha 1 )a = h. (2) We show that K Sym(G) is a subgroup (I am using the notation Sym(G) for the group of permutations of G). Indeed, k 1 : G G is the identity map, so K contains the identity. Next, one calculates k 1 a = k a 1: k a k a 1(g) = k a (ga) = (ga)a 1 = g and k a 1k a (g) = k a 1(ga 1 ) = (ga 1 )a = g. Finally, we check that k a k b = k ab : k a k b (g) = k a (gb 1 ) = gb 1 a 1 = g(ab) 1 = k ab (g). (3) First note that ϕ is obviously bijective. The computation in the previous line shows that ϕ(ab) = k ab = k a k b = ϕ(a)ϕ(b) 1

2 so ϕ is an isomorphism. 4.3 28. Let G be the group of the rigid motions of the tetrahetron: Determine G. 3 1 4 2 Actually, we can show that G = A 4. Indeed, G is generated by the 3- cycles (123), (124), (134), (234). Therefore, we just need to show that A n, n 3 is generated by 3-cycles. To this end we prove Claim: Any even permutation can be written as the product of 3-cycles. Indeed, any even permutation can be written as product of an even number of transpositions, so we just need to show that any pair of transpositions can be written as a product of 3-cycles. To this end, we consider the two possible cases: (1) Product of disjoint transpositions: (a, b)(c, d) = (a, b)(b, c)(b, c)(c, d) = (a, b, c)(b, c, d); (2) Product of non-disjoint transpositions: (a, b)(b, c) = (a, b, c). This proves the claim. Therefore, G = A 4, so G = A 4, since S 4 / A 4 = [S 4 : A 4 ] = 2, it follows that A 4 = 4!/2 = 12. 4.4 3. Let H be the subgroup (1, 2) S 3. (1) Find the distinct left cosets of H in S 3. (2) Find the distinct right cosets of H in S 3. (1) The left cosets are: (123)H = {(123), (13)}. H = {1, (12)} (23)H = {(23), (321)}

3 (2) The right cosets are: H = {1, (12)} H(23) = {(23), (123)} H(321) = {(321), (13)}. 7. Let H be a subgroup of the group G. Prove that if two right cosets Ha and Hb are not disjoint, then Ha = Hb. Assume x Ha Hb. Then x = h 1 a = h 2 b for some h 1, h 2 H. Therefore a = h 1 1 x = h 1 1 h 2 b, showing that a Hb and therefore Ha Hb. By a symmetric argument H b H a, so equality holds. 22. Let G be a group of order pq where p and q are primes. Show that any proper nontrivial subgroup of G is cyclic. Let H G be a proper nontrivial subgroup. Then, by Lagrange s theorem, H is either p or q. In particular, H has prime order, so H is cyclic. 4.5 6. Show that every subgroup of an abelian group is normal. Let G be an abelian group and H a subgroup of G. Then, for h H and g G, ghg 1 = gg 1 h = 1h = h H. Hence, H is normal. 15. If {H λ } λ L is a collection of normal subgroups, for some index set L, then λ L H λ is a normal subgroup. Let h H λ and g G. Then, h H λ for all λ. Since each H λ is normal, ghg 1 H λ for each λ. Thus, ghg 1 H λ as required. 21. Prove that if H and K are normal subgroups of a group G such that H K = {1}, then hk = kh for all h H and k K. Note that hk = kh if, and only if hkh 1 k 1 = 1. But, (since K is normal) (hkh 1 k 1 K, and (since H is normal) h(kh 1 k 1 ) H. Therefore, hkh 1 k 1 H K = {1} proving the result. 32. Let H be a subgroup of G of index 2. (1) Prove that H is normal in G. (2) Prove that g 2 H for all g G. (1) To prove that H is normal, we first observe that G/H = {H, xh} where x is any element of G that is NOT in H. Now, assume g G and h H. If

4 g H, then of course ghg 1 H as H is a subgroup. We may therefore consider the case where g / H. To show that ghg 1 H, we show that ghg 1 H = H. Indeed, suppose not. Then ghg 1 H = gh (as g / H is one such x as above). But this means that g 1 (ghg 1 ) = hg 1 = h H. It now follows that g = (h ) 1 h H, a contradiction. We must therefore have ghg 1 H. (2) Since H is normal, G/H is a group of order 2. This means that for every g G, g 2 H = (gh) 2 = H. But this simply says that g 2 H. 4.6 21. Let H be a normal subgroup of a finite group G. If the order of the quotient group G/H is m, prove that g m H for every g G. This is a generalization of the last problem. Indeed, as G/H = m, gh divides m for every g G. This just means that g m H = (gh) m = H, so g m H. 22. Let H be a normal subgroup of the group G. Prove that G/H is abelian if, and only if a 1 b 1 ab H for every a, b G. The group G/H is abelian if, and only if, abh = ahbh = bhah = bah. This is equivalent to saying ab H ba, or a 1 b 1 ab = (ba) 1 ab H. 32. Let Inn(G) be the group of inner automorphisms of G. It consists of the automorphisms t a : G G (a G) defined by t a (g) = aga 1. Prove that Inn(G) is a normal subgroup of Aut(G). Let a G and β Aut(G). We show that βt a β 1 = t β(a). Indeed, suppose that g G. Then (βt a β 1 )(g) = (βt a )(β 1 (g)) = β(aβ 1 (g)a 1 ) = β(a)β(β 1 (g))β(a 1 ) = β(a)gβ(a) 1 = t β(a) (g). 34. If H and K are normal subgroups of a group G such that G = HK and H K = {1}, then G is said to be the internal direct product of H and K, written G = H K. If G = H K, prove that ϕ : H G/K defined by ϕ(h) = hk is an isomorphism.

First, note that ϕ(h 1 h 2 ) = h 1 h 2 K = h 1 Kh 2 K = ϕ(h 1 )ϕ(h 2 ), so ϕ is a homomorphism. Note that if h ker ϕ, then ϕ(h) = hk = K, so h H K = {1} showing that ϕ is injective. To see that ϕ is surjective, note that any g G can be written as g = hk for some h H and k K. Therefore, gk = hkk = hk = ϕ(h). This proves that ϕ is an isomorphism. 5