Formal derivation
The formal derivation is a term from the mathematical branch of algebra . They transfer the derivation concept from analysis for functions to polynomials .
Since there is no number "between" two numbers over a ring , i.e. there is no concept of limit value , the difference quotient cannot be meaningfully defined and thus there is no derivation in the actual sense. In order to still be able to use the concept of derivation, it is formally defined for polynomials in such a way that the factor rule and the power rule are fulfilled.
definition
Let be a ring and denote the polynomial ring over in an indeterminate . For a polynomial
the formal derivation is defined as
- .
properties
- For the formal derivation, the well-known rules of differential calculus apply. In particular,
- such as
- for everyone and everyone . That is, the figure
- is a derivation of .
- If in linear factors, ie , where the zeros are, then applies to the derivative
- .
application
If a body is a Euclidean ring (especially factorial ), where the Euclidean norm is used when the coefficients of are denoted by. The zeros of the GCF of and are precisely the multiple zeros of with an order lower by 1, as the following calculation shows:
Let be a multiple zero of , then with a polynomial and a . It follows , so .
literature
- Gerd Fischer : Textbook of Algebra. Vieweg, Wiesbaden 2008, ISBN 978-3-8348-0226-2 , pp. 275 ff. ( Limited preview in the Google book search).
- Christian Karpfinger, Kurt Meyberg: Algebra. Groups - rings - bodies. Spektrum Akademischer Verlag, Heidelberg 2009, ISBN 978-3-8274-2018-3 , p. 253 ff