# Tagged Questions

52 views

### Krull dimension of localization

If $R$ is a commutative ring and $m$ a maximal ideal therein, then what are the conditions for the Krull dimension of $R$ equaling to the Krull dimension of $R_m$?
49 views

### prove $\dim\mathbb{Z}[X_1,X_2]=3$ from first principles

Since $\dim R[X] =\dim R+1$ for any Noetherian ring $R$, the ring $\mathbb{Z}[X_1,X_2]$ must have dimension 3. But how can this be proved 'from first principles', i.e. without using any big theorems ...
68 views

### Principal ideal domain is universally catenary …

... actually, even more general statement is true: Theorem. Every regular ring is universally catenary. (see for example Algebraic Geometry by Qing Liu, Corollary 2.16, Chapter 8) Though, the ...
130 views

### Equivalence of definitions of Krull dimension of a module

I've seen two definitions of Krull dimension of a module $M$ over a (commutative) ring $R$, and their equivalance does not seem obvious: Matsumura on page 31 of his book Commutative Ring Theory ...
199 views

### Proof details of Theorem 11.1 in Atiyah-Macdonald

I have some trouble filling in the details of this proof from Atiyah-Macdonald. In this result, the authors assume what follows: 1) $A = \oplus_{n=0}^\infty A_n$ is a Noetherian graded ring, and ...
99 views

155 views

### Transcendence degree of $K[X_1,X_2,\ldots,X_n]$

Let $K$ be field. How do I proof that transcendence degree of $K[X_1,X_2,\ldots,X_n]$ is $n$? The set $\{X_1,X_2,\ldots,X_n\}$ is algebraically independent over $K$. So, I have to show that every ...
179 views

### Krull dimension of the injective hull of residue field

Let $(R,\mathfrak{m})$ be a noetherian local ring, and $E=E_R(R/\mathfrak{m})$ the injective hull of $R/\mathfrak{m}$. What do we know about the Krull dimension of $E$? Thank you.
89 views

### Prime ideals of height less than the dimension

Let $A$ be a noetherian local ring with maximal ideal $\mathfrak{m}$ of height $d$, and suppose $\mathfrak{p}_1, \ldots, \mathfrak{p}_s$ are prime ideals of height $i - 1 < d$. It's quite clear ...
185 views

### Which definition of dimension came first?

In my algebraic geometry class, the dimension of an affine variety $X=V(I)$ was defined as the supremum of the length of chains of prime ideals in the coordinate ring $R=k[x_1,\ldots,x_n]/\sqrt{I}$, ...
Suppose $R=\mathbb{C}[x_1,\ldots, x_n]$ is a polynomial ring with $I$ being an ideal of $R$. Let $I'$ be an ideal of $R[t]$. If $R[t]/I'$ is flat as a $\mathbb{C}[t]$-module and over $0$, ...