FoxDifferential.Completed.FiniteStage.PrimePower.Completion

2 sections | 5 files | 28 declarations

Finite quotient stages are used to compare completed Fox boundaries, derivatives, and relation modules with explicit finite group-algebra calculations.

Source

4 files | 24 declarations | 19 Theorem | 5 Definition

Finite quotient stages are used to compare completed Fox boundaries, derivatives, and relation modules with explicit finite group-algebra calculations.

Target

1 files | 4 declarations | 3 Theorem | 1 Definition

The canonical additive map from the prime-power target inverse limit to the completed group algebra of the finite-stage target quotient.