11-1100/Homework Assignment 3 - Revision history

Drorbn at 13:11, 1 November 2011

2011-11-01T13:11:57Z

← Older revision		Revision as of 09:11, 1 November 2011
Line 1:		Line 1:
	{{In Preparation}}
	{{11-1100/Navigation}}		{{11-1100/Navigation}}

Drorbn at 22:23, 30 October 2011

2011-10-30T22:23:55Z

← Older revision		Revision as of 18:23, 30 October 2011
Line 34:		Line 34:
	# Prove that if <math>\lim a_n=\alpha</math> in the ordinary sense of limits of sequences, then <math>\operatorname{Lim}_Ja_n=\alpha</math>.		# Prove that if <math>\lim a_n=\alpha</math> in the ordinary sense of limits of sequences, then <math>\operatorname{Lim}_Ja_n=\alpha</math>.
	# Is there a <math>J</math> for which <math>\operatorname{Lim}_J</math> is also translation invariant, namely such that <math>\operatorname{Lim}_J(a_n)=\operatorname{Lim}_J(a_{n+1})</math>? (Again, easy).		# Is there a <math>J</math> for which <math>\operatorname{Lim}_J</math> is also translation invariant, namely such that <math>\operatorname{Lim}_J(a_n)=\operatorname{Lim}_J(a_{n+1})</math>? (Again, easy).

⚫	(The sum total of all that is that using the axiom of choice you can construct things that are both too good to be true and not really useful anyway. Blame the axiom of choice, don't blame me.)
			'''Warning.''' The right order for solving these questions is not necessarily the order in which they are presented.

		⚫	'''Opinion.''' The sum total of all that is that using the axiom of choice you can construct things that are both too good to be true and not really useful anyway. Blame the axiom of choice, don't blame me.

Drorbn at 21:02, 30 October 2011

2011-10-30T21:02:26Z

← Older revision		Revision as of 17:02, 30 October 2011
Line 22:		Line 22:

	'''Problem 6.'''		'''Problem 6.'''
	# (Qualifying exam, ~~Ajavascript:insertTags('<math>','</math>','Insert%20formula%20here');pril~~ 2009) Prove that a finite integral domain is a field.		# (Qualifying exam, April 2009) Prove that a finite integral domain is a field.
	# (Qualifying exam, September 2008) Prove that in a finite commutative ring, every prime ideal is maximal.		# (Qualifying exam, September 2008) Prove that in a finite commutative ring, every prime ideal is maximal.

Line 31:		Line 31:
	'''Problem 8.''' (bonus) Let <math>S</math> be the ring of bounded sequences of real numbers with pointwise addition and multiplication, let <math>I</math> be the ideal made of all sequences that are equal to <math>0</math> except in at most finitely many places, and let <math>J</math> be a maximal ideal in <math>S</math> containing <math>I</math>.		'''Problem 8.''' (bonus) Let <math>S</math> be the ring of bounded sequences of real numbers with pointwise addition and multiplication, let <math>I</math> be the ideal made of all sequences that are equal to <math>0</math> except in at most finitely many places, and let <math>J</math> be a maximal ideal in <math>S</math> containing <math>I</math>.
	# Prove that <math>S/J\simeq{\mathbb R}</math>.		# Prove that <math>S/J\simeq{\mathbb R}</math>.
	# Denote by <math>\operatorname{Lim}_J</math> the projection of <math>S</math> to <math>S/J</math> composed with the identification of the latter with <math>{\mathbb R}</math>, so that <math>\operatorname{Lim}_J:S\to{\mathbb R}</math>. Prove that for any scalar <math>c\in{\mathbb R}</math> and any bounded sequences <math>(a_n),(b_n)\in S</math>, we have that <math>\operatorname{Lim}_J (ca_n)=c\operatorname{Lim}_J a_n</math>, <math>\operatorname{Lim}_J(a_n+b_n)=\operatorname{Lim}_J a_n + \operatorname{Lim}_J b_n</math>, and <math>\operatorname{Lim}_J(a_nb_n)=(\operatorname{Lim}_J a_n)(\operatorname{Lim}_J b_n)</math>. (Easy, no bonuses for this part).		# Denote by <math>\operatorname{Lim}_J</math> the projection of <math>S</math> to <math>S/J</math> composed with the identification of the latter with <math>{\mathbb R}</math>, so that <math>\operatorname{Lim}_J:S\to{\mathbb R}</math>. Prove that for any scalar <math>c\in{\mathbb R}</math> and any bounded sequences <math>(a_n),(b_n)\in S</math>, we have that <math>\operatorname{Lim}_J (ca_n)=c\cdot\operatorname{Lim}_J(a_n)</math>, <math>\operatorname{Lim}_J(a_n+b_n)=\operatorname{Lim}_J(a_n)+\operatorname{Lim}_J(b_n)</math>, and <math>\operatorname{Lim}_J(a_nb_n)=(\operatorname{Lim}_J(a_n))(\operatorname{Lim}_J(b_n))</math>. (Easy, no bonuses for this part).
	# Prove that if <math>\lim a_n=\alpha</math> in the ordinary sense of limits of sequences, then <math>\operatorname{Lim}_Ja_n=\alpha</math>.		# Prove that if <math>\lim a_n=\alpha</math> in the ordinary sense of limits of sequences, then <math>\operatorname{Lim}_Ja_n=\alpha</math>.
			# Is there a <math>J</math> for which <math>\operatorname{Lim}_J</math> is also translation invariant, namely such that <math>\operatorname{Lim}_J(a_n)=\operatorname{Lim}_J(a_{n+1})</math>? (Again, easy).
			(The sum total of all that is that using the axiom of choice you can construct things that are both too good to be true and not really useful anyway. Blame the axiom of choice, don't blame me.)

Drorbn at 20:55, 30 October 2011

2011-10-30T20:55:28Z

New page

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

This assignment is due at class time on Tuesday, November 15, 2011.

===Solve the following questions===

'''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.

'''Problem 5.''' (easy)
# Prove that in any ring, <math>(-1)^2=1</math>.
# Prove that even in a ring without a unit, <math>(-a)^2=a^2</math>.
(Feel free to do the second part first and then to substitute <math>a=1</math>).

'''Problem 6.'''
# (Qualifying exam, Ajavascript:insertTags('<math>','</math>','Insert%20formula%20here');pril 2009) Prove that a finite integral domain is a field.
# (Qualifying exam, September 2008) Prove that in a finite commutative ring, every prime ideal is maximal.

'''Problem 7.''' (Dummit and Foote) A ring <math>R</math> is called a ''Boolean ring'' if <math>a^2=a</math> for all <math>a\in R</math>.
# Prove that every Boolean ring is commutative.
# Prove that the only Boolean ring that is also an integral domain is <math>{\mathbb Z}/2</math>.

'''Problem 8.''' (bonus) Let <math>S</math> be the ring of bounded sequences of real numbers with pointwise addition and multiplication, let <math>I</math> be the ideal made of all sequences that are equal to <math>0</math> except in at most finitely many places, and let <math>J</math> be a maximal ideal in <math>S</math> containing <math>I</math>.
# Prove that <math>S/J\simeq{\mathbb R}</math>.
# Denote by <math>\operatorname{Lim}_J</math> the projection of <math>S</math> to <math>S/J</math> composed with the identification of the latter with <math>{\mathbb R}</math>, so that <math>\operatorname{Lim}_J:S\to{\mathbb R}</math>. Prove that for any scalar <math>c\in{\mathbb R}</math> and any bounded sequences <math>(a_n),(b_n)\in S</math>, we have that <math>\operatorname{Lim}_J (ca_n)=c\operatorname{Lim}_J a_n</math>, <math>\operatorname{Lim}_J(a_n+b_n)=\operatorname{Lim}_J a_n + \operatorname{Lim}_J b_n</math>, and <math>\operatorname{Lim}_J(a_nb_n)=(\operatorname{Lim}_J a_n)(\operatorname{Lim}_J b_n)</math>. (Easy, no bonuses for this part).
# Prove that if <math>\lim a_n=\alpha</math> in the ordinary sense of limits of sequences, then <math>\operatorname{Lim}_Ja_n=\alpha</math>.