Sur la réduction simultanée de deux formes quadratiques. (Q1454591)

Verf. nennt zwei Paare quadratischer Formen \((\varphi_1, \varphi_2)\) und \((\varphi_1^\prime, \varphi_2^\prime)\) in \(n\) Variablen äquivalent, wenn sie sich durch eine unimodulare Transformation der Variablen zusammen mit einer solchen der Formen selbst ineinander überführen lassen. Ein Formenpaar heißt reduziert, wenn die Diskriminante \(\varDelta(z_1, z_2)\) der Form \(z_1\varphi_1 + z_2\varphi_2\) reduziert als Form in \(z_1, z_2\) ist und wenn ferner \(\varphi_1 \varphi_2\) eine reduzierte Form ist. Im allgemeinen Fall, d. h., wenn \(\varDelta(z, 1)\) keine mehrfachen Wurzeln besitzt, gilt eine Übertragung des Satzes von der Endlichkeit der Klassenzahl und der Zahl der Reduzierten in einer Klasse.