FoxDifferential.Completed.CoefficientRings

4 sections | 51 files | 437 declarations

This module develops Fox differentials and completed Fox coordinates for free, profinite, and pro-\(C\) group constructions.

AugmentationIdealPrimePower

Fox Differential / Completed / Coefficient Rings / Prime-Power Augmentation Ideal.

1 files | 22 declarations | 11 Theorem | 7 Definition | 4 Abbreviation

The index set for a completed group algebra over finite quotients belonging to a class \(C\).

Coefficient algebras, residue stages, and completed group-algebra maps are kept as the scalar layer for completed Fox calculus.

Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra.