FoxDifferential.Completed.DifferentialModule.Map

5 sections | 5 files | 20 declarations

The completed differential module is organized separately from coefficient algebras; its universal and quotient maps are used by completed crossed differentials.

Comap

1 files | 7 declarations | 5 Theorem | 2 Definition

The index map that sends a target finite quotient to its pullback finite quotient on the source.

GroupLike

1 files | 1 declarations | 1 Theorem

Coefficient change is performed stagewise: each coefficient is transported by the given ring homomorphism while the finite quotient support is left unchanged.

Limit

1 files | 3 declarations | 2 Theorem | 1 Definition

Coefficient change is performed stagewise: each coefficient is transported by the given ring homomorphism while the finite quotient support is left unchanged.

Stage

1 files | 6 declarations | 5 Theorem | 1 Definition

Coefficient change is performed stagewise: each coefficient is transported by the given ring homomorphism while the finite quotient support is left unchanged.

Surjective

1 files | 3 declarations | 2 Theorem | 1 Definition

If \(\psi : G \to H\) is surjective, then the induced map of prime-power completed group algebras is surjective.