数学 › 圏論・ホモロジー代数 › Ext と拡大

Baer 和

定義 3.7(「Ext と拡大」§3)

E1,E2E_1, E_2 を CC の AA による拡大とする。補題 2.2 の拡大 E1⊕E2E_1 \oplus E_2(C⊕CC \oplus C の A⊕AA \oplus A による拡大)を、対角射 Δ=ι1+ι2 ⁣:C→C⊕C\Delta = \iota_1 + \iota_2\colon C \to C \oplus C に沿って引き戻し、和の射 ∇=π1+π2 ⁣:A⊕A→A\nabla = \pi_1 + \pi_2\colon A \oplus A \to A に沿って押し出した拡大

E1+E2=∇∗Δ∗(E1⊕E2)E_1 + E_2 = \nabla_*\Delta^*(E_1 \oplus E_2)

を E1E_1 と E2E_2 の Baer 和という。命題 3.6 の 3 により、これは Δ∗∇∗(E1⊕E2)\Delta^*\nabla_*(E_1 \oplus E_2) と同値である。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理 証明で参照している 1 件

関連するノック 1 問