群の拡大
↑ 実は、群準同型の存在を仮定するだけで十分である。すなわち、図式の可換性により準同型写像 T は自動的に同型となるからである(短五項補題(英語版)による)。
↑ あるいは作用素を持つ拡大 Opext(Q, N, φ)