環の局所化

抽象代数学における環の**局所化**（きょくしょか、）あるいは**分数環** 、**商環**  は、環に乗法逆元を機械的に添加する方法である。すなわち、環  とその部分集合  が与えられたとき、環  と  から  への環準同型を構成して、 の準同型像が  における単元（可逆元）のみからなるようにする。さらに、 が「可能な限りで最良な」あるいは「最も一般な」ものとなるようにするということを考える（こういった状況はふつうは普遍性によって表されるべきものである）。環  の部分集合  による局所化は  で表され、あるいは  が素イデアル \mathfrak{p} の補集合であるときには  R_{\mathfrak{p}} で表される。 のことを  と表すこともあるが、通常混乱の恐れはない。

局所化は完備化と重要な関係があり、。

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

数論および代数的位相幾何学において、数 「における」環や空間とか、 から「遠い」などという言及をすることがある。「 から遠い」("away from ") の意味は、「その環の中で  が可逆」（従って、**Z**[1/]-代数になる）ということである。例えば、体については「素数  から遠い」と言えば「その体の標数は  と異なる」という意味になる。 は「 から遠い」が  や  はそうではない。

## 形式的な構成
単元の積はふたたび単元であり、環準同型は積を保つことから、局所化に用いる  は  の乗法モノイドの部分モノイドであることが求められる。すなわち、 は  を含み、 が  の元ならば  もやはり  に含まれる。環  のこのような性質を持つ部分集合を**乗法的集合**（乗法系）あるいは**[[積閉集合]]**（乗法的閉集合）と呼ぶ。

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

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

この構成は以下のようにして得られる。まず、 上の同値関係  を
:(r_1,s_1) \sim (r_2,s_2) \iff \exists t \in S\,[t(r_1s_2 - r_2s_1) = 0] 
で定める。ここで、 の属する同値類を「分数」 の形に表すことにすると、同値類全体の成す集合  は（初等的な意味での分数が満たすのと同様の）演算
: a/s + b/t := (at+bs)/st,\quad (a/s)(b/t) := ab/st
によって環となる。 の各元  を同値類  に写す写像  は環準同型を定めるが、これは一般には単射でない（ の二つの元が  の零化域に入ることになる零因子の分だけしか違わないなら、それらの  による像は等しい）。

局所化のもつ普遍性とは以下のようなものである。
; 環の局所化の普遍性
: 環準同型  は  の各元を  の単元に写し、かつ  を別の環準同型で  の各元を  の単元に写すものとすれば、環準同型  で  を満たすものがただ一つ存在する。

この普遍性を圏論の言葉で書けば次のようになる。環  とその部分集合  をとり、 上の多元環  で標準準同型  のもと  の各元が  の単元となるようなもの全体の成す集合を考える。この集合の元を対象とし、-線型写像を射として圏が定まり、この圏の始対象を  の  における局所化と呼ぶ。

## 例
整数環を , 有理数体を  と表す。
*  のとき、積閉集合  による局所化は  である。
*  で  は素数とする。素イデアル  の補集合  による局所化  は  における整数環の局所化  である。
* 可換環  が与えられたとき、 の非零因子（すなわち、 の元  であって、 を掛けるという操作が  上の単射自己準同型となるようなもの）全体の成す集合  は積閉集合である。このときの環  は  の全商環と呼ばれ、しばしば  や  などで表される。この  は  から  への標準準同型が単射となるような積閉集合として最大のものである。さらに  が整域ならば、これは  の商体に他ならない。
* 整数の剰余環  は、 が合成数のとき整域でない。 が素冪ならば有限局所環であって、その元は単元かさもなくば冪零であるから、この場合の局所化が零環のみしかありえないことが示される。しかし  と分解され、 と  が  より大きく、互いに素ならば、 は中国の剰余定理 によって  に同型であり、 として  と  のみからなる集合をとれば、対応する局所化は  になる。
* の素イデアルは  と  の2つである（したがってクルル次元  である）。これらの極大イデアルによる局所化はそれぞれ ,  であり体である。実は、可換環が被約かつクルル次元 0 であることと、任意の極大イデアルにおける局所化が体であることは同値である。（さらにこれはフォン・ノイマン正則であることとも同値である。）
*  が可換環で  が  の元とするとき、積閉集合 を考えると、これによる局所化は  の冪を可逆にすることによって得られる。 が冪零であった場合、局所化は零環となる。

## 性質
局所化  の性質をいくつか挙げる。

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

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

* 集合  は与えられた元  の冪全体からなるとする。このときの局所化は、函数  が零でないようなザリスキー開集合 （このような形の集合は「主ザリスキー開集合」と呼ばれる）への制限に対応する。例えば  が多項式環で  とすれば、局所化によってローラン多項式環  が得られる。この場合、局所化は埋め込み  に対応する。ただし  はアフィン直線であり、 は  の補集合であるようなザリスキー開集合である。
* 集合  を  の与えられた素イデアル \mathfrak{p} の補集合とすると、\mathfrak{p} が素イデアルであることから  は積閉集合となる。この場合、「素イデアル \mathfrak{p} による局所化」と呼ぶのが普通である。局所化に対応するのは、素イデアル \mathfrak{p} によって定まる既約ザリスキー閉集合 V(\mathfrak{p}) の  における補集合  への制限である。

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

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

## 注記

## 脚注

## 参考文献
* 
* Serge Lang, "Algebraic Number Theory," Springer, 2000. pages 3&ndash;4.
* 

## 関連項目
* 完備化 (環論)
* 準同型
* 付値環
* 
* 局所環
* 加群の局所化
* 
* 導来圏

## 外部リンク
*