In this paper, we analyze what happens with respect to quadratic forms when a square root is adjoined to a field F which has exactly two quaternion algebras. There are many such fields—the real numbers and finite extensions of the p-adic numbers being two familiar examples. For general quadratic extensions, there are many unanswered questions concerning the quadratic form structure, but for these special fields we can clear up most of them.
It is assumed char F ≠ 2 and K = F (√a) where a ∊ Ḟ – Ḟ2. Ḟ denotes the non-zero elements of F. Generally the letters a, b, c, … and α, β, … refer to elements from Ḟ and x, y, z, … come from
.