Suvarna Garge (Editor)

Fox derivative

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In mathematics, the Fox derivative is an algebraic construction in the theory of free groups which bears many similarities to the conventional derivative of calculus. The Fox derivative and related concepts are often referred to as the Fox calculus, or (Fox's original term) the free differential calculus. The Fox derivative was developed in a series of five papers by mathematician Ralph Fox, published in Annals of Mathematics beginning in 1953.

Contents

Definition

If G is a free group with identity element e and generators gi, then the Fox derivative with respect to gi is a function from G into the integral group ring ZG which is denoted ∂ ∂ g i , and obeys the following axioms:

  • ∂ ∂ g i ( g j ) = δ i j , where δ i j is the Kronecker delta
  • ∂ ∂ g i ( e ) = 0
  • ∂ ∂ g i ( u v ) = ∂ ∂ g i ( u ) + u ∂ ∂ g i ( v ) for any elements u and v of G.

    • The first two axioms are identical to similar properties of the partial derivative of calculus, and the third is a modified version of the product rule. As a consequence of the axioms, we have the following formula for inverses

  • ∂ ∂ g i ( u − 1 ) = − u − 1 ∂ ∂ g i ( u ) for any element u of G.

    • Applications

    The Fox derivative has applications in group cohomology, knot theory and covering space theory, among other areas of mathematics.

    References

    Fox derivative Wikipedia
    (Text) CC BY-SA


    Similar Topics