10-1100/Homework Assignment 2

DBN: Classes: 2010-11: 10-1100/Navigation Additions to the MAT 1100 web site no longer count towards good deed points # Week of... Notes and Links 1 Sep 13 About This Class, Tuesday - Non Commutative Gaussian Elimination, Thursday 2 Sep 20 Tuesday - Homomorphisms and Normal Groups, Thursday - Isomorphism Theorems 3 Sep 27 Class Photo, HW1, HW1 solution 4 Oct 4 5 Oct 11 HW2, HW2 solution 6 Oct 18 7 Oct 25 Term Test 8 Nov 1 HW3, HW3 solution 9 Nov 8 Monday-Tuesday is Fall Break, One Theorem, Two Corollaries, Four Weeks 10 Nov 15 HW4, HW4 solution 11 Nov 22 12 Nov 29 HW5, HW5 solution 13 Dec 6 Boxing Day Handout, see also December 2010 Schedule. Some Class Notes F Dec 13 Final exam, Tuesday December 14 10-1, Bahen 6183 Register of Good Deeds Add your name / see who's in! See Non Commutative Gaussian Elimination

This assignment is due at class time on Thursday, October 21, 2010.

Solve the following questions

1. (Selick)
   1. What it the least integer [math]\displaystyle{ n }[/math] for which the symmetric group [math]\displaystyle{ S_n }[/math] contains an element of order 18?
   2. What is the maximal order of an element in [math]\displaystyle{ S_{52} }[/math]? (That is, of a shuffling of a deck of cards?)
2. (Selick) Let [math]\displaystyle{ H }[/math] be a subgroup of index 2 in a group [math]\displaystyle{ G }[/math]. Show that [math]\displaystyle{ H }[/math] is normal in [math]\displaystyle{ G }[/math].
3. Let [math]\displaystyle{ \sigma\in S_{20} }[/math] be a permutation whose cycle decomposition consists of one 5-cycle, two 3-cycles, and one 2-cycle. What is the order of the centralizer [math]\displaystyle{ C_{S_{20}}(\sigma) }[/math] of [math]\displaystyle{ \sigma }[/math]?
4. (Selick) Let [math]\displaystyle{ G }[/math] be a group of odd order. Show that [math]\displaystyle{ x }[/math] is not conjugate to [math]\displaystyle{ x^{-1} }[/math] unless [math]\displaystyle{ x=e }[/math].
5. (Dummit and Foote) Show that if [math]\displaystyle{ G/Z(G) }[/math] is cyclic then [math]\displaystyle{ G }[/math] is Abelian.
6. (Lang) Prove that if the group of automorphisms of a group [math]\displaystyle{ G }[/math] is cyclic, then [math]\displaystyle{ G }[/math] is Abelian.
7. (Lang)
   1. Let [math]\displaystyle{ G }[/math] be a group and let [math]\displaystyle{ H }[/math] be a subgroup of finite index. Prove that there is a normal subgroup [math]\displaystyle{ N }[/math] of [math]\displaystyle{ G }[/math], contained in [math]\displaystyle{ H }[/math], so that [math]\displaystyle{ (G:N) }[/math] is also finite. (Hint: Let [math]\displaystyle{ (G:H)=n }[/math] and find a morphism [math]\displaystyle{ G\to S_n }[/math] whose kernel is contained in [math]\displaystyle{ H }[/math].)
   2. Let [math]\displaystyle{ G }[/math] be a group and [math]\displaystyle{ H_1 }[/math] and [math]\displaystyle{ H_2 }[/math] be subgroups of [math]\displaystyle{ G }[/math]. Suppose [math]\displaystyle{ (G:H_1)\lt \infty }[/math] and [math]\displaystyle{ (G:H_2)\lt \infty }[/math]. Show that [math]\displaystyle{ (G:H_1\cap H_2)\lt \infty }[/math]