某 SCOI 模拟赛 T4 构造题（construct）（构造 n 元有限域）【群论】

（20200527）

题意

构造一个 $n$ 元有限域。（$1<n\le 1000$）

题解

首先只有在 $n$ 为质数的整数次幂时才能构造出来（不会证）。记 $n=p^d$。

$d=1$ 时，显然所有运算直接 $\mathrm{m}\mathrm{o}\mathrm{d}p$ 就行。

$d>1$ 时，考虑把每个数写成 $d-1$ 次多项式 $f(x)$ 的形式，系数就对应这个数在 $p$ 进制下的每一位，令 $x=p$ 则得到原数。

加法即普通的多项式加法，系数对 $p$ 取模。

乘法如果是普通的多项式乘法，结果次数会超过 $d-1$，于是尝试在此基础上模一个 $d$ 次多项式