March 30th, 2018, 08:40 AM  #1 
Member Joined: Sep 2011 Posts: 97 Thanks: 1  Ideals Problem
I have attached my solution for part (a), (b) and (c). I am not sure if part (a), (b) are correct. However for part (c), the question did not define the output of the function so I am not sure if I can do it as such. Therefore need verification on all the 3 parts. Thanks! Please click on the thumbnails to enlarge.

April 1st, 2018, 07:05 AM  #2 
Member Joined: Sep 2011 Posts: 97 Thanks: 1 
To add on, how do I see if R/I is s field ? 
April 1st, 2018, 10:42 AM  #3 
Senior Member Joined: Aug 2017 From: United Kingdom Posts: 204 Thanks: 60 Math Focus: Algebraic Number Theory, Arithmetic Geometry  (a) This is fine. Note that it's not actually necessary to show condition (iii) as this is automatically implied by (i) and (ii). To be completely clear, what I'm saying is: Suppose $S$ is a ring and $A$ is a nonempty subset such that: (i) $a,b \in A \implies a+b \in A$ (ii) $a \in A, s \in S \implies sa \in A$ Then $a \in A \implies a \in A$. If this isn't immediately obvious to you, try to prove it. (b) It seems like you've got the idea, but you should be careful with writing out your arguments. For example, you've written "Then $\begin{pmatrix} k & p \\ 0 & k \end{pmatrix} \equiv \begin{pmatrix} k & 0 \\ 0 & k \end{pmatrix} \mod I$ $\begin{pmatrix} k & p \\ 0 & k \end{pmatrix}  \begin{pmatrix} k & 0 \\ 0 & k \end{pmatrix} = \begin{pmatrix} 0 & p \\0 & 0 \end{pmatrix} \in I$". It would be good if you indicated that the second line implies the first. You could simply add a word like "because" at the start of the second line. Also, you've said "$R/I$ can be written in the form..." where you probably mean "The elements of $R/I$ can be written in the form...". (c) The question didn't define the output of the function because it's asking you to do that! Start by doing that, and then see if you can finish the problem from there. Also, at the top of the page, it looks like you're treating $f$ as a function from $\mathbb{Z} \times \mathbb{Z}$ to $R$ rather than from $R$ to $\mathbb{Z}$; be careful! (d) Once you've shown that $R/I$ and $\mathbb{Z}$ are isomorphic rings, the question simply becomes: is $\mathbb{Z}$ is a field? Hopefully you know the answer to this! Edit: To follow what I've said in part (d), you would need to know: if $A$ and $B$ are isomorphic rings, then $A$ is a field if and only of $B$ is a field. Hopefully you either already know this or can at least prove it without difficulty. Last edited by cjem; April 1st, 2018 at 10:47 AM. 
April 1st, 2018, 11:18 AM  #4 
Senior Member Joined: Sep 2016 From: USA Posts: 398 Thanks: 212 Math Focus: Dynamical systems, analytic function theory, numerics 
For part (c) you haven't defined a homomorphism so I don't see how you can decide it is surjective. Try the mapping \[ \left( \begin{array}{cc} a & b \\ 0 & a \end{array} \right) \mapsto a.\] Do you see why this is the obvious choice? Can you prove this is a homomorphism whose kernel is exactly $I$? 

Tags 
ideals, problem 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Ideals  shashank dwivedi  Abstract Algebra  1  December 22nd, 2017 01:58 AM 
Ideals  kp100591  Abstract Algebra  1  May 19th, 2014 06:09 AM 
relation between ideals and ideals generated by sets...  Lolyta  Abstract Algebra  1  September 30th, 2013 04:35 AM 
Ideals  chappyform  Abstract Algebra  1  March 11th, 2013 05:05 AM 
Ideals  tiger4  Abstract Algebra  1  April 21st, 2012 09:27 AM 