Totally imaginary number field

A totally imaginary number field is a specific type of number field where every element of the field has its conjugates (in terms of field embeddings into the complex numbers) lying on the imaginary axis. More precisely, a number field is a finite extension of the field of rational numbers \(\mathbb{Q}\).