Multivaritate version of Fermat's little theorem

35 Views Asked by At

If $f$ is irreducible over $\mathbb{F}_p[x]$ of degree $d$, then

$$g(x)^{p^d} \equiv g(x) \bmod f(x)$$ and $p^d - 1$ is the order of the cyclic group $\left( \mathbb{F}_p[x]/f(x) \right)^{\times}$. Is there a multivariate version of this?