Formal derivative


In mathematics, the formal derivative is an operation on elements of a polynomial ring or a ring of formal power series that mimics the form of the derivative from calculus. Though they appear similar, the algebraic advantage of a formal derivative is that it does not rely on the notion of a limit, which is in general impossible to define for a ring. Many of the properties of the derivative are true of the formal derivative, but some, especially those that make numerical statements, are not.
Formal differentiation is used in algebra to test for multiple roots of a polynomial.

Definition

Fix a ring and let be the ring of polynomials over.
Then the formal derivative is an operation on elements of, where if
then its formal derivative is
In the above definition, for any nonnegative integer and, is defined as usual in a ring: .
This definition also works even if does not have a multiplicative identity.

Alternative axiomatic definition

One may also define the formal derivative axiomatically as the map satisfying the following properties.
  1. for all
  2. The normalization axiom,
  3. The map commutes with the addition operation in the polynomial ring,
  4. The map satisfies Leibniz's law with respect to the polynomial ring's multiplication operation,
One may prove that this axiomatic definition yields a well-defined map respecting all of the usual ring axioms.
The formula above is a direct consequence of the aforementioned axioms:

Properties

It can be verified that:
  • Formal differentiation is linear: for any two polynomials f,''g in R'' and elements r,''s of R'' we have
  • The formal derivative satisfies the product rule:
These two properties make D a derivation on A.
Note that the formal derivative is not a ring homomorphism, because the product rule is different from saying that. However, it is a homomorphism of R-modules, by the above rules.

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; for every polynomial f in R and every element r of R, there exists a nonnegative integer mr and a polynomial g such that
where g≠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 before r is no longer 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, we may pass to field extensions in which this is true. 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 finite 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 and inseparable ones.

Correspondence to analytic derivative

When the ring R of scalars is commutative, there is an alternative and equivalent definition of the formal derivative, which resembles the one seen in differential calculus. The element of the ring divides for any nonnegative integer n, and therefore divides for any polynomial f in one indeterminate. If the quotient in is denoted by g, then
It is then not hard to verify that coincides with the formal derivative of f as it was defined above.
This formulation of the derivative works equally well for a formal power series, as long as the ring of coefficients is commutative.
Actually, if the division in this definition is carried out in the class of functions of Y continuous at X, it will recapture the classical definition of the derivative. If it is carried out in the class of functions continuous in both X and Y, we get uniform differentiability, and the function f will be continuously differentiable. Likewise, by choosing different classes of functions, we get different flavors of differentiability. In this way, differentiation becomes a part of algebra of functions.