# Coordinate ring of finite affine variety

Let $V\subset k^N$ is a finite affine variety (strictly speaking, affine algebraic set), not necessarily irreducible. Show that if $|V|=n$, then $k[V]$, as $k$-algebra, is isomorphic to $k^n$.

I know that $k[V]$ is isomorphic to $k[X]/{\cal{I}} (V)$, writing $V=\{v_1,...v_n\}$, then ${\cal{I}} (V)={\cal{I}} (\{v_1\})\cap {\cal{I}} (\{v_2\})\cap...\cap {\cal{I}} (\{v_n\})$. But I am stuck at showing ${\cal {I}}(V)$ is isomorphic to $k^{N-n}$.

• You need to assume that $V$ is reduced for this to be correct (that is $I(V)$ is equal to its radical), but maybe this is part of your definition. For example, if $V$ is the affine variety in $\Bbb A^1$ corresponding to the ideal $(x^2)$, we have $|V| = 1$ and $k(V) \cong k^2$. Commented Dec 10, 2017 at 15:05
• @NicolasHemelsoet Could you explain why $k(V) \cong k^2$? Commented Dec 11, 2017 at 4:40
• Sure, we have $k[V] \cong k[x]/(x^2) \cong k \oplus k{x} \cong k^2$. Commented Dec 11, 2017 at 9:47
Define the following homomorphism: $f:k[X]\rightarrow k^n,\quad p\mapsto (p(v_1),\ldots,p(v_n))$. Show that $f$ has kernel $\mathcal{I(V)}$ and is surjective and apply the fundamental theorem on homomorphisms.