Integral basis of an odd biquadratic field containing square root of two

ID: integral-basis-of-an-odd-biquadratic-field-containing-square-root-of-two

For square-free , the field has basis as an integral basis of its ring of integers. Relative traces force all rational coefficients to be half-integers; the norm to forces the constant and coefficients to be integers and the two other numerators to have equal parity. The half-sum is integral because it satisfies .

New to topics? Read the docs here!