|
|
| 1行目: |
1行目: |
| − | [[抽象代数学]]における[[環 (数学)|環]]の'''局所化'''（きょくしょか、{{lang-en-short|''localization''}}）あるいは'''分数環''' {{lang|en|(''ring of fraction'')}}、'''商環''' {{lang|en|(''ring of quotient'')}}<ref group="注">ここでいう「分数環」や「商環」は、「分数体」や「[[商体]]」と同様の語法であって、[[剰余環]]の別名としての「商環」(quotient ring) とは異なる。商体や[[全商環]]は本項にいう意味での商環の特別な場合になっている（[[#例|例]]節を参照）。</ref> は、環に乗法逆元を機械的に添加する方法である。すなわち、環 {{mvar|R}} とその部分集合 {{mvar|S}} が与えられたとき、環 {{mvar|R{{'}}}} と {{mvar|R}} から {{mvar|R{{'}}}} への[[環準同型]]を構成して、{{mvar|S}} の準同型像が {{mvar|R{{'}}}} における[[単元 (代数学)|単元]]（可逆元）のみからなるようにする。さらに、{{mvar|R{{'}}}} が「可能な限りで最良な」あるいは「最も一般な」ものとなるようにするということを考える（こういった状況はふつうは[[普遍性]]によって表されるべきものである）。環 {{mvar|R}} の部分集合 {{mvar|S}} による局所化は {{math|''S''{{msup|−1}}''R''}} で表され、あるいは {{mvar|S}} が[[素イデアル]] <math>\mathfrak{p}</math> の[[補集合]]であるときには <math> R_{\mathfrak{p}}</math> で表される。{{math|''S''{{msup|−1}}''R''}} のことを {{mvar|R{{msub|S}}}} と表すこともあるが、通常混乱の恐れはない。
| + | {{テンプレート:20180815sk}} |
| − | | |
| − | 局所化は[[完備化 (環論)|完備化]]と重要な関係があり、環を局所化すると完備になるということがよくある。
| |
| − | | |
| − | == 用語について ==
| |
| − | 「局所化」の名の起源は[[代数幾何学]]にある。{{mvar|R}} はある幾何学的対象（[[代数多様体]]）の上で定義された函数環とする。この多様体を点 {{mvar|p}} の近傍で「局所的に」調べようとするならば、{{mvar|p}} の近傍で {{math|0}} でないような函数全体の成す集合 {{mvar|S}} を考えることになる。その意味で、{{mvar|R}} を {{mvar|S}} に関して局所化して得られる環 {{math|''S''{{msup|−1}}''R''}} は {{mvar|p}} の近傍における {{mvar|V}} の挙動についての情報のみをふくんでいる（[[局所環]]も参照）。
| |
| − | | |
| − | [[数論]]および[[代数的位相幾何学]]において、数 {{mvar|n}}「における」環や空間とか、{{mvar|n}} から「遠い」などという言及をすることがある。「{{mvar|n}} から遠い」("away from {{mvar|n}}") の意味は、「その環の中で {{mvar|n}} が可逆」（従って、'''Z'''[1/{{mvar|n}}]-代数になる）ということである。例えば、体については「素数 {{mvar|p}} から遠い」と言えば「その体の[[標数]]は {{mvar|p}} と異なる」という意味になる。{{math|'''Z'''[1/2]}} は「{{math|2}} から遠い」が {{math|'''F'''{{ind|2}}}} や {{math|'''Z'''}} はそうではない。
| |
| − | | |
| − | == 形式的な構成 ==
| |
| − | 単元の積はふたたび単元であり、環準同型は積を保つことから、局所化に用いる {{mvar|S}} は {{mvar|R}} の乗法[[モノイド]]の部分モノイドであることが求められる。すなわち、{{mvar|S}} は {{math|1}} を含み、{{math|''s'', ''t''}} が {{mvar|S}} の元ならば {{mvar|st}} もやはり {{mvar|S}} に含まれる。環 {{mvar|R}} のこのような性質を持つ部分集合を'''乗法的集合'''（乗法系）あるいは'''[[積閉集合]]'''（乗法的閉集合）と呼ぶ。
| |
| − | | |
| − | 環 {{mvar|R}} が[[整域]]である場合には、局所化は容易に構成することができる。{{math|0}} が単元となるような環は[[零環|自明な環]] {{math|{{mset|0}}}} のみであるから、{{mvar|S}} に {{math|0}} が含まれるときには、局所化 {{math|''S''{{msup|−1}}''R''}} は必ず {{math|{{mset|0}}}} となる。それ以外の場合には、{{mvar|R}} の[[商体]] {{mvar|K}} を利用することができる。すなわち、{{math|''S''{{msup|−1}}''R''}} として、商体 {{mvar|K}} の部分環であって、{{mvar|R}} の元 {{mvar|r}} と {{mvar|S}} の元 {{mvar|s}} によって {{math|''r''/''s''}} の形に表される元全体になっているものをとればよい。この場合、自然写像 {{math|''R'' → ''S''{{msup|−1}}''R''}} は標準的な埋め込みであり、特に単射になる（一般の場合にはこれは保証されない）。例えば、{{仮リンク|二進分数|en|dyadic fraction}} の全体は、整数環 {{math|'''Z'''}} の[[2の冪| {{math|2}} 冪]]全体の成す積閉集合に関する局所化である。この場合 {{math|''S''{{msup|−1}}''R''}} が二進小数の全体で {{mvar|R}} が整数全体、{{mvar|S}} は {{math|2}} 冪の全体であって、{{mvar|R}} から {{math|''S''{{msup|−1}}''R''}} への自然写像は単射である。
| |
| − | | |
| − | 一般の[[可換環]]に対しては商体は存在しないのだけれども、それでも {{mvar|S}} の元を[[分母]]に持つような「分数」からなる局所化を構成することは可能である。整域の場合とは対照的に、分子と分母を安全に「約分」できるのは、{{mvar|S}} の元の寄与の分だけである。
| |
| − | | |
| − | この構成は以下のようにして得られる。まず、{{math|''R'' × ''S''}} 上の[[同値関係]] {{math|~}} を
| |
| − | :<math>(r_1,s_1) \sim (r_2,s_2) \iff \exists t \in S\,[t(r_1s_2 - r_2s_1) = 0]</math>
| |
| − | で定める。ここで、{{math|(''r'', ''s'')}} の属する[[同値類]]を「分数」{{math|''r''/''s''}} の形に表すことにすると、同値類全体の成す集合 {{math|''S''{{msup|−1}}''R''}} は（初等的な意味での[[分数]]が満たすのと同様の）演算
| |
| − | :<math> a/s + b/t := (at+bs)/st,\quad (a/s)(b/t) := ab/st</math>
| |
| − | によって環となる。{{mvar|R}} の各元 {{mvar|r}} を同値類 {{math|(''r'', 1)}} に写す写像 {{math|''j'': ''R'' → ''S''{{msup|−1}}''R''}} は[[環準同型]]を定めるが、これは一般には単射でない（{{mvar|R}} の二つの元が {{mvar|S}} の零化域に入ることになる零因子の分だけしか違わないなら、それらの {{mvar|j}} による像は等しい）。
| |
| − | | |
| − | [[File:UniversalPropertyOfLocalization.svg|right|175px]]
| |
| − | 局所化のもつ普遍性とは以下のようなものである{{sfn|Atiyah|MacDonald|2006|loc=命題3.1}}。
| |
| − | ; 環の局所化の普遍性
| |
| − | : 環準同型 {{math|''j'' : ''R'' → ''S''{{msup|−1}}''R''}} は {{mvar|S}} の各元を {{math|''S''{{msup|−1}}''R''}} の単元に写し、かつ {{math|''f'': ''R'' → ''T''}} を別の環準同型で {{mvar|S}} の各元を {{mvar|T}} の単元に写すものとすれば、環準同型 {{math|''g'': ''S''{{msup|−1}}''R'' → ''T''}} で {{math|''f'' {{=}} ''g'' ∘ ''j''}} を満たすものがただ一つ存在する。
| |
| − | | |
| − | この普遍性を[[圏論]]の言葉で書けば次のようになる。環 {{mvar|R}} とその部分集合 {{mvar|S}} をとり、{{mvar|R}} 上の多元環 {{mvar|A}} で標準準同型 {{math|''R'' → ''A''}} のもと {{mvar|S}} の各元が {{mvar|A}} の単元となるようなもの全体の成す集合を考える。この集合の元を対象とし、{{mvar|R}}-線型写像を射として[[圏 (数学)|圏]]が定まり、この圏の[[始対象]]を {{mvar|R}} の {{mvar|S}} における局所化と呼ぶ。
| |
| − | | |
| − | == 例 ==
| |
| − | [[整数環]]を {{math|'''Z'''}}, [[有理数体]]を {{math|'''Q'''}} と表す。
| |
| − | * {{math|''R'' {{=}} '''Z'''}} のとき、[[積閉集合]] {{math|''S'' {{=}} '''Z''' − {{mset|0}}}} による局所化は {{math|1=''S''{{msup|−1}}''R'' = '''Q'''}} である。
| |
| − | * {{math|''R'' {{=}} '''Z'''}} で {{mvar|p}} は素数とする。素イデアル {{math|(''p'')}} の補集合 {{math|1=''S'' = '''Z''' − (''p'')}} による局所化 {{math|''S''{{msup|−1}}''R''}} は {{math|(''p'')}} における整数環の局所化 {{math|1='''Z'''{{msub|(''p'')}} = {{mset|''m''/''n'' ∈ '''Q''' | ''m'', ''n'' ∈ '''Z''', ''n'' ∉ (''p'')}}}} である{{sfn|Atiyah|MacDonald|2006|p=58}}<ref>Lang "Algebraic Number Theory," 特に3–4ページと7ページの下。</ref>。
| |
| − | * 可換環 {{mvar|R}} が与えられたとき、{{mvar|R}} の非零因子（すなわち、{{mvar|R}} の元 {{mvar|a}} であって、{{mvar|a}} を掛けるという操作が {{mvar|R}} 上の単射自己準同型となるようなもの）全体の成す集合 {{mvar|S}} は積閉集合である。このときの環 {{math|''S''{{msup|−1}}''R''}} は {{mvar|R}} の[[全商環]]と呼ばれ、しばしば {{math|''Q''(''R'')}} や {{math|''K''(''R'')}} などで表される。この {{mvar|S}} は {{mvar|R}} から {{math|''S''{{msup|−1}}''R''}} への標準準同型が単射となるような積閉集合として最大のものである。さらに {{mvar|R}} が整域ならば、これは {{mvar|R}} の[[商体]]に他ならない。
| |
| − | * 整数の剰余環 [[剰余類環|{{math|'''Z'''/{{mvar|n}}'''Z'''}}]] は、{{mvar|n}} が[[合成数]]のとき整域でない。{{mvar|n}} が[[素数|素]]冪ならば有限[[局所環]]であって、その元は単元かさもなくば[[冪零]]であるから、この場合の局所化が[[零環]]のみしかありえないことが示される。しかし {{math|''n'' {{=}} ''ab''}} と分解され、{{mvar|a}} と {{mvar|b}} が {{math|1}} より大きく、[[互いに素]]ならば、{{math|'''Z'''/{{mvar|n}}'''Z'''}} は[[中国の剰余定理]] によって {{math|'''Z'''/{{mvar|a}}'''Z''' × '''Z'''/{{mvar|b}}'''Z'''}} に同型であり、{{mvar|S}} として {{math|(1, 0)}} と {{math|1=1 = (1, 1)}} のみからなる集合をとれば、対応する局所化は {{math|'''Z'''/{{mvar|a}}'''Z'''}} になる。
| |
| − | *{{math|'''Z'''/6'''Z'''}} の素イデアルは {{math|2'''Z'''/6'''Z'''}} と {{math|3'''Z'''/6'''Z'''}} の2つである（したがって[[クルル次元]] {{math|0}} である）。これらの極大イデアルによる局所化はそれぞれ {{math|'''F'''{{ind|2}}}}, {{math|'''F'''{{ind|3}}}} であり体である。実は、可換環が[[被約環|被約]]かつクルル次元 0 であることと、任意の極大イデアルにおける局所化が体であることは同値である。（さらにこれは[[フォン・ノイマン正則]]であることとも同値である。）
| |
| − | * {{mvar|R}} が可換環で {{mvar|f}} が {{mvar|R}} の元とするとき、積閉集合 {{math|{{mset|''f{{exp|n}}'' | ''n'' {{=}} 0, 1, …}}}}を考えると、これによる局所化は {{mvar|f}} の冪を可逆にすることによって得られる。{{mvar|f}} が冪零であった場合、局所化は零環となる。
| |
| − | | |
| − | == 性質 ==
| |
| − | 局所化 {{math|''S''{{msup|−1}}''R''}} の性質をいくつか挙げる。
| |
| − | | |
| − | * 可換環 {{mvar|R}} と {{mvar|R}} の素イデアル <math>\mathfrak{p}</math> に対して、<math>\mathfrak{p}</math> の {{mvar|R}} における補集合 <math> R\setminus\mathfrak{p}</math> は[[積閉集合]]で、対応する局所化を <math>R_{\mathfrak{p}}</math> であらわす。このとき、<math>R_{\mathfrak{p}}</math> の唯一の[[極大イデアル]]は <math>\mathfrak{p}R_\mathfrak{p} = \{ r/s \mid r \in \mathfrak{p}, s \in R \setminus \mathfrak{p} \}</math> に等しい{{sfn|Atiyah|Macdonald|2006|p=58}}。よって <math>R_\mathfrak{p}</math> は[[局所環]]である。
| |
| − | * {{math|1=''S''{{msup|−1}}''R'' = {{mset|0}}}} となる[[必要十分条件]]は {{mvar|S}} が零元 {{math|0}} を含むことである{{sfn|Atiyah|MacDonald|2006|p=58}}。
| |
| − | * 環準同型 {{math|''R'' → ''S''{{msup|−1}}''R''}} が単射である必要十分条件は {{mvar|S}} が[[零因子]]を含まないことである。
| |
| − | * {{math|''S''{{msup|−1}}''R''}} の素イデアル全体の成す集合と、{{mvar|R}} の {{mvar|S}} と交わらない素イデアル全体の成す集合との間には[[全単射]]が存在する{{sfn|Atiyah|MacDonald|2006|loc=命題3.11}}。この全単射は 環準同型 {{math|''R'' → ''S''{{msup|−1}}''R''}} によって誘導される。
| |
| − | | |
| − | == 応用 ==
| |
| − | 主に[[可換環論]]と[[代数幾何学]]において生じる以下の二つの局所化のクラスは、[[環のスペクトル]] Spec({{mvar|R}}) の[[ザリスキー位相]]に関する[[開集合]]上の函数環を構成するのに用いられる。
| |
| − | | |
| − | * 集合 {{mvar|S}} は与えられた元 {{mvar|r}} の冪全体からなるとする。このときの局所化は、函数 {{mvar|r}} が零でないようなザリスキー開集合 {{math|''U''{{ind|''r''}} ⊂ Spec(''R'')}}（このような形の集合は「主ザリスキー開集合」と呼ばれる）への制限に対応する。例えば {{math|''R'' {{=}} ''K''[''X'']}} が[[多項式環]]で {{math|''r'' {{=}} ''X''}} とすれば、局所化によって[[ローラン多項式]]環 {{math|''K''[''X'', ''X''{{msup|−1}}]}} が得られる。この場合、局所化は埋め込み {{math|''U'' ⊂ '''A'''{{exp|1}}}} に対応する。ただし {{math|'''A'''{{exp|1}}}} はアフィン直線であり、{{mvar|U}} は {{math|0}} の補集合であるようなザリスキー開集合である。
| |
| − | * 集合 {{mvar|S}} を {{mvar|R}} の与えられた[[素イデアル]] <math>\mathfrak{p}</math> の[[補集合]]とすると、<math>\mathfrak{p}</math> が素イデアルであることから {{mvar|S}} は積閉集合となる。この場合、「素イデアル <math>\mathfrak{p}</math> による局所化」と呼ぶのが普通である。局所化に対応するのは、素イデアル <math>\mathfrak{p}</math> によって定まる既約ザリスキー閉集合 <math>V(\mathfrak{p})</math> の {{math|Spec(''R'')}} における補集合 {{mvar|U}} への制限である。
| |
| − | | |
| − | == 非可換の場合 ==
| |
| − | [[非可換環]]の局所化はより難しく、単元を持つことが見込まれる集合 {{mvar|S}} の中にも局所化が存在しない場合がある。局所化の存在を保証する条件の一つに{{仮リンク|オアの条件|en|Ore condition}} がある。
| |
| − | | |
| − | 非可換環が局所化を持つ場合で、明らかに興味の対象となるのが、微分作用素の環の場合である。局所化によって、例えば、微分作用素 {{mvar|D}} の形式逆元 {{math|''D''{{exp|−1}}}} を解釈することができる[[微分方程式]]に対する ''D''<sup>−1</sup> の解釈はいろいろなやり方が様々な文脈で行われるが、局所化の方法による解釈は[[超局所解析]] {{lang|en|(microlocal analysis)}} と呼ばれる、いくつかの分野にわたる大きな数学的理論を形成している。接頭辞 ''micro-'' は特に[[フーリエ理論]]とも関連がある。
| |
| − | | |
| − | == 注記 ==
| |
| − | {{reflist|group="注"}}
| |
| − | | |
| − | == 脚注 ==
| |
| − | {{reflist|2}}
| |
| − | | |
| − | == 参考文献 ==
| |
| − | * {{Cite book
| |
| − | |和書
| |
| − | |last1 = Atiyah
| |
| − | |first1 = M. F.
| |
| − | |last2 = MacDonald
| |
| − | |first2 = I. G.
| |
| − | |translator = 新妻弘
| |
| − | |year = 2006
| |
| − | |title = 可換代数入門
| |
| − | |url = http://www.kyoritsu-pub.co.jp/bookdetail/9784320017917
| |
| − | |publisher = 共立出版
| |
| − | |isbn = 978-4-320-01791-7
| |
| − | |ref = harv
| |
| − | }}
| |
| − | * [[サージ・ラング|Serge Lang]], "Algebraic Number Theory," Springer, 2000. pages 3–4.
| |
| − | * {{cite book
| |
| − | | last = Lam
| |
| − | | first = Tsi-Yuen
| |
| − | | year = 2001
| |
| − | | title = A First Course in Noncommutative Rings
| |
| − | | series = [[Graduate Texts in Mathematics]]
| |
| − | | volume = 131
| |
| − | | edition = 2nd
| |
| − | | place = New York
| |
| − | | publisher = [[Springer-Verlag]]
| |
| − | | isbn = 978-1-4419-8616-0
| |
| − | | ref = harv
| |
| − | }}
| |
| − | | |
| − | == 関連項目 ==
| |
| − | * [[完備化 (環論)]]
| |
| − | * [[準同型]]
| |
| − | * [[付値環]]
| |
| − | * {{仮リンク|局所解析|en|Local analysis}}
| |
| − | * [[局所環]]
| |
| − | * [[加群の局所化]]
| |
| − | * {{仮リンク|圏の局所化|en|Localization of a category}}
| |
| − | * [[導来圏]]
| |
| − | | |
| − | == 外部リンク ==
| |
| − | * {{MathWorld|urlname=Localization|title=Localization|author=Barile, Margherita.}}
| |
| − | | |
| − | {{DEFAULTSORT:かんのきよくしよか}}
| |
| − | [[Category:環論]]
| |
| − | [[Category:局所化]]
| |
| − | [[Category:分数]]
| |
| − | [[Category:数学に関する記事]]
| |