また "g" は π の核 "c" 上に自明な作用をしていて、1次コホモロジー群h1("g","a")は自明とすると、群コホモロジーの完全系列により、"a""g"/π("a""g")とhom("g","c")との間に同型が存在することがわかる。