Part IB, 2004
Let be the subring of all in of the form
where and are in and . Prove that is a non-negative element of , for all in . Prove that the multiplicative group of units of has order 6 . Prove that is the intersection of two prime ideals of .
[You may assume that is a unique factorization domain.]