Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I know that $H^3(S_3,\mathbb{Z}_3)\cong \mathbb{Z}_3$ (S_3 is the symmetric group for three elements). So this group is generated by any nontrivial cocycle. But I don't know how to explicitly find such a cocycle (any explicit representation will do - even a table describing all possible values).

How can I find the cocycle in this case, and is there a general way of doing it?

share|cite|improve this question

$\newcommand\ZZ{\mathbb{Z}}$Using the Hochschild-Lyndon-Serre spectral sequence for the extension $$1\to C_3\to S_3\to C_2\to1$$ (here $C_n$ is a cyclic group of order $n$) and checking that the action of $C_2$ on $H^3(C_3,\ZZ_3)$ is trivial, we see that restriction induces an isomorphism $$\mathrm{res}:H^3(S_3,\ZZ_3)\to H^3(C_3,\ZZ_3),$$ and, in particular, by the usual computation of the cohomology of cyclic groups, we see that $H^3(S_3,\ZZ_3)$ is cyclic of order $3$. Moreover, the general theory tells us that the composition $$H^3(S_3,\ZZ_3)\xrightarrow{\mathrm{res}} H^3(C_3,\ZZ_3)\xrightarrow{\mathrm{cores}} H^3(S_2,\ZZ_3)$$ of the restriction map with the correstriction map is multiplication by the index of $C_3$ in $S_3$, namely $2$: this composition is then an isomorphism too. It follows immediately that to construct a generator of $H^3(S_3,\ZZ_3)$ it is enough to construct a cocycle whose class generates of $H^3(C_3,\ZZ_3)$, which is easy, and then corestrict it to a cocycle on $S_3$, which will generate $H^3(S_3,\ZZ_3)$. To do the latter, there are explicit formulas in textbooks (which I never remember)

share|cite|improve this answer

What I did at the end: A 3-cocyle is defined in this case as a function $f(a,b,c)$ satisfying $f(a,b,c)+f(a,bc,d)-f(b,c,d)-f(a,b,cd) = 0$ for all $a,b,c,d\in G$.

But this is a linear equation over $\mathbb{Z}_3$ with the variables being $f(a,b,c)$ for $a,b,c$, and can be solved easily using a computer.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.