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.]
Typos? Please submit corrections to this page on GitHub.