Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is there a way to characterise prime ideals in affine coordinate rings (i.e. quotients of polynomial rings). To be more specific, how can I say if principal ideals in such rings are prime or not in an elementary way?

share|improve this question
add comment

1 Answer 1

For $R$ a commutative unital ring, there is a bijective correspondence between the prime ideals of $R/I$ with the set of prime ideals of $R$ containing $I$ (reduced mod $I$).

For example, the prime ideals of $\mathbb C[x]/(x^2)$ are the prime ideals of $\mathbb C[x]$ which lie above the ideal $(x^2)$. The prime ideals of $\mathbb C[x]$ are of the form $(x-a)$ for any $a\in\mathbb C$, or $(0)$. The only one of these ideals which contains $(x^2)$ is $(x)$, so $\operatorname{Spec}(\mathbb C[x]/(x^2))=\{(x+(x^2))\}$ (which would usually just be written $(x)$).

In the language of schemes, this says that the closed subsets $V(I)$ of $\operatorname{Spec}(R)$ may be identified with the affine schemes $\operatorname{Spec}(R/I)$. This is in fact how we define a closed subscheme of an affine scheme.

share|improve this answer
    
I guess, you've recently read the geometry of schemes by Eisenbud and Harris ;) –  Ehsan M. Kermani Jan 5 '12 at 6:36
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.