FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraModN.System

3 sections | 3 files | 37 declarations

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

AddCommGroup

1 files | 20 declarations | 10 Theorem | 10 Instance

Fox Differential / Completed / Coefficient Rings / Completed Group Algebra Mod N / System / Additive Commutative Group.

The mod-\(N\) completed group-algebra stage combines the finite group quotient with the coefficient quotient modulo \(N\).

1 files | 3 declarations | 2 Theorem | 1 Definition

The mod-\(n\) completed group-algebra stage maps are compatible with transition maps and coordinate projections.