A principal open set of an affine algebraic set is an affine variety Notations


*

*$k$ is an algebraic closed field and $\mathbb A^n(k)$ is the topological space $k^n$ with the Zariski topology

*If $X\subseteq\mathbb A^n(k)$ is an affine algebraic set and $f\in\Gamma(X)$, then $D(f)=\{x\in X\,:\, f(x)\neq0\}$

*An affine variety for me is a ringed space $(X,\mathcal O_X)$, where $\mathcal O_X$ is a sheaf of $k$-valued function, that is isomorphic (as ringed space) to $(V,\mathcal O_V)$, where $V$ is an IRREDUCIBLE affine algebraic set and $\mathcal O_V$ is the sheaf of regular functions on $V$.



I want to find an affine variety that is not an irreducible affine algebraic set. If $X\subseteq\mathbb A^n(k)$ is an irreducible affine algebraic set, and $f\in\Gamma(X)$, I would prove that $(D(f),\mathcal O_{X|D(f)})$ is an affine variety:
Let's consider $\mathfrak a=I(X)\subseteq k[T_1,\ldots, T_n]$ as a subring of $k[T_1,\ldots, T_n, T_{n+1}]$ and let $F\in k[T_1,\ldots, T_n]$ be a representative of $f$. If $Y=V(\big<\mathfrak a, FT_{n+1}-1\big>)$, the function
$$j: Y\longrightarrow D(f)$$
that is the restriction of the projection of $\mathbb A^{n+1}(k)$ on $\mathbb A^n(k)$ is clearly bijective and continuous with inverse $j^{-1}:(x_1,\ldots, x_n)\longmapsto (x_1,\ldots, x_n,\frac{1}{f(x_1,\ldots,x_n)})$. Now


*

*How can I prove that $Y$ is irreducible?

*Why is $j^{-1}$ continuous? (so $j$ is a homeomorphism)

*Why is $j$  an isomorphism of ringed spaces? If $U\subset D(f)$ is open, should be proved that for all $g\in \mathcal O_X(U)$, then $g\circ f_{|f^{-1}(U)}\in\mathcal O_X(f^{-1}(U))$.

 A: 1) $X$ is irreducible and $D(f)$ is open in $X$ implies that $D(f)$ is also irreducble. Now, since $j: Y \rightarrow D(f)$ is continuous and bijective, it is a homeomorphism. This implies that $Y$ is also irreducible (as it is topologically homeomorphic to $D(f)$). 
2) You can check that whenever you have a homeomorphism between two topological spaces, the inverse map (theoretical) is also continuous, hence, is also a homeomorphism.
3) To show that $j$ is an isomorphism of ringed spaces, you need to construct $j^{\#}: \mathcal{O}_{D(f)} \rightarrow j_{\ast} \mathcal{O}_Y$ and verify that it gives you an isomorphism of sheaves for each open subset $U \subset D(f)$. This can be done as follows. For any section $g \in \mathcal{O}_{D(f)}(U)$ that is represented by $G \in k[T_1, ...., T_n]$, we define its image to be the section represented by $H(T_1,...,T_n, T_{n+1}) = G(T_1,...,T_n)$. There is a little bit detailed and routine checking required here that $H$ does represent validly a unique section in $j_{\ast \mathcal{O}_Y(U)} = \mathcal{O}_Y(j^{-1}(U))$ and vice versa, i.e. a section in the $\mathcal{O}_Y(j^{-1}(U))$ has a preimage in $\mathcal{O}_{D(f)}(U)$. It probably uses some fact in step 1 but all in all, it is not too bad. 
