Un campo cuadrático es un campo numérico algebraico de grado 2 sobre . Se puede probar que el mapeo define una biyección entre el conjunto de enteros libres de cuadrados y el conjunto de todos los campos cuadráticos no isomorfos por pares. Si el campo cuadrático se llama real , en caso contrario es imaginario o complejo .
Para cualquier campo numérico algebraico, se puede considerar su anillo de enteros, es decir, el conjunto de elementos que son las raíces de los polinomios reducidos con coeficientes enteros. En el caso de un campo cuadrático, estas son las raíces de las ecuaciones cuadráticas dadas con coeficientes enteros; todos los números de esta forma son fáciles de describir.
Sea un entero libre de cuadrados congruente con 2 o 3 módulo 4. Entonces el anillo de enteros del campo cuadrático correspondiente (denotado ) es el conjunto de combinaciones lineales de la forma ( irracionalidades cuadráticas ), donde , con las operaciones usuales de suma y multiplicación de números complejos . En consecuencia, si , el anillo de enteros consta de números de la forma , donde .
El discriminante de un campo cuadrático es d cuando d es congruente a 1 módulo 4, y 4d en caso contrario. Por ejemplo, el discriminante del campo numérico racional gaussiano es −4.
Cualquier anillo de números enteros es Dedekind , por lo tanto, para cualquiera de sus ideales , existe una única descomposición en ideales primos. Sea p un número primo , entonces para el ideal principal generado por p en ( K es un campo cuadrático arbitrario) son posibles los siguientes tres casos:
El tercer caso se da si y sólo si p divide el discriminante del campo D (por ejemplo, el ideal (2) es el cuadrado del ideal (1+ i ) en el anillo de enteros gaussianos). El primer y segundo caso ocurren cuando el símbolo de Kronecker es −1 y 1, respectivamente.