Ext Obstruction
- Pure Mathematics -
Algebra Dictionary
Definition
An element of an Ext group that encodes the failure of an extension to split or of a lifting problem to have a solution; typically a class in Ext^1 (for non‑split extensions) or in higher Ext groups (for higher order obstructions).