Algebraic number field

In number theory, an algebraic number field is a principal object of study in algebraic number theory. The algebraic and arithmetic structure of a number field has applications in other areas of number theory, such as the resulotion of Diophantine equationss.

An algebraic number field K is a finite degree field extension of the field Q of rational numbers. The elements of K are thus algebraic numbers. Let n = [K:Q] be the degree of the extension.

We may embed K into the algebraically closed field of complex numbers C. There are exactly n such embeddings: we can see this by taking α to be a primitive element for K/Q, and letting f be the minimal polynomial of α. Then the embeddings correspond to the n roots of f in C. Some, say r, of these embeddings will actually have image in the real numbers, and the remaining embeddings will occur in complex conjugate pairs, say 2s such. We have n=r+2s.