7
$\begingroup$

Suppose $G$, $H$ are finite groups and $M$ is a module over $G\times H$.

Question: Is the exponent of $H^i(G\times H,M)$ a divisor of $lcm(|G|,|H|)$ for $i> 0$ ?

The Künneth formula answers the question affirmatively if $M$ is trivial or, more generally, if one of the groups acts trivially on $M$. But I don't know what to expect if $M$ is non-trivial.

$\endgroup$
4
  • $\begingroup$ Does this follow from the LHSSS of the (trivial) extension $H\to G\times H \to G$? $\endgroup$
    – Mark Grant
    Apr 26, 2013 at 6:33
  • $\begingroup$ @Mark: What is LHSSS? $\endgroup$ Apr 26, 2013 at 6:41
  • 1
    $\begingroup$ I think Mark means the Lyndon-Hochschild-Serre spectral sequence. $\endgroup$
    – Demin Hu
    Apr 26, 2013 at 7:00
  • $\begingroup$ @Mark: I also thought about the spectral sequence but since $E_\infty$ is just a subquotient of $H^i(G\times H,M)$, I don't know if there could be extension problems leading to higher exponents ? $\endgroup$
    – Demin Hu
    Apr 26, 2013 at 7:09

1 Answer 1

5
$\begingroup$

For any finite group $\Gamma$, if $I$ is the augmentation ideal of ${\mathbb Z}\Gamma$, then $H^1(\Gamma,I)\cong {\mathbb Z}/|\Gamma|{\mathbb Z}$, which gives a counterexample if you take $\Gamma = G\times H$ for any $G$ and $H$ whose orders are not coprime.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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