Got treated today to a really nice workout in group cohomology; most of
which is well worth sharing, since seeing it done once gave me a lot of
insight.
So, if we pick [tex]\mathbb Z/10[/tex] and view it as the set
0,1,2,3,4,5,6,7,8,9 and with the group operation given by a*b = a+b %
10, then one standard 2-cocycle is the function
[tex]f(a,b) =
\begin{cases}1&a+b\geq10\\0&\text{else}\end{cases}[/tex]
That this actually does form a cocycle would be the same as requiring
f(b,c)-f(a*b,c)+f(a,b*c)-f(a,b)=0
or regrouped
f(a*b,c)+f(a,b)=f(a,b*c)+f(b,c)
which is to say that the number of carry bits generated when adding
three digits does not depend on associativity.
This cocycle classifies the group extension
[tex]0 \to \mathbb Z/10 \to \mathbb Z/100 \to \mathbb Z/10 \to
0[/tex]
with the first map taking [tex]a+10\mathbb Z\mapsto 10a+100\mathbb
Z[/tex] and the second taking [tex]b+100\mathbb Z\mapsto
b+10\mathbb Z[/tex]
Now, this is a nontrivial extension - which is equivalent to it not
being a coboundary - by the following calculation:
Suppose f=dg. Then f(a,b)=g(a)+g(b)-g(a*b). So, since f(0,0)=0, we
get g(0)-g(0)+g(0)=0, so g(0)=0. For any b≤8, we also get
0=f(1,b)=g(b)-g(b+1)+g(1), so g(b+1)=g(b)+g(1) and thus by induction,
g(b)=bg(1) for all 0≤b≤9.
But, now, 1=f(1,9)=g(9)-g(0)+g(1)=10g(1)=0, which is a contradiction.
Thus f is not a coboundary, and thus has a nontrivial cohomology class
associated to it.
One further useful observation is that f(a,b)=(a+b-a*b)/10.
Note, that if we started out with addition in base B for some arbitrary
B, not one single line of the above would have had anything but the most
trivial updates needed. Thus, this argument holds for any base, and not
only for base 10.
Now, suppose we pick ourselves some g in [tex]H^1(\mathbb
Z/B,\mathbb Z/B)=\operator{Hom}(\mathbb Z/B,\mathbb Z/B)[/tex] -
let's even decide to take the identity. So ga=a for any a in our
[tex]\mathbb Z/B[/tex]. Then the Bockstein of this is the image under
the connecting homomorphism under the long exact sequence in
cohomology induced by the short exact sequence
[tex]0 \to \mathbb Z/B \to \mathbb Z/B^2 \to \mathbb Z/B \to
0[/tex]
with [tex]a+B\mathbb Z\mapsto Ba+B^2\mathbb Z[/tex] and
[tex]b+B^2\mathbb Z\mapsto b+B\mathbb Z[/tex] as above.
So the class [g] maps first to some set map [tex]\hat g\colon\mathbb
Z/B\to\mathbb Z/B^2[/tex], which we choose to be the one we create by
identifying [tex]\mathbb Z/B[/tex] with the integers 0,1,...,B-1. Thus
the images of g end up living in [tex]\mathbb Z/B^2[/tex] without us
having to do any extra work for it. This map, then, we can throw along
the differential, and then we get a cocycle; so that we know that it
takes values in [tex]B\mathbb Z/B^2\mathbb Z[/tex], so we can "just"
divide by B to get something in the right universe for our Bockstein
image.
Applied to our specific g, note that
[tex]d\hat g(a,b)=\hat g(a)-\hat g(a*b)+\hat g(b)=a+b-a*b[/tex]
and so
[tex]\beta g(a,b)=\frac{a+b-a*b}B[/tex]
which is our carry bit map all over again.
If we happen to have a generic g, then we get a similar result; only
without being able to use [tex]\hat ga=ga=a[/tex] as comfortably. We
get, in the end, for a 1-cocycle g:
[tex]\beta g(a,b)=\frac{ga+gb-g(a*b)}B[/tex]
I wanted to talk about Bocksteins and the [tex]d_2[/tex] differential
in the LHS spectral sequence at this point, but I'm no longer certain of
what these, if anything, have to do with each other, so I won't.