ProCGroups.CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.Augmentation
This aggregate exports algebraic augmentation and its ideal for group algebras together with the continuous augmentation obtained after completion.
imports
Abstract
This file defines augmentation of an abstract group algebra, its linear form and kernel ideal, and the resulting short exact sequences. It also proves that the differences \(g-1...
Completed
An algebraic augmentation compatible with the completion map extends uniquely to a continuous augmentation of the completed group algebra. This file constructs that map, its ker...