We have a factor ring R/I for a ring R and an ideal I.
I understand R/I = {r + I , r e R} and that each element is a coset of I. I also understand that R/I is a ring under the defined operations +, x on R/I (which i wont write out here)
Now, what I dont understand is, for example the ring of integers and the ideal generated by 5 is why:
Z/<5> = Z 5 (integers modulo 5),
Why does this factor ring equal that? The factor ring contains all the cosets of the ideal generated by 5, i.e all the cosets of the set {5a , a e Z}. so why does the factor ring equal intgers modulo 5?? thanks
Answer
The cosets are exactly $\{5\mathbb{Z},1+\mathbb{Z},2+\mathbb{Z},3+\mathbb{Z},4+\mathbb{Z}\}$. If you understand how to apply the ring operations to these elements of the factor ring, then you can check directly that the operations coincide with those in the integers modulo 5. For instance, $(2+\mathbb{Z})(2+\mathbb{Z})=(4+\mathbb{Z}),(4+\mathbb{Z})+(3+\mathbb{Z})=2+\mathbb{Z}$ etc.
The point is that there's an isomorphism between the factor ring and the integers modulo 5 given by sending the coset $n+\mathbb{Z}$ to $n\pmod 5$, and similarly for the inverse. So even though the elements of the factor ring are infinite sets, as far as the ring structure is concerned they're entirely interchangeable with whatever objects you're used to playing the role of the elements of the ring of integers modulo 5.
No comments:
Post a Comment