Una familia de sucesiones exactas que relacionan los grupos de (co)homología con coeficientes arbitrarios con la (co)homología con coeficientes base mediante los funtores Hom, Ext y Tor; enunciados prototipo expresan H^n(X;G) en términos de Hom(H_n(X),G) y Ext^1(H_{n-1}(X),G), y análogamente para la homología con términos de tensor y Tor.

Principio

Los funtores derivados miden el fallo de Hom y tensor de conmutar con la homología; la idea organizadora es que las sucesiones de coeficientes universales registran la obstrucción (Ext o Tor) al pasar de manera ingenua los coeficientes a través de los complejos de cadenas, produciendo sucesiones exactas cortas naturales en el espacio y el grupo de coeficientes.

Demostración

Cohomología singular: para un complejo CW X y un grupo abeliano G existe una sucesión exacta corta natural 0 → Ext^1_Z(H_{n-1}(X),G) → H^n(X;G) → Hom_Z(H_n(X),G) → 0; usando la homología entera de un espacio lenticular se calcula la cohomología con coeficientes Z/m insertando la torsión en el término Ext.

Aplicación incorrecta

Tratar la sucesión exacta como escindida canónicamente en general (suponer que los sumandos Hom y Ext se separan fonctorialmente) o aplicar la forma más simple de la UCT sin verificar hipótesis (p. ej., complejos de cadenas no libres o necesidad de refinamientos en la categoría derivada para espectros o teorías de cohomología generalizadas).

Consecuencia

Hace prácticos los cálculos de (co)homología con coeficientes a partir de la homología entera e identifica fenómenos de torsión; aclara cómo las clases de torsión se proyectan en la cohomología y cómo deben manejarse las obstrucciones de coeficientes universales en problemas de clasificación.

Inversión

Sin los términos correctivos Ext o Tor, se afirmaría erróneamente que tomar Hom o tensor con coeficientes conmuta con la homología, produciendo cálculos incorrectos que omiten las contribuciones de torsión.

Límite

Las formas clásicas son válidas para cohomología singular, simplicial o celular bajo hipótesis estándar (complejos CW, complejos de cadenas de módulos libres); las situaciones generalizadas o a nivel de espectro requieren sucesiones espectrales de coeficientes universales correspondientes o herramientas derivadas más sofisticadas.

Tensión semántica

Cercano pero distinto del teorema de Künneth: ambos relacionan la (co)homología bajo construcciones, pero Künneth describe el comportamiento para productos (tensorización de grupos de homología) mientras que la UCT describe el cambio de coeficientes; aparecen tensiones cuando ambos deben combinarse para cálculos mixtos.

Síntesis

El teorema de coeficientes universales agrupa los términos correctivos algebraicos (Ext, Tor) que explican la no conmutatividad de Hom y tensor con la homología, proporcionando una sucesión exacta natural que reduce los cálculos con coeficientes arbitrarios al conocimiento de la homología entera y los funtores derivados.