Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I would appreciate help with the following.

Let $k$ be a field that's algebraically closed and let $f$ be a polynomial in $k[X,Y]$. Prove that $R=k[X,Y]/(f)$ is a Dedekind domain if and only if at one of $f(a,b)$ and the two partials at $(a,b) \in k^{2}$ is not zero, for all $(a,b)$ in $k^{2}$.

Thank you all

share|cite|improve this question
«smooth manifold» is usually reserved to the case where $k$ is $\mathbb R$ or $\mathbb C$ or, more generally, when $k$ is a nce enough topological field. – Mariano Suárez-Alvarez Dec 23 '12 at 19:26
@MarianoSuárez-Alvarez: I think smoothness in general is sometimes defined by the statement in the question. – tomasz Dec 24 '12 at 11:22
But I'd be surprised if anyone used the word manifold except when $k$ is a locally compact normed field! – Mariano Suárez-Alvarez Dec 24 '12 at 15:10
got it, thanks a million. i was away for holidays - sorry about that :) – Dquik Dec 29 '12 at 14:19
up vote 2 down vote accepted

By the Jacobian criterion for regularity $R_m$ is regular for all maximal ideals $m\subset R$ if and only if at least one out the two partial derivatives of $f$ at $(a,b) \in k^{2}$ is not zero, for all $(a,b)$ in $k^{2}$. But in this case all maximal ideals have height one, so $R_m$ are DVRs, equivalently $R$ is Dedekind.

share|cite|improve this answer

Your Answer


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.