 Solution

Put $L=\mathbb{Q}(\omega )$ and $F=\mathbb{Q}(\omega +{\omega }^{-1})$. The maximal real subfield of the fifth cyclotomic field is $F=\mathbb{Q}(\sqrt{5})$. The roots of unity in a rational cyclotomic field show that the roots of unity in $L$ are exactly $\{\pm {\omega }^a\}$.

Let $u\in {\mathcal{O}}_L^{\times }$. For every embedding $\sigma :L\to \mathbb{C}$,Thus the kernel of the logarithmic unit embedding implies that $u/\bar{u}$ is a root of unity. Since conjugation acts trivially modulo the prime element $1-\omega$, we have $u/\bar{u}\equiv 1(\mathrm{mod}1-\omega )$. Among the tenth roots of unity this excludes the elements $-{\omega }^a$, so $u/\bar{u}\in ⟨\omega ⟩$. Squaring is a bijection on this group of order five, so choose a root of unity $\eta$ with $\eta /\bar{\eta }=u/\bar{u}$. Then $v=u/\eta$ is fixed by conjugation and is therefore a unit of $F$.

The units of the quadratic field Q square root of five are $\pm {\varphi }^b$, where $\varphi =(1+\sqrt{5})/2$. Absorbing the sign and $\eta$ into $\pm {\omega }^a$ proves