On the composition of binary quadratic forms. (Q1480006)

Der Verf. legt seiner Theorie den Satz zugrunde, daß die Gleichung: \[ \multlinegap {0pt} \begin{multlined} -\begin{vmatrix} \begin{aligned} q''x_1-& p''x_2\\ -qx_1+ & px_2 \end{aligned} & \begin{aligned} q'''x_1-&p'''x_2\\ -q'x_1+&p'x_2 \end{aligned} \end{vmatrix}\\ =\begin{vmatrix} py_1+p''y_2&p'y_1+p'''y_2\\ qy_1+q''y_2&q'y_1+q'''y_2 \end{vmatrix} \left|\,\begin{matrix} pz_1+p'z_2&p''z_1+p''z_2\\ qz_1+q'z_2&q''z_1+q'''z_2 \end{matrix}\right. \end{multlined} \] durch die bilineare Substitution: \[ x_1=py_1z_1+p'y_1z_2+p''y_2z_1+p'''y_2z_2,\quad x_2=qy_1z_1+q'y_1z_2+q''y_2z_1+q'''y_2z_2 \] zu einer Identität wird. Da jede der Determinanten eine quadratische binäre Form ist, so ist damit die Komposition zweier solchen Formen definiert. Anderseits läßt sich jede binäre quadratische Form durch eine solche Determinante darstellen, so daß sich also zwei beliebige Formen mit derselben Diskriminante komponieren lassen. Die komponierte Form ist nur bis auf die Klasse bestimmt.