Joubert's theorem

In polynomial algebra and field theory, Joubert's theorem states that if [math]\displaystyle{ K }[/math] and [math]\displaystyle{ L }[/math] are fields, [math]\displaystyle{ L }[/math] is a separable field extension of [math]\displaystyle{ K }[/math] of degree 6, and the characteristic of [math]\displaystyle{ K }[/math] is not equal to 2, then [math]\displaystyle{ L }[/math] is generated over [math]\displaystyle{ K }[/math] by some element λ in [math]\displaystyle{ L }[/math], such that the minimal polynomial [math]\displaystyle{ p }[/math] of λ has the form [math]\displaystyle{ p(t) }[/math] = [math]\displaystyle{ t^6 + c_4 t^4 + c_2 t^2 + c_1 t + c_0 }[/math], for some constants [math]\displaystyle{ c_4, c_2, c_1, c_0 }[/math] in [math]\displaystyle{ K }[/math]. The theorem is named in honor of Charles Joubert, a French mathematician, lycée professor, and Jesuit priest. 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. He seems to have made the assumption that the fields involved in the theorem are subfields of the complex field.

Using arithmetic properties of hypersurfaces, Daniel F. Coray gave, in 1987, a proof of Joubert's theorem (with the assumption that the characteristic of [math]\displaystyle{ K }[/math] is neither 2 nor 3). In 2006 Hanspeter Kraft (de) gave a proof of Joubert's theorem "based on an enhanced version of Joubert’s argument". In 2014 Zinovy Reichstein proved that the condition characteristic([math]\displaystyle{ K }[/math]) ≠ 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 [math]\displaystyle{ K }[/math] and [math]\displaystyle{ L }[/math].