群の拡大と同様,とを固定すれば,のによる拡大の同値類全体はアーベル群をなし(cf.),この群はext群formula_60と同型で,単位元は自明な拡大と対応する.