6-1. 完全系列
いくつかの 群 の準同型写像の列、
が、どの についても、
を満たすとき、つまり、
であるとき、その準同型列を「完全系列 (exact sequence) 」という。特に を単に
と略記して、次のように書いて完全系列であるとき、
これを「短完全列 (short exact sequence)」という。また、このとき、 は、
による
の拡大であるという。
上図の「短完全列」において、
だから、 は単射である。また、
だから、 は全射である。
は
が単射であることを考えれば、
と
が同型であることを意味する。準同型定理により、
は、
によって商空間に分解され、その各類が、
の空間の点に対応している形で分解されているというイメージで見ればよいのではないかと思う。群の場合は、準同型写像の核は正規部分群なので、
は正規部分群である。 更にコホモロジーになると
で
みたいなものを定義して考えるようだ。定義からみると、他者に影響も与えないし、影響されてもいない部分を取り出して考えるということか?「完全」というのは、みな他者によって規定されていることである。
※ 短完全列を線型空間で考えれば、
つまり は
と
に分解されている。
の基底は
と
の基底が決まれば定まる。//
完全系列において、 の写像を包含写像 (埋め込み写像)
と見ることもできる。
今度は、 を
加群として、以下のような準同型
が存在するとする。
このとき
ならば、 は単射であり、
は全射である。
そうすると、
であることが証明できる。
(証明)
は、明らか。任意の について、
とすると、
したがって、
となる。
だから、
となり、
である。
直和であることを示すために、
とすると、
かつ
であるが、
なので、
である。//
このとき、 を「分裂単射 (split monomorphism) 」であるという。同様にして、
ならば、 は全射であり、
は単射であって、
となり、 を「分裂全射 (split epimorphism) 」という。
加群 (アーベル群であることに注意) の短完全列を以下とする。
このとき、
( は「分裂単射」である)
(
は「分裂全射」である)
が成立し、短完全列は「分裂 (split)」 するという。
(証明)
まず が「分裂単射」であると仮定する。すると、準同型写像
が存在して、
となり、前の内容から、
となる。ここで、への制限写像
を考えると、
は全射なので、
も全射である。
また、
として、
と仮定すると、
がいえ、
である。したがって、
となる が存在するが、
なので、
ということがわかり、結局、
となって、
ならば、
であるから、 は、単射である。したがって
は全単射から同型写像となり、このことから、
である。
以上から、 が「分裂単射」であるならば、
となり、同型ならば の逆射があり、
なので、 は「分裂全射」である。
逆に、 が「分裂全射」であると仮定する。すると、準同型写像
が存在して、
となり、前の内容から、
となる。射影 を考えると、
であり、したがって、 が「分裂全射」であるならば、
は「分裂単射」である。//
ところが、一般の非可換な群の場合は、前のようにはならない。
上の図で、短完全列であることから、 は
の正規部分群である。最初の方の図で、
を満たす全準同型写像 が存在するならば、
であることから、 も正規部分群である。したがって、
は直和 (直積) 分解となる。
一方、 番目の図で、
が存在していても が一般には、
の正規部分群とはならず、
は「半直積 (semidirect product)」
に同型となる。
「半直積」は「直積」の一般化であって、「直積」と同じように「内部半直積」と「外部半直積」の定義があるが、両者は自然に同型である。「半直積群」の例としては、正 角形の回転 (rotate) と鏡映 (flip) の積からなる
個のシンメトリーを表す二面体群
をあげることができる。
は、巡回群
の半直積である。
(内部半直積による定義)
群 が与えられたとき、正規部分群
と部分群
について、以下の二つは、同値な定義である。
※ 「直積」は の双方が
の正規部分群である。//
1)
2) 任意の について
(または
)
となる がただひとつ存在する。
たとえば 1) の定義で
と二種類に表せたとすると
となって、
となる。
※ 結局、半直積とは と同値のようなものだとわかる。
(外部半直積による定義)
二つの群 と
から
の自己同型群への準同型
を与えたとき、直積集合
に以下のように演算を定義する。
ここで、 を
として、
となる共軛変換によって定め、単位元は として定める。
そうすると、 が群を成すことが以下のように証明できる。
(証明)
2. 単位元
自明
3. 逆元
//
外部半直積によって定義した半直積を
と表記し、
を それぞれ、 と自然に同一視する。
を仮定すると、
なので、
となり、
である。逆は明らかので、したがって、
である。
なので
である。また、
これから、
である。
以上から、外部半直積の定義は、内部半直積の定義と同型
を通じて一致する。
さて、「半直積」について確認したところで、再び、上の図で、二つの群準同型写像 に、
が成立している場合を考える。 は全射であり、
は
の正規部分群である。また、
は単射であり、
である。加群のときと、まったく同じ証明で、
について、
とすると、
つまり
である。
から、
であり、
であるので、
が成立する。
は明らかなので、
とすると、
で
となる
が存在する。
から
である。したがって
である。以上より、
が成立しているならば は 半直積
となる。//
以上から、上の図の二番目が成立しているということは、 が半直積であるということと同値であり、その場合、一番目が成立することがわかる。その場合、
となっている。
クラインの 4 元群は、直積なので違うが、一般の二面体群が可換ではないように、直積と違って半直積の場合、 がアーベル群であっても、
は一般にはアーベル群ではない。別の反例としては、
があり、交代群 、巡回群
は素数位数であることからアーベル群であるが、対称群
は可換とはならない。
※ 直積であれば、
が成立するので、可換である。内部直積でも
とすれば、交換子
は、 が正規部分群なので
両方に含まれる。
なので、
となる。
※ ここで挙げた準同型写像 を「切断 (section)」と呼ぶ。//
下の群と準同型の可換図式で各行は群の拡大とする。 が同型ならば、
も同型である。
(証明)
1) が全射であること:
任意の をとる。
となる が存在する (
は全射から)。
となる が存在する (
は全射から)
である ( から)
したがって、
したがって、
となる
が存在する。
となる が存在する (
は全射から)。
以上から、
を使って、
したがって、任意の について、
であり は全射である。
2) が単射であること:
ある について、
である。写像の可換から、
は単射だから、
である。つまり、
したがって、
となる が存在する。
写像の可換から、
は単射だから、
も単射だから、
したがって、
ならば、
なので、 は単射である。
以上、準同型写像 が全単射であることを示したので、
は同型である。//
6-2. 分数環
環の局所化について。可換環 の「積閉集合 (multiplicatively closed set)」と呼ばれる部分集合の要素が必ず逆元を持つように (単元になるように)、可換環
を拡げた分数環または商環 (ring of quotients)
を構成することを
の
による「局所化 (localization)」という。
可換環 の部分集合
で以下の条件を満たすものを「積閉集合」と呼ぶ。
1) ,
2)
直積 に今から述べる同値関係
によってできる、商集合
を構成する。そうして が含まれる
の同値類を
と書く。なぜ同値類なのかは
なんかを考えればすぐにわかる。
それで導入する関係は、
について、
であり、実際にこれは同値関係になる ( は奇妙に思えるが、同値関係の推移律成立には必要。
と仮に書いてみるとより直感的である)。
(証明)
反射律:
対称律:
だとすると、
について、
したがって、
推移律:
だとすると、
が存在して、
//
商集合 に、演算規則として和と積を通常の分数の計算と同じように導入する。
この演算が well defined であることを証明する。
(証明)
とすると、 について、
である。
和:
積:
この演算で が加法に関して可換群となることは、すぐに確認できる (加法の単位元は
である)。乗法の単位元は
であり、乗法についても環の公理を満たし、可換になることも明らかである。以上の構成により、
は可換環になる。なお、
なので自明な環とはならない。//
を可換環
の積閉集合とする。下の図で、環準同型写像
が与えられ、
の積閉集合
の要素を単元に移すとすると、図の準同型
が同型を除いて唯一つ存在することを証明する。
まず、
であるが、
から、
であり、したがって、
と書けることに注意する。そこで、
と定める ()。
1) であること:
とすると、ある が存在して、
となる。すると、
となる。ところが、 は
の単元だから、
、
つまり
である。よって
。
2) が準同型であること:
同様にして、
を示すことができ、 は、環準同型である。
3) となること (可換であること):
とすると、
である。
4) の一意性:
となる 準同型 があったとすると、
となるので、
である。//
※ は、
により定義され、環準同型であることは簡単に確認できるが、これを標準的な準同型写像 (標準写像)とか、自然な準同型写像 (自然な写像)とか言ったりする。 の核は、
から
である。つまり、に零因子が存在しなければ、
は単準同型であり、
は
の部分環とみなせる。//
※ 「普遍性」について
上記は「普遍性」にもとづくものだが、ここでは直積を使って、「普遍性」についてよくあるような説明をしておく。
射影
が与えられ、図のように任意の写像 があるとき、
について、
と定義すれば、明らかに
が成立する。また、 で
に、
で
に移る
の要素は、
しかないので、写像
は (同型を除いて) ただ、ひとつに定まる。
以下のように可換図を合成すると、 から
は同型を与えていることが確認できる。
ところで、「積閉集合」と「素イデアル」の定義を見較べるのは、価値がある。
「積閉集合」の定義:
可換環 の部分集合
で以下の条件を満たすものを「積閉集合」と呼ぶ。
1) ,
2)
「素イデアル」の定義:
可換環 のイデアル
が、
(つまり、) であって、
ならば、
または
であるとき (対偶を取れば ならば
であるとき)「素イデアル」という。
※ なお、イデアルは を含んでいる。//
を可換環
の素イデアルとする。このとき、
は積閉集合になる。
(証明)
まず、素イデアル は真のイデアル
なので、
。また
なので
。
だとすると、
である。すると、
だから、
である。//
この によって局所化された
の分数 (商) 環
を、特別に
と書く。一般に、ただ一つの極大イデアルしか持たない可換環を「局所環」という。
が局所環であることは、これから示す。
なお、次の事実は、ここでは証明なしで認めておくことにする*1。
「自明でない可換環 において、真のイデアル
を含む極大イデアルが存在する」
それで次を証明する。
「 が局所環である
が唯一の極大イデアルである」
(証明)
が、局所環であるとすると、唯一の極大イデアル
を持つ。
は真のイデアルであることから、
は自明である。また任意の
について、 も真のイデアルであり、したがって
は
のある極大イデアルに含まれるが、
は局所環なので、極大イデアルを
しかもたない。すなわち
である。以上から、
が出る。
逆は、単位イデアルでない任意のイデアルは
に含まれることから明らかである。//
「 は、局所環で、その唯一の極大イデアルは、
である」
(証明)
が
のイデアルであることはイデアルの定義からすぐに確認できる。したがって、
を示せば、上の結果から は唯一の極大イデアルである。
を示すために
を示す。任意の
について、
だから、 は逆元をもち、
から、
である。
は明らかである。//

- 作者: 堀田良之
- 出版社/メーカー: 裳華房
- 発売日: 1987/09/01
- メディア: 単行本
- クリック: 3回
- この商品を含むブログ (5件) を見る
*1:証明はZornの補題を使って示せる。その概略は真のイデアルすべての和集合 を作り、
がイデアルになることを示し、集合の包含関係を順序としたときの上界となることを示すことである