3 votos

Isomorfismo entre grupos de cohomología

Sea $(S^3, *), (S^5, *)\in Top_*$ sean dos esferas. Tenemos $S^3 \vee S^5 = S^3 \times \{*\} \cup \{*\} \times S^5.$ El mapa del proyecto $\pi: S^3 \vee S^5\to S^3$ un continuo. Por lo tanto $\pi$ reducido a isomorfismo de grupo de cohomología $$\pi^*: \mathbb{Z}/2\cong H^3(S^3; \mathbb{Z}/2) \to H^3(S^3\vee S^5; \mathbb{Z}/2)\cong \mathbb{Z}/2.$$

Mi pregunta es por qué $\pi^*$ ¿un isomorfismo?

Espero que alguien, pueda ayudar. Muchas gracias.

4voto

Xetius Puntos 10445

Considere el mapa obvio $q:S^3\to S^3\vee S^5$ . La composición $\pi\circ q$ es el mapa de identidad de $S^3$ . ¿Puedes usar esto para algo?

0 votos

@ Mariano Suárez-Álvarez. Tenemos $id = (\pi\circ q)^* = q^*\circ \pi^*$ y $id = (q\circ \pi)^* = \pi^*\circ q^* ,$ así que $\pi^*$ Un isomorfismo. ¿Correcto o incorrecto?

0 votos

Una de las dos composiciones no es la identidad.

0 votos

Mariano Suárez-Álvarez. ¡Sí! Cómo probar $\pi^*$ ¿un isomorfismo?

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X