>>500
Kerf=(x^2-2) つまりx^2-2が生成するイデアルね。
Imf=Q(√2)