射影加群




数学において、射影加群(しゃえいかぐん、英: 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}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)}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}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 に対して Extn(P, M) = 0

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


Projective module.png

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



例


  • 環 Ri の直和 R = R1 ⊕ R2 に対して、Pi = Ri ⊕ 0 は射影的な R 加群であるが、自由加群ではない[3]。


性質



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


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

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


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



射影分解と射影次元


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


⋯→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}{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 に対して Pi → Im di が射影被覆となるときは極小射影分解という。任意の加群には自由分解（上記で射影加群を自由加群に置き換えたもの）が存在し、したがって射影分解も存在する。すべての i > n に対し Pi = 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}.}{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}.}{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




Popular posts from this blog

Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

Image
28 6 $begingroup$ Per the Font of Magic feature, sorcerer can use Flexible Casting to create 5th-level spell slots at level 7, even though they are not typically available until level 9. You can transform unexpended sorcery points into one spell slot as a bonus action on your turn. The Creating Spell Slots table shows the cost of creating a spell slot of [5th level is 7] If such a sorcerer levels up while still having this 5th-level spell slot, can they choose a 5th-level spell as the spell they gain upon levelling up? The Spellcasting feature states: Additionally, when you gain a level in this class, you can choose one of the sorcerer spells you know and replace it with another spell from the sorcerer spell list, which also must be of a level for which you have spell slots.
Read more

Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

Image
up vote 13 down vote favorite 1 After the 2018 errata, the disintegrate spell description now reads: A creature targeted by this spell must make a Dexterity saving throw. On a failed save, the target takes 10d6 + 40 force damage. The target is disintegrated if this damage leaves it with 0 hit points. If you were to polymorph an enemy into a rat and then disintegrate it, would the enemy be disintegrated or would it just return to its original form? I know that for Druids, it’s not an instant kill anymore, but is this the case for polymorph as well? dnd-5e spells polymorph errata share | improve this question edited 18 hours ago
Read more

A Topological Invariant for $pi_3(U(n))$

Image
3 3 $begingroup$ Recently, I saw a construction of topological invariant for $pi_3(U(n))$ with $ngeq 2$ : $$ N=frac{1}{24pi^2}int_{S^3} d^3x epsilon^{ijk} Tr[(U^{-1}partial_{x_i}U)(U^{-1}partial_{x_j}U)(U^{-1}partial_{x_k}U)] , $$ where $Uin U(n)$ depends on $boldsymbol{x}=(x_1,x_2,x_3)in S^3$ , $epsilon^{ijk}$ is the Levi-Civita symbol, $i,j,k=1,2,3$ , and the duplicated indexes are summed over. It is claimed that $N$ is an integer, but why? Update 02/02/2019 I think I got an argument for $n=2$ . In this case, $U=e^{i varphi} q$ with $qin SU(2)$ . Due to the trace and the Levi-Civita symbol in $N$ , $varphi$ does not contribute to $N$ . As $Tr[q^{dagger}partial_i q]=0$ and $(q^{dagger}partial_i q)^{dagger}=-q^{dagger}partial_i q$ , $q^{dagger}partial_i q$ in geneeral has the form $q^{dagger}partia
Read more