Definición de complejos de cadenas y grupos de homología