Cyclic Quartic Extension

116 Views Asked by At

Given a real cyclic "quartic" number field $K$ with the unique quadratic subfield $F$. I am wondering if it is possible to explicitly write down a unit $u\in\mathcal{O}_K^{\times}$ by "only using the information in $F$" (Means that you can take n-th root, any algebraic operation or evaluate special function at some points in $F$ or etc.) such that $$K=\mathbb{Q}(u).$$ Thank you!