Formal Derivative - Application To Finding Repeated Factors

Application To Finding Repeated Factors

As in calculus, the derivative detects multiple roots: if R is a field then R is a Euclidean domain, and in this situation we can define multiplicity of roots; namely, for every polynomial f(x) and every element r of R, there exists a nonnegative integer mr and a polynomial g(x) such that

where g(r) is not equal to 0. mr is the multiplicity of r as a root of f. It follows from the Leibniz rule that in this situation, mr is also the number of differentiations that must be performed on f(x) before r is not a root of the resulting polynomial. The utility of this observation is that although in general not every polynomial of degree n in R has n roots counting multiplicity (this is the maximum, by the above theorem), we may pass to field extensions in which this is true (namely, algebraic closures). Once we do, we may uncover a multiple root that was not a root at all simply over R. For example, if R is the field with three elements, the polynomial

has no roots in R; however, its formal derivative is zero since 3 = 0 in R and in any extension of R, so when we pass to the algebraic closure it has a multiple root that could not have been detected by factorization in R itself. Thus, formal differentiation allows an effective notion of multiplicity. This is important in Galois theory, where the distinction is made between separable field extensions (defined by polynomials with no multiple roots) and inseparable ones.

Read more about this topic:  Formal Derivative

Famous quotes containing the words application to, application, finding, repeated and/or factors:

    If you would be a favourite of your king, address yourself to his weaknesses. An application to his reason will seldom prove very successful.
    Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    It would be disingenuous, however, not to point out that some things are considered as morally certain, that is, as having sufficient certainty for application to ordinary life, even though they may be uncertain in relation to the absolute power of God.
    René Descartes (1596–1650)

    There is no rule more invariable than that we are paid for our suspicions by finding what we suspected.
    Henry David Thoreau (1817–1862)

    The poem of the mind in the act of finding
    What will suffice. It has not always had
    To find: the scene was set; it repeated what
    Was in the script.
    Then the theatre was changed
    To something else. Its past was a souvenir.
    Wallace Stevens (1879–1955)

    The goal of every culture is to decay through over-civilization; the factors of decadence,—luxury, scepticism, weariness and superstition,—are constant. The civilization of one epoch becomes the manure of the next.
    Cyril Connolly (1903–1974)