Remark
Tag 072P, permanent. Cite it as [Bourbaki, Tag 072P].
Algebra, VII, p. 13, § 2. Torsion modules over a principal ideal domain
Let be a prime number and let be an integer congruent to 1 mod and not congruent to 1 mod ; there is an exact sequence
of groups, where is the natural projection and where is induced on the quotients by the map . Let be the ring of -adic integers (, p. 96), and let be an element of such that and ; on passing to inverse limits, the exact sequences (5) induce an exact sequence
where is the natural map, and the continuous map extends the map (). We often put for .
Similarly, if with , and , then there is a split exact sequence
where is a continuous extension of the map
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.