• Aucun résultat trouvé

Let G be a group, H be a subgroup of finite index, and let Z have trivial G-action

N/A
N/A
Protected

Academic year: 2022

Partager "Let G be a group, H be a subgroup of finite index, and let Z have trivial G-action"

Copied!
1
0
0

Texte intégral

(1)

COHOMOLOGY OF GROUPS : EXERCISES Sheet 5, 4 June 2007

Exercise 5.1. Let G be a group, H be a subgroup of finite index, and let Z have trivial G-action. Give a formula for the transfer trGH : H1(G;Z) → H1(H;Z) as a homomorphism Gab →Hab on the abelianizations of G and H.

Exercise 5.2. Write a detailled proof of the Cartan-Eilenberg double coset for- mula, using the hints given in the lecture.

Exercise 5.3. Let S3 be the group of permutations of a set with three elements.

Let Z have the trivial S3-action. Compute H(S3;Z) using subgroups and invariants.

Exercise 5.4. Prove that if {Gi}i∈I is a directed system of groups, then for any Z[G]-module M the natural map

colim

I H(Gi;M)→H(colim

I Gi;M) is an isomorphism.

Exercise 5.5. Let G be a group and H be a subgroup of finite index. Prove the transfer formula for the cup-product in cohomology given in the lecture, namely

trGH (resGHu)∪v

=u∪(trGHv).

Exercise 5.6. Let n ∈N be an even natural number and Cn be the cyclic group of order n. ComputeH(Cn;F2) andH(Cn;F2) as F2-algebras, with the cup and Pontrjagin products, respectively.

Typeset byAMS-TEX

1

Références

Documents relatifs

A reformulation of the G¨ ottsche-Yau-Zaslow formula gives the generating function on the number of genus g curves ([Go98], remark 2.6), and this reformulation has been verified

In [16] Hasegawa studied K¨ ahler structures on some classes of solvmanifolds which are not only the completely solvable type, and suggested a generalized ver- sion of

A compact G-space is called a G-boundary in the sense of Furstenberg ([F1, F2]) if X is minimal and strongly proximal, or equivalently if X is the unique minimal G-invariant

Chen, Wang and Zhang generalise and improve the results of Yu [16], by con- sidering the problem of uniqueness of f and (f n ) (k) , when they share a small function and proved

In this paper, we introduce a new general iterative process for approximating a common fixed point of a semigroup of nonexpansive mappings, with respect to strongly left

In fact, on a manifold with a cylindri- cal end, the Gauss–Bonnet operator is non-parabolic at infinity; harmonic forms in the Sobolev space W are called, by Atiyah–Patodi–Singer, L

Denote by H 0 (X, L) the vector space of global sections of L, and suppose that this space has

Let us denote by RG perm p the category of all p {permutation RG {modules. The following proposition generalizes to p {permutation modules a result which is well known for