交差準同型・主交差準同型

定義 4.1（「群のコホモロジーと群の拡大」§4）

$M$ を $G$ 加群とする。写像 $f\colon G \to M$ が

f(gh) = f(g) + g f(h) \quad (g, h \in G)

を満たすとき交差準同型という。 $m \in M$ により $f(g) = gm - m$ と書ける写像を主交差準同型という。

閉包の状態

定義

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

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