#群論の知識

#群 の #ホモロジー(group homology)
https://ja.wikipedia.org/wiki/...

#G加群 Mに対しDMを
{gm−m|g∈G, m∈M} から生成される
#部分加群 とする.
Mに対し商M_{G}＝M/DM
を与える対応は #右完全関手.
その #左導来関手 H_n(G,M) が
群のホモロジー.

群の #コホモロジー の構成と双対.