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!