Monogenic number field (source code)

= Monogenic number field
{wiki=Monogenic_field}

A number field $K$ is monogenic when its ring of integers has a power integral basis, meaning $\mathcal O_K=\mathbb Z[\theta]$ for some algebraic integer $\theta$.