cohomology: groups are abelian