This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. (January 2019) (Learn how and when to remove this template message)
In mathematics, a Tschirnhaus transformation, also known as Tschirnhausen transformation, is a type of mapping on polynomials developed by Ehrenfried Walther von Tschirnhaus in 1683. It may be defined conveniently by means of field theory, as the transformation on minimal polynomials implied by a different choice of primitive element. This is the most general transformation of an irreducible polynomial that takes a root to some rational function applied to that root.
- K[t]/(P(t)) = L,
is a field extension of K. We have
- L = K(α)
where α is t modulo (P). That is, any element of L is a polynomial in α, which is thus a primitive element of L. There will be other choices β of primitive element in L: for any such choice of β we will have by definition:
- β = F(α), α = G(β),
with polynomials F and G over K. Now if Q is the minimal polynomial for β over K, we can call Q a Tschirnhaus transformation of P.
Therefore the set of all Tschirnhaus transformations of an irreducible polynomial is to be described as running over all ways of changing P, but leaving L the same. This concept is used in reducing quintics to Bring–Jerrard form, for example. There is a connection with Galois theory, when L is a Galois extension of K. The Galois group may then be considered as all the Tschirnhaus transformations of P to itself.
- Weisstein, Eric W. "Tschirnhausen Transformation". MathWorld.
- Tschirnhaus's 1683 paper "A method for removing all intermediate terms from a given equation", translation by RF Green.