環の局所化

抽象代数学における環の局所化あるいは分数環 en、商環 en は、環に乗法逆元を機械的に添加する方法である。すなわち、環 R}} とその部分集合 S}} が与えられたとき、環 R'}}}} と R}} から R'}}}} への環準同型を構成して、S}} の準同型像が R'}}}} における単元のみからなるようにする。さらに、R'}}}} が「可能な限りで最良な」あるいは「最も一般な」ものとなるようにするということを考える。環 R}} の部分集合 S}} による局所化は //S//msup で表され、あるいは S}} が素イデアル の補集合であるときには で表される。//S//msup のことを Rmsub と表すこともあるが、通常混乱の恐れはない。

局所化は完備化と重要な関係があり、=環を局所化すると完備になるということがよくある。

1. 用語について
---------

「局所化」の名の起源は代数幾何学にある。R}} はある幾何学的対象の上で定義された函数環とする。この多様体を点 p}} の近傍で「局所的に」調べようとするならば、p}} の近傍で 0}} でないような函数全体の成す集合 S}} を考えることになる。その意味で、R}} を S}} に関して局所化して得られる環 //S//msup は p}} の近傍における V}} の挙動についての情報のみをふくんでいる。

数論および代数的位相幾何学において、数 n}}「における」環や空間とか、n}} から「遠い」などという言及をすることがある。「n}} から遠い」 の意味は、「その環の中で n}} が可逆」ということである。例えば、体については「素数 p}} から遠い」と言えば「その体の標数は p}} と異なる」という意味になる。Z[1/2]}} は「2}} から遠い」が Find や Z}} はそうではない。

2. 形式的な構成
---------

単元の積はふたたび単元であり、環準同型は積を保つことから、局所化に用いる S}} は R}} の乗法モノイドの部分モノイドであることが求められる。すなわち、S}} は 1}} を含み、//s//, //t//}} が S}} の元ならば st}} もやはり S}} に含まれる。環 R}} のこのような性質を持つ部分集合を乗法的集合あるいは積閉集合と呼ぶ。

環 R}} が整域である場合には、局所化は容易に構成することができる。0}} が単元となるような環は自明な環 mset のみであるから、S}} に 0}} が含まれるときには、局所化 //S//msup は必ず mset となる。それ以外の場合には、R}} の商体 K}} を利用することができる。すなわち、//S//msup として、商体 K}} の部分環であって、R}} の元 r}} と S}} の元 s}} によって //r/////s//}} の形に表される元全体になっているものをとればよい。この場合、自然写像 //R// → //S//msup は標準的な埋め込みであり、特に単射になる。例えば、二進分数 の全体は、整数環 Z}} の 2}} 冪全体の成す積閉集合に関する局所化である。この場合 //S//msup が二進小数の全体で R}} が整数全体、S}} は 2}} 冪の全体であって、R}} から //S//msup への自然写像は単射である。

一般の可換環に対しては商体は存在しないのだけれども、それでも S}} の元を分母に持つような「分数」からなる局所化を構成することは可能である。整域の場合とは対照的に、分子と分母を安全に「約分」できるのは、S}} の元の寄与の分だけである。

この構成は以下のようにして得られる。まず、//R// × //S//}} 上の同値関係 ~}} を

で定める。ここで、}} の属する同値類を「分数」//r/////s//}} の形に表すことにすると、同値類全体の成す集合 //S//msup は演算

によって環となる。R}} の各元 r}} を同値類 }} に写す写像 //j//: //R// → //S//msup は環準同型を定めるが、これは一般には単射でない。

局所化のもつ普遍性とは以下のようなものであるAtiyah。

環の局所化の普遍性 環準同型 //j// : //R// → //S//msup は S}} の各元を //S//msup の単元に写し、かつ //f//: //R// → //T//}} を別の環準同型で S}} の各元を T}} の単元に写すものとすれば、環準同型 //g//: //S//msup で //f// =}} //g// ∘ //j//}} を満たすものがただ一つ存在する。この普遍性を圏論の言葉で書けば次のようになる。環 R}} とその部分集合 S}} をとり、R}} 上の多元環 A}} で標準準同型 //R// → //A//}} のもと S}} の各元が A}} の単元となるようなもの全体の成す集合を考える。この集合の元を対象とし、R}}-線型写像を射として圏が定まり、この圏の始対象を R}} の S}} における局所化と呼ぶ。

3. 例
----

整数環を Z}}, 有理数体を Q}} と表す。

//R// =}} Z}} のとき、積閉集合 //S// =}} Z − mset による局所化は 1=//S//msup である。
//R// =}} Z}} で p}} は素数とする。素イデアル }} の補集合 1=//S// = Z − }} による局所化 //S//msup は }} における整数環の局所化 1=Zmsub であるAtiyah。
可換環 R}} が与えられたとき、R}} の非零因子全体の成す集合 S}} は積閉集合である。このときの環 //S//msup は R}} の全商環と呼ばれ、しばしば //Q//}} や //K//}} などで表される。この S}} は R}} から //S//msup への標準準同型が単射となるような積閉集合として最大のものである。さらに R}} が整域ならば、これは R}} の商体に他ならない。
整数の剰余環 Z/mvar は、n}} が合成数のとき整域でない。n}} が素冪ならば有限局所環であって、その元は単元かさもなくば冪零であるから、この場合の局所化が零環のみしかありえないことが示される。しかし //n// =}} //ab//}} と分解され、a}} と b}} が 1}} より大きく、互いに素ならば、Z/mvar は中国の剰余定理 によって Z/mvar に同型であり、S}} として }} と 1=1 = }} のみからなる集合をとれば、対応する局所化は Z/mvar になる。
Z/6Z}} の素イデアルは 2Z/6Z}} と 3Z/6Z}} の2つである。これらの極大イデアルによる局所化はそれぞれ Find, Find であり体である。実は、可換環が被約かつクルル次元 0 であることと、任意の極大イデアルにおける局所化が体であることは同値である。
R}} が可換環で f}} が R}} の元とするとき、積閉集合 msetを考えると、これによる局所化は f}} の冪を可逆にすることによって得られる。f}} が冪零であった場合、局所化は零環となる。

4. 性質
-----

局所化 //S//msup の性質をいくつか挙げる。

可換環 R}} と R}} の素イデアル に対して、 の R}} における補集合 は積閉集合で、対応する局所化を であらわす。このとき、 の唯一の極大イデアルは に等しいAtiyah。よって は局所環である。
1=//S//msup となる必要十分条件は S}} が零元 0}} を含むことであるAtiyah。
環準同型 //R// → //S//msup が単射である必要十分条件は S}} が零因子を含まないことである。
//S//msup の素イデアル全体の成す集合と、R}} の S}} と交わらない素イデアル全体の成す集合との間には全単射が存在するAtiyah。この全単射は 環準同型 //R// → //S//msup によって誘導される。

5. 応用
-----

主に可換環論と代数幾何学において生じる以下の二つの局所化のクラスは、環のスペクトル Spec のザリスキー位相に関する開集合上の函数環を構成するのに用いられる。

集合 S}} は与えられた元 r}} の冪全体からなるとする。このときの局所化は、函数 r}} が零でないようなザリスキー開集合 //U//indへの制限に対応する。例えば //R// =}} //K//[//X//]}} が多項式環で //r// =}} //X//}} とすれば、局所化によってローラン多項式環 //K//[//X//, //X//msup が得られる。この場合、局所化は埋め込み //U// ⊂ Aexp に対応する。ただし Aexp はアフィン直線であり、U}} は 0}} の補集合であるようなザリスキー開集合である。
集合 S}} を R}} の与えられた素イデアル の補集合とすると、 が素イデアルであることから S}} は積閉集合となる。この場合、「素イデアル による局所化」と呼ぶのが普通である。局所化に対応するのは、素イデアル によって定まる既約ザリスキー閉集合 の Spec}} における補集合 U}} への制限である。

6. 非可換の場合
---------

非可換環の局所化はより難しく、単元を持つことが見込まれる集合 S}} の中にも局所化が存在しない場合がある。局所化の存在を保証する条件の一つにオアの条件 がある。

非可換環が局所化を持つ場合で、明らかに興味の対象となるのが、微分作用素の環の場合である。局所化によって、例えば、微分作用素 D}} の形式逆元 //D//exp を解釈することができる微分方程式に対する //D//−1 の解釈はいろいろなやり方が様々な文脈で行われるが、局所化の方法による解釈は超局所解析 en と呼ばれる、いくつかの分野にわたる大きな数学的理論を形成している。接頭辞 //micro-// は特にフーリエ理論とも関連がある。

7. 注記
-----

8. 脚注
-----

9. 参考文献
-------

Serge Lang, "Algebraic Number Theory," Springer, 2000. pages 3–4.

10. 関連項目
--------

完備化 
準同型
付値環
局所環
加群の局所化
導来圏

11. 外部リンク
---------