Misplaced Pages

Fox derivative

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Free differential calculus) Concept in mathematics
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (May 2024) (Learn how and when to remove this message)

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.

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 Z G {\displaystyle \mathbb {Z} G} which is denoted g i {\displaystyle {\frac {\partial }{\partial g_{i}}}} , and obeys the following axioms:

  • g i ( g j ) = δ i j {\displaystyle {\frac {\partial }{\partial g_{i}}}(g_{j})=\delta _{ij}} , where δ i j {\displaystyle \delta _{ij}} is the Kronecker delta
  • g i ( e ) = 0 {\displaystyle {\frac {\partial }{\partial g_{i}}}(e)=0}
  • g i ( u v ) = g i ( u ) + u g i ( v ) {\displaystyle {\frac {\partial }{\partial g_{i}}}(uv)={\frac {\partial }{\partial g_{i}}}(u)+u{\frac {\partial }{\partial 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 ) {\displaystyle {\frac {\partial }{\partial g_{i}}}(u^{-1})=-u^{-1}{\frac {\partial }{\partial 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.

See also

References


Stub icon

This algebra-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: