34.射影的加群(初等編)
自由加群と射影的加群
函手を完全にする加群を射影的加群と呼んだ。ホム函手は常に左完全であるから、これは完全列が完全列を誘導することを意味する。つまりが全射のとき、任意のに対してとなるが存在する。このようなを一般にのによる持ち上げ(lifting)と呼ぶ。故に射影的加群とは、全射に対しの持ち上げが常に存在するような加群のことを指す。
果たして上記のような加群(加えて興味深い性質を持つ例)は存在するのだろうかという疑問に対して、現時点において、ある程度の回答を与えることができる。
まずは-加群で最も基本的と述べた自由加群から始めよう。自由加群とは適当な添え字集合に対し、と同型となる加群のことであった。各に対し、-成分においてイチ、それ以外の成分においてゼロを取るような元がに存在するが、これに対応する元達を自由基底(free basis)と呼ぶ。この意味するところは、ベクトル空間における基底のように、の元はと一意的に表せることを主張する。
ここで全射及びに対し、となるようなが常に存在する。そこで写像を、により定められる写像とする。あるいは同じことだがをで定めて、普遍性よりを得る。このときとなるのでは射影的である。
さて、上の議論に何か問題は無いだろうか。実は自分もよく見過ごすのだが、日本語に隠された大きなギャップが存在する。それを明らかにするには数学における「証明」についてきちんと考え直さなければならない。詳しくは基礎論に譲るとして、上の議論で問題となるところを端的に述べれば「証明は記号の有限列」である。上の議論では任意のに対してが存在することを主張する所まではよい。だが存在することしか分からないものを個別に指定して廻るのは、高々有限の範囲に収まらなければならない。人間は無限個の空でない箱の中から中身を一斉に取り出すことはできない。精々一つづつ取り出せるだけで、一斉に行うには何か巨大な機械が必要である。今の場合、始めからが与えられている場合は問題ないが、そうでない場合は超越的な操作が必要になる。この操作こそが選択公理(Axiom of choice, AC)と呼ばれるものであるが、今はまだ敢えてこの公理を仮定せず、できる議論を続けたい。
(証明)なので、上記の操作は有限の範囲に収まる。
短完全列の分裂
射影的加群の
- が成り立つ。
- が成り立つ。
このときはとの内部直和(inner direct sum)であるといい、と表す。のことをの直和成分(direct summand)と呼ぶ。
命題 である。
(証明)普遍性よりが取れる。これが全単射であることは条件より従う。
つまりの元はとの元の和で一意的に表せる。
補題 短完全列に対し、以下は同値である。
- が存在してが成り立つ。
- が存在してが成り立つ。
(証明)上から下を示す。に対し、であるからとなる。またとすれば、が存在してとなるから、つまりとなる。故にが従う。つまりと一意的に表せる。このときであり、は単射なのでとなるが唯一つ存在する。このを取りと定めればよい。
下から上も同様にが示せるのでそれを利用すればよい。
注意 上の写像の作り方に選択公理は必要ない。実際はに対して一意的に決まっており、それを指定することで写像を具体的に構成できる。
定義 短完全列が上の条件を満たすとき、分裂している(split)と呼ぶ。
命題 を射影的加群とする。このとき短完全列は分裂する。
(証明)に対して射影的加群の性質を用いればよい。
では逆は成り立つだろうか。全射及びを考える。一般に加群は適当な自由加群の全射像となっている。従ってある自由加群及び全射が存在する。短完全列は分裂するから、が存在してを満たす。とすればとなるが存在する。ここに再び選択公理を仮定すればをより定めることが出来る。このときとなりは射影的であることが分かる。
命題 は有限生成とする。任意の短完全列が分裂するとき、は射影的である。
(証明)有限生成ならとできるのでを具体的に構成できる。
(証明)を射影的加群とする。ある自由加群及び全射が存在する。このときは分裂するのでと表せる。これはが直和成分であることを示す。
(証明)を射影(成分に制限する写像)とすれば、は分裂しが取れる。ここで全射及びに対して、を図式を可換にするように取れる。
(証明)射影加群は自由加群の直和成分であるが、特に有限生成なら有限自由加群の直和成分として書ける。その直和成分もまた有限自由加群の直和成分だから、射影的加群である。
上に見るように有限生成な射影的加群は、有限自由加群の直和成分という形で特徴付けられることが分かる。従って射影的加群の例を作るのは簡単である。この特徴付けは選択公理により強い主張に置き換えることができることを予告しておく。
(証明)より明らか。
命題 が有限生成な射影的加群とする。以下が成り立つ。
(証明)は有限自由加群の直和成分だから、と表せる。このときより、は射影的である。
またより、も射影的である。