Fox calculus assigns noncommutative derivatives to words in a free group. The product rule and the identityturn relators into module maps and give the presentation relation sequence.
New to topics? Read the docs here!
New to topics? Read the docs here!