CompletedGroupAlgebra.OpenFiniteQuotientTopology
This module develops completed group algebras through finite quotient stages, transition maps, coefficient change, augmentation, comparison maps, and inverse-limit topology.
CanonicalMaps
The quotient map from the abstract group algebra \(R[G]\) to one \(C\)-indexed finite stage.
FiniteQuotients
An open coefficient ideal gives a continuous quotient map when the quotient is equipped with the discrete topology. This is the coefficient-side continuity used in Ribes--Zaless...
OpenFiniteComparison
The canonical map from the fixed-coefficient completed group algebra \(\widehat{R[G]}\) to the two-parameter limit \(\varprojlim_{I,U} (R/I)[G/U]\).
OpenFiniteLimit
The zero element is defined coordinatewise as the compatible family of zero elements at all finite stages.
OpenFiniteQuotients
The open coefficient ideals used in the kernel-neighborhood topology of Ribes--Zalesskii Section \(5.3\).