3
$\begingroup$

I need your help to solve this question

A subset $X \subset k^n$ ($k$ a field) is called algebraic if there exist polynomials $f_1, \dots, f_m \in k[t_1,\dots,t_n]$ such that

$X = \{x \in K^n | f_1(x) = ...=f_m(x)=0\}.$

The coordinate ring $k[X]$ of $X$ is the ring of all functions $f: X\to k$ that can be represented by some polynomial. That is, there exists a polynomial $g \in k[t_1,\dots,t_n]$ such that $f(x) = g(x)$ for all $x \in X$.

1- Show that for two different points $x,y \in X$ there exists $f \in k[X]$ with $f(x) \neq f(y)$.

2- Let $k=\mathbb{Z}_2 = \mathbb{Z}/2\mathbb{Z}$ and $X \subset k^2$ be the set $\{(0,1),(1,0)\}$. Is $X$ algebraic? Determine its coordinate ring.

3- Let $g_i$ in $N$ be a sequence of polynomials and define $Y:= \{ x \in k^n | g_i (x) = 0~\forall~i\}$. Show that $Y$ is algebraic set.

Thanks

  • 0
    Thank you could you please explain (3)and (1)? I appreciate your help ...2011-02-26

1 Answers 1

1

(1) Mariano said it all. Suppose $x=(x_1,x_2,...,x_n)$ and $y=(y_1,y_2,...,y_n)$. Since $y$ is not equal to $x$, $x_i$ is not equal to $y_i$ for some $i$. Take $f=t_i$.

(2) $X$ is algebraic since we can find finite set of polynomials in $K[x,y]$ that vanish on $X$ e.g $xy, x+y+1$. In fact by taking the ideal $I(X)=$, you get all all the polynomials vanishing on X which is precisely {$0, xy, x+y+1$}. (Convince yourself that this is true by noting that there are at most four polynomials from $X$ to $K$.) The coordinate ring $K(X)=K[x,y]/I(X)$. i.e $K(X)=${$0, 1, x, x+1$}

(3) slackenerny gave you the right idea. You probably need to look-up Hilbert Basis Theorem to know why. This theorem tells you that the ideal generated by the $g_i$'s is finitely generated. Hence, this finite generating set gives you a finite set that vanishes on same set as the infinite set you started with.

By the way,I think you mean a sequence indexed by N in the third question.

  • 0
    thats the spirit! Good job! Regards2013-04-10