射影被覆は何を被覆しているのか
前回の記事で射影加群と移入加群を紹介したが、これに関連する概念として、射影被覆と移入包絡というものがある。これらがその名の通り、何かを被覆し、何かを包絡する性質を持っていると思うのは自然なことだろう。
移入包絡は簡単である。詳しくは触れないが、移入包絡はR-加群Mの極大な本質拡大(詳しくはWikipedia[2]などを参照)と、Mを含む移入加群の中で極小なものとして特徴付けられ、それとなく包絡しているような感じがする。
問題は射影被覆である。こちらは一見すると何が何を被覆しているのかが分かりづらい。そこで、本稿ではこの疑問の答えを探ってみようと思う。
射影被覆の定義
まずは射影被覆の定義がないと始まらない。例によって本[1]から定義を引用する。
射影加群Pからの全射準同型は, がPの余剰部分加群であるとき, Mの射影被覆 (projective cover) と呼ばれる.
上の定義に余剰部分加群という言葉が出てきた。これの定義も引用しておく。
R-加群Mの部分加群Kが, 次の性質
「Mの部分加群Uについて, ならば, 」
をみたすとき, KはMの余剰部分加群 (superfluous submodule) と呼ばれる.
何が何を被覆するのか
射影被覆の定義だけ見ても、何が何を被覆しているのかさっぱり分からない。そこで調べてみたところ、英語版Wikipediaにおける射影被覆の記事[4]に日本語版[3]にはない重要な記述があることを発見した。それが以下である。
The main effect of p having a superfluous kernel is the following: if N is any proper submodule of P, then .Informally speaking, this shows the superfluous kernel causes P to cover M optimally, that is, no submodule of P would suffice.
すなわち、Pのどの部分加群も、それを射影被覆*1で移したものはMと一致しないと言っている。ここで思い出して欲しいのは、は全射準同型だということである。つまり、Pの1つの部分加群をで移しただけではMを覆い尽くすことはできないが、Pの全ての部分加群をで移すと、それらが互いの足りないところを補い合って、全体としてMを被覆するのである。
以上まとめると、「射影加群Pの全ての部分加群を射影被覆で移した集合族」が「R-加群M」を(互いの足りないところを補い合いながら)被覆するのである(追記1参照)。
まとめ
以上、射影被覆における被覆という言葉の意味について考えてみた。数学における諸概念の名前は、多くの場合その性質をよく表すように付けられている*3ため、個人的には名前の意味を考えることはとても勉強になると思っている。
気づけば非可換環論やらホモロジー代数周りの勉強を半年近く続けている。それでもまだ分からないことばかりなのだから、数学は本当に奥が深い。
追記1
Pが単純加群の場合、非自明な部分加群が存在しないため、結局がMを被覆するしかない。つまり、非自明な部分加群だけではMを被覆できない時がある。こうなると何だか一気に話がつまらなくなるが、事実なので仕方がない。
参考
[1]
環と加群のホモロジー代数的理論 21世紀数学で重要な手法をきちんと解説する初めての本
- 作者: 岩永 恭雄,佐藤 眞久
- 出版社/メーカー: 日本評論社
- 発売日: 2002/10/01
- メディア: 単行本
- クリック: 2回
- この商品を含むブログを見る
[3] 射影被覆 - Wikipedia
[4] Projective cover - Wikipedia