How to construct $\mathbb{F}_p(\zeta)$ with MAGMA?

85 Views Asked by At

I'd like to ask the following question concerning a MAGMA command I'm probably not aware of.

Is it possible to construct a field of the form $F=\mathbb{F}_p(\zeta)$ with MAGMA, where $\zeta$ denotes a primitive $m$-th root of unity in an extension of $\mathbb{F}_p$ with the property that gcd$(p,m)>1$?

I'm particularly interested in the case where $p=2$.

Thanks for the help in advance.