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?
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?
Copyright © 2021 JogjaFile Inc.