Lemma 81.10.2. In Situation 81.2.1 let $X/B$ be good. Let $U \subset X$ be an open subspace. Let $Y$ be the reduced closed subspace of $X$ with $|Y| = |X| \setminus |U|$ and denote $i : Y \to X$ the inclusion morphism. For every $k \in \mathbf{Z}$ the sequence

$\xymatrix{ Z_ k(Y) \ar[r]^{i_*} & Z_ k(X) \ar[r]^{j^*} & Z_ k(U) \ar[r] & 0 }$

is an exact complex of abelian groups.

Proof. Surjectivity of $j^*$ we saw above. First assume $X$ is quasi-compact. Then $Z_ k(X)$ is a free $\mathbf{Z}$-module with basis given by the elements $[Z]$ where $Z \subset X$ is integral closed of $\delta$-dimension $k$. Such a basis element maps either to the basis element $[Z \cap U]$ of $Z_ k(U)$ or to zero if $Z \subset Y$. Hence the lemma is clear in this case. The general case is similar and the proof is omitted. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).