Fのイデアルが有限生成なるときFはネター環である。ネータ環ともいう。ちな、ネータは史上もっとも重要な（業界で）ドイツ人女性の名前である。ところで、イデアルってナニ？