Trivial question related to Rings... Watch
- Thread Starter
- 17-04-2013 21:27
(Original post by RamocitoMorales)
- 18-04-2013 11:00
Can I assume that is a ring (or even an ID (Integral Domain) for that matter)? I ask of the 'assume nothing' within the question.
Also, being a UFD is a property of rings, so from the point of view of the question making sense you could say that being a ring is tacitly assumed.
On the other hand, I am not sure how you are meant to answer the question aside from that. I would have thought 'assume nothing' would mean that you can't assume that it is a domain or use, for instance the fact that a polynomial extension of a UFD is a UFD.
My best guess would be to say that you should be able to assume the fund. theorem of arithmetic (since this presumably comes before any algebra course) and that you should mimic the proof of the fact that the polynomial extension of a UFD is a UFD in the special case of the integers.