14-1100/Homework Assignment 3 - Revision history

Anai at 03:03, 2 November 2014

2014-11-02T03:03:46Z

← Older revision		Revision as of 23:03, 1 November 2014
Line 18:		Line 18:
	# Prove that the only Boolean ring that is also an integral domain is <math>{\mathbb Z}/2</math>.		# Prove that the only Boolean ring that is also an integral domain is <math>{\mathbb Z}/2</math>.

	'''Problem 4.''' (Selick) In a ring <math>R</math>, ~~and~~ element <math>x</math> is called "nilpotent" if for some positive <math>n</math>, <math>x^n=0</math>. Let <math>\eta(R)</math> be the set of all nilpotent elements of <math>R</math>.		'''Problem 4.''' (Selick) In a ring <math>R</math>, an element <math>x</math> is called "nilpotent" if for some positive <math>n</math>, <math>x^n=0</math>. Let <math>\eta(R)</math> be the set of all nilpotent elements of <math>R</math>.
	# Prove that if <math>R</math> is commutative then <math>\eta(R)</math> is an ideal.		# Prove that if <math>R</math> is commutative then <math>\eta(R)</math> is an ideal.
	# Give an example of a non-commutative ring <math>R</math> in which <math>\eta(R)</math> is not an ideal.		# Give an example of a non-commutative ring <math>R</math> in which <math>\eta(R)</math> is not an ideal.

Drorbn at 16:29, 27 October 2014

2014-10-27T16:29:38Z

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

	<span style="color: red;">'''Warning.''' More may be added to this assignment next week.</span>

	This assignment is due at class time on Thursday, November 6, 2011.		This assignment is due at class time on Thursday, November 6, 2011.
Line 20:		Line 18:
	# Prove that the only Boolean ring that is also an integral domain is <math>{\mathbb Z}/2</math>.		# Prove that the only Boolean ring that is also an integral domain is <math>{\mathbb Z}/2</math>.

	'''Problem 4.''' (~~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 4.''' (Selick) In a ring <math>R</math>, and element <math>x</math> is called "nilpotent" if for some positive <math>n</math>, <math>x^n=0</math>. Let <math>\eta(R)</math> be the set of all nilpotent elements of <math>R</math>.
			# Prove that if <math>R</math> is commutative then <math>\eta(R)</math> is an ideal.
			# Give an example of a non-commutative ring <math>R</math> in which <math>\eta(R)</math> is not an ideal.

			'''Problem 5.''' (comprehensive exam, 2009) Let <math>A</math> be a commutative ring. Show that a polynomial <math>f\in A[x]</math> is invertible in <math>A[x]</math> iff its constant term is invertible in <math>A</math> and the rest of its coefficients are nilpotent.

			'''Problem 6.''' (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\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).		# 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).

Drorbn at 16:32, 23 October 2014

2014-10-23T16:32:16Z

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

	{{:In Preparation}}
			<span style="color: red;">'''Warning.''' More may be added to this assignment next week.</span>

	This assignment is due at class time on Thursday, November 6, 2011.		This assignment is due at class time on Thursday, November 6, 2011.

Drorbn at 16:31, 23 October 2014

2014-10-23T16:31:04Z

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

	This assignment is due at class time on Thursday, November 6, 2011.		This assignment is due at class time on Thursday, November 6, 2011.

Drorbn at 14:39, 23 October 2014

2014-10-23T14:39:04Z

← Older revision		Revision as of 10:39, 23 October 2014
Line 31:		Line 31:
	===Term Test===		===Term Test===

	The MAT 1100 Core Algebra I Term Test took place on Monday October 20 at 1:10PM at Bahen 6183. Here's the PDF: {{Pensieve Link\|~~classes~~/14-1100/TT-1100.pdf\|TT-1100.pdf}}.		The MAT 1100 Core Algebra I Term Test took place on Monday October 20 at 1:10PM at Bahen 6183. Here's the PDF: {{Pensieve Link\|Classes/14-1100/TT-1100.pdf\|TT-1100.pdf}}.

	The average grade is about 77.5/100 and the standard deviation is about 20. The complete list of grades is as follows:		The average grade is about 77.5/100 and the standard deviation is about 20. The complete list of grades is as follows:

Drorbn at 14:02, 23 October 2014

2014-10-23T14:02:13Z

← Older revision		Revision as of 10:02, 23 October 2014
Line 28:		Line 28:

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

			===Term Test===

			The MAT 1100 Core Algebra I Term Test took place on Monday October 20 at 1:10PM at Bahen 6183. Here's the PDF: {{Pensieve Link\|classes/14-1100/TT-1100.pdf\|TT-1100.pdf}}.

			The average grade is about 77.5/100 and the standard deviation is about 20. The complete list of grades is as follows:
			<blockquote>100 100 100 99 98 96 94 89 76 70 65 63 61 60 56 54 37 </blockquote>

			===Appeals===
			Remember! Grading is a difficult process and mistakes '''always''' happen - solutions get misread, parts are forgotten, grades are not added up correctly. You '''must''' read your exam and make sure that you understand how it was graded. If you disagree with anything, don't hesitate to complain!

			The deadline to start the appeal process is Thursday October 30 at 2:30PM.

			{{Template:14-1100:Dror/Students Divider}}

Drorbn: Created page with "{{14-1100/Navigation}} {{In Preparation}} This assignment is due at class time on Thursday, November 6, 2011. ===Solve the following questions=== '''Problem 1.''' (easy) # ..."

2014-10-23T13:44:25Z

Created page with "{{14-1100/Navigation}} {{In Preparation}} This assignment is due at class time on Thursday, November 6, 2011. ===Solve the following questions=== '''Problem 1.''' (easy) # ..."

New page

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

This assignment is due at class time on Thursday, November 6, 2011.

===Solve the following questions===

'''Problem 1.''' (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 2.'''
# (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.

'''Problem 3.''' (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 4.''' (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\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>.
# 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).

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