Biquadratic field

In mathematics, a biquadratic field is a number field K of a particular kind, which is a Galois extension of the rational number field Q with Galois group the Klein four-group.

Structure and subfields
Biquadratic fields are all obtained by adjoining two square roots. Therefore in explicit terms they have the form


 * K = Q($\sqrt{a}$,$\sqrt{b}$)

for rational numbers a and b. There is no loss of generality in taking a and b to be non-zero and square-free integers.

According to Galois theory, there must be three quadratic fields contained in K, since the Galois group has three subgroups of index 2. The third subfield, to add to the evident Q($\sqrt{a}$) and Q($\sqrt{b}$), is Q($\sqrt{ab}$).

Biquadratic fields are the simplest examples of abelian extensions of Q that are not cyclic extensions.