Norm forms of orders (Q1210077)

Let \(q\) be a quaternary quadratic form with square discriminant \(\text{det}(q)=d^ 2\) and representing 1, and let \(L\) be the \(\mathbb{Z}\)- module \((\mathbb{Z}^ 4,q)\). The main result in a special case is the following: If \(q\) is classical, i.e. the associate bilinear form \(b_ q(x,y)=q(x+y)-q(x)-q(y)\in 2\mathbb{Z}\) for \(x,y\in L\), then \(q\) is the norm form of an order in a quaternion algebra iff \(({d\over 2})L^ \#\subset L\).