Search results
Results from the WOW.Com Content Network
If the discriminant is positive, the number of non-real roots is a multiple of 4. That is, there is a nonnegative integer k ≤ n/4 such that there are 2k pairs of complex conjugate roots and n − 4k real roots. If the discriminant is negative, the number of non-real roots is not a multiple of 4.
The discriminant of K is 49 = 7 2. Accordingly, the volume of the fundamental domain is 7 and K is only ramified at 7. 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.
For this converse the field discriminant is needed. This is the Dedekind discriminant theorem. In the example above, the discriminant of the number field () with x 3 − x − 1 = 0 is −23, and as we have seen the 23-adic place ramifies. The Dedekind discriminant tells us it is the only ultrametric place that does.
All complex cubic fields with discriminant greater than −500 have class number one, except the fields with discriminants −283, −331 and −491 which have class number 2. The real root of the polynomial for −23 is the reciprocal of the plastic ratio (negated), while that for −31 is the reciprocal of the supergolden ratio.
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 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 ...
The relative different δ L / K is defined in a similar manner for an extension of number fields L / K. The relative norm of the relative different is then equal to the relative discriminant Δ L / K. [10] In a tower of fields L / K / F the relative differents are related by δ L / F = δ L / K δ K / F. [5] [11]
Since the sign of the discriminant of a number field K is (−1) r 2, where r 2 is the number of conjugate pairs of complex embeddings of K into C, the discriminant of a cubic field will be positive precisely when the field is totally real, and negative if it is a complex cubic field.