数学 › 圏論・ホモロジー代数 › Ext と拡大
Baer 和
定義 3.7(「Ext と拡大」§3)
E1,E2 を C の A による拡大とする。補題 2.2 の拡大 E1⊕E2(C⊕C の A⊕A による拡大)を、対角射 Δ=ι1+ι2:C→C⊕C に沿って引き戻し、和の射 ∇=π1+π2:A⊕A→A に沿って押し出した拡大
E1+E2=∇∗Δ∗(E1⊕E2)を E1 と E2 の Baer 和という。命題 3.6 の 3 により、これは Δ∗∇∗(E1⊕E2) と同値である。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 1 件
関連するノック 1 問