En la página 64 del libro Cyclotomic Fields and Zeta Values por J. Coates y R. Sujatha: Parece que usaron el argumento de la siguiente manera: Sea$G$ un grupo pro -$p$. Si$0\rightarrow A\rightarrow B\rightarrow C\rightarrow 0$ es una secuencia exacta de$G$ - módulos, tomando$G$ - invariante, tenemos una secuencia exacta$C^G\rightarrow A_G\rightarrow B_G$.
No sé por qué, ¿alguien podría ayudarme? Gracias.
