射影被覆

射影被覆

射影被覆とは、数学において射影加群と加群之间で成立する特別な性質を持つ全射準同型写像のことを指します。この概念は、加群の理論において重要な役割を果たしています。

定義

具体的には、射影加群 $P$ と加群 $M$ の間に全射準同型写像 $\pi: P \twoheadrightarrow M$ が存在する場合、$
核（kernel）$ が最小であるものが射影被覆と定義されます。射影加群 $P$ は、準同型定理によりあらゆる加群 $M$ の全射イメージとして構成できます。したがって、$
\pi: P \to M$ が全射であるならば、$P / \ker \pi = M$ が成立します。ここで、$
\ker \pi$ を最小に選んだ加群 $M$ を射影被覆と呼びます。

このような射影被覆の存在は、加群 $M$ の核が最小になるように選ぶことで確実に成立し、さらに $P$ の全ての部分加群 $L$ に対して、次の条件が満たされる時、$\pi : P \to M$ は射影被覆になります。すなわち、$
\ker \pi + L = P \Rightarrow L = P$ です。

余剰部分加群

また、加群 $N$ の部分加群 $K$ が余剰部分加群である定義も重要です。$K$ が $N$ の全ての部分加群 $L$ に対して $K + L = N$ が成立する場合、$L = N$ となるとき、$K$ は余剰部分加群とされます。さらに、全射 $\pi: N \to M$ の核が余剰部分加群である場合、この準同型は余剰全射となります。

したがって、射影加群 $P$ と加群 $M$ への全射 $\pi$ の組 $(P, \pi)$ が射影被覆であるためには、$\pi$ が余剰全射であることが条件となります。

射影被覆の性質

一意性

加群の射影被覆が存在する場合、一般にはそれが一意であるとは限りません。しかしながら、アルティン環のような特定の環においては射影被覆が一意に存在することが知られています。具体的には、補題により、もし $p: P \to M$ が射影被覆であり、新しい射影加群 $Q$ が全射 $q: Q \to M$ を持つ場合、$Q = P \oplus R$ という形で存在する部分加群 $R$ が存在し、その制限 $q|_P: P \to M$ も射影被覆となります。

直和の性質

さらに、$\pi: P_i \to M_i$ ($1 \leq i \leq n$) が射影被覆であるならば、$\oplus \pi: \oplus P_i \to \oplus M_i$ もまた射影被覆になります。この性質は射影被覆が直和に関しても保持されることを示しています。

既約加群の射影被覆

具体的に、あるゼロでない射影加群 $P$ が既約加群の射影被覆であるための必要十分条件は、$P$ の全ての商加群が直既約であることです。これは、射影被覆の重要な属性の一つとなります。

結論

以上のように、射影被覆は数学の加群理論において非常に重要な概念であり、その性質や定義を理解することは多くの応用に役立つでしょう。射影加群と全射の関係性、余剰部分加群、さらには直和に関する知識を深めることで、この対象への理解がより一層深まります。

もう一度検索