Fundamental discriminant


In mathematics, a fundamental discriminant D is an integer invariant in the theory of integral binary quadratic forms. If is a quadratic form with integer coefficients, then is the discriminant of Q. Conversely, every integer D with is the discriminant of some binary quadratic form with integer coefficients. Thus, all such integers are referred to as discriminants in this theory.
There are explicit congruence conditions that give the set of fundamental discriminants. Specifically, D is a fundamental discriminant if, and only if, one of the following statements holds
The first ten positive fundamental discriminants are:
The first ten negative fundamental discriminants are:

Connection with quadratic fields

There is a connection between the theory of integral binary quadratic forms and the arithmetic of quadratic number fields. A basic property of this connection is that D0 is a fundamental discriminant if, and only if, D0 = 1 or D0 is the discriminant of a quadratic number field. There is exactly one quadratic field for every fundamental discriminant D0 ≠ 1, up to isomorphism.
Caution: This is the reason why some authors consider 1 not to be a fundamental discriminant. One may interpret D0 = 1 as the degenerate "quadratic" field Q.

Factorization

Fundamental discriminants may also be characterized by their factorization into positive and negative prime powers. Define the set
where the prime numbers ≡ 1 are positive and those ≡ 3 are negative. Then, a number D0 ≠ 1 is a fundamental discriminant if, and only if, it is the product of pairwise relatively prime members of S.