Un teorema que relaciona la homología (o cohomología) con coeficientes arbitrarios con la homología (o cohomología) con coeficientes base mediante secuencias exactas cortas que involucran términos Tor y Ext (o Hom) que miden fenómenos de extensión y torsión.

Principio

Expresar los grupos con coeficientes retorcidos o nuevos en términos de la homología conocida con coeficientes más sencillos junto con términos correctores universales de extensión y torsión (Tor para homología, Ext o Hom para cohomología).

Demostración

Para un complejo de cadenas C de grupos abelianos libres y un grupo abeliano G, existe una secuencia exacta corta 0 → H_n(C) ⊗ G → H_n(C;G) → Tor_1(H_{n-1}(C),G) → 0; esta secuencia describe la homología con coeficientes en G en términos de la homología integral y Tor.

Aplicación incorrecta

Asumir que la secuencia se divide canónicamente o aplicar el teorema sin verificar finitud, proyectividad o libertad por grados, lo que conduce a descomposiciones incorrectas u omisión de contribuciones de torsión.

Consecuencia

El uso correcto proporciona un cálculo sistemático de homología/cohomología con coeficientes arbitrarios a partir de cálculos con coeficientes enteros o base, y aclara dónde aparecen obstrucciones de torsión y extensión.

Inversión

Visto al revés, la torsión en homología obstruye la extensión ingenua de coeficientes: términos Tor o Ext no triviales muestran que el cambio a nuevos coeficientes no puede realizarse por simple tensorización o Hom sin correcciones adicionales.

Límite

Se aplica bajo hipótesis como trabajar con complejos de cadenas de módulos libres (o proyectivos) o en contextos donde el tensor/Hom derivado se calcula según lo esperado; no proporciona directamente una división explícita ni la estructura de fonctores derivados superiores más allá de las primeras correcciones Tor/Ext.

Tensión semántica

Tensión entre el teorema como reducción computacional (secuencia exacta práctica) y como enunciado de fontores derivados (identidad de tensor/Hom derivado) que enfatiza diferentes niveles de sofisticación categórica.

Síntesis

El Teorema de Coeficientes Universales reduce la homología o cohomología con coeficientes arbitrarios a la homología con coeficientes base más términos correctores explícitos Tor/Ext, mostrando cómo la torsión y la extensión controlan el paso entre sistemas de coeficientes.