群关于其子群的相对同调的范畴学描述

本文讨论了群关于其子群的相对同调的函子性质,运用同调代数的办法,证明了它满足同调理论的四条公理。从而使相对同调理论成为一个完整的理论体系。