射影加群

数学において、射影加群(しゃえいかぐん、英: projective module）とは、
表現可能関手 Hom(P, –) が完全となるような加群 P のことである。 自由加群の一般化に相当する。
ホモロジー代数学における基本的な概念のひとつであり、Cartan & Eilenberg (1956)で導入された^[1]。

目次

• 
  1 動機
  


• 
  2 定義
  


• 
  3 例
  


• 
  4 性質
  


• 
  5 射影分解と射影次元
  


• 
  6 関連項目
  


• 
  7 脚注
  


• 
  8 参考文献
  

動機

一般の加群 P に対して表現可能関手 Hom(P, –) は左完全である。
つまり任意の短完全列

0→N→M→K→0{displaystyle 0to Nto Mto Kto 0}

に対して

0→Hom⁡(P,N)→Hom⁡(P,M)→Hom⁡(P,K){displaystyle 0to operatorname {Hom} (P,N)to operatorname {Hom} (P,M)to operatorname {Hom} (P,K)}

は完全である。
この関手 Hom(P, –) が完全となる、つまり

0→Hom⁡(P,N)→Hom⁡(P,M)→Hom⁡(P,K)→0{displaystyle 0to operatorname {Hom} (P,N)to operatorname {Hom} (P,M)to operatorname {Hom} (P,K)to 0}

が完全となる加群 P のことを射影加群と呼ぶ。

定義

R を単位元をもつ環とし、以下では加群はすべて左 R 加群、射はすべて左 R 加群の準同型を指すことにする。
加群 P が射影加群である、あるいは射影的とは次の同値な条件のいずれかが成り立つことをいう^[2]。

• 
  関手 Hom(P, –) が完全である、つまり任意の短完全列 0 → N → M → K → 0 に対して 0 → Hom(P, N) → Hom(P, M) → Hom(P, K) → 0 も短完全列である


• 
  P はある自由加群の直和因子と同型である


• 任意の全射 N → M に対して Hom(P, N) → Hom(P, M) も全射である


• 任意の加群 M に対して Ext(P, M) = 0
  


• 任意の加群 M と正の整数 n に対して Extⁿ(P, M) = 0
  


• 任意の全射 f : N → M と射 g : P → M に対して f・ h = g となる射 h : P → N が存在する

より一般にアーベル圏 A{displaystyle {mathcal {A}}} の対象 P は関手 HomA⁡(P,−){displaystyle operatorname {Hom} _{mathcal {A}}(P,-)} が完全なときに、射影的という。

例

• 環 R_i の直和 R = R₁ ⊕ R₂ に対して、P_i = R_i ⊕ 0 は射影的な R 加群であるが、自由加群ではない^[3]。

性質

• 環 R は半単純 ⇔ すべての左 R 加群は射影的^[4]
  


• 
  P_iはすべて射影加群 ⇔ ⊕P_i は射影加群^[5]
  


• 可換局所環上の有限生成射影加群は自由加群^[6]
  


• 
  体係数多項式環上の有限生成射影加群は自由加群 （en:Quillen-Suslin theorem）

射影分解と射影次元

加群 M に対し、各 P_i が射影加群であるような次の完全列

⋯→Pn+1→dn+1Pn→⋯→P1→d1P0→d0M→0{displaystyle cdots to P_{n+1}{overset {d_{n+1}}{to }}P_{n}to cdots to P_{1}{overset {d_{1}}{to }}P_{0}{overset {d_{0}}{to }}Mto 0}

を M の射影分解という^[7]。特にすべての i ≥ 0 に対して P_i → Im d_i が射影被覆となるときは極小射影分解という。任意の加群には自由分解（上記で射影加群を自由加群に置き換えたもの）が存在し、したがって射影分解も存在する。すべての i > n に対し P_i = 0 であるような射影分解を長さ n の射影分解という。そのような n が存在する場合その最小値を M の射影次元といい、存在しない場合は射影次元は ∞ という。ただし、{0} の射影次元は −1 とする。射影次元は pd(M) と書かれる。これは M の極小射影分解の長さに等しい。R-加群 M と整数 n ≥ 0 に対して以下は同値^[8]。

• 
  pd(M) ≤ n.


• 任意の R-加群 X に対して、ExtRn+1⁡(M,X)={0}.{displaystyle operatorname {Ext} _{R}^{n+1}(M,X)={0}.}
  


• 任意の i ≥ n + 1 と任意の R-加群 X に対して、ExtRi⁡(M,X)={0}.{displaystyle operatorname {Ext} _{R}^{i}(M,X)={0}.}
  

関連項目

• Ext群


• 入射加群


• 平坦加群


• 射影被覆

脚注

1. 
   ^ Weibel 1999, p. 816.
   


2. 
   ^ Anderson & Fuller 1992 17.1. Proposition(p.192), 17.2. Proposition(p.192), 岩永 & 佐藤 2002 補題 6-2-1(p.201)
   


3. 
   ^ Weibel 1994, Example 2.2.2.
   


4. 
   ^ Anderson & Fuller 1992, p. 193.
   


5. 
   ^ 岩永 & 佐藤 2002, p. 128.
   


6. 
   ^ Weibel 1994, Proposition 4.3.1.
   


7. 
   ^ Weibel 1994, Definition 2.2.4.
   


8. 
   ^ Weibel 1994, Lemma 4.1.6.
   

参考文献

• 
  Anderson, Frank W.; Fuller, Kent R. (1992). Rings and Categories of Modules. Graduate texts in mathematics. 13 (Second ed.). Springer-Verlag. ISBN 0-387-97845-3. MR 1245487. Zbl 0765.16001. http://www.springer.com/mathematics/algebra/book/978-0-387-97845-1. 
  


• 
  Cartan, H.; Eilenberg, S. (1956). Homological Algebra. Princeton University Press. ISBN 0-444-82375-1. MR 0077480. Zbl 0075.24305. https://books.google.com/books?id=Sd0DDAAAQBAJ.  (Review by S. MacLane)


• 
  Weibel, Charles A. (1994). An Introduction to Homological Algebra. Cambridge University Press. ISBN 0-521-55987-1. MR 1269324. Zbl 0797.18001. https://books.google.com/books?id=flm-dBXfZ_gC&pg=PA33. 
  


• 
  Weibel, Charles A. (1999), “History of homological algebra”, in James, I. M., History of Topology, pp. 797–836, doi:10.1016/B978-044482375-5/50029-8, MR 1721123, Zbl 0966.55002, https://books.google.com/books?id=7iRijkz0rrUC&pg=PA797 
  


• 
  岩永, 恭雄、佐藤, 眞久 『環と加群のホモロジー代数的理論』 日本評論社、2002年、第1版。.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
  ISBN 4-535-78367-5。 数学 sugaku1947.58.413
  

This page is only for reference, If you need detailed information, please check here