不定域イデアルって何?