4
$\begingroup$

I would like to ask if G is a group of order $p^4 (p\neq 2)$ as form $C_{p^3}\rtimes C_p$ (a semidirect product of cyclic group of order $p^3$ by a group of order $p$). Then can we obtain the first co-homology $H^1(C_p,C_{p^3} )$? Is there any upper bound on the order of $H^1(C_p, C_{p^3})$?

yours,

  • 1
    You have still not explained what is the connection between the group $G$ and your question about a cohomology group.2012-09-05

1 Answers 1

1

There must be a mistake in your notation. Cohomology groups $H^r$(G, A) are defined only for a group G and a G-module A, i.e. an abelian group A on which G acts. If A is not abelian, one can still define $H^1$(G, A) in certain cases, but it is just a set (see Serre's "Galois Cohomology", chapter 3).

If your $H^1$ notation means that the semi-direct product acts trivially on $C_p$ , then the inflation-restriction exact sequence (= beginning of the Hochschild-Serre spectral sequence) should do the job.