定義
>>14 における a, b + cω をイデアル I の標準基底と呼ぶ。