Consider $K$ field and consider the ring $R=K[X^2,X^3]\subset K[X]$. It is clear that $R$ is not a Dedekind domain, since with the element $X$ one immediately see that it is not integrally closed. But $R$ is a Noetherian domain and every non trivial prime ideal is maximal. I have a proof for the last two part, but it is a bit heavy and maybe someone can help me finding a better proof! Thanks in advance!

You mean just that it has Krull dimension $1$? The fact it's Noetherian should just be a simple appeal to the Hilbert basis theorem, right? – rschwieb Jan 22 '19 at 15:03

well, to show it is Noetherian I consider that $K[X^2]\subset K[X^2,X^3]\subset K[X]$ and that $K[X]$ is finitely generated as $K[X^2]$module, so it should be Noetherian. Then, if I consider an ideal $I$ of $K[X^2,X^3]$, then it is a $K[X^2]$submodule so with this kind of reasoning I show the Noetherianity of $R$. – Lei Feima Jan 22 '19 at 15:13

That works too. I guess there is probably some simple way to prove the rest with the theorems about prime ideals in extensions (going up/down lying over) but I'm not handy with them. – rschwieb Jan 22 '19 at 15:14

@rschwieb indeed I would like to find an easiest and more elegant way to solve this exercise...In any case I thank you! – Lei Feima Jan 22 '19 at 15:17

3Have you tried considering $R = K[X^2, X^3] \cong \frac{K[Y, Z]}{(Y^3  Z^2)}$? – Viktor Vaughn Jan 22 '19 at 16:25

1@André3000 so the polynomial is irreducible and the ideal generated by it is prime. Moreover, $K[Y,Z]$ should be Noetherian by Hilbert's Basissatz, so the quotient is Noetherian. Right? The dimension $1$ (i.e., all its prime ideal are maximal) is not so evident for me... – Lei Feima Jan 22 '19 at 16:35

2@LeiFeima: $\langle Y^{3}Z^{2} \rangle$ is a prime ideal of $K[Y, Z]$, and any proper chain of prime ideals of $K[Y, Z]/\langle Y^{3}Z^{2} \rangle$ lifts to a chain of prime ideals of $K[Y, Z]$ which begins $0 \subset \langle Y^{3}Z^{2} \rangle \subset \cdots$. Since $K[Y, Z]$ has Krull dimension $2$, it follows that $K[Y, Z]/\langle Y^{3}Z^{2} \rangle$ has Krull dimension at most $1$. One can see that it has Krull dimension exactly $1$ by (e.g.) considering the projection of the maximal ideal $\langle Y, Z\rangle$ of $K[Y, Z]$. – Alex Wertheim Jan 22 '19 at 18:37

3I also have an alternative approach for showing that $K[X^{2}, X^{3}]$ has dimension $1$ which only uses basic facts on integrality, if you're interested. – Alex Wertheim Jan 22 '19 at 18:39

@AlexWertheim yes please! I am very interested in multiple approaches, and thanks for th explanation. Can you please explain how to see that the Krull dimension is exactly $1$? – Lei Feima Jan 22 '19 at 21:12

1@LeiFeima It depends on how elementary you'd like your proof to be. For instance, $R$ is the coordinate ring of a curve, so its dimension is $1$. Or since the ideal $(Y^3  Z^2)$ is principal, it has codimension $1$ by Krull's Hauptidealsatz. Or as Alex Wertheim suggests, $R$ is an integral (quadratic) extension of $K[Y]$. Integral extensions preserve dimension by the CohenSeidenberg theorems, so $R$ has the same dimension as $K[Y]$. I suspect you may be able to reproduce this result for integral quadratic extensions by hand, if you don't want to appeal to these theorems. – Viktor Vaughn Jan 22 '19 at 22:26

@LeiFeima: let $R = K[Y, Z]/\langle Y^{3}Z^{2} \rangle$. Since $R$ is a domain, it suffices to show that $R$ has a nonzero prime ideal $P$, since then $0 \subset P$ is a proper chain of prime ideals of length $1$. Take $P$ to be the projection of the ideal $\langle Y, Z \rangle$ to $R$. Then clearly, $R/P \cong K$, so $P$ is prime, and $P$ is nonzero. – Alex Wertheim Jan 23 '19 at 03:17
2 Answers
Suppose $\mathfrak{p}$ is a nonzero prime ideal of $A := K[X^{2}, X^{3}]$; we want to show that $\mathfrak{p}$ is maximal. Note that $K[X^{2}]$ is a subring of $A$, and $K[X^{2}]$ is a principal ideal domain, since it is isomorphic to $K[X]$ via the morphism of $K$algebras $K[X] \to K[X^{2}], X \mapsto X^{2}$. Note that $\mathfrak{m} := \mathfrak{p} \cap K[X^{2}]$ is a prime ideal of $K[X^{2}]$, since it is the preimage of $\mathfrak{p}$ under the inclusion morphism $K[X^{2}] \hookrightarrow A$. If $\mathfrak{m}$ is nonzero, then $\mathfrak{m}$ is maximal, since $K[X^{2}]$ is a PID. Moreover, since the inclusion $K[X^{2}] \hookrightarrow A$ is integral, so too is the induced (injective) morphism $K[X^{2}]/\mathfrak{m} \hookrightarrow A/\mathfrak{p}$. Since $K[X^{2}]/\mathfrak{m}$ is a field and $A$ is a domain, $A$ must be a field as well (this is, e.g., Proposition 5.7 in Atiyah Macdonald).
It therefore suffices to show that $\mathfrak{p} \cap K[X^{2}]$ is nonzero for any nonzero prime ideal $\mathfrak{p}$ of $A$. This amounts to showing that any nonzero $\mathfrak{p}$ contains a polynomial whose monomial terms all have even degree. Take $f(X) \in \mathfrak{p}$ nonzero, and write $f(X) = g(X) + h(X)$, where $g$ has monomial terms of even degree only, and $h$ has monomial terms of odd degree only. Then $f(X) = g(X)  h(X)$, and $f(X) \in A$, so $f(X)f(X) = g(X)^{2}  h(X)^{2} \in \mathfrak{p}$, which clearly has monomial terms of even degree only.
 19,418
 2
 40
 56

Thanks a lot! This is exactly the proof that I had in mind when I posed the question, even if I showed that $p\cap K[X^2]$ is nonempty in a slightly different way... – Lei Feima Jan 23 '19 at 09:00

1@LeiFeima: great minds think alike. :) I suppose it's good to have it recorded here, if nothing else. – Alex Wertheim Jan 23 '19 at 09:04

Just for the sake of completeness and clarity: I considered the $p$ prime ideal of $R$ and $p':=p\cap K[X^3]$. Since $R$ is integral over $K[X^3]$, I consider a nonzero $c\in p$ such that, for $b_i \in K[X^3]$ with $b_0 \neq 0$, $c^n+c^{n1}b_{n1}+...+b_0 =0$. Then $c(c^{n1}+b_{n1}c^{n2}+...+b_1)=b_0 \in p'$. – Lei Feima Jan 23 '19 at 14:05
Merely because $K[X]$ is an integral extension of $K[X^2,X^3]$.
More precisely, the going up theorem ensures any prime of $K[X^2,X^3]$ is a contraction of $K[X]$, and you must know that an ideal $\mathfrak{m}\subseteq K[X]$ is maximal if and only if $\mathfrak{m}\cap K[X^2,X^3]\subseteq K[X^2,X^3]$ is maximal.
 1,445
 6
 17