##  [Lema de Schanuel](/es/node/63973) 

 Definición

Un lema de álgebra homológica que compara dos sucesiones exactas cortas que terminan en el mismo módulo con términos medios proyectivos (o libres), afirmando una isomorfía estable entre los módulos de sílceros correspondientes: K ⊕ P' ≅ K' ⊕ P.

 

 

 

 

 

 





## Principio

Principio

Si 0 → K → P → M → 0 y 0 → K' → P' → M → 0 son exactas con P y P' proyectivos, entonces los núcleos satisfacen una relación de tipo cancelación que da K ⊕ P' ≅ K' ⊕ P; el lema capta la invariancia de las sílabas (syzygies) hasta añadir sumandos proyectivos.

 

 

 

 

 





## Demostración

Demostración

En la categoría de módulos sobre un anillo, dadas dos presentaciones proyectivas de M, el Lema de Schanuel construye escindidos y morfismos explícitos que muestran que la suma directa de un núcleo con el proyectivo medio del otro es isomorfa a la suma simétrica, lo que se usa para comparar rangos sobre PID o relacionar dimensiones proyectivas.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Aplicar el lema cuando los términos intermedios no son proyectivos o las sucesiones no son exactas invalida la conclusión; confundirlo con la cancelación de sumandos arbitrarios (sin projectividad) conduce a equivalencias falsas.

 

 

 

 

 





## Consecuencia

Consecuencia

Proporciona una herramienta clave para mostrar que la dimensión proyectiva y la equivalencia estable de módulos están bien definidas, sustenta cálculos en K-teoría y permite transferir propiedades entre resoluciones distintas absorbiendo sumandos proyectivos.

 

 

 

 

## Inversión

Inversión

Si se elimina la projectividad, la isomorfía estable puede fallar y los núcleos no serán comparables añadiendo sumandos arbitrarios; la inversión destaca la necesidad de hipótesis proyectivas para el comportamiento de cancelación.

 

 

 

 

 





## Límite

Límite

Requiere sucesiones exactas cortas con términos intermedios proyectivos (o libres) en una categoría abeliana de módulos; no se extiende a objetos arbitrarios que carezcan de proyectivos ni a contextos donde la cancelación por suma directa falla.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Cercano pero distinto al lema horseshoe y a otras nociones llamadas 'Schanuel' (tema diferente): horseshoe construye resoluciones combinadas, mientras que Schanuel compara syzygies hasta sumandos proyectivos; la confusión entre usos del nombre es habitual y debe evitarse.

 

 

 

 

 





## Síntesis

Síntesis

El Lema de Schanuel formaliza la invariancia estable de las syzygies bajo distintas presentaciones proyectivas: los núcleos de recubrimientos proyectivos sólo difieren por la adición de sumandos proyectivos, de modo que las syzygies de los módulos son comparables salvo esos trozos proyectivos triviales.