Bourbaki

Remarque

Étiquette 0DIM, permanente. À citer comme [Bourbaki, Tag 0DIM].

Algebra, chapter VII, § 2. MODULES DE TORSION SUR UN ANNEAU PRINCIPAL

Soient pp un nombre premier >2> 2 et xx un entier congru à 1 mod. pp et non congru à 1 mod. p2p^2; on a une suite exacte de groupes

{0}→Z/pn−1Z→u(Z/pnZ)∗→v(Z/pZ)∗→{1}, \{0\} \to \mathbf{Z}/p^{n-1}\mathbf{Z} \xrightarrow{u} (\mathbf{Z}/p^n\mathbf{Z})^* \xrightarrow{v} (\mathbf{Z}/p\mathbf{Z})^* \to \{1\},

où vv est la projection canonique et où uu est déduit par passage aux quotients de l’application r↦xrr \mapsto x^r. Soit Zp\mathbf{Z}_p l’anneau des entiers pp-adiques (V, p. 92), et soit xx un élément de Zp\mathbf{Z}_p tel que x−1∈pZpx-1 \in p\mathbf{Z}_p, x−1∉p2Zpx-1 \notin p^2\mathbf{Z}_p; par passage à la limite projective, on déduit des suites exactes (5) une suite exacte

{0}→Zp→uZp∗→v(Z/pZ)∗→{1} \{0\} \to \mathbf{Z}_p \xrightarrow{u} \mathbf{Z}_p^* \xrightarrow{v} (\mathbf{Z}/p\mathbf{Z})^* \to \{1\}

où vv est l’application canonique, et où l’application continue uu prolonge l’application n↦xnn \mapsto x^n, n∈Zn \in \mathbf{Z}. On pose souvent xn=u(x)x^n = u(x) pour n∈Zpn \in \mathbf{Z}_p.

De même, si x∈Z2x \in \mathbf{Z}_2, avec x−1∈4Z2x-1 \in 4\mathbf{Z}_2, x−1∉8Z2x-1 \notin 8\mathbf{Z}_2, on a une suite exacte scindée

{0}→Z2→uZ2∗→v(Z/4Z)∗→{1}, \{0\} \to \mathbf{Z}_2 \xrightarrow{u} \mathbf{Z}_2^* \xrightarrow{v} (\mathbf{Z}/4\mathbf{Z})^* \to \{1\},

où uu prolonge par continuité l’application n↦xnn \mapsto x^n.

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.