14-1100/Homework Assignment 2 - Revision history

Drorbn at 16:14, 9 October 2014

2014-10-09T16:14:58Z

← Older revision		Revision as of 12:14, 9 October 2014
Line 1:		Line 1:
	{{14-1100/Navigation}}		{{14-1100/Navigation}}
	{{In Preparation}}

	'''Bad news.''' This assignment is due at class time on Thursday, October 16, 2010.		'''Bad news.''' This assignment is due at class time on Thursday, October 16, 2010.

Drorbn: /* Solve the following problems */

2014-10-08T19:13:51Z

Solve the following problems

← Older revision		Revision as of 15:13, 8 October 2014
Line 7:		Line 7:

	===Solve the following problems===		===Solve the following problems===
	(but submit only your solutions of problems 2, 3, 4, 8, and 9).		(but submit only your solutions of problems 2, 3, 4, 8, 9, and 11).

	'''Problem 1.''' (Selick)		'''Problem 1.''' (Selick)

Drorbn at 19:13, 8 October 2014

2014-10-08T19:13:10Z

← Older revision		Revision as of 15:13, 8 October 2014
Line 7:		Line 7:

	===Solve the following problems===		===Solve the following problems===
	(but submit only your solutions of problems ??).		(but submit only your solutions of problems 2, 3, 4, 8, and 9).

	'''Problem 1.''' (Selick)		'''Problem 1.''' (Selick)

Drorbn at 17:54, 8 October 2014

2014-10-08T17:54:00Z

← Older revision		Revision as of 13:54, 8 October 2014
Line 7:		Line 7:

	===Solve the following problems===		===Solve the following problems===
	(but submit only your solutions ~~for~~ problems ??).		(but submit only your solutions of problems ??).

	'''Problem 1.''' (Selick)		'''Problem 1.''' (Selick)

Drorbn at 17:53, 8 October 2014

2014-10-08T17:53:33Z

← Older revision		Revision as of 13:53, 8 October 2014
Line 2:		Line 2:
	{{In Preparation}}		{{In Preparation}}

	This assignment is due at class time on Thursday, October 20, 2010.		'''Bad news.''' This assignment is due at class time on Thursday, October 16, 2010.

			'''Good news.''' It will be marked by the following day, Friday October 17, and be available for pickup at my office between 2-4PM, providing you timely feedback for the term test on the following Monday.

	===Solve the following problems===		===Solve the following problems===

Drorbn: /* Solve the following questions */

2014-10-08T17:37:15Z

Solve the following questions

← Older revision		Revision as of 13:37, 8 October 2014
Line 4:		Line 4:
	This assignment is due at class time on Thursday, October 20, 2010.		This assignment is due at class time on Thursday, October 20, 2010.

	===Solve the following ~~questions~~===		===Solve the following problems===
	(but submit only your solutions for problems ??).		(but submit only your solutions for problems ??).

Drorbn at 17:34, 8 October 2014

2014-10-08T17:34:22Z

← Older revision		Revision as of 13:34, 8 October 2014
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.

Drorbn: Created page with "{{14-1100/Navigation}} {{In Preparation}} This assignment is due at class time on Thursday, October 20, 2010. ===Solve the following questions=== # (Selick) ## What it the ..."

2014-10-08T17:26:54Z

Created page with "{{14-1100/Navigation}} {{In Preparation}} This assignment is due at class time on Thursday, October 20, 2010. ===Solve the following questions=== # (Selick) ## What it the ..."

New page

{{14-1100/Navigation}}
{{In Preparation}}

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

===Solve the following questions===

# (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 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 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 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>.
# What is the order of <math>G</math>?
# 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 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.