We have proven that each of these maps is a ring homomorphism, and also that the composition of two ring homomorphisms is again a ring homomorphism. Therefore Psi = Rho ◦ Phi_0 is a ring homomorphism from Z[x] to Z5.
Let I = ker( Psi).
(a) Prove that I is a maximal ideal of Z[x].
Hint. Sometimes the indirect approach is easier.
(b) Recall that an ideal of a ring R is principal when it is of the form aR = <a> for some a ∈ R.
Prove that I is not a principal ideal.
Hint. Suppose that I is principal. What are the possible generators for I?
Now show that they all generate something other than I.
(c) Give a non-zero prime ideal of Z[x] that is not maximal.
Hint. What about an ideal contained in I?
This material may consist of step-by-step explanations on how to solve a problem or examples of proper writing, including the use of citations, references, bibliographies, and formatting. This material is made available for the sole purpose of studying and learning - misuse is strictly forbidden.