Seminario de Topología

Expositor: Martín Mijangos Tovar

Procedencia: IM-UNAM unidad Oaxaca

Resumen: Sea Q un grupo finito actuando por automorfismos sobre un grupo arbitrario G.

Sea A un grupo abeliano con acciones triviales de Q y G.

La acción de Q induce una acción sobre el complejo C_(G,A)=B_(G)otimes_G A donde B_*(G) denota la resolución barra. Podemos considerar entonces el complejo de puntos fijos C(G,A)^Q. Se define la homología de cadenas invariantes de G con coeficientes en A como H_n^Q(G, A)=H_n(C_*(G,A)^Q).

En esta charla veremos la motivación de esta teoría de homología, algunas propiedades y relaciones con la homología usual de grupos así como una versión relativa de esta teoría.