1
$\begingroup$

This question may seem elementary to experts but I am quite confused about it:

According to the entry of Lyndon–Hochschild–Serre spectral sequence on wikipedia, for a group extension $1\to N\to G\to Q\to1$, there is a Lyndon–Hochschild–Serre spectral sequence if $G$ is a profinite group and $N$ is a closed normal subgroup of $G$:

http://en.wikipedia.org/wiki/Lyndon-Hochschild-Serre_spectral_sequence

Also in the book Neukirch, Jürgen; Schmidt, Alexander; Wingberg, Kay (2000), Cohomology of Number Fields, the same condition was assumed.

However, according to some other books, for example Brown, Kenneth S. (1972), Cohomology of Groups, and A User's Guide to Spectral Sequences by John McCleary, the profiniteness condition on the group $G$ was NOT assumed.

Why there is such a difference? Do we really need the condition that $G$ is a profinite group and $N$ is a closed normal subgroup of $G$ to construct the Lyndon–Hochschild–Serre spectral sequence?

$\endgroup$
4
  • 5
    $\begingroup$ What kind of group cohomology are you considering? When talking about profinite groups, you usually work with discrete modules and continuous cochains. $\endgroup$
    – user2035
    Apr 25, 2012 at 8:04
  • $\begingroup$ a-fortiori should expand this comment into an answer and claim his/her reward! $\endgroup$
    – Mark Grant
    Apr 27, 2012 at 9:26
  • 1
    $\begingroup$ In the context of your question there are two cohomology theories: One for abstract groups and one designed for profinite groups. Each has a LHS spectral sequence (both are formally equal). The difference between the two theories is that for profinite groups one uses continuous cochains. More specifically: In the def. of $X^n$ at the beginning of §2 in the Neukirch book, in the profinite case you use continuous maps $G^{n+1} \to A$ while for abstract groups you use all maps $G^{n+1} \to A$. //And, of course, I agree with Mark that a-fortiori should make his/her comment into an an answer. $\endgroup$
    – Ralph
    Apr 27, 2012 at 9:50
  • $\begingroup$ BTW: The wikipedia article is bad: There is no need for "$G$ [to] be a finite group". Better use the other sources you mentioned. $\endgroup$
    – Ralph
    Apr 27, 2012 at 9:54

0

Your Answer

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