FoxDifferential.Completed.Residue

2 sections | 7 files | 48 declarations

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

Core

1 files | 17 declarations | 9 Theorem | 6 Definition | 2 Abbreviation

The residue group ring \((\mathbb{Z}/n\mathbb{Z})[H]\).

6 files | 31 declarations | 22 Theorem | 8 Definition | 1 Abbreviation

Residue Fox-coordinate vectors with coefficients in \((\mathbb{Z}/n\mathbb{Z})[H]\).