Skip to main content
added 1 character in body
Source Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

I think that we have

$$H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z}) \simeq \mathbf{Z}, \quad H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})\simeq \mathbf{C}^{\times}.$$

In general, by the Universal Coefficient Theorem there is an isomorphism $$H^2(G, \, \mathbf{C}^{\times})=H_2(G, \, \mathbf{Z})^*$$ Now, it can happen that an infinite group is not isomorphic to its dual. For instance, in your case we have $$\mathbf{C}^{\times}=H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})=H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z})^*=\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}).$$

The isomorphism $\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}) \simeq \mathbf{C}^{\times}$ is explicitly given by associating to every element $h \in \mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times})$ its value in $1$, i.e.,namely $h \mapsto h(1)$.

I think that we have

$$H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z}) \simeq \mathbf{Z}, \quad H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})\simeq \mathbf{C}^{\times}.$$

In general, by the Universal Coefficient Theorem there is an isomorphism $$H^2(G, \, \mathbf{C}^{\times})=H_2(G, \, \mathbf{Z})^*$$ Now, it can happen that an infinite group is not isomorphic to its dual. For instance, in your case we have $$\mathbf{C}^{\times}=H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})=H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z})^*=\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}).$$

The isomorphism $\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}) \simeq \mathbf{C}^{\times}$ is explicitly given by associating to every element $h \in \mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times})$ its value in $1$, i.e., $h \mapsto h(1)$.

I think that we have

$$H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z}) \simeq \mathbf{Z}, \quad H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})\simeq \mathbf{C}^{\times}.$$

In general, by the Universal Coefficient Theorem there is an isomorphism $$H^2(G, \, \mathbf{C}^{\times})=H_2(G, \, \mathbf{Z})^*$$ Now, it can happen that an infinite group is not isomorphic to its dual. For instance, in your case we have $$\mathbf{C}^{\times}=H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})=H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z})^*=\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}).$$

The isomorphism $\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}) \simeq \mathbf{C}^{\times}$ is explicitly given by associating to every element $h \in \mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times})$ its value in $1$, namely $h \mapsto h(1)$.

added 466 characters in body
Source Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

Both calculations are correct.I think that we have

$$H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z}) \simeq \mathbf{Z}, \quad H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})\simeq \mathbf{C}^{\times}.$$

In general, by the Universal Coefficient Theorem there is an isomorphism $$H^2(G, \, \mathbf{C}^{\times})=H_2(G, \, \mathbf{Z})^*$$ Now, it can happen that an infinite group is not isomorphic to its dual. For instance, in your case we have $$\mathbf{C}^{\times}=H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})=H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z})^*=\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}).$$

The isomorphism $\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}) \simeq \mathbf{C}^{\times}$ is explicitly given by associating to every element $h \in \mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times})$ its value in $1$, i.e., $h \mapsto h(1)$.

Both calculations are correct.

In general, there is an isomorphism $$H^2(G, \, \mathbf{C}^{\times})=H_2(G, \, \mathbf{Z})^*$$ Now, it can happen that an infinite group is not isomorphic to its dual. For instance, in your case we have $$\mathbf{C}^{\times}=H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})=H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z})^*=\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}).$$

I think that we have

$$H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z}) \simeq \mathbf{Z}, \quad H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})\simeq \mathbf{C}^{\times}.$$

In general, by the Universal Coefficient Theorem there is an isomorphism $$H^2(G, \, \mathbf{C}^{\times})=H_2(G, \, \mathbf{Z})^*$$ Now, it can happen that an infinite group is not isomorphic to its dual. For instance, in your case we have $$\mathbf{C}^{\times}=H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})=H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z})^*=\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}).$$

The isomorphism $\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}) \simeq \mathbf{C}^{\times}$ is explicitly given by associating to every element $h \in \mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times})$ its value in $1$, i.e., $h \mapsto h(1)$.

edited body
Source Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

Both calculations are correct.

In general, there is an isomorphism $$H^2(G, \, \mathbb{C}^{\times})=H_2(G, \, \mathbf{Z})^*$$$$H^2(G, \, \mathbf{C}^{\times})=H_2(G, \, \mathbf{Z})^*$$ Now, it can happen that an infinite group is not isomorphic to its dual. For instance, in your case we have $$\mathbf{C}^{\times}=H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})=H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z})^*=\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}).$$

Both calculations are correct.

In general, there is an isomorphism $$H^2(G, \, \mathbb{C}^{\times})=H_2(G, \, \mathbf{Z})^*$$ Now, it can happen that an infinite group is not isomorphic to its dual. For instance, in your case we have $$\mathbf{C}^{\times}=H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})=H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z})^*=\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}).$$

Both calculations are correct.

In general, there is an isomorphism $$H^2(G, \, \mathbf{C}^{\times})=H_2(G, \, \mathbf{Z})^*$$ Now, it can happen that an infinite group is not isomorphic to its dual. For instance, in your case we have $$\mathbf{C}^{\times}=H^2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{C}^{\times})=H_2(\mathbf{Z} \times \mathbf{Z}, \, \mathbf{Z})^*=\mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}, \, \mathbf{C}^{\times}).$$

added 35 characters in body
Source Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283
Loading
Source Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283
Loading