MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

For example, the profinite group cohomology $H^2(\hat{\mathbb Z}, \mathbb Z_p)$, where $\mathbb Z_p$ is considered as a trivial discrete $\hat{\mathbb Z}$-module, is isomorphic to $H^1(\hat{\mathbb Z},\mathbb Q_p/\mathbb Z_p)$ , (since $H^i(\hat{\mathbb Z},\mathbb Q_p)=0$ for $i>0$. i>0$). Which is isomorphic to$\mathbb Q_p/\mathbb Z_p$, hence nonzero. 1 For example, the profinite group cohomology$H^2(\hat{\mathbb Z}, \mathbb Z_p)$, where$\mathbb Z_p$is considered as a discrete$\hat{\mathbb Z}$-module, is isomorphic to$H^1(\hat{\mathbb Z},\mathbb Q_p/\mathbb Z_p)$, since$H^i(\hat{\mathbb Z},\mathbb Q_p)=0$for$i>0$. Which is isomorphic to$\mathbb Q_p/\mathbb Z_p\$, hence nonzero.