Discriminante fundamental

En matemáticas, un discriminante fundamental D es un número entero invariante en la teoría de formas cuadráticas binarias enteras. Si Q(x, y) = ax² + bxy + cy² es una forma cuadrática con coeficientes enteros, entonces D = b² − 4ac es el discriminante de Q (x, y). Por el contrario, cada entero D con D ≡ 0, 1 (mod 4) es el discriminante de alguna forma cuadrática binaria con coeficientes enteros. Por lo tanto, todos estos enteros se denominan discriminantes en esta teoría.

Hay condiciones de congruencia explícitas que dan el conjunto de discriminantes fundamentales. Específicamente, D es un discriminante fundamental si, y solo si, una de las siguientes declaraciones es válida:

Los primeros diez discriminantes fundamentales positivos son:

Los primeros diez discriminantes fundamentales negativos son:

Existe una conexión entre la teoría de formas cuadráticas binarias integrales y la aritmética de los campos de números cuadráticos. Una propiedad básica de esta conexión es que D₀ es un discriminante fundamental si, y solo si, D₀ = 1 o D₀ es el discriminante de un campo de números cuadrático. Hay exactamente un campo cuadrático para cada discriminante fundamental D₀ ≠ 1, hasta verificarse un isomorfismo.

Precaución: esta es la razón por la que algunos autores consideran que 1 no es un discriminante fundamental. Se puede interpretar D₀ = 1 como el campo degenerado "cuadrático" Q (los números racionales).

Los discriminantes fundamentales también pueden caracterizarse por su factorización en potencias positivas y negativas primas. Sea el conjunto

donde los números primos ≡ 1 (mod 4) son positivos y aquellos ≡ 3 (mod 4) son negativos. Entonces, un número D₀ ≠ 1 es un discriminante fundamental si, y solo si, es el producto de miembros primos entre sí por pares de S.