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:

    The receipt to make a speaker, and an applauded one too, is short and easy.—Take of common sense quantum sufficit, add a little application to the rules and orders of the House, throw obvious thoughts in a new light, and make up the whole with a large quantity of purity, correctness, and elegancy of style.
    Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    We will not be imposed upon by this vast application of forces. We believe that most things will have to be accomplished still by the application called Industry. We are rather pleased, after all, to consider the small private, but both constant and accumulated, force which stands behind every spade in the field. This it is that makes the valleys shine, and the deserts really bloom.
    Henry David Thoreau (1817–1862)

    If everybody is looking for it, then nobody is finding it. If we were cultured, we would not be conscious of lacking culture. We would regard it as something natural and would not make so much fuss about it. And if we knew the real value of this word we would be cultured enough not to give it so much importance.
    Pablo Picasso (1881–1973)

    Manners are the happy way of doing things; each once a stroke of genius or of love—now repeated and hardened into usage. They form at last a rich varnish, with which the routine of life is washed, and its details adorned. If they are superficial, so are the dewdrops which give such depth to the morning meadows.
    Ralph Waldo Emerson (1803–1882)

    The economic dependence of woman and her apparently indestructible illusion that marriage will release her from loneliness and work and worry are potent factors in immunizing her from common sense in dealing with men at work.
    Mary Barnett Gilson (1877–?)