整域だろうがそうでなかろうか生成する単項イデアルが互いに素、の意味じゃダメなん?