単項イデアルの剰余環