Fox calculus
= Fox calculus
{c}
{wiki}
Fox calculus assigns noncommutative derivatives $\partial/\partial x_i$ to words in a free group. The product rule and the identity
$$
r-1=\sum_i\frac{\partial r}{\partial x_i}(x_i-1)
$$
turn relators into module maps and give the presentation relation sequence.