Topics in Cohomology of Groups_Serge Lang.pdf
Topics in Cohomology of Groups_Serge Lang.pdf
Topics in Cohomology of Groups_Serge Lang.pdf
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
42<br />
Proposition 1.5. If or E U then a, is the identity on Hu (reap.<br />
Hu if U is f<strong>in</strong>ite).<br />
Pro<strong>of</strong>. The assertion is true <strong>in</strong> dimension O, whence <strong>in</strong> all di-<br />
mensions.<br />
Let f : A --* B be a U-morphism with A, B E Mod(G). Then<br />
f~ = [cr -1If = f[~r] : A ---* B<br />
is a U~-morphism. The fact that a, is a morphism <strong>of</strong> functors<br />
shows that<br />
o = o rv(f)<br />
as morphisms on H(U, A) (and similarly for H replaced by H if U<br />
is f<strong>in</strong>ite).<br />
If U is a normal subgroup <strong>of</strong> G, then or, is an automorphism <strong>of</strong><br />
Hu (resp. Hu if U is f<strong>in</strong>ite). In other words, G acts on Hu (or<br />
Hu). S<strong>in</strong>ce we have seen that or, is trivial if ~ E U it follows that<br />
actually G/U acts on Hu (resp. Hu).<br />
Proposition 1.7. Let V C U be subgroups <strong>of</strong> G, and let ~r E G.<br />
Then<br />
a, ores =res . oct.<br />
on Hu (resp. Hu if U is f<strong>in</strong>ite).<br />
Proposition 1.8. Let V C U be subgroups <strong>of</strong> G o f f<strong>in</strong>ite <strong>in</strong>dex,<br />
and let a E G. Suppose V normal <strong>in</strong> U. Then<br />
<strong>in</strong> ~ o~r, =(r. o<strong>in</strong> IV<br />
on H(U/V, AV), with A E Mod(G).<br />
Both the above propositions are special cases <strong>of</strong> Proposition 1.1.<br />
(e) The transfer. Let U be a subgroup <strong>of</strong> G, <strong>of</strong> f<strong>in</strong>ite <strong>in</strong>dex.<br />
The trace gives a morphism <strong>of</strong> functors H~] ~ U~ by the formula<br />
S U 9 A U ---, A G,<br />
and similarly <strong>in</strong> the special case when G is f<strong>in</strong>ite, H~r --~ H~ by<br />
S U . AU/SuA -., Aa/SaA.