Published online by Cambridge University Press: 18 May 2009
In a recent paper [3], D. W. Lewis proposed the following conjecture. (The notation is the same as that in [2] and [3].)
Conjecture. Let F be a field of characteristic not 2 and let a1, b1…, an, bn ∈ Fx. The tensor product of quaternion algebras
is a division algebra if and only if the quadratic form over F
is anisotropic.
This equivalence indeed holds for n = 1 as is well known [2, Theorem 2.7], and Albert [1] (see also [4, §15.7]) has shown that it also holds for n = 2. The aim of this note is to provide counterexamples to both of the implications for n ≥ 3.