Introduction

By definition, mathematically a number field is just a finite extension of the rational $\mathbf{Q}$. In Hecke, a number field $L$ is recursively defined as being the field of rational numbers $\mathbf{Q}$ or a finite extension of a number field $K$. In the second case, the extension can be defined in the one of the following two ways:

• We have $L=K[x]/(f)$, where $f\in K[x]$ is an irreducible polynomial (simple extension), or

• We have $L=K[x_1,\dots ,x_n]/(f_1(x_1),\dots ,f_n(x_n))$, where $f_1,\dots ,f_n\in K[x]$ are univariate polynomials (non-simple extension).

In both cases we refer to $K$ as the base field of the number field $L$. Another useful dichotomy comes from the type of the base field. We call $L$ an absolute number field, if the base field is equal to the rational numbers $\mathbf{Q}$.