|
|
Line 5: |
Line 5: |
|
|
|
|
|
===Solve the following questions=== |
|
===Solve the following questions=== |
|
|
(but submit only your solutions for problems ??). |
|
|
|
|
|
# (Selick)
|
|
'''Problem 1.''' (Selick) |
|
## What it the least integer <math>n</math> for which the symmetric group <math>S_n</math> contains an element of order 18?
|
|
# What it the least integer <math>n</math> for which the symmetric group <math>S_n</math> contains an element of order 18? |
|
## What is the maximal order of an element in <math>S_{26}</math>? (That is, of a shuffling of the red cards within a deck of cards?)
|
|
# What is the maximal order of an element in <math>S_{26}</math>? (That is, of a shuffling of the red cards within a deck of cards?) |
⚫ |
# (Selick) Let <math>H</math> be a subgroup of index 2 in a group <math>G</math>. Show that <math>H</math> is normal in <math>G</math>. |
|
|
# Let <math>\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>C_{S_{20}}(\sigma)</math> of <math>\sigma</math>? |
|
|
# (Selick) Let <math>G</math> be a group of odd order. Show that <math>x</math> is not conjugate to <math>x^{-1}</math> unless <math>x=e</math>. |
|
⚫ |
# (Dummit and Foote) Show that if <math>G/Z(G)</math> is cyclic then <math>G</math> is Abelian. |
|
⚫ |
# (Lang) Prove that if the group of automorphisms of a group <math>G</math> is cyclic, then <math>G</math> is Abelian. |
|
|
# (Lang) |
|
⚫ |
## Let <math>G</math> be a group and let <math>H</math> be a subgroup of finite index. Prove that there is a normal subgroup <math>N</math> of <math>G</math>, contained in <math>H</math>, so that <math>(G:N)</math> is also finite. (Hint: Let <math>(G:H)=n</math> and find a morphism <math>G\to S_n</math> whose kernel is contained in <math>H</math>.) |
|
⚫ |
## Let <math>G</math> be a group and <math>H_1</math> and <math>H_2</math> be subgroups of <math>G</math>. Suppose <math>(G:H_1)<\infty</math> and <math>(G:H_2)<\infty</math>. Show that <math>(G:H_1\cap H_2)<\infty</math> |
|
|
|
|
|
|
⚫ |
'''Problem 2.''' (Selick) Let <math>H</math> be a subgroup of index 2 in a group <math>G</math>. Show that <math>H</math> is normal in <math>G</math>. |
|
|
|
|
|
'''Problem 1.''' (Selick) Show that any group of order 56 has a normal Sylow-<math>p</math> subgroup, for some prime <math>p</math> dividing 56. |
|
'''Problem 3.''' Let <math>\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>C_{S_{20}}(\sigma)</math> of <math>\sigma</math>? |
|
|
|
|
|
'''Problem 2.''' (Qualifying exam, May 1997) Let <math>S_5</math> act on <math>({\mathbb Z/5})^5</math> by permuting the factors, and let <math>G</math> be the semi-direct product of <math>S_5</math> and <math>({\mathbb Z/5})^5</math>. |
|
'''Problem 4.''' (Selick) Let <math>G</math> be a group of odd order. Show that <math>x</math> is not conjugate to <math>x^{-1}</math> unless <math>x=e</math>. |
|
|
|
|
⚫ |
'''Problem 5.''' (Dummit and Foote) Show that if <math>G/Z(G)</math> is cyclic then <math>G</math> is Abelian. |
|
|
|
|
⚫ |
'''Problem 6.''' (Lang) Prove that if the group of automorphisms of a group <math>G</math> is cyclic, then <math>G</math> is Abelian. |
|
|
|
|
|
'''Problem 7.''' (Lang) |
|
⚫ |
# Let <math>G</math> be a group and let <math>H</math> be a subgroup of finite index. Prove that there is a normal subgroup <math>N</math> of <math>G</math>, contained in <math>H</math>, so that <math>(G:N)</math> is also finite. (Hint: Let <math>(G:H)=n</math> and find a morphism <math>G\to S_n</math> whose kernel is contained in <math>H</math>.) |
|
⚫ |
# Let <math>G</math> be a group and <math>H_1</math> and <math>H_2</math> be subgroups of <math>G</math>. Suppose <math>(G:H_1)<\infty</math> and <math>(G:H_2)<\infty</math>. Show that <math>(G:H_1\cap H_2)<\infty</math> |
|
|
|
|
|
'''Problem 8.''' (Selick) Show that any group of order 56 has a normal Sylow-<math>p</math> subgroup, for some prime <math>p</math> dividing 56. |
|
|
|
|
|
'''Problem 9.''' (Qualifying exam, May 1997) Let <math>S_5</math> act on <math>({\mathbb Z/5})^5</math> by permuting the factors, and let <math>G</math> be the semi-direct product of <math>S_5</math> and <math>({\mathbb Z/5})^5</math>. |
|
# What is the order of <math>G</math>? |
|
# What is the order of <math>G</math>? |
|
# How many Sylow-5 subgroups does <math>G</math> have? Write down one of them. |
|
# How many Sylow-5 subgroups does <math>G</math> have? Write down one of them. |
|
|
|
|
|
'''Problem 3.''' (Selick) Show that the group <math>Q</math> of unit quaternions (<math>\{\pm 1, \pm i, \pm j, \pm k\}</math>, subject to <math>i^2=j^2=k^2=-1\in Z(Q)</math> and <math>ij=k</math>) is not a semi-direct product of two of its proper subgroups. |
|
'''Problem 10.''' (Selick) Show that the group <math>Q</math> of unit quaternions (<math>\{\pm 1, \pm i, \pm j, \pm k\}</math>, subject to <math>i^2=j^2=k^2=-1\in Z(Q)</math> and <math>ij=k</math>) is not a semi-direct product of two of its proper subgroups. |
|
|
|
|
|
'''Problem 4.''' (Qualifying exam, September 2008) Let <math>G</math> be a finite group and <math>p</math> be a prime. Show that if <math>H</math> is a <math>p</math>-subgroup of <math>G</math>, then <math>(N_G(H):H)</math> is congruent to <math>(G:H)</math> mod <math>p</math>. You may wish to study the action of <math>H</math> on <math>G/H</math> by multiplication on the left. |
|
'''Problem 11.''' (Qualifying exam, September 2008) Let <math>G</math> be a finite group and <math>p</math> be a prime. Show that if <math>H</math> is a <math>p</math>-subgroup of <math>G</math>, then <math>(N_G(H):H)</math> is congruent to <math>(G:H)</math> mod <math>p</math>. You may wish to study the action of <math>H</math> on <math>G/H</math> by multiplication on the left. |
Welcome to Math 1100! (additions to this web site no longer count towards good deed points)
|
#
|
Week of...
|
Notes and Links
|
1
|
Sep 8
|
About This Class; Monday - Non Commutative Gaussian Elimination; Thursday - the category of groups, automorphisms and conjugations, images and kernels.
|
2
|
Sep 15
|
Monday - coset spaces, isomorphism theorems; Thursday - simple groups, Jordan-Holder decomposition series.
|
3
|
Sep 22
|
Monday - alternating groups, group actions, The Simplicity of the Alternating Groups, HW1, HW 1 Solutions, Class Photo; Thursday - group actions, Orbit-Stabilizer Thm, Class Equation.
|
4
|
Sep 29
|
Monday - Cauchy's Thm, Sylow 1; Thursday - Sylow 2.
|
5
|
Oct 6
|
Monday - Sylow 3, semi-direct products, braids; HW2; HW 2 Solutions; Thursday - braids, groups of order 12, Braids
|
6
|
Oct 13
|
No class Monday (Thanksgiving); Thursday - groups of order 12 cont'd.
|
7
|
Oct 20
|
Term Test; Term Test Solutions on Monday, HW3; HW 3 Solutions; Thursday - solvable groups, rings: defn's & examples.
|
8
|
Oct 27
|
Monday - functors, Cayley-Hamilton Thm, ideals, iso thm 1; Thursday - iso thms 2-4, integral domains, maximal ideals, One Theorem, Three Corollaries, Five Weeks
|
9
|
Nov 3
|
Monday - prime ideals, primes & irreducibles, UFD's, Euc.DomainPID, Thursday - Noetherian rings, PIDUFD, Euclidean Algorithm, modules: defn & examples, HW4, HW 4 Solutions
|
10
|
Nov 10
|
Monday - R is a PID iff R has a D-H norm, R-modules, direct sums, every f.g. module is given by a presentation matrix, Thursday - row & column reductions plus, existence part of Thm 1 in 1t3c5w handout.
|
11
|
Nov 17
|
Monday-Tuesday is UofT's Fall Break, HW5, Thursday - 1t3c5w handout cont'd, JCF Tricks & Programs handout
|
12
|
Nov 24
|
Monday - JCF Tricks & Programs cont'd, tensor products, Thursday - tensor products cont'd
|
13
|
Dec 1
|
End-of-Course Schedule; Monday - tensor products finale, extension/reduction of scalars, uniqueness part of Thm 1 in 1t3c5w, localization & fields of fractions; Wednesday is a "makeup Monday"!; Notes for Studying for the Final Exam Glossary of terms
|
F
|
Dec 15
|
The Final Exam
|
Register of Good Deeds
|
Add your name / see who's in!
|
See Non Commutative Gaussian Elimination
|
|
In Preparation
The information below is preliminary and cannot be trusted! (v)
This assignment is due at class time on Thursday, October 20, 2010.
Solve the following questions
(but submit only your solutions for problems ??).
Problem 1. (Selick)
- What it the least integer for which the symmetric group contains an element of order 18?
- What is the maximal order of an element in ? (That is, of a shuffling of the red cards within a deck of cards?)
Problem 2. (Selick) Let be a subgroup of index 2 in a group . Show that is normal in .
Problem 3. Let 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 of ?
Problem 4. (Selick) Let be a group of odd order. Show that is not conjugate to unless .
Problem 5. (Dummit and Foote) Show that if is cyclic then is Abelian.
Problem 6. (Lang) Prove that if the group of automorphisms of a group is cyclic, then is Abelian.
Problem 7. (Lang)
- Let be a group and let be a subgroup of finite index. Prove that there is a normal subgroup of , contained in , so that is also finite. (Hint: Let and find a morphism whose kernel is contained in .)
- Let be a group and and be subgroups of . Suppose and . Show that
Problem 8. (Selick) Show that any group of order 56 has a normal Sylow- subgroup, for some prime dividing 56.
Problem 9. (Qualifying exam, May 1997) Let act on by permuting the factors, and let be the semi-direct product of and .
- What is the order of ?
- How many Sylow-5 subgroups does have? Write down one of them.
Problem 10. (Selick) Show that the group of unit quaternions (, subject to and ) is not a semi-direct product of two of its proper subgroups.
Problem 11. (Qualifying exam, September 2008) Let be a finite group and be a prime. Show that if is a -subgroup of , then is congruent to mod . You may wish to study the action of on by multiplication on the left.