¿Qué significa la notación $\times_\chi$ en este contexto?
¿Es un producto semidirecto?
Contexto: $\pi_n(E)\cong \text{coker}\times_\chi\ker$, para una clase de cohomología $\chi\in H^2(\ker,\text{coker})$.
Artículo: http://www.unirioja.es/cu/anromero/AAECC-ACA11.pdf Página 9
Gracias por cualquier ayuda.