
\begin{lemme}
  On a un isomorphisme de groupes additifs:
  $$
  \mathbb{Z}[1 / p] / \mathbb{Z} \simeq \mathbb{Q}_p / \mathbb{Z}_p
  $$
\end{lemme}


\begin{lemme}
  On a un isomorphisme de groupes additifs:
  $$
  \mathbb{Z}[1 / p] / \mathbb{Z} \simeq \mathbb{Q}_p / \mathbb{Z}_p
  $$
\end{lemme}
