多項式がモニックであるという単純な事実によりーが整域でなくともー以下の概念が定義できる: