加法的多項式
素数 p を標数とする体 k に係数を持つ多項式 P(x) が加法的(またはフロベニウス多項式)であるとは、
が a, b に関する多項式として成り立つときに言う。これは k を含む無限体(例えば k の代数閉包)において、任意の a, b に対して成り立つと言っても同じことである。