Paper 2, Section II, H
Part IB, 2010
For ideals of a ring , their product is defined as the ideal of generated by the elements of the form where and .
(1) Prove that, if a prime ideal of contains , then contains either or .
(2) Give an example of and such that the two ideals and are different from each other.
(3) Prove that there is a natural bijection between the prime ideals of and the prime ideals of .