* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download PDF
Survey
Document related concepts
Line (geometry) wikipedia , lookup
Georg Cantor's first set theory article wikipedia , lookup
List of important publications in mathematics wikipedia , lookup
Proofs of Fermat's little theorem wikipedia , lookup
Elementary mathematics wikipedia , lookup
Horner's method wikipedia , lookup
Recurrence relation wikipedia , lookup
Vincent's theorem wikipedia , lookup
Factorization of polynomials over finite fields wikipedia , lookup
Transcript
characteristic polynomial of algebraic number∗ pahio† 2013-03-22 3:20:39 Let ϑ be an algebraic number of degree n, f (x) its minimal polynomial and ϑ1 = ϑ, ϑ2 , . . . , ϑn its algebraic conjugates. Let α be an element of the number field Q(ϑ) and r(x) := c0 + c1 x + . . . + cn−1 xn−1 the canonical polynomial of α with respect to ϑ. We consider the numbers r(ϑ1 ) = α := α(1) , r(ϑ2 ) := α(2) , ..., r(ϑn ) := α(n) (1) and form the equation g(x) := n Y [x−r(ϑi )] = (x−α(1) )(x−α(2) ) · · · (x−α(n) ) = xn+g1 xn−1+. . .+gn = 0, i=1 the roots of which are the numbers (1) and only these. The coefficients gi of the polynomial g(x) are symmetric polynomials in the numbers ϑ1 , ϑ2 , . . . , ϑn and also symmetric polynomials in the numbers α(i) . The fundamental theorem of symmetric polynomials implies now that the symmetric polynomials gi in the roots ϑi of the equation f (x) = 0 belong to the ring determined by the coefficients of the equation and of the canonical polynomial r(x); thus the numbers gi are rational (whence the degree of α is at most equal to n). It is not hard to show (see the entry degree of algebraic number) of that the degree k of α divides n and that the numbers (1) consist of α and its algebraic conjugates α2 , . . . , αk , each of which appears in (1) exactly nk = m times. In fact, g(x) = [a(x)]m where a(x) is the minimal polynomial of α (consequently, ∗ hCharacteristicPolynomialOfAlgebraicNumberi created: h2013-03-2i by: hpahioi version: h42046i Privacy setting: h1i hDefinitioni h15A18i h12F05i h11R04i † This text is available under the Creative Commons Attribution/Share-Alike License 3.0. You can reuse this document or portions thereof only if you do so under terms that are compatible with the CC-BY-SA license. 1 the coefficients gi are integers if α is an algebraic integer). The polynomial g(x) is the characteristic polynomial (in German Hauptpolynom) of the element α of the algebraic number field Q(ϑ) and the equation g(x) = 0 the characteristic equation (Hauptgleichung) of α. See the independence of characteristic polynomial on primitive element. So, the roots of the characteristic equation of α are α(1) , α(2) , . . . , α(n) . They are called the Q(ϑ)-conjugates of α; they all are algebraic conjugates of α. 2