Minimal relative units of the cyclotomic ${\mathbb{Z}}_2$-extension

Tomokazu Kashio, Hyuga Yoshizaki

Let ${\mathbb{B}}_n:=\mathbb{Q}(\cos (\pi /2^{n+1}))$. For the relative norm map ${\mathrm{N}}_{n/n-1}:{\mathcal{O}}_{{\mathbb{B}}_n}^{\times }\to {\mathcal{O}}_{{\mathbb{B}}_{n-1}}^{\times }$…