ホモロジー代数

• 巡回加群の Tor, Ext による平坦性・入射性・射影性判定