可換環論

可換環に関する数学理論

可換環論(かかんかんろん、英語:commutative algebra、commutative ring theory)は、その乗法可換であるような(これを可換環という)に関する理論の体系のこと、およびその研究を行う数学の一分野のことである。

成立までのながれ

編集

イデアルの概念がリヒャルト・デーデキントによって1870年代に導入されて、以後 Z の数論の拡張にむけて多大な努力が支払われた。また19世紀後半にダフィット・ヒルベルトは、多項式イデアルが有限生成であることを示し、ラスカージェームズ・マコーレーは、多項式イデアルの準素イデアル分解に関する研究をおこなった。その後、日本園正造は、可換環論の抽象化に邁進するとともにデデキント環の公理的特徴付けに成功。ドイツにおいてはエミー・ネーターが同値なデデキント環の定義を発見し、以後彼女はネーター環論の中心的役割を担う。

発展の歴史

編集

ウォルフガング・クルルは両世界大戦の間にネーター環の次元論、局所化完備化正則局所環等の概念を考案、また一般付値環クルル環の理論を完成させた。同時期に秋月康夫整閉包有限加群にならないネーター整域の例を構成。その後クロード・シュヴァレーオスカー・ザリスキらが、クルルの理論を代数幾何に流用し、コーエン完備局所環の構造定理を確立。永田雅宜はヒルベルトの14問題の反例、非鎖状なネーター環の例を構成した。

ホモロジー代数との邂逅

編集

ジャン=ピエール・セール は、局所環正則性とその大域次元の有限性の同値性をホモロジー代数を用いて証明。アレクサンドル・グロタンディーク局所コホモロジーの考案や、ゴレンシュタイン環の理論を展開すると共に代数幾何と可換環論を統合。またEGA4章において、形式的ファイバー優秀環の理論を推し進めた。

外部リンク

編集