FoxDifferential.Discrete.DifferentialModule

3 sections | 3 files | 49 declarations

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

Basic

1 files | 23 declarations | 13 Theorem | 7 Definition | 3 Abbreviation

The integral group ring \(\mathbb{Z}[H]\), realized as a monoid algebra.

1 files | 12 declarations | 9 Theorem | 3 Definition

The standard map \(G \to \mathbb{Z}[H]\), \(g \mapsto \psi(g)-1\) is viewed as a differential map.

1 files | 14 declarations | 9 Theorem | 4 Definition | 1 Abbreviation

A \(\psi\)-differential map is a map satisfying the Fox Leibniz rule.