Joubert's theorem

Last updated

In polynomial algebra and field theory, Joubert's theorem states that if and are fields, is a separable field extension of of degree 6, and the characteristic of is not equal to 2, then is generated over by some element λ in , such that the minimal polynomial of λ has the form = , for some constants in . [1] The theorem is named in honor of Charles Joubert, a French mathematician, lycée professor, and Jesuit priest. [2] [3] [4] [5] [6]

In 1867 Joubert published his theorem in his paper Sur l'équation du sixième degré in tome 64 of Comptes rendus hebdomadaires des séances de l'Académie des sciences. [7] He seems to have made the assumption that the fields involved in the theorem are subfields of the complex field. [1]

Using arithmetic properties of hypersurfaces, Daniel F. Coray gave, in 1987, a proof of Joubert's theorem (with the assumption that the characteristic of is neither 2 nor 3). [1] [8] In 2006 Hanspeter Kraft  [ de ] gave a proof of Joubert's theorem [9] "based on an enhanced version of Joubert’s argument". [1] In 2014 Zinovy Reichstein proved that the condition characteristic() ≠ 2 is necessary in general to prove the theorem, but the theorem's conclusion can be proved in the characteristic 2 case with some additional assumptions on and . [1]

Related Research Articles

<span class="mw-page-title-main">Diophantine equation</span> Polynomial equation whose integer solutions are sought

In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, such that the only solutions of interest are the integer ones. A linear Diophantine equation equates to a constant the sum of two or more monomials, each of degree one. An exponential Diophantine equation is one in which unknowns can appear in exponents.

In complex analysis, a branch of mathematics, the Casorati–Weierstrass theorem describes the behaviour of holomorphic functions near their essential singularities. It is named for Karl Theodor Wilhelm Weierstrass and Felice Casorati. In Russian literature it is called Sokhotski's theorem.

<span class="mw-page-title-main">Quintic function</span> Polynomial function of degree 5

In elementary algebra, a quintic function is a polynomial function of the form

<span class="mw-page-title-main">Camille Jordan</span> French mathematician (1838 – 1922)

Marie Ennemond Camille Jordan was a French mathematician, known both for his foundational work in group theory and for his influential Cours d'analyse.

In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension n − 1, which is embedded in an ambient space of dimension n, generally a Euclidean space, an affine space or a projective space. Hypersurfaces share, with surfaces in a three-dimensional space, the property of being defined by a single implicit equation, at least locally, and sometimes globally.

In mathematics, specifically the study of differential equations, the Picard–Lindelöf theorem gives a set of conditions under which an initial value problem has a unique solution. It is also known as Picard's existence theorem, the Cauchy–Lipschitz theorem, or the existence and uniqueness theorem.

In mathematics, the Lagrange reversion theorem gives series or formal power series expansions of certain implicitly defined functions; indeed, of compositions with such functions.

In fluid dynamics, helicity is, under appropriate conditions, an invariant of the Euler equations of fluid flow, having a topological interpretation as a measure of linkage and/or knottedness of vortex lines in the flow. This was first proved by Jean-Jacques Moreau in 1961 and Moffatt derived it in 1969 without the knowledge of Moreau's paper. This helicity invariant is an extension of Woltjer's theorem for magnetic helicity.

<span class="mw-page-title-main">Georges Henri Halphen</span> 19th century French mathematician

Georges-Henri Halphen was a French mathematician. He was known for his work in geometry, particularly in enumerative geometry and the singularity theory of algebraic curves, in algebraic geometry. He also worked on invariant theory and projective differential geometry.

In measure theory, an area of mathematics, Egorov's theorem establishes a condition for the uniform convergence of a pointwise convergent sequence of measurable functions. It is also named Severini–Egoroff theorem or Severini–Egorov theorem, after Carlo Severini, an Italian mathematician, and Dmitri Egorov, a Russian physicist and geometer, who published independent proofs respectively in 1910 and 1911.

In semi-Riemannian geometry, the Bel decomposition, taken with respect to a specific timelike congruence, is a way of breaking up the Riemann tensor of a pseudo-Riemannian manifold into lower order tensors with properties similar to the electric field and magnetic field. Such a decomposition was partially described by Alphonse Matte in 1953 and by Lluis Bel in 1958.

<span class="mw-page-title-main">Discriminant of an algebraic number field</span> 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 mathematics, a CR manifold, or Cauchy–Riemann manifold, is a differentiable manifold together with a geometric structure modeled on that of a real hypersurface in a complex vector space, or more generally modeled on an edge of a wedge.

<span class="mw-page-title-main">Fermat's Last Theorem</span> 17th century conjecture proved by Andrew Wiles in 1994

In number theory, Fermat's Last Theorem states that no three positive integers a, b, and c satisfy the equation an + bn = cn for any integer value of n greater than 2. The cases n = 1 and n = 2 have been known since antiquity to have infinitely many solutions.

Georges Julien Giraud was a French mathematician, working in potential theory, partial differential equations, singular integrals and singular integral equations: he is mainly known for his solution of the regular oblique derivative problem and also for his extension to n–dimensional singular integral equations of the concept of symbol of a singular integral, previously introduced by Solomon Mikhlin.

In mathematics, the Schneider–Lang theorem is a refinement by Lang (1966) of a theorem of Schneider (1949) about the transcendence of values of meromorphic functions. The theorem implies both the Hermite–Lindemann and Gelfond–Schneider theorems, and implies the transcendence of some values of elliptic functions and elliptic modular functions.

In mathematics, Thomae's formula is a formula introduced by Carl Johannes Thomae (1870) relating theta constants to the branch points of a hyperelliptic curve.

<span class="mw-page-title-main">Cauchy–Kowalevski theorem</span> Existence and uniqueness theorem for certain partial differential equations

In mathematics, the Cauchy–Kovalevskaya theorem is the main local existence and uniqueness theorem for analytic partial differential equations associated with Cauchy initial value problems. A special case was proven by Augustin Cauchy (1842), and the full result by Sofya Kovalevskaya (1874).

Léon César Autonne was a French engineer and mathematician, specializing in algebraic geometry, differential equations, and linear algebra.

Étienne Halphen was a French mathematician. He was known for his work in geometry, on probability distributions and information theory.

References

  1. 1 2 3 4 5 Reichstein, Zinovy (2014). "Joubert's theorem fails in characteristic 2". Comptes Rendus Mathematique. 352 (10): 773–777. arXiv: 1406.7529 . doi:10.1016/j.crma.2014.08.004. S2CID   1345373.
  2. ↑ Société d'agriculture, sciences et arts de la Sarthe (1895). Bulletin de la Société d'agriculture, sciences et arts de la Sarthe. Société d'agriculture, sciences et arts de la Sarthe. pp. 16–.
  3. ↑ Institut catholique de Paris (1976). Le Livre Du Centenaire. Editions Beauchesne. p. 32.
  4. ↑ "Joubert". cosmovisions.com.
  5. ↑ Goldstein, Catherine (2012). "Les autres de l'un: deux enquêtes prosopographiques sur Charles Hermite". arXiv: 1209.5371 [math.HO]. (See footnote at bottom of page 18.)
  6. ↑ Catalogue général de la librairie française: 1876-1885, auteurs : I-Z. Nilsson, P. Lamm. 1887. p. 29.
  7. ↑ "Sur l'équation du sixième degré. Note du P. Joubert, présentée par M. Hermite". Comptes rendus hebdomadaires des séances de l'Académie des sciences. Série A. Paris. tome 64: 1025–1029. 1835. (P. Joubert means le Père Joubert.)
  8. ↑ Coray, Daniel F. (1987). "Cubic hypersurfaces and a result of Hermite". Duke Mathematical Journal. 54 (2): 657–670. doi:10.1215/S0012-7094-87-05428-7. ISSN   0012-7094.
  9. ↑ Kraft, H. (2006). "A result of Hermite and equations of degree 5 and 6". J. Algebra. 297 (1): 234–253. arXiv: math/0403323 . doi:10.1016/j.jalgebra.2005.04.015. MR   2206857. S2CID   8037344.
Rubik's cube v3.svg

This algebra-related article is a stub. You can help Wikipedia by expanding it.

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.