12
$\begingroup$

In Linear Algrebra form Hoffman and Kunze, the Taylor's Formula is stated as follows:

Theorem 5. (Taylor's Formula) (page 129) Let $\mathbb{F}$ be a field of characteristic zero, $c\in \mathbb{F}$, and $n$ a positive integer. If $f$ is a polynomial over $\mathbb{F}[X]$ with $\deg f \leq n$, then $f=\sum_{k=0}^{n}\frac{(D^{k}f)}{k!}(c)(x-c)^{k}.$

After proving the Theorem, they make some comments."Although we shall not give any details, it is possible worth mentioning at this point that with the proper interpretation Taylor's Formula is also valid for polynomials over fields of finite characteristics. If the field $\mathbb{F}$ has finite characteristics then we may $k!=0$ in $\mathbb{F}$, in which case the division of $(D^{k})f(c)$ by $k!$ is meaningless. Nevertheless, sense can made out of the division of $D^{k}f$ by $k!$, because every coefficient of $D^{k}f$ is an element of $\mathbb{F}$ multiplied by an integer divisible by $k!$."

Is this the "proper interpretation"? I was hoping an interpretation over a field like $GF(2)$.

Thanks for your help.

  • 0
    .....and similar comments apply to \det, \log, \ln, \sin, \cos, \gcd (but not \lcm ; you have to use \operatorname{lcm}), and a variety of other things.2012-01-26

1 Answers 1

8

For instance, take $f(x) = (x^3+1)^3 = x^9+3x^6+3x^3+1$ over $\mathbb{Z}_5$, which has characteristic $5$. Then we have no problems with $D^kf$ for $k \le 4$, but we run into problems with $k=5$ since $5!=0$ in $\mathbb{Z}_5$. However, if we ignore this fact temporarily, we have that

$\begin{align} \frac{D^5f(x)}{5!} &= \frac{9.8.7.6.5x^4 + 6.5.4.3.2.3x}{5!} \\ &= \frac{4.3.2.1.5x^4 + 1.5.4.3.2.3x}{5!} \\ &= \frac{5!x^4 + 5!.3x}{5!} \\ &= x^4+3x \end{align}$

So we're fine.

So the "proper interpretation" is, for finite fields of prime order $p$, to work over $\mathbb{Z}[X]$ and then take the natural map $\mathbb{Z}[X] \rightarrow \mathbb{F}[X]$. You might run into issues with finite fields of order $p^n$ for $n>1$, but I hope this illustrates what the author of the book was trying to get at.

  • 0
    The operator $D^k/k!$ is known as the Hasse derivative. There's a great elementary introduction to it [here](http://math.fontein.de/2009/08/12/the-hasse-derivative).2012-09-23