Skip to main content
1 of 2

Under What assumptions on $p$, $\mathcal{O}_K^* \simeq \mathbb{Z}_p^{*} \oplus \mathbb{Z}_p^{*}$

Let $p$ be a fixed prime number and $\mathbb{Q}_p$ be the field of $p$-adic numbers and $K$ be an extension of degree $2$ of $\mathbb{Q}_p$. Let $\mathcal{O}_K$ be the ring of integers of $K$ and $\mathcal{O}_K^*$ be the group of units of $\mathcal{O}_K$. Under what conditions on $p$, we can prove that $\mathcal{O}_K^* \simeq \mathbb{Z}_p^{*} \oplus \mathbb{Z}_p^{*}$