
\begin{rmk}
    Dans un cadre global, pour un corps de nombres $K / \mathbb{Q}$, on a donc, pour presque tout $p$ : $\forall v \mid p$, la forme $\alpha=\operatorname{Tr}_{K_v / \Q_p} p$ est à déterminant (dans une $\mathbb{Z}_{p}$-base de $\OO_{K_v}$) dans $\OO_{K_v}^*$. Dans ce cas, $\mathcal{D}_{K_v / \mathbb{Q}_p}=\OO_{K_v}^*$.
\end{rmk}



\begin{rmk}
    Dans un cadre global, pour un corps de nombres $K / \mathbb{Q}$, on a donc, pour presque tout $p$ : $\forall v \mid p$, la forme $\alpha=\operatorname{Tr}_{K_v / \Q_p} p$ est à déterminant (dans une $\mathbb{Z}_{p}$-base de $\OO_{K_v}$) dans $\OO_{K_v}^*$. Dans ce cas, $\mathcal{D}_{K_v / \mathbb{Q}_p}=\OO_{K_v}^*$.
\end{rmk}

