ProCGroups.CompletedGroupAlgebra.ProfiniteModules
This aggregate exports bundled profinite rings and modules, their finite quotient and generating set theory, and the topology, augmentation, functoriality, and unit actions of finite group algebras.
imports
Imported by
Basic
This aggregate exports the bundled definitions of profinite rings and modules, their open submodules and ideals, finite quotient separation, and generating sets converging to zero.
FiniteGroupAlgebra
This aggregate exports the profinite topology and universal lifting maps for finite group algebras, their augmentation theory, functoriality in the group, and group-like unit re...