(Elementary) applications of group (co-)homology I am looking for an elementary example of a problem, for which one does not need many things to understand the question, but which can be solved with group homology or cohomology.
My background is, that I am looking for an introductional problem to motivate a talk about group homology and cohomology in a beginner's course.
Thank a lot!
 A: Another application is called "Galois descent". Roughly, for a Galois extension $K/k$, if two structures are isomorphic over $K$, we may ask whether they are isomorphic over $k$. Galois descent provides an answer in terms of Galois cohomology.
As an example, let $k$ be a field and let $M$ be a matrix with entries in $k$ and let $K/k$ be a Galois extension. Then, $\operatorname{GL}_n(K)$ conjugacy class of matrices in $\operatorname{M}_n(k)$ containing $M$ is a union of $\operatorname{GL}_n(k)$ conjugacy class of matrices. The set containing those conjugacy classes are in one to one correspondence between $H^1(\operatorname{Gal}(K/k), Z_{\operatorname{GL}_n(K)}(M))$.
A: A more or less tautological example that shows that group cohomology is "needed" is the fact that taking invariants under finite groups in short exact sequences does not preserve exactness.
It is easy to find examples of surjections $f:M\to N$ of $G$-modules such that the induced map $M^G\to N^G$ on the invariant subspaces is not surjective. 
For example, if your students are familiar with basic algebraic topology (or de Rham cohomology) you can study in detail the following situation.
If $G$ is a finite group which acts properly discontinuously on a manifold $M$, then the quotient $M/G$ is also a manifold and its de Rham cohomology $H^\bullet(M/G)$ is just the invariant subspace $H^\bullet(M)^G$ for the natural action of $G$ on $H^\bullet(M/G)$. This can be proved completely by hand.
But if the group is not finite, then this is no longer true. A minimal example is $G=\mathbb Z$ acting on $M=\mathbb R$ by translations. Then $M/G$ is a circle, which has non-trivial $1$-cohomology, so $H^1(M/G)\not\cong H^1(M)^G$. 
What's wrong with this example is that $\mathbb Z$ has cohomology inpositive degrees, so we don't get isomorphisms but short exact sequences involving group cohomology. In this particular case one can be complete explicit about this.
A: The construction of cross product algebras is a very natural problem.
It is very easy to arrive at the $2$-cocycle condition for assocativity and to the condition that such cocycles be cohomologous for the algebras to be isomoorphic.
With sufficient hand waving, this example can be concluded by mentioning the Brauer group of fields and the amazing fact that they are "just" group cohomology groups.
A: Is there any finite simply-connected CW complex on which $\mathbb{Z}/2$ acts freely? No, since then the classifying space $B(\mathbb{Z}/2)$ would have finite homological dimension, which would imply that the group $\mathbb{Z}/2$ has finite homological dimension. But one can compute $H_p(\mathbb{Z}/2,\mathbb{Z})=\mathbb{Z}/2$ for odd $p$.
A: If a group $G$ acts on an abelian group $N$, we can form the semidirect product $N\rtimes G$ and there is a canonical surjection $p:N\rtimes G\to G$.
This surjection is split, and in fact split surjections are of this form with abelian kernel.
Now, a split surjection admits many different splittings. As soon as you try to classify them, you end up with $H^1(G,N)$.
A: *

*In DC Isaksen - ‎2002 they show that the "carry" in elementary addition can be seen as a cohomology class. 

*One of my favorite application of cohomology is to classify wallpaper groups. Most wallpaper patterns are symmetric under a subgroup of all affine isometries. The question is what are all the subgroups that can arise in this way. If you look at wikipedia you'll find that there are 17 possibilities but the actual classification is messy and relies on a lot of special cases and "annoying geometry". Cohomology simplifies the picture a lot as you can see in this document from Morandi. Basically a wallpaper group is determined by a lattice subgroup (the translations by which the pattern is invariant), a point group (the isometries that leave a point fixed up to the action of the lattice group) and a cohomology class which characterizes how the wallpaper group is built up from the lattice and point groups.

