Hi All. I have question.
Let A(X) affine coordinate ring. And m_p is a maximal ideal at p \in X i.e., { f/g st. g(p) is non zero; f,g are \in A(x)}. As m_p is maximal. We have A(X)/m_p is field. (say k the affine base field here). And we have evaluation maps which map A(X)/m_p to k. How to prove this is isomorphism ?