Line 13: Line 13:
 
== Problem 73  ==
 
== Problem 73  ==
  
Show that if <span class="texhtml">''p''</span> is a prime such that there is an integer <span class="texhtml">''b''</span> with <span class="texhtml">''p'' = ''b''<sup>2</sup> + 4</span>, then <math>\mathbb{Z}[\sqrt{p}]</math> is not a unique factorization domain.
+
Show that if <span class="texhtml">''p''</span> is a prime such that there is an integer <span class="texhtml">''b''</span> with <span class="texhtml">''p'' = ''b''<sup>2</sup> + 4</span>, then <math>\mathbb{Z}[\sqrt{p}]</math> is not a unique factorization domain.  
  
 
*[[Media:Problem_73_Zeller.pdf|Solution by Andrew Zeller]]
 
*[[Media:Problem_73_Zeller.pdf|Solution by Andrew Zeller]]
 +
 
::Here's my alternate proof - I found a few things that need to be changed in Avi's, which I can discuss in class.
 
::Here's my alternate proof - I found a few things that need to be changed in Avi's, which I can discuss in class.
  
Line 21: Line 22:
  
 
::My solution only uses the fact that ''p'' is a sum of two squares (i.e. is congruent to 1 mod 4), so I'm not sure it's correct. -- Avi 20:05, 25 June 2013 (UTC)
 
::My solution only uses the fact that ''p'' is a sum of two squares (i.e. is congruent to 1 mod 4), so I'm not sure it's correct. -- Avi 20:05, 25 June 2013 (UTC)
 +
 +
*Solution by Ryan Spitler[https://kiwi.ecn.purdue.edu/rhea/index.php/MA553QualStudyAssignment3Problem73Solution kiwi.ecn.purdue.edu/rhea/index.php/MA553QualStudyAssignment3Problem73Solution]
 +
 +
::I think this is a bit cleaner.
  
 
== Problem 94  ==
 
== Problem 94  ==

Revision as of 03:47, 26 June 2013


Student solutions for Assignment #3

Solution Sample


Problem 50

Problem 73

Show that if p is a prime such that there is an integer b with p = b2 + 4, then $ \mathbb{Z}[\sqrt{p}] $ is not a unique factorization domain.

Here's my alternate proof - I found a few things that need to be changed in Avi's, which I can discuss in class.
My solution only uses the fact that p is a sum of two squares (i.e. is congruent to 1 mod 4), so I'm not sure it's correct. -- Avi 20:05, 25 June 2013 (UTC)
I think this is a bit cleaner.

Problem 94

Show f(x) = x4 + 5x2 + 3x + 2 is irreducible over the field of rational numbers.

Problem 101

(a) Show that x4 + x3 + x2 + x + 1 is irreducible in $ \mathbb{Z}_3[x] $.

(b) Show that x4 + 1 is not irreducible in $ \mathbb{Z}_3[x] $

Problem 107

Let R be a commutative ring with identity such that the identity map is the only ring automorphism of R. Prove that the set N of all nilpotent elements of R is an ideal of R

Problem 114

A local ring is a commutative ring with 1 that has a unique maximal ideal. Show that a ring R is local if and only if the set of non-units in R is an ideal.


Back to 2013 Summer MA 598A Weigel

Alumni Liaison

Ph.D. on Applied Mathematics in Aug 2007. Involved on applications of image super-resolution to electron microscopy

Francisco Blanco-Silva