加法的多項式
k-係数多項式 P(x) およびその根全体の成す集合 {w1, ..., wm} ⊂ k に対し、P(x) の根はどの二つも相異なると仮定する(すなわち、P(x) は分離多項式)。このとき P(x) が加法的となる必要十分条件は、集合 {w1, ..., wm} が体の加法に関して群を成すことである。