CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.Augmentation

2 sections | 2 files | 47 declarations

Wrapper for the CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.Augmentation folder.

Abstract

1 files | 33 declarations | 25 Theorem | 8 Definition

The augmentation map \(R[G] \to R\), sending every group-like basis element to \(1\).

1 files | 14 declarations | 10 Theorem | 4 Definition

The coefficient map \(R \to R[G]\) attached to a dense map from the abstract group algebra.