Let K be a finite feld. Show that for any $\displaystyle x\in K$ there is an $\displaystyle f\in K[X_{1},...,X_{n}]$ with $\displaystyle f(x)=1$ and $\displaystyle f(y)=0$ for all $\displaystyle y \in K\$\{x}.

2. Originally Posted by Biscaim
Let K be a finite feld. Show that for any $\displaystyle x\in K$ there is an $\displaystyle f\in K[X_{1},...,X_{n}]$ with $\displaystyle f(x)=1$ and $\displaystyle f(y)=0$ for all $\displaystyle y \in K\$\{x}.

Your question makes no sense. You cannot evaluate $\displaystyle f$ as a single point in $\displaystyle K$ if $\displaystyle n>1$. Thus, I am going to show that for any $\displaystyle x\in K$ there is $\displaystyle f\in K[X]$ with $\displaystyle f(x) = 1$ and $\displaystyle f(y) = 0$ for all $\displaystyle y\in K - \{x\}$. Since $\displaystyle K$ is a finite field we can define $\displaystyle g(X) = \Pi_{a\in K-\{x\}} (X-a)$. We see that $\displaystyle g(x) \not = 0$ and $\displaystyle g(y) = 0$ for all $\displaystyle y\in K-\{x\}$. Define $\displaystyle f(X) = \tfrac{1}{g(x)}g(X)$.

Sorry for the typo. The correct question was.

Let K be a finite feld. Show that for any $\displaystyle x\in K^{n}$ there is an $\displaystyle f\in K[X_{1},...,X_{n}]$ with $\displaystyle f(x)=1$ and $\displaystyle f(y)=0$ for all $\displaystyle y \in K^{n}-\{x\}$.

Thanks again.

4. Originally Posted by Biscaim
Sorry for the typo. The correct question was.

Let K be a finite feld. Show that for any $\displaystyle x\in K^{n}$ there is an $\displaystyle f\in K[X_{1},...,X_{n}]$ with $\displaystyle f(x)=1$ and $\displaystyle f(y)=0$ for all $\displaystyle y \in K^{n}-\{x\}$.

Thanks again.
It is the same idea! Try to modify what I first wrote to $\displaystyle K^n$.