「局所環」の版間の差分
削除された内容 追加された内容
編集の要約なし |
Hagurekusa (会話 | 投稿記録) 導入部の記載で歴史にかかわるものを括りだして整理しました。関連する情報を追記しました。 |
||
| (30人の利用者による、間の47版が非表示) | |||
1行目:
抽象代数学における'''局所環'''（きょくしょかん、{{lang-en-short|local ring}}）は、比較的簡単な構造を持つ[[環 (数学)|環]]であり、代数多様体や可微分多様体上で定義される関数の、あるいは[[代数体]]を座や素点上の関数として見るときの「局所的な振る舞い」を記述すると考えられるものである。局所環およびその上の加群について研究する[[可換環論]]の一分野を'''局所環論'''と呼ぶ。
局所環は[[1938年]]に[[ヴォルフガンク・クルル]]によって ''Stellenringe''（ドイツ語）の名前で導入された{{sfn|Lam|2002|p={{google books quote|id=O1LqCAAAQBAJ|page=169|169}}|ps=, <q lang="en">Commutative [noetherian] local rings were introduced by {{harvtxt|Krull|1938}}, who called them “Stellenringe”.</q>}}。局所環という呼び名は[[オスカー・ザリスキー]]によって提案された{{Efn|
{{harvtxt|Lam|2002|p={{google books quote|id=O1LqCAAAQBAJ|page=169|169}}}} や {{harvtxt|永田|1984|p=158}} には局所環の名前は {{harvtxt|Chevalley|1943}} によると書かれている。しかし {{harvtxt|Zariski|1943|p=497}} に{{行内引用|lang=en|We propose the translation: “''local rings''.”}}と書かれており、また論文の受付日は {{harvtxt|Chevalley|1943}} は1943年8月12日で {{harvtxt|Zariski|1943}} は1942年9月1日である。
}}。
== 定義 ==
環 ''R'' が'''局所環'''であるとは、以下に挙げる同値な条件を一つ（したがって全て）満たすもののことである{{sfn|Anderson|Fuller|1992|loc=Proposition 15.15|ps= (1<!-- uniq. left ideal --> ⇔ 3<!-- non-inv. elem. closed under add. --> ⇔ 4<!-- x or 1-x is inv. --> ⇔ 6<!-- R/J: div. ring -->)}}：
# ''R'' は極大左イデアルを唯一つだけ持つ。
# ''R'' は極大右イデアルを唯一つだけ持つ。
# ''R'' において 1 と 0 が等しくなく、また ''R'' のどの二つの非可逆元の和も再び非可逆となる。
# ''R'' において 1 と 0 が等しくなく、また ''x'' が ''R'' の元であるならば、''x'' または 1 − ''x'' のいずれかは必ず可逆である。
# ''R'' の元の適当な有限和が単元となるならば、和の項となる元の中に単元が必ずある（特にもし、何も加えないという和を考えるなら、それは 0 を意味するのであって、いま 1 と異なるのであるから単元でない）。
# ''R''/''J'' は[[可除環]]である。ただし ''J'' は ''R'' の[[ジャコブソン根基]]を表す。
これらの性質が成り立つとき、唯一の極大左イデアルは唯一の極大右イデアルに一致し、またジャコブソン根基にも一致する。上記 3 番目の性質は局所環の非可逆元全体が真のイデアルをなし、したがってジャコブソン根基に含まれることを言っている。4 番目の性質は次のように言い換えることができる： ''R'' が局所環となる必要十分条件は、''R'' に互いに素な二つの真の左イデアルが存在しないことである。ここで ''R'' の二つのイデアル ''I''<sub>1</sub>, ''I''<sub>2</sub> が「互いに素」とは ''R'' = ''I''<sub>1</sub> + ''I''<sub>2</sub> が成立することである。
可換環の場合には、イデアルの左右・両側の区別をしないので、可換環が局所環である必要十分条件はその環が極大イデアルを唯一つ持つことである。
文脈によっては、局所環の定義に（左および右）[[ネーター環|ネーター性]]を仮定するものもある{{sfn|Nagata|1962|p=13}}。その場合には、ネーター性を持たないものを'''擬局所環'''、'''準局所環''' <span lang="en">(quasi-local ring)</span> と呼ぶ（本項ではこれを区別しない）。
== 例 ==
=== 可換な例 ===
可換（および非可換な）[[可換体|体]]は {0} を唯一の極大イデアルとする局所環である。
局所環に「局所」の名を冠する理由は次のようなものである。まず、実数直線上で 0 を含むある開区間において定義される実数値連続函数を考え、函数の 0 付近という局所での挙動のみに注目して、0 を含むある開区間（これはいくらでも小さく取って構わない）で一致するような函数を全て同一視する。この同一視というのは[[同値関係]]を成し、この同値類を 0 における実数値連続函数の[[芽 (数学)|芽]]（め、<span leng="en">germ</span>）または実数値連続函数芽（が）という。実数値連続函数の芽は通常の函数の値ごとの加法と乗法によって可換環をなす。
この連続函数芽全体の成す環が局所環であることを知るためには、函数芽の可逆性を定義する必要がある。函数芽 ''f'' が可逆であるとは ''f''(0) が 0 でないこととする。これはつまり、''f''(0) が 0 でなければ、連続函数の性質から、0 を含む適当な開区間上で ''f'' が 0 にならず、したがってその区間上で ''g''(x) = 1/''f''(''x'') という連続函数の芽を考えることができるという理由による。このとき ''fg'' は 1 に等しい。
この特徴づけで明らかなことは、非可逆な函数芽の和がやはり非可逆となるということであり、これによって函数芽の環が可換局所環であることを知ることができる。特にこの局所環の極大イデアルは ''f''(0) = 0 を満たすような函数芽全体に一致する。
これと同じようなことは、[[位相空間]]とその上の一点と実数値連続函数から芽の環を考えることでもできるし、[[可微分多様体]]上に一点をとって、[[可微分写像]]から芽の環を考えても、あるいは点つきの[[代数多様体]]上の[[有理函数]]から芽の環を考えてもよいが、結果として、これらの芽の環は局所環となる{{sfn|Danilov|2001}}。またこれらの例は、代数多様体の一般化である[[概型|スキーム]]が、どうして特殊な[[局所環付き空間]]として定義されるのかということの説明の一助となる。
もう少し算術的な例として、分母が奇数となるような有理数全体の成す環 '''Z'''{{sub|(2)}} は局所環である。その極大イデアルは、分子が偶数で分母が奇数であるような分数全体 2'''Z'''{{sub|(2)}} である。もっと一般に、可換環 ''R'' とその[[素イデアル]] ''P'' が与えられたとき、''R'' の ''P'' における[[環の局所化|局所化]]は、''P'' の生成する唯一の極大イデアルを持つ局所環である{{sfn|Matsumura|1986|p=22|loc=Example 2}}。
体上の（一変数あるいは多変数の）[[形式冪級数環]]も局所環の例である{{sfn|Matsumura|1986|p={{google books quote|id=yJwNrABugDEC|page=4|4}}|loc=Example 1}}。極大イデアルは定数項を持たない冪級数全体である。（一方で体上の[[多項式環]]は局所環ではない{{sfn|Danilov|2001}}。）
体上の[[二元数]]の成す多元環も局所環である。もう少し一般に、''F'' が体で ''n'' が正整数であるならば、商環 ''F''[''X'']/(''X''<sup>''n''</sup>) は、定数項を持たない多項式の類全体の成す極大イデアルを持つ局所環となる。実際に[[等比級数]]を使えば、定数項を持つ任意の多項式が ''X''<sup>''n''</sup> を法として可逆であることが示せる。 これらの例では、その元はどれも冪零であるか可逆であるかのいずれかである。
局所環は[[付値|賦値論]]では重要な役割を果たす。体 ''K''（これは函数体かもしれないしそうでないかもしれない）が与えられたとき、そこから局所環を見つけることができる。定義により、''K'' の部分環 ''R'' が ''K'' の付値環であるならば、''K'' のどの非零元についても、''x'' か ''x''<sup>−1</sup> のうちのいずれかが ''R'' に属す、という性質を持つ。そのような性質を持つ部分環はどれも局所環である。''K'' が実際に代数多様体 ''V'' 上の函数体であるならば、''V'' の各点 ''P'' に対して、「''P'' において定義された」函数の成す賦値環を考えることができるだろう。''V'' の次元が 2 以上である場合なら、以下のような状況を見て取るのは困難である：
: ''F'' および ''G'' が ''V'' 上の有理函数で ''F''(''P'') = ''G''(''P'') = 0 を満たすとする。このとき、函数 ''F''/''G'' の ''P'' における値というのは不定形である。例えば簡単なところで ''Y''/''X'' において、極限を直線 ''Y'' = ''tX'' にそって近づけるようなことを考えると、「''P'' における値」という概念には単純な定義というものが無いように思われるだろう。けれども賦値を使えばこのようなことは取り除かれる。
=== 非可換な例 ===
非可換局所環は、環上の加群の直和分解の研究において、[[自己準同型環]]として自然に現れる。具体的には、加群 ''M'' の自己準同型環が局所環であるならば、''M'' は[[直既約加群|直既約]]であり{{sfn|Anderson|Fuller|1992|loc=Theorem 12.6 (Azumaya)}}、逆に、有限な[[加群の長さ|長さ]]を持つ加群 ''M'' が直既約ならば、その自己準同型環は局所環となる{{sfn|Anderson|Fuller|1992|loc=Lemma 12.8}}。
''k'' を[[標数]] ''p'' の体、''G'' を有限[[p群| ''p''-群]]とすると、その[[群環]] ''kG'' は局所環である。
== 諸事実と諸定義 ==
=== 可換の場合 ===
可換局所環 ''R'' が極大イデアル <math>\mathfrak{m}</math> をもつことを <math>(R, \mathfrak{m})</math> と表すことにする{{sfn|Matsumura|1986|p={{google books quote|id=yJwNrABugDEC|page=3|3}}}}。可換局所環 <math>(R, \mathfrak{m})</math> は <math>\mathfrak{m}</math> の冪全体を 0 近傍系の基とする位相（これを <math>\mathfrak{m}</math>-進位相と呼ぶ）により自然な方法で[[位相環]]となる。
二つの局所環 <math>(R, \mathfrak{m}), (S, \mathfrak{n})</math> に対して、''R'' から ''S'' への'''局所環準同型'''とは、環準同型 ''f'' : ''R'' → ''S'' であって、<math>f(\mathfrak{m}) \subset \mathfrak{n}</math> を満たすもののことを言う{{sfn|Matsumura|1986|p={{google books quote|id=yJwNrABugDEC|page=48|48}}}}。<math>(R, \mathfrak{m}), (S, \mathfrak{n})</math> を <math>\mathfrak{m}</math>-進位相, <math>\mathfrak{n}</math>-進位相でそれぞれ位相環と見れば、この位相に関して連続な環準同型が、局所環の準同型である。
位相環として見た場合に、 <math>(R, \mathfrak{m})</math> は[[完備]]であるかという問いを与えることができるが、これは一般には正しくない。しかしその完備化はやはり局所環となる。
もし <math>(R, \mathfrak{m})</math> が可換ネーター的局所環であるならば、
:<math>\bigcap_{i=1}^\infty \mathfrak{m}^i = \{0\}</math>
が成り立つ（[[クルルの交叉定理]]）。したがって、''R'' は <math>\mathfrak{m}</math>-進位相に関して[[ハウスドルフ空間]]になる。
=== 一般の場合 ===
局所環 ''R'' の[[ジャコブソン根基]] ''m''（これは ''R'' の唯一の極大左イデアルであり、また唯一の極大右イデアルである）は、ちょうど環 ''R'' の非可逆元の全体のなす ''R'' の唯一の極大両側イデアルである（非可換環の場合、環が極大両側イデアルを唯一つしかもたないとしても、それはその環が局所環であるという意味にはならないということには注意が必要である）。
局所環 ''R'' の元 ''x'' について、以下のことはみな同値である：
* ''x'' が左逆元を持つこと。
* ''x'' が右逆元を持つこと。
* ''x'' が単元であること。
* ''x'' が ''R'' の唯一の極大イデアル ''m'' に属さないこと。
(''R'', ''m'') を局所環とすると、[[商環]] ''R''/''m'' は[[斜体 (数学)|体]]である。 ''J'' が ''R'' に一致しない両側イデアルであるなら、商環 ''R''/''J'' は再び局所環で、その唯一の極大イデアルは ''m''/''J'' で与えられる。
{{仮リンク|アーヴィング・カプランスキー|en|Irving Kaplansky}} の深度定理 (deep theorem) によれば、局所環上の[[射影加群]]は[[自由加群]]である{{sfn|Anderson|Fuller|1992|loc=Corollary 26.7}}。
== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist|2}}
== 参考文献 ==
* {{cite book
|last1 = Anderson
|first1 = F. W.
|last2 = Fuller
|first2 = K. R.
|year = 1992
|title = Rings and Categories of Modules
|url = {{google books|MALaBwAAQBAJ|Rings and Categories of Modules|plainurl=yes}}
|edition = Second
|publisher = Springer-Verlag
|series = Graduate Texts in Mathematics
|volume = 13
|isbn = 0-387-97845-3
|mr = 1245487
|zbl = 0765.16001
|ref = harv
}}
* {{citation
|last1 = Krull
|first1 = W.
|authorlink1 = ヴォルフガンク・クルル
|contribution = Dimensionstheorie in Stellenringen
|contribution-url = {{google books|p7XIq6Fn5voC|Dimensionstheorie in Stellenringen|page=775|plainurl=yes}}
|origyear = 1938
|journal = [[Journal für die reine und angewandte Mathematik|J. Reine Angew. Math.]]
|volume = 179
|pages = 204–226
|mr = 1581594
|zbl = 019.28901
|editor-last = Ribenboim
|editor-first = P.
|title = Collected Papers Volume 1
|year = 1999
|publisher = de Gruyter
|isbn = 3-11-012771-7
|ref = {{sfnref|Krull|1938}}
}}
* {{cite book
|last1 = Lam
|first1 = T. Y.
|contribution = Local rings
|contribution-url = {{google books|O1LqCAAAQBAJ|Local rings|page=169|plainurl=yes}}
|year = 2002
|editor1-last = Mikhalev
|editor1-first = A. V.
|editor2-last = Pilz
|editor2-first = G. F.
|title = The Concise Handbook of Algebra
|publisher = Springer
|isbn = 978-94-017-3267-3
|mr = 1966155
|zbl = 1008.00004
|ref = harv
}}
* {{cite book
|last1 = Matsumura
|first1 = H.
|year = 1986
|title = Commutative Ring Theory
|series = Cambridge Studies in Advanced Mathematics
|volume = 8
|url = {{google books|yJwNrABugDEC|Commutative ring theory|plainurl=yes}}
|publisher = Cambridge University Press
|isbn = 0-521-36764-6
|mr = 0879273
|zbl = 0603.13001
|ref = harv
}}
* {{cite book
|last1 = Nagata
|first1 = M.
|authorlink1 = 永田雅宜
|year = 1962
|title = Local Rings
|series = Interscience Tracts in Pure and Applied Mathematics
|volume = 13
|publisher = Wiley
|mr = 155856
|zbl = 0123.03402
|ref = harv
}}
* {{citation
|last1 = Zariski
|first1 = O.
|authorlink1 = オスカー・ザリスキ
|title = Foundations of a general theory of birational correspondences
|journal = Trans. Amer. Math. Soc.
|volume = 53
|pages = 490–542
|mr = 8468
|zbl = 0061.33004
|year = 1943
|doi = 10.1090/S0002-9947-1943-0008468-9
|ref = harv
}}
* {{Cite journal|和書| doi = 10.11429/sugaku1947.36.157| volume = 36| issue = 2| pages = 157–163| author = 永田雅宜|authorlink = 永田雅宜 | title = 可換環論の50年| journal = 数学| date = 1984 | ref = {{SfnRef|永田|1984}}}}
* {{Cite journal| doi = 10.2307/1969105| issn = 0003-486X| volume = 44| issue = 4| pages = 690–708| last = Chevalley| first = Claude| authorlink = クロード・シュヴァレー |title = On the Theory of Local Rings| journal = Annals of Mathematics| date = 1943| url = https://www.jstor.org/stable/1969105| jstor = 1969105 | ref = harv}}
== 関連項目 ==
* [[半局所環]]
* [[付値環]]
== 外部リンク ==
* {{SpringerEOM | title=Local ring | id=Local_ring&oldid=12768 | last=V. I. | first=Danilov | ref={{sfnref|Danilov|2001}}}}
{{DEFAULTSORT:きよくしよかん}}
[[Category:局所化]]
[[Category:数学に関する記事]]
| |||