Rational quartic reciprocity
Pour tout entier et certains entiers , les nombres premiers - congrus à 1 modulo - tels que soit le résidu d’une puissance -ième modulo sont caractérisés par le fait que certains systèmes de formes quadratiques à coefficients entiers en variables représentent le -uplet . La démonstration de ce résultat est accompagnée d’une méthode explicite de construction de ces systèmes.