Search results
Results From The WOW.Com Content Network
In mathematics, the discriminant of an algebraic number field is a numerical invariant that, loosely speaking, measures the size of the (ring of integers of the) algebraic number field. More specifically, it is proportional to the squared volume of the fundamental domain of the ring of integers , and it regulates which primes are ramified .
Since the number of integral ideals of given norm is finite, the finiteness of the class number is an immediate consequence, [1] and further, the ideal class group is generated by the prime ideals of norm at most M K. Minkowski's bound may be used to derive a lower bound for the discriminant of a field K given n, r 1 and r 2.
The first class is the discriminant of an algebraic number field, which, in some cases including quadratic fields, is the discriminant of a polynomial defining the field. Discriminants of the second class arise for problems depending on coefficients, when degenerate instances or singularities of the problem are characterized by the vanishing of ...
Adjoining the real cube root of 2 to the rational numbers gives the cubic field (). This is an example of a pure cubic field, and hence of a complex cubic field. In fact, of all pure cubic fields, it has the smallest discriminant (in absolute value), namely −108. [2]
In mathematics, especially in algebraic number theory, the Hermite–Minkowski theorem states that for any integer N there are only finitely many number fields, i.e., finite field extensions K of the rational numbers Q, such that the discriminant of K/Q is at most N. The theorem is named after Charles Hermite and Hermann Minkowski.
For given low class number (such as 1, 2, and 3), Gauss gives lists of imaginary quadratic fields with the given class number and believes them to be complete. Infinitely many real quadratic fields with class number one Gauss conjectures that there are infinitely many real quadratic fields with class number one.
The following table shows some orders of small discriminant of quadratic fields. The maximal order of an algebraic number field is its ring of integers, and the discriminant of the maximal order is the discriminant of the field. The discriminant of a non-maximal order is the product of the discriminant of the corresponding maximal order by the ...
In algebraic number theory, the different ideal (sometimes simply the different) is defined to measure the (possible) lack of duality in the ring of integers of an algebraic number field K, with respect to the field trace. It then encodes the ramification data for prime ideals of the ring of integers. It was introduced by Richard Dedekind in 1882.