Sub-Fields of $Q(\zeta_{13})$ with a single generator.

199 Views Asked by At

Let $K=Q(\zeta_{13})$ a Number field of degree $12$ over $Q$ which is cyclic and has unique sub-fields $K_2,K_3,K_4$ and $K_6$ of degree $2,3,4$ and $6$ respectively. I need a single generator $\beta\in K$ such that whose powers should generate these sub-fields.

I was able to find an element $\alpha=(\zeta+\zeta^{5}+\zeta^{8}+\zeta^{12})^{1/2}$ which generates the degree $6$ field $K_6$ and $\alpha^2$ generates the degree $3$ field $K_3$. I don't know whether such a $\beta$ exists so that I can generate all of the $4$ sub-fields by raising $\beta$ to some power $k\in Z$.

1

There are 1 best solutions below

0
On

It is not possible to find $\beta\in \Bbb{Q}(\zeta_{13})$ and $e_j\in \Bbb{Z}$ such that $K_j=\Bbb{Q}(\beta^{e_j})$ for both $j=2,3$.

This is because $[\Bbb{Q}(\beta^{e_2e_3}):\Bbb{Q}]$ divides $2$ and $3$ so $\beta^{e_2e_3}\in \Bbb{Q}$.

Let $b=|\beta|$ and $n$ the least integer such that $b^n\in \Bbb{Q}$, so that (Eisenstein criterion) $x^n-b$ is the minimal polynomial of $b$ and $\beta=b\xi$ with $\xi^{e_2e_3}=\pm 1$.

$b\in \Bbb{Q}(\zeta_{13},\xi)$ so $\Bbb{Q}(b)/\Bbb{Q}$ must Galois which implies that $n\in 1,2$.

$[\Bbb{Q}(\beta^{e_3}):\Bbb{Q}]=3$ gives that $\Bbb{Q}(\beta^{e_3})=\Bbb{Q}(\beta^{2e_3})=\Bbb{Q}(\xi^{2e_3})$.

This is impossible, the only cyclotomic fields contained in $\Bbb{Q}(\zeta_{13})$ are $\Bbb{Q}(\zeta_{13})$ and $\Bbb{Q}$.