Maximal Ideal of a Polynomial Ring

This is a problem from I.S.I. M.Math Subjective Sample Paper 2013 based on Maximal Ideal of a Polynomial Ring. Try this out.

Problem: Maximal Ideal of a Polynomial Ring

Let k be a field and k [x, y] denote the polynomial ring in the two variables x and y with coefficient from k . Prove that for any $latex \mathbf{a, b \in k}$ the ideal generated by the linear polynomials x- a and y-b is a maximal ideal of k [x, y].

Discussion:

Suppose I = <x-a, y-b> is not the maximal ideal. Then there exist an ideal I' such that $latex \mathbf{I \subset I' \subseteq k[x,y] }$. We show that I' = k[x,y]

Suppose I' contains I properly. There there exists an element P(x, y) (that is a polynomial in x, y with coefficients from k), which is not in I but in I'.

Say $latex \mathbf{P(x,y) = \sum A_{m, n} x^m y^n ; A_{m, n} \in k}$. Since k[x,y] is ring of polynomials over k which is a field (hence a unique factorization domain), hence there exists unique Q(x,y) such that $latex \mathbf{P(x,y) = Q(x,y) (x-a) + G(y) }$ where G(y) is a polynomial in y over k. As x - a is linear it will not leave any power of x in the remainder expression.

Again G(y) = R(y) (y-b) + T where T is in k. As (y-b) is linear the remainder won't have any power of y.

Therefore $latex \mathbf{P(x, y) = Q(x, y) (x-a) + R(y) (y - b) + T in I' \implies T = P(x,y) - ( Q(x, y) (x-a) + R(y) (y - b)) \in I'}$

But T is a constant polynomial in k[x,y]. Hence $latex \mathbf{T \times T^{-1} = 1 \in I'}$ . Since I' contains multiplicative identity element of field k it will absorb all polynomials from k[x,y], implying I'=k[x,y]. Proved

Some Useful Links:

Our College Mathematics Program

Sequence Problem | ISI Entrance B.Math 2008 Obj 1 – Video