Formal Derivative Article Index for
Formal 		Website Links For
Formal 		 

Information About

Formal Derivative
  CATEGORIES ABOUT FORMAL DERIVATIVE
   
abstract algebra
   
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...



The definition of a formal derivative is as follows: fix a ring ''R'' (not necessarily commutative) and let ''A'' = ''R'' {Link without Title} be the ring of polynomials over ''R''. Then the formal derivative is an operation on elements of ''A'', where if

:f(x)\,=\,a_n x^n + \dots + a_1 x + a_0

then its formal derivative is

:f'(x)\,=\,Df(x) = n a_n x^{n - 1} + \dots + 2 a_2 x + a_1

just as for polynomials over the Real or Complex numbers. It can be verified that:

  • Formal differentiation is linear: for any two polynomials ''f''(''x''), ''g''(''x'') and elements ''r'', ''s'' of ''R'', we have


:(r \cdot f + s \cdot g)'(x) = r \cdot f'(x) + s \cdot g'(x)

When ''R'' is not commutative there is another, different linearity property in which ''r'' and ''s'' appear on the right rather than on the left. When ''R'' does not contain an identity element then neither of these reduces to the case of simply a sum of polynomials or the sum of a polynomial with a multiple of another polynomial, which must also be included as a "linearity" property.

  • The formal derivative satisfies the Leibniz Rule , or product rule:


:(f \cdot g)'(x) = f'(x) \cdot g(x) + f(x) \cdot g'(x).

Note the order of the factors; when ''R'' is not commutative this is important.

These two properties make ''D'' a Derivation on ''A'' (see also Module Of Relative Differential Forms for a discussion of a generalization).

As in calculus, the derivative detects multiple roots: if ''R'' is a field then ''R'' {Link without Title} 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

:f(x) = (x - r)^{m_r} g(x)

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'' {Link without Title} has ''n'' roots counting multiplicity (this is the maximum, by the above theorem), we may pass to Field Extension s in which this is true (namely, Algebraic Closure s). 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

:f(x)\,=\,x^6 + 1

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 Extension s (defined by polynomials with no multiple roots) and inseparable ones.


SEE ALSO