Questions tagged [krull-dimension]

For questions about or related to the Krull dimension, which counts the length of the longest chain of prime ideals of a ring under inclusion.

The Krull dimension of a commutative ring $R$ is defined to be the supremum of the lengths of chains of prime ideals in $R$. Given a chain of prime ideals

$$p_0 \subsetneq p_1 \subsetneq \dots \subsetneq p_n$$

we define the length of this chain to be $n$ (that is, $n$ is the number of strict inclusions). The Krull dimension is the supremum of the quantity $n$ over all such chains.

A field has Krull dimension $0$, and any principal ideal domain that is not a field has Krull dimension $1$. It is not necessary that a ring has finite Krull dimension, even if the ring is Noetherian.

If $M$ is an $R$-module, we define the Krull dimension of $M$ to be

$$\dim_R M = \dim(R/\operatorname{Ann}_R(M))$$

where $\operatorname {Ann}_R(M)$ is the annihilator in $R$ of $M$.

Reference: Krull dimension.

430 questions
2
votes
0 answers

Koszul applied to dimension theory

Reading on the proof in Atiyah-MacDonald (A-M) of the main theorem of dimension theory, I realized that the inductive step in all three of the inequalities $$ \delta(A) \ge d(A) \ge \dim A \ge \delta(A) $$ uses a non-zero divisor of $A$ to drop one…
1
vote
0 answers

Krull dimension of $k[x_1,...,x_n]$

Do you have a easy proof of this affirmation: $\dim_K(k[x_1,...,x_n])=n$ please ? Cause I found some proofs but they all use others theorems I don't know... Thank you ! P.S: Sorry if I made mistakes, I am not English but French..
bobito
  • 97
0
votes
0 answers

Prove the Krull dimension of coordinate ring of $y^2=x^3$ is $1$.

$K$ is an algebraically closed field. The coordinate ring is isomorphic to $K[t^2,t^3]$, whose Krull dimension is of at most $2$(by an hint in the exercise without proof), but how to show it’s exactly $1$ ?
Mugenen
  • 1,091
0
votes
1 answer

Krull dimension, how to compute?

There is something I don't get about Krull's dimension. If $K$ is a field, then the only ideals are $\{ 0 \}$ and $K$ so the only prime ideal is $\{0\}$. So the Krull's dimension is $0$. But if we have an Artinian ring, we have that every prime…
roi_saumon
  • 4,196