Results 1 to 4 of 4

Thread: about finite fields

  1. #1
    Newbie
    Joined
    Mar 2009
    From
    São Paulo- Brazil
    Posts
    22

    about finite fields

    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}.

    Thanks in advance.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by Biscaim View Post
    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}.

    Thanks in advance.
    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)$.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Mar 2009
    From
    São Paulo- Brazil
    Posts
    22

    about finite fields

    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.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by Biscaim View Post
    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$.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Distinct Bases for Finite Vector Spaces over Finite Fields
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: May 29th 2011, 12:31 PM
  2. finite fields
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Sep 3rd 2010, 12:40 PM
  3. finite fields
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: Nov 22nd 2009, 01:44 PM
  4. Finite fields....
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 17th 2009, 11:40 AM
  5. Finite Fields
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: Feb 10th 2009, 04:33 PM

Search Tags


/mathhelpforum @mathhelpforum