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