CompletedGroupAlgebra.Basic
This module develops completed group algebras through finite quotient stages, transition maps, coefficient change, augmentation, comparison maps, and inverse-limit topology.
AllFinite
The carrier of the completed group algebra is the inverse limit \(\widehat{R[G]}=\varprojlim_U R[G/U]\) over the open-normal finite quotients of \(G\).
ClassComparison
The projection from the all-finite completed group algebra to a stage indexed by a finite quotient class \(C\).
InClass
Completed Group Algebra / Basic / Within a Class.