自明でない環がゼロ以外の零因子を持たないとき、Rを整域という

Zや体は整域である

Rが整域なら、R上の多項式環も整域である