定義
A を一意分解整域とし、
f(X) = a_0X^n + a_1X^(n-1) + ... + a_n を A 係数の 0 でない
多項式とする。ここで、n > 0 とする。
a_0, a_1, ..., a_n の公約元が A の可逆元以外ないとき、
f(X) を原始多項式という。