数学 › 可換環論 › テンソル積と平坦性・射影加群・入射加群

射影加群

定義 3.1（「テンソル積と平坦性・射影加群・入射加群」§3）

AA 加群 PP が射影的であるとは、任意の全射 g ⁣:M→Ng\colon M \to N と準同型 φ ⁣:P→N\varphi\colon P \to N に対し、g∘ψ=φg \circ \psi = \varphi を満たす準同型 ψ ⁣:P→M\psi\colon P \to M が存在することをいう。

本文で読む（前後の説明と例）→

閉包の状態

定義

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

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

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