Ads
related to: discriminant of a quadratic field equation practice packet math 1pdffiller.com has been visited by 1M+ users in the past month
education.com has been visited by 100K+ users in the past month
teacherspayteachers.com has been visited by 100K+ users in the past month
Search results
Results From The WOW.Com Content Network
In general a quadratic field of field discriminant can be obtained as a subfield of a cyclotomic field of -th roots of unity. This expresses the fact that the conductor of a quadratic field is the absolute value of its discriminant, a special case of the conductor-discriminant formula .
Geometrically, the discriminant of a quadratic form in three variables is the equation of a quadratic projective curve. The discriminant is zero if and only if the curve is decomposed in lines (possibly over an algebraically closed extension of the field). A quadratic form in four variables is the equation of a projective surface.
An integral basis is given by {1, α, α(α + 1)/2} and the discriminant of K is −503. [5] [6] Repeated discriminants: the discriminant of a quadratic field uniquely identifies it, but this is not true, in general, for higher-degree number fields. For example, there are two non-isomorphic cubic fields of discriminant 3969.
Simultaneously generalizing the case of imaginary quadratic fields and cyclotomic fields is the case of a CM field K, i.e. a totally imaginary quadratic extension of a totally real field. In 1974, Harold Stark conjectured that there are finitely many CM fields of class number 1. [ 12 ]
For quadratic equations with rational coefficients, if the discriminant is a square number, then the roots are rational—in other cases they may be quadratic irrationals. If the discriminant is zero, then there is exactly one real root − b 2 a , {\displaystyle -{\frac {b}{2a}},} sometimes called a repeated or double root or two equal roots.
Its discriminant as quadratic form need not be +1 (in fact this happens only for the case K = Q). Define the inverse different or codifferent [ 3 ] [ 4 ] or Dedekind's complementary module [ 5 ] as the set I of x ∈ K such that tr( xy ) is an integer for all y in O K , then I is a fractional ideal of K containing O K .