 |
The introduction to this article provides insufficient context for those unfamiliar with the subject. Please help improve the article with a good introductory style. |
A conjugate root is a root of a polynomial function that has a conjugate which is also a root of the polynomial function. If P is a polynomial and a + bi is a root of p, then a - bi is also a root of P. For example, the cube roots of the number one are:
- <math>\sqrt[3]{1} = \begin{cases} \ \ 1 \\ -\frac{1}{2}+\frac{\sqrt{3}}{2}i \\ -\frac{1}{2}-\frac{\sqrt{3}}{2}i \end{cases} </math>
The latter two roots are conjugate pairs. In mathematics, in particular field theory, the conjugate elements of an algebraic element α, over a field K, are the (other) roots of the minimal polynomial
- PK,α(t)
of α over K. If K is given inside an algebraically closed field C, then the conjugates can be taken inside C. Usually one includes α itself in the set of conjugates. If no such C is specified, one can take the conjugates in some relatively small field L. The smallest possible choice for L is to take a splitting field over K of PK,α, containing α. If L is any normal extension of K containing α, then by definition it already contains such a splitting field. Assuming only that P is a separable polynomial, this means that we can take L to be a Galois extension. Given then a Galois extension L of K, with Galois group G, and containing α, any element g(α) for g in G will be a conjugate of α, since the automorphism g sends roots of P to roots of P. Conversely any conjugate of α is of this form: in other words, G acts transitively on the conjugates. This follows because it is true for the Galois group of the splitting field, and G maps surjectively to that group by basic properties of the Galois correspondence. In summary, assuming separability, the conjugate elements of α are found, in any finite Galois extension L of K that contains K(α), as the set of elements g(α) for g in Gal(L/K). The number of repeats in that list of each element is the degree [L:K(α)] which is also [L:K]/d where d is the degree of P. A theorem of Kronecker states that if α is an algebraic integer such that α and all of its conjugates in the complex numbers have absolute value 1, then α is a root of unity. There are quantitative forms of this, stating more precisely bounds (depending on degree) on the largest absolute value of a conjugate that imply that an algebraic integer is a root of unity.
