Let β€[π₯] be the polynomial ring with coefficients in β€. Prove or disprove
that the ideal πΌ = (4, π₯) is a principal ideal in β€[π₯]. Is the ideal πΌ a
maximal ideal in β€[π₯]? Explain your answer.
The ideal πΌ = (4, π₯), by the definition, consists of those polynomials over Z, which can be expressed as a sum .
Every such polynomial f(x) satisfies the condition . Therefore, .
If we assume that I is a principal ideal in β€[π₯], then there exists a polynomial d(x) in I, which divides all elements in I.
d(x) is a divisor of 4. All divisors of 4 are: 1, 2, 4, -1, -2, -4. Only 4 and -4 are elements of I, but no one of them is a divisor of x.
The contradiction proves that I is not a principal ideal.
Since , the ideal I' = (2, x) is greater than I. Moreover, , because of each polynomial f(x) from I' satisfies the condition .
Therefore, I is not a maximal ideal.
Comments