Un grupo de homología es un invariante algebraico de un espacio topológico obtenido formando ciclos módulo bordes en un complejo de cadenas; mide 'agujeros' de dimensión k y está graduado por dimensión.

Principio

Construir grupos de cadenas de combinaciones formales de k‑símplices (o k‑cadenas singulares), aplicar el operador borde para definir ciclos (núcleo) y bordes (imagen), y tomar el cociente H_k = Ker(∂_k)/Im(∂_{k+1}).

Demostración

Para un toro T^2, H_1(T^2) ≅ Z⊕Z: un generador para cada lazo no contráctil independiente (meridiano y longitud), mientras H_0 ≅ Z registra las componentes conexas.

Aplicación incorrecta

Usar los grupos de homología para distinguir espacios homotópicamente equivalentes que difieren en invariantes más finos (por ejemplo, ignorando la elección de coeficientes y la información de homotopía superior) puede ser engañoso.

Consecuencia

Los grupos de homología proporcionan invariantes computables y functoriales: los números de Betti (rangos) indican el recuento de ciclos independientes; la torsión algebraica señala características de orden finito; existen secuencias exactas y Mayer–Vietoris para su cálculo.

Inversión

La cohomología invierte las flechas en el complejo de cadenas para producir grupos H^k que llevan una estructura de producto cup y información dual; la cohomología suele refinar a la homología mediante la estructura de anillo.

Límite

Se aplica a espacios topológicos que admiten modelos de cadenas singulares o simpliciales; la homología no captura, en general, la estructura de los grupos de homotopía y omite invariantes más finos como el tipo de homotopía cuando difieren.

Tensión semántica

Hay tensión con el grupo fundamental: ambos detectan lazos, pero el grupo fundamental es no abeliano y depende del punto base por la concatenación de lazos, mientras que H_1 es la abelianización de π_1 y puede perder estructura no abeliana.

Síntesis

Los grupos de homología son grupos abelianos graduados, calculados a partir de complejos de cadenas, que cuantifican ciclos independientes de dimensión k módulo bordes y proporcionan invariantes topológicos computables y números de Betti.