FoxDifferential.Completed.FiniteStage.PrimePower.System

3 sections | 8 files | 82 declarations

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

Basic

1 files | 18 declarations | 9 Theorem | 6 Definition | 3 Abbreviation

Source group algebra at the \(\ell^a\) finite Fox stage.

Limit

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

Semidirect

1 files | 12 declarations | 7 Theorem | 2 Definition | 3 Instance

Every prime-power modulus \(\ell^a\) used in the finite Fox stage is positive.