3
$\begingroup$

Can anyone explain me why the Krull dimension of the ring $K[t^{-1},t]$, where $K$ is a field, is $1$?

I know I should show some efforts here, in MSE, but I actually couldn't find any clue about that.

Any hints or answer would be highly appreciated.

$\endgroup$
0
9
$\begingroup$

$K[t^{-1},t] = K[t]_t$, meaning $K[t]$ localized at $t$. Hence the prime ideals in $K[t^{-1},t]$ are in one-to-one correspondence with the prime ideals in $K[t]$ which avoid the multiplicative set $\{t^n; n \in \mathbb{N}\}$. It now follows easily that $\dim(K[t^{-1},t]) \leq \dim(K[t]) = 1$.

Also $0 \subset (t-1)$ is a chain of prime ideals in $K[t^{-1},t]$, so that $\dim(K[t^{-1},t]) \geq 1$. The conclusion follows.

$\endgroup$
5
  • $\begingroup$ @ Malkoun, thanks for your answer, but one thing is not clear to me, how $K[t,t^{-1}] = K[t]_{t}$ $\endgroup$ – R. Singh May 18 '17 at 11:39
  • 1
    $\begingroup$ yes, well I mean the localization with multiplicative subset $\{1, t, t^2,...\}$ (not to be confused with the localization at a prime ideal). So in that localization, the elements are of the form $p(t)/t^n$, for some $n \in \mathbb{N}$, where $p(t) \in K[t]$. Hence, the elements in the localization consists of polynomials in $t^{-1}$ with coefficients in the ring $K[t]$. Hence $K[t^{-1},t] = K[t]_t$. $\endgroup$ – Malkoun May 18 '17 at 11:44
  • $\begingroup$ okk.. I got it.. thank you very much.. $\endgroup$ – R. Singh May 18 '17 at 11:49
  • $\begingroup$ Also: being the localization of a PID, it is a PID, hence $1$-dimensional. But that presupposes being confident about this fact of PIDs. $\endgroup$ – rschwieb May 30 '17 at 20:31
  • $\begingroup$ @Malkoun Right, I thought it was more than obvious it was a nonfield PID , but it should be mentioned explicitly. $\endgroup$ – rschwieb May 30 '17 at 22:06
-1
$\begingroup$

For the irreducible polynomial $f(y,t) = yt-1$$\in$ $K[y,t]$ , Krull dimension of the quotient ring $K[y,t]/(f(y,t)$ is $1$ so from the isomorphism $ K[t^{-1},t] \rightarrow K[y,t]/(f(y,t)) $ , Krull dimension of the ring $ K[t^{-1},t]$ is $1$.

$\endgroup$
1
  • $\begingroup$ How do you know that "Krull dimension of the quotient ring $K[y,t]/(f(y,t)$ is $1$"? $\endgroup$ – user26857 Jan 9 '20 at 14:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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