FoxDifferential.Completed.ProCIntegerCoefficients.FreeGroup

3 sections | 3 files | 52 declarations

This module gives the free-group formulas for pro-\(C\) integer coefficients, used to compare completed Fox derivatives with ordinary finite-stage derivatives.

Coordinates

1 files | 12 declarations | 8 Theorem | 4 Definition

The completed Fox boundary/Euler map \(v \mapsto \sum_i v_i * ([\psi(x_i)]-1)\).

Derivative

1 files | 34 declarations | 26 Theorem | 7 Definition | 1 Abbreviation

Completed Fox-coordinate vectors with coefficients in \(\mathbb{Z}_C\llbracket H\rrbracket\).

Fundamental

1 files | 6 declarations | 6 Theorem

The boundary-map form of the completed Fox fundamental formula.