Cubic field

Last updated July 29, 2021

In mathematics, specifically the area of algebraic number theory, a cubic field is an algebraic number field of degree three.

Definition

If K is a field extension of the rational numbers Q of degree [K:Q] = 3, then K is called a cubic field. Any such field is isomorphic to a field of the form

\mathbf {Q} [x]/(f(x))

where f is an irreducible cubic polynomial with coefficients in Q. If f has three real roots, then K is called a totally real cubic field and it is an example of a totally real field. If, on the other hand, f has a non-real root, then K is called a complex cubic field.

A cubic field K is called a cyclic cubic field if it contains all three roots of its generating polynomial f. Equivalently, K is a cyclic cubic field if it is a Galois extension of Q, in which case its Galois group over Q is cyclic of order three. This can only happen if K is totally real. It is a rare occurrence in the sense that if the set of cubic fields is ordered by discriminant, then the proportion of cubic fields which are cyclic approaches zero as the bound on the discriminant approaches infinity.^[1]

A cubic field is called a pure cubic field if it can be obtained by adjoining the real cube root ${\sqrt[{3}]{n}}$ of a cube-free positive integer n to the rational number field Q. Such fields are always complex cubic fields since each positive number has two complex non-real cube roots.

Examples

Adjoining the real cube root of 2 to the rational numbers gives the cubic field $\mathbf {Q} ({\sqrt[{3}]{2}})$ . 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]
The complex cubic field obtained by adjoining to Q a root of x³ + x² − 1 is not pure. It has the smallest discriminant (in absolute value) of all cubic fields, namely −23.^[3]
Adjoining a root of x³ + x² − 2x − 1 to Q yields a cyclic cubic field, and hence a totally real cubic field. It has the smallest discriminant of all totally real cubic fields, namely 49.^[4]
The field obtained by adjoining to Q a root of x³ + x² − 3x − 1 is an example of a totally real cubic field that is not cyclic. Its discriminant is 148, the smallest discriminant of a non-cyclic totally real cubic field.^[5]
No cyclotomic fields are cubic because the degree of a cyclotomic field is equal to φ(n), where φ is Euler's totient function, which only takes on even values except for φ(1) = φ(2) = 1.

Galois closure

A cyclic cubic field K is its own Galois closure with Galois group Gal(K/Q) isomorphic to the cyclic group of order three. However, any other cubic field K is a non-Galois extension of Q and has a field extension N of degree two as its Galois closure. The Galois group Gal(N/Q) is isomorphic to the symmetric group S₃ on three letters.

Associated quadratic field

The discriminant of a cubic field K can be written uniquely as df² where d is a fundamental discriminant. Then, K is cyclic if and only if d = 1, in which case the only subfield of K is Q itself. If d ≠ 1 then the Galois closure N of K contains a unique quadratic field k whose discriminant is d (in the case d = 1, the subfield Q is sometimes considered as the "degenerate" quadratic field of discriminant 1). The conductor of N over k is f, and f² is the relative discriminant of N over K. The discriminant of N is d³f⁴.^[6]^[7]

The field K is a pure cubic field if and only if d = −3. This is the case for which the quadratic field contained in the Galois closure of K is the cyclotomic field of cube roots of unity.^[7]

Discriminant

Since the sign of the discriminant of a number field K is (−1)^r₂, where r₂ 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.

Given some real number N > 0 there are only finitely many cubic fields K whose discriminant D_K satisfies |D_K| ≤ N.^[9] Formulae are known which calculate the prime decomposition of D_K, and so it can be explicitly calculated.^[10]

Unlike quadratic fields, several non-isomorphic cubic fields K₁, ..., K_m may share the same discriminant D. The number m of these fields is called the multiplicity^[11] of the discriminant D. Some small examples are m = 2 for D = −1836, 3969, m = 3 for D = −1228, 22356, m = 4 for D = −3299, 32009, and m = 6 for D = −70956, 3054132.

Any cubic field K will be of the form K = Q(θ) for some number θ that is a root of an irreducible polynomial

f(X)=X^{3}-aX+b

where a and b are integers. The discriminant of f is Δ = 4a³ − 27b². Denoting the discriminant of K by D, the indexi(θ) of θ is then defined by Δ = i(θ)²D.

In the case of a non-cyclic cubic field K this index formula can be combined with the conductor formula D = f²d to obtain a decomposition of the polynomial discriminant Δ = i(θ)²f²d into the square of the product i(θ)f and the discriminant d of the quadratic field k associated with the cubic field K, where d is squarefree up to a possible factor 2² or 2³. Georgy Voronoy gave a method for separating i(θ) and f in the square part of Δ.^[12]

The study of the number of cubic fields whose discriminant is less than a given bound is a current area of research. Let N⁺(X) (respectively N⁻(X)) denote the number of totally real (respectively complex) cubic fields whose discriminant is bounded by X in absolute value. In the early 1970s, Harold Davenport and Hans Heilbronn determined the first term of the asymptotic behaviour of N^±(X) (i.e. as X goes to infinity).^[13]^[14] By means of an analysis of the residue of the Shintani zeta function, combined with a study of the tables of cubic fields compiled by Karim Belabas ( Belabas 1997 ) and some heuristics, David P. Roberts conjectured a more precise asymptotic formula:^[15]

N^{\pm }(X)\sim {\frac {A_{\pm }}{12\zeta (3)}}X+{\frac {4\zeta ({\frac {1}{3}})B_{\pm }}{5\Gamma ({\frac {2}{3}})^{3}\zeta ({\frac {5}{3}})}}X^{\frac {5}{6}}

where A_± = 1 or 3, B_± = 1 or ${\sqrt {3}}$ , according to the totally real or complex case, ζ(s) is the Riemann zeta function, and Γ(s) is the Gamma function. Proofs of this formula have been published by Bhargava, Shankar & Tsimerman (2013) using methods based on Bhargava's earlier work, as well as by Taniguchi & Thorne (2013) based on the Shintani zeta function.

Unit group

According to Dirichlet's unit theorem, the torsion-free unit rank r of an algebraic number field K with r₁ real embeddings and r₂ pairs of conjugate complex embeddings is determined by the formula r = r₁ + r₂ − 1. Hence a totally real cubic field K with r₁ = 3, r₂ = 0 has two independent units ε₁, ε₂ and a complex cubic field K with r₁ = r₂ = 1 has a single fundamental unit ε₁. These fundamental systems of units can be calculated by means of generalized continued fraction algorithms by Voronoi,^[16] which have been interpreted geometrically by Delone and Faddeev.^[17]

Notes

↑ Harvey Cohn computed an asymptotic for the number of cyclic cubic fields ( Cohn 1954 ), while Harold Davenport and Hans Heilbronn computed the asymptotic for all cubic fields ( Davenport & Heilbronn 1971 ).
↑ Cohen 1993 , §B.3 contains a table of complex cubic fields
↑ Cohen 1993 , §B.3
↑ Cohen 1993 , §B.4 contains a table of totally real cubic fields and indicates which are cyclic
↑ Cohen 1993 , §B.4
↑ Hasse 1930
1 2 Cohen 1993 , §6.4.5
1 2 The exact counts were computed by Michel Olivier and are available at . The first-order asymptotic is due to Harold Davenport and Hans Heilbronn ( Davenport & Heilbronn 1971 ). The second-order term was conjectured by David P. Roberts ( Roberts 2001 ) and a proof has been published by Manjul Bhargava, Arul Shankar, and Jacob Tsimerman ( Bhargava, Shankar & Tsimerman 2013 ).
↑ H. Minkowski, Diophantische Approximationen, chapter 4, §5.
↑ Llorente, P.; Nart, E. (1983). "Effective determination of the decomposition of the rational primes in a cubic field". Proceedings of the American Mathematical Society. 87 (4): 579–585. doi: 10.1090/S0002-9939-1983-0687621-6 .
↑ Mayer, D. C. (1992). "Multiplicities of dihedral discriminants". Math. Comp. 58 (198): 831–847 and S55–S58. Bibcode:1992MaCom..58..831M. doi: 10.1090/S0025-5718-1992-1122071-3 .
↑ G. F. Voronoi, Concerning algebraic integers derivable from a root of an equation of the third degree, Master's Thesis, St. Petersburg, 1894 (Russian).
↑ Davenport & Heilbronn 1971
↑ Their work can also be interpreted as a computation of the average size of the 3-torsion part of the class group of a quadratic field, and thus constitutes one of the few proven cases of the Cohen–Lenstra conjectures: see, e.g. Bhargava, Manjul; Varma, Ila (2014), The mean number of 3-torsion elements in the class groups and ideal groups of quadratic orders, arXiv: 1401.5875 , Bibcode:2014arXiv1401.5875B, This theorem [of Davenport and Heilbronn] yields the only two proven cases of the Cohen-Lenstra heuristics for class groups of quadratic fields.
↑ Roberts 2001 , Conjecture 3.1
↑ Voronoi, G. F. (1896). On a generalization of the algorithm of continued fractions (in Russian). Warsaw: Doctoral Dissertation.
↑ Delone, B. N.; Faddeev, D. K. (1964). The theory of irrationalities of the third degree. Translations of Mathematical Monographs. 10. Providence, Rhode Island: American Mathematical Society.

Related Research Articles

In algebra, a quadratic equation is any equation that can be rearranged in standard form as

In mathematics, the discriminant of a polynomial is a quantity that depends on the coefficients and determines various properties of the roots. It is generally defined as a polynomial function of the coefficients of the original polynomial. The discriminant is widely used in polynomial factoring, number theory, and algebraic geometry. It is often denoted by the symbol $.$

In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing to group theory certain problems in field theory; this makes them simpler in some sense, and allows a better understanding.

In number theory, the ideal class group of an algebraic number field $K$ is the quotient group $J K / P K$ where $J K$ is the group of fractional ideals of the ring of integers of $K$ , and $P K$ is its subgroup of principal ideals. The class group is a measure of the extent to which unique factorization fails in the ring of integers of $K$ . The order of the group, which is finite, is called the class number of $K$ .

Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations.

Cubic equation Polynomial equation of degree 3

In algebra, a cubic equation in one variable is an equation of the form

In mathematics, an irreducible polynomial is, roughly speaking, a polynomial that cannot be factored into the product of two non-constant polynomials. The property of irreducibility depends on the nature of the coefficients that are accepted for the possible factors, that is, the field or ring to which the coefficients of the polynomial and its possible factors are supposed to belong. For example, the polynomial $x 2 - 2$ is a polynomial with integer coefficients, but, as every integer is also a real number, it is also a polynomial with real coefficients. It is irreducible if it is considered as a polynomial with integer coefficients, but it factors as $if it is considered as a polynomial with real coefficients. One says that the polynomial x 2 - 2 is irreducible over the integers but not over the reals.$

In mathematics, an algebraic equation or polynomial equation is an equation of the form

In algebraic number theory, a quadratic field is an algebraic number field of degree two over $Q$ , the rational numbers.

In mathematics, in the area of number theory, a Gaussian period is a certain kind of sum of roots of unity. The periods permit explicit calculations in cyclotomic fields connected with Galois theory and with harmonic analysis. They are basic in the classical theory called cyclotomy. Closely related is the Gauss sum, a type of exponential sum which is a linear combination of periods.

In mathematics, Dirichlet's unit theorem is a basic result in algebraic number theory due to Peter Gustav Lejeune Dirichlet. It determines the rank of the group of units in the ring $O K$ of algebraic integers of a number field $K$ . The regulator is a positive real number that determines how "dense" the units are.

In mathematics, the Gauss class number problem, as usually understood, is to provide for each n ≥ 1 a complete list of imaginary quadratic fields $having class number n . It is named after Carl Friedrich Gauss. It can also be stated in terms of discriminants. There are related questions for real quadratic fields and for the behavior as .$

In mathematics, more specifically in the field of analytic number theory, a Landau–Siegel zero or simply Siegel zero, named after Edmund Landau and Carl Ludwig Siegel, is a type of potential counterexample to the generalized Riemann hypothesis, on the zeroes of Dirichlet L-functions associated to quadratic number fields. Roughly speaking, these are possible zeros very near to $s = 1$ .

The Artin reciprocity law, which was established by Emil Artin in a series of papers, is a general theorem in number theory that forms a central part of global class field theory. The term "reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem.

In algebraic number theory, the Hilbert class fieldE of a number field K is the maximal abelian unramified extension of K. Its degree over K equals the class number of K and the Galois group of E over K is canonically isomorphic to the ideal class group of K using Frobenius elements for prime ideals in K.

In number theory, the class number formula relates many important invariants of a number field to a special value of its Dedekind zeta function.

Discriminant of an algebraic number field Measures the size of the ring of integers of the algebraic number field

In mathematics, the discriminant of an algebraic number field is a numerical invariant that, loosely speaking, measures the size 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.

In algebra, casus irreducibilis is one of the cases that may arise in attempting to solve polynomials of degree 3 or higher with integer coefficients, to obtain roots that are expressed with radicals. It shows that many algebraic numbers are real-valued but cannot be expressed in radicals without introducing complex numbers. The most notable occurrence of casus irreducibilis is in the case of cubic polynomials that are irreducible over the rational numbers and have three real roots, which was proven by Pierre Wantzel in 1843. One can decide whether a given irreducible cubic polynomial is in casus irreducibilis using the discriminant Δ, via Cardano's formula. Let the cubic equation be given by

In mathematics, an algebraic number field is an extension field $of the field of rational numbers such that the field extension has finite degree . Thus is a field that contains and has finite dimension when considered as a vector space over .$

References

Şaban Alaca, Kenneth S. Williams, Introductory algebraic number theory, Cambridge University Press, 2004.
Belabas, Karim (1997), "A fast algorithm to compute cubic fields", Mathematics of Computation, 66 (219): 1213–1237, doi: 10.1090/s0025-5718-97-00846-6 , MR 1415795
Bhargava, Manjul; Shankar, Arul; Tsimerman, Jacob (2013), "On the Davenport–Heilbronn theorem and second order terms", Inventiones Mathematicae, 193 (2): 439–499, arXiv: 1005.0672 , Bibcode:2013InMat.193..439B, doi:10.1007/s00222-012-0433-0, MR 3090184
Cohen, Henri (1993), A Course in Computational Algebraic Number Theory, Graduate Texts in Mathematics, 138, Berlin, New York: Springer-Verlag, ISBN 978-3-540-55640-4, MR 1228206
Cohn, Harvey (1954), "The density of abelian cubic fields", Proceedings of the American Mathematical Society , 5 (3): 476–477, doi: 10.2307/2031963 , JSTOR 2031963, MR 0064076
Davenport, Harold; Heilbronn, Hans (1971), "On the density of discriminants of cubic fields. II", Proceedings of the Royal Society A , 322 (1551): 405–420, Bibcode:1971RSPSA.322..405D, doi:10.1098/rspa.1971.0075, MR 0491593
Hasse, Helmut (1930), "Arithmetische Theorie der kubischen Zahlkörper auf klassenkörpertheoretischer Grundlage", Mathematische Zeitschrift (in German), 31 (1): 565–582, doi:10.1007/BF01246435
Roberts, David P. (2001), "Density of cubic field discriminants", Mathematics of Computation, 70 (236): 1699–1705, arXiv: math/9904190 , doi:10.1090/s0025-5718-00-01291-6, MR 1836927
Taniguchi, Takashi; Thorne, Frank (2013), "Secondary terms in counting functions for cubic fields", Duke Mathematical Journal, 162 (13): 2451–2508, arXiv: 1102.2914 , doi:10.1215/00127094-2371752, MR 3127806

External links

Media related to Cubic field at Wikimedia Commons

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Harvey Cohn computed an asymptotic for the number of cyclic cubic fields ( Cohn 1954 ), while Harold Davenport and Hans Heilbronn computed the asymptotic for all cubic fields ( Davenport & Heilbronn 1971 ).

[2] Cohen 1993 , §B.3 contains a table of complex cubic fields

[3] Cohen 1993 , §B.3

[4] Cohen 1993 , §B.4 contains a table of totally real cubic fields and indicates which are cyclic

[5] Cohen 1993 , §B.4

[6] Hasse 1930

[Cohen_1993_loc=§6.4.5-7] 1 2 Cohen 1993 , §6.4.5

[discdata-8] 1 2 The exact counts were computed by Michel Olivier and are available at . The first-order asymptotic is due to Harold Davenport and Hans Heilbronn ( Davenport & Heilbronn 1971 ). The second-order term was conjectured by David P. Roberts ( Roberts 2001 ) and a proof has been published by Manjul Bhargava, Arul Shankar, and Jacob Tsimerman ( Bhargava, Shankar & Tsimerman 2013 ).

[9] H. Minkowski, Diophantische Approximationen, chapter 4, §5.

[10] Llorente, P.; Nart, E. (1983). "Effective determination of the decomposition of the rational primes in a cubic field". Proceedings of the American Mathematical Society. 87 (4): 579–585. doi: 10.1090/S0002-9939-1983-0687621-6 .

[11] Mayer, D. C. (1992). "Multiplicities of dihedral discriminants". Math. Comp. 58 (198): 831–847 and S55–S58. Bibcode:1992MaCom..58..831M. doi: 10.1090/S0025-5718-1992-1122071-3 .

[12] G. F. Voronoi, Concerning algebraic integers derivable from a root of an equation of the third degree, Master's Thesis, St. Petersburg, 1894 (Russian).

[13] Davenport & Heilbronn 1971

[14] Their work can also be interpreted as a computation of the average size of the 3-torsion part of the class group of a quadratic field, and thus constitutes one of the few proven cases of the Cohen–Lenstra conjectures: see, e.g. Bhargava, Manjul; Varma, Ila (2014), The mean number of 3-torsion elements in the class groups and ideal groups of quadratic orders, arXiv: 1401.5875 , Bibcode:2014arXiv1401.5875B, This theorem [of Davenport and Heilbronn] yields the only two proven cases of the Cohen-Lenstra heuristics for class groups of quadratic fields.

[15] Roberts 2001 , Conjecture 3.1

[16] Voronoi, G. F. (1896). On a generalization of the algorithm of continued fractions (in Russian). Warsaw: Doctoral Dissertation.

[17] Delone, B. N.; Faddeev, D. K. (1964). The theory of irrationalities of the third degree. Translations of Mathematical Monographs. 10. Providence, Rhode Island: American Mathematical Society.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]