# Common Computations in Group Cohomology

Let G=A⋊B, where A and B are abelian, and of coprime order. It seems, from my computations (and correct me if I'm wrong), that Z1(Cp,Cq) is trivial, for p and q different primes. Meaning that the automorphisms of G, if A=Cq, and B=Cp, that preserve A, and preserve the cosets G/A, are all trivial. How far can we extend this? Would it be true in general that Z1(A,B) is trivial, with the above assumptions (that A and B are abelian and of coprime order)? If not, under what assumptions is it trivial? And when can we say about it if it's not trivial?

-
No, I mean twisted as well. Otherwise it would just be direct product. –  Terry Mahr Feb 18 '10 at 19:17
added tag "group-cohomology". –  Daniel Moskovich Feb 25 '10 at 3:18

The automorphisms of this extension are basically the same as group cohomology $H^1(B; A)$, so I will focus on that first.

So we want to show that this must be zero given that B and A are finite abelian and of coprime order. This is the same as the twisted cohomology of the classifying space BB. Now we can look at the bundle $p:EB \to BB$. This is a covering space with fiber the discrete space B.

Now because the fiber is discrete we have a wrong way transfer map in twisted cohomology:

$$p_{!}: H^1(EB; A) \to H^1(BB; A)$$

where the first group is twisted cohomology in the pulled-back local coefficient system. As with all transfers we have that

$$p_{!} \circ p^*: H^1(B; A) \to H^1(B; A)$$

is multiplication by the order of the fiber, i.e. $|B|$. Since the orders of A and B are coprime this is an isomorphism. But since $EG \simeq pt$ is contractible, this map factors through the zero group and hence $H^1(B; A) = 0$.

Any proof that the cohomology of a group is torsion for the order of the group (there are more concrete ones then the above) will yield the same result that $H^1(B; A) = 0$. There are many ways to prove this (as the comments point out), the above is just my favorite.

So what is the difference between the $H^1(B;A)$ and the isomorphisms of the extension G? Well as you pointed out the isomorphisms of G (which restrict to the identity on A and the quotient B) are the same as the bar resolution coycycles Z^1(B;A). So we have an exact sequence,

$$A= C^0(B;A) \to Z^1(B; A) \to H^1(B;A) \to 0$$

but as we saw, the term $H^1(B;A) = 0$. So we must compute the boundaries. You have one such potential homomorphism for each element of $A$, although different elements might give rise to the same automorphism of $G$. They are of the form:

$$b \mapsto a - b \cdot a$$

where $a \in A$ is fixed. If the action of B on A is trivial, then these vanish, but in general they can be non-zero. My favorite example is the quaterion group which we view as

$$\mathbb{Z}/4 \to Q_8 \to \mathbb{Z}/2$$

with the $\mathbb{Z}/4$ the group $( 1, i, -1, -i )$. An element $x \in A = \mathbb{Z}/4$ induces the homomorphism

$$y \mapsto x - y \cdot x$$

which sends the non-trivial element of $\mathbb{Z}/2$ to $2x$. In particular it is non-trivial for a generator of A. This corresponds to the isomoprhism of $Q_8$ which sends $i$ to $i$ and $j$ to $-j$.

-
Indeed, the vanishing of $H^1$ in this case follows from the standard study of the composition of restriction and correstriction maps; cf. Hilton-Stammbach, for example./ –  Mariano Suárez-Alvarez Feb 18 '10 at 19:47
Or Weibel's book, Proposition 6.1.10. –  Steve D Feb 18 '10 at 20:20

You might be considering a special case of the Schur-Zassenhaus theorem. If A is a normal Hall-subgroup of G, then A has a complement B, and all complements B are conjugate under the action of G. This is more properly H^1(B,A) rather than Z^1(B,A).

For Z^1(B,A) to be trivial, B^1(B,A) must be trivial, but B^1(B,A) is basically [B,A], which could be nonzero. For instance if G is non-abelian of order 6, then A is cyclic and normal of order 3, B is cyclic of order 2, and B acts as inversion on A. Then for B^1(B,A) should be isomorphic to A, that is have order 3. Basically, A has 3 complements in G, so B^1(B,A) should have three elements, but all are conjugate, so H^1(B,A)=0.

I suppose there are lots of definitions of C^1(B,A), so maybe you've chosen one where B^1(B,A)=0, but I think the standard choice when looking at semi-direct products ("Crossed homomorphisms"), will not have B^1(B,A) trivial.

-