ネーターの定理
アルバート＝ブラウアー＝ハッセ＝ネーターの定理.