CompletedGroupAlgebra.InClassFunctoriality

6 sections | 6 files | 50 declarations

This module develops completed group algebras through finite quotient stages, transition maps, coefficient change, augmentation, comparison maps, and inverse-limit topology.

ComapIndex

1 files | 7 declarations | 5 Theorem | 2 Definition

Completed Group Algebra / Functoriality Within a Class / Comap Index.

Comparison

1 files | 8 declarations | 8 Theorem

Completed Group Algebra / Functoriality Within a Class / Comparison.

GroupLike

1 files | 7 declarations | 6 Theorem | 1 Definition

Completed Group Algebra / Functoriality Within a Class / Group-Like.

Maps

1 files | 14 declarations | 12 Theorem | 2 Definition

Completed Group Algebra / Functoriality Within a Class / Maps.

StageMaps

1 files | 9 declarations | 8 Theorem | 1 Definition

Completed Group Algebra / Functoriality Within a Class / Stage Maps.

UnitRepresentation

1 files | 5 declarations | 5 Theorem

Completed Group Algebra / Functoriality Within a Class / Unit Representation.