ProCGroups.CompletedGroupAlgebra.OpenFiniteQuotientTopology
This aggregate exports coefficient-and-group finite quotients, the associated kernel topology, the opaque two-parameter inverse limit, its dense canonical map, and the comparison with the all-finite completed group algebra.
imports
Imported by
CanonicalMaps
This module constructs the canonical dense maps from the abstract group algebra to the \(C\)-indexed and all-finite named completions, together with their bundled ring, algebra,...
FiniteQuotients
This file constructs the finite group-algebra stages obtained by quotienting both coefficients and the group. It develops their quotient maps, kernels, transition maps, basis fo...
OpenFiniteComparison
This module compares the named fixed-coefficient completion with the named two-parameter open-finite quotient completion and studies the induced topology, injectivity, density, ...
OpenFiniteLimit
This module lifts the compatible open-finite quotient maps from the abstract group algebra to the named two-parameter completion, and proves its projection, continuity, and dens...
OpenFiniteQuotients
Open coefficient ideals and open normal group subgroups index a cofiltered system of finite group algebras. This file defines its stages, transitions, projections, and the kerne...