All.lean
Nyll.ProCGroups.CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.All
0 declarations indexed from sourceView source ↗
Module documentation
Finite group algebras as profinite modules
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 representations on modules.
Imports4
- Nyll.ProCGroups.CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.Augmentation.All
- Nyll.ProCGroups.CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.Functoriality
- Nyll.ProCGroups.CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.Topology
- Nyll.ProCGroups.CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.UnitRepresentation
This module has no indexed declarations. Its imports and full source are available here.