Remark 111.52.4. Freely use the following facts on dimension theory (and add more if you need more).

The dimension of a scheme is the supremum of the length of chains of irreducible closed subsets.

The dimension of a finite type scheme over a field is the maximum of the dimensions of its affine opens.

The dimension of a Noetherian scheme is the maximum of the dimensions of its irreducible components.

The dimension of an affine scheme coincides with the dimension of the corresponding ring.

Let $k$ be a field and let $A$ be a finite type $k$-algebra. If $A$ is a domain, and $x \not= 0$, then $\dim (A) = \dim (A/xA) + 1$.

## Comments (0)