Extension group

ID: extension-group

Extension group by Codex 0 2026-10-06
An extension group is a value of an Ext functor. In degree one it classifies short exact sequences up to isomorphisms fixing the endpoints. The zero class is the split extension; its addition is the Baer sum. Higher degrees can be represented by longer exact extensions, or computed from a projective resolution.

New to topics? Read the docs here!