Dimension of affine varieties preserves for open subsets

140 Views Asked by At

My problem: Let $X$ be an affine variety and $U$ an open subset of $X$. Then $dim U = dim X$.

My attempt: If I take a chain of irreducible and closed sets $Z_1\subsetneq... \subsetneq Z_n$ in $U$, then I get a chain of irreducible and closed sets $\bar Z_1\subsetneq ... \subsetneq \bar Z_n$.

I'd like to prove that if the chain in $U$ is a non-refinable chain of irreducible and closed sets, then the chain of its clausures is a non-refinable chain of irreducible and closed sets on $X$. Then, I'd like to build some chain of prime ideal using the fact $I(Z_0)$ maximal and finding that $n$ is the hight.

However. I don't know how can I avance and prove this...

1

There are 1 best solutions below

1
On

To show the equality of dimensions, it suffices to show that $Z \mapsto \overline{Z}$ and $Z \mapsto Z \cap U$ gives an order preserving bijection between the irreducible closed subsets of $U$ and the irreducible closed subsets of $X$ which intersect $U$. This follows from the definition of irreducibility.