単項イデアル環
任意のイデアルが単項イデアルになる可換環Rを単項イデアル環という
さらにRが整域なら、単項イデアル整域という
剰余の法則が成立する聖域をユークリッド整域という
有利整数環は単項イデアル環