3
$\begingroup$

Let $\Bbb Z/p$ be the finite field with $p$ elements.

Consider $\Bbb Z/p[X]$, the ring of polynomials with coefficients in $\Bbb Z/p$.

Consider also the ring $P(\Bbb Z/p)$ of all polynomial functions on $\Bbb Z/p$.

Let $\varphi$ be the morphism $\Bbb Z/p[X]\to P(\Bbb Z/p)$, linking to each polynomial its polynomial function.

Is it correct that the kernel of $\varphi$ is the ideal $(X^p-X)$?

  • 0
    And the notation $\mathbb Z_p$ for $\mathbb Z/p\mathbb Z$ is even worst !2012-12-31

1 Answers 1

3

This shouldn't be terrible to see: $k[X]$ is always a PID (for $k$ a field), and $X^p - X = \prod_{a \in \mathbb{Z}_p} (X - a)$ is defo in the kernel by little fermat. So if $(X^p - X)$ weren't the whole kernel, it would be generated by some $f$ properly dividing this guy, if $f$ omits a given factor $(X - a_0)$, then boop, $f$ doesn't vanish as a function on $a_0$!

  • 0
    Thank you! And what if we replace the field Z/p by the ring Z/n? What is the kernel of the morphism from Z/n[X] to P(Z/n) linking to each polynomial it's polynomial function? Note that Z/n[X] is not a PID.2013-01-04