Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $k$ be a field, and $R$ a $k$-algebra. Suppose that $R_{\mathfrak{p}}$ is a finitely generated $k$-algebra for all prime ideals $\mathfrak{p}$ of $R$. Does this imply that $R$ is also a finitely generated $k$-algebra? (I think this is false, but couldn't find a counterexample.)

share|improve this question
    
Since any finitely generated $k$-algebra is Jacobson, it can only be local if it is zero-dimensional. Are you sure this is the question you want to ask? –  user2035 Oct 27 '11 at 14:47
    
Actually, doesn't $R=\prod\_{n=1}^\infty k$ work? –  George Lowther Oct 27 '11 at 14:54
    
@George: it depends on $k$. For $k=\mathbf F_2$, it works, for $k=\mathbf Q$ it does not. –  user2035 Oct 27 '11 at 15:02
1  
@a-fortiori: I guess thats because you need $k$ to be finite to ensure that $R_\mathfrak{p}\cong k$ at primes $\mathfrak{p}$ corresponding to nonprincipal ultrafilters of $\mathbb{N}$. You could look at $$R=\left\{x\in\prod\_{n=1}^\infty k\colon x_n{\rm\ is\ eventually\ constant}\right\}$$instead. –  George Lowther Oct 27 '11 at 15:27
add comment

1 Answer

up vote 3 down vote accepted

Take any compact Hausdorff space $X$ and let $R$ consist of the locally constant functions $X\to k$. Then, $R$ is a $k$-algebra. Its prime ideals are all of the form $\mathfrak{p}=\left\{f\in R\colon f(x)=0\right\}$ for $x\in R$, so $R_{\mathfrak{p}}\cong k$ is trivially finitely generated as a $k$-algebra. If $X$ has infinitely many connected components then $R$ is not finitely generated as a $k$-algebra. So, taking $X$ to be the one-point compactification $\mathbb{\bar N}=\mathbb{N}\cup\{\infty\}$ of $\mathbb{N}$ gives the required counterexample. Equivalently, $$ R=\left\{x\in\prod\_{n=1}^\infty k\colon x_n{\rm\ is\ eventually\ constant}\right\}. $$

share|improve this answer
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.