A Short Course on Galois Cohomology - William Stein - University of ...
A Short Course on Galois Cohomology - William Stein - University of ...
A Short Course on Galois Cohomology - William Stein - University of ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
6 Inflati<strong>on</strong> and restricti<strong>on</strong><br />
Suppose that H is a subgroup <strong>of</strong> G and let A ∈ ModG. A morphism <strong>of</strong><br />
pairs (G, A) → (H, A) by H → G and id: A → A induces a restricti<strong>on</strong><br />
homomorphism<br />
resH : H q (G, A) → H q (H, A).<br />
For example, in terms <strong>of</strong> 1-cocyles, we see that the homomorphism<br />
resH : H 1 (G, A) → H 1 (H, A), [f] ↦→ [f|H] is given by the usual restricti<strong>on</strong><br />
map.<br />
Next suppose that H ⊳ G. We obtain a morphism <strong>of</strong> pairs (G/H, A H ) →<br />
(G, A). This induces an inflati<strong>on</strong> homomorphism<br />
inf : H q (G/H, A H ) → H q (G, A).<br />
We shall later c<strong>on</strong>sider the following theorem, whose full pro<strong>of</strong> uses spectral<br />
sequences:<br />
Theorem 23. The sequence<br />
0 → H 1 (G/H, A H ) inf<br />
−→ H 1 (G, A) res<br />
−→ H 1 (H, A) → H 2 (G/H, A H ) → . . .<br />
is exact.<br />
7 Inner automorphisms<br />
Suppose t ∈ G. The c<strong>on</strong>jugati<strong>on</strong> s ↦→ tst −1 is an inner automorphism <strong>of</strong><br />
G. This induces a morphism <strong>of</strong> pairs (G, A) → (G, A): G ← G, tst −1 ← s,<br />
A → A, a ↦→ t −1 a.<br />
We obtain a homomorphism H q (G, A) → H q (G, A), that is, a natural<br />
acti<strong>on</strong> <strong>of</strong> G <strong>on</strong> H q (G, A).<br />
Propositi<strong>on</strong> 24. This acti<strong>on</strong> is trivial, that is, the map t ∈ G induces the<br />
identity map <strong>on</strong> H q (G, A).<br />
12