整域

可換環で、単位元があり、零元以外に零因子を持たない環のこと。

整数全体は整数環となります。

整数環は可換なので可換環。1という単位元があり、0以外の0因子はないので、整域になる。

実は体も整域になる。