## [Obstrucción en Ext](/es/node/63666) Definición Un elemento de un grupo Ext que codifica el fallo de una extensión para dividirse o de un problema de elevación para tener solución; típicamente una clase en Ext^1 (para extensiones no escindidas) o en Ext de orden superior para obstrucciones de orden mayor. ## Principio Principio Las clases de obstrucción residen en Ext porque Ext mide clases de equivalencia de extensiones y datos de extensión derivados; una clase no nula obstruye la existencia de una división o de elevaciones sucesivas en una filtración o una secuencia de deformación. ## Demostración Demostración Para módulos sobre un anillo R, una sucesión exacta corta 0 → A → E → B → 0 determina una clase en Ext^1_R(B,A). Si esta clase es no nula la sucesión no es escindida y no existe una sección R‑lineal B → E. Más ampliamente, intentar levantar un morfismo a través de extensiones sucesivas produce clases en Ext^n que deben anularse para continuar. ## Aplicación incorrecta Aplicación incorrecta Tratar cualquier clase Ext no nula como obstrucción sin especificar el contexto del morfismo o de la extensión, o confundir la equivalencia de extensiones con la existencia concreta de una sección, conduce a conclusiones erróneas sobre la solvencia. ## Consecuencia Consecuencia Identificar correctamente una obstrucción en Ext muestra exactamente por qué falla una división o un levantamiento y sitúa la obstrucción en un grado cohomológico; entonces se puede intentar anular la clase cambiando la categoría, la base o pasando a recubrimientos o extensiones que alteren los grupos Ext. ## Inversión Inversión La anulación de la clase Ext pertinente (por ejemplo clase = 0 en Ext^1_R(B,A)) implica la existencia de una división o del levantamiento deseado en el contexto dado, invirtiendo la obstrucción. ## Límite Límite Esta noción presupone un contexto abeliano (o triangulado) con grupos Ext bien definidos; en contextos no abelianos la obstrucción puede codificarse de otro modo y no siempre por Ext. El término excluye la mera cohomología no nula que no provenga de un problema de extensión. ## Tensión semántica Tensión semántica «Obstrucción en Ext» compite con la idea más laxa de «clase de cohomología no nula»: la primera vincula la clase a un problema de extensión o elevación concreto, la segunda puede ser un invariante global sin interpretación obstructiva directa. ## Síntesis Síntesis Una obstrucción en Ext es el certificado cohomológico dentro de un grupo Ext que localiza por qué una extensión dada no se divide o por qué un levantamiento no puede continuar; organiza modos de fallo locales en una clase cohomológica calculable.