## [Teorema de Coeficientes Universales](/es/node/61415) Definición Un teorema que relaciona la homología o cohomología con coeficientes arbitrarios con la homología o cohomología con coeficientes enteros mediante sucesiones exactas cortas que involucran Tor y Ext, permitiendo calcular grupos de (co)homología con nuevos coeficientes a partir de datos integrales. ## Principio Principio La idea organizadora es que la (co)homología con coeficientes se obtiene aplicando Hom o tensor al complejo de cadenas integral y que los funtors derivados (Ext y Tor) miden el fallo de la exactitud ingenua de Hom/Tensor, dando lugar a sucesiones exactas que conectan H_*(X; Z) con H_*(X; G) o H^*(X; G). ## Demostración Demostración Fórmulas concretas: para la cohomología existe una sucesión exacta corta 0 → Ext^1_Z(H_{n-1}(X; Z), G) → H^n(X; G) → Hom_Z(H_n(X; Z), G) → 0, que en muchos casos se divide pero no necesariamente de forma canónica; de manera similar la afirmación para la homología involucra términos Tor. ## Aplicación incorrecta Aplicación incorrecta Tratar la sucesión exacta corta como canónicamente escindida u omitir las contribuciones Ext/Tor cuando son no triviales; intentar aplicar el TCU literalmente a sistemas de coeficientes no abelianos o a teorías de cohomología generalizadas sin las modificaciones apropiadas. ## Consecuencia Consecuencia El TCU reduce el cálculo de (co)homología con coeficientes arbitrarios a cálculos algebraicos con Hom, Ext y Tor aplicados a la (co)homología entera, revelando fenómenos de torsión y orientando la elección de coeficientes para simplificar cálculos. ## Inversión Inversión La inversión enfatiza la reconstrucción de la (co)homología entera a partir del conocimiento de la (co)homología con varios grupos de coeficientes, lo cual suele ser más difícil porque el TCU sólo aporta relaciones medidas por Ext/Tor, no inversas canónicas sin estructura adicional. ## Límite Límite Se aplica en la homología/cohomología singular ordinaria y en muchos contextos topo‑algebraicos donde los complejos de cadenas son complejos de módulos libres o proyectivos; no se cumple automáticamente en teorías de cohomología generalizadas, para coeficientes no abelianos o cuando sutilezas de categoría derivada alteran el comportamiento de Hom/Tensor. ## Tensión semántica Tensión semántica Existe tensión entre ver el teorema como una conveniencia computacional (reducción a álgebra Hom/Tor/Ext) y como una restricción estructural que señala obstrucciones reales (términos Ext no escindidos) al cambio ingenuo de coeficientes; hay que respetar las escisiones no canónicas. ## Síntesis Síntesis El Teorema de Coeficientes Universales afirma que la (co)homología con coeficientes arbitrarios se inserta en sucesiones exactas construidas a partir de Hom, Ext y Tor aplicados a la (co)homología entera, convirtiendo así problemas topológicos de coeficientes en problemas algebraicos calculables y registrando las obstrucciones por torsión.