単項イデアル整域
単項イデアル環かつ整域