整域
定義
零因子
を持たない
可換環
$ \{0\}
は除く
性質
$ a \neq 0
のとき、
$ ab = ac
ならば
$ b=c
整域では、素元による分解は一意