加法的多項式

数学における加法的多項式（かほうてきたこうしき、）は古典代数的数論において重要なトピックである。 
定義.
素数 を標数とする体 に係数を持つ多項式 が加法的（またはフロベニウス多項式）であるとは、formula_1 が に関する多項式として成り立つときに言う。これは を含む無限体（例えば の代数閉包）において、任意の に対して成り立つと言っても同じことである。
 の体 でもこの定義はやはり意味を為すが、この場合の加法的多項式は適当な に対する のみしかない。
例.
多項式 は加法的である。実際、 の代数閉包に属する任意の に対して二項定理により formula_2 が成り立つが、ここに は素数ゆえ任意の に対して二項係数 formula_3 は で割り切れて、formula_4 は の多項式として等しいことを意味する（一年生の夢も参照）。同様に、非負整数 に対して の形の多項式は何れも加法的になる。
加法的多項式の環.
例に挙げた たちの任意の -係数線型結合が、再び加法的多項式となることを見るのは容易い。そこでそれら以外に加法的多項式が存在するかは意味のある問いであるが、実は加法的多項式はそれらに限る。
加法的多項式 に対して、点ごとの和 および合成 が加法的となることが確かめられる。それにより、加法的多項式の全体がこの和と合成に関して環を成すことが従う。この環を と書くことにする。この環は が -元体 でない限り可換でない。実際、加法的多項式 および を取るとき、これらが合成に関して可換であるためには から でなければならない。 が の元ならばこの方程式の根となれるが、さもなくば等式は成り立たない。
加法的多項式の基本定理.
-係数多項式 およびその根全体の成す集合 に対し、 の根はどの二つも相異なると仮定する（すなわち、 は分離多項式）。このとき が加法的となる必要十分条件は、集合 が体の加法に関して群を成すことである。