Hecke algebra of a finite group

The Hecke algebra of a finite group is the algebra spanned by the double cosets HgH of a subgroup H of a finite group G. It is a special case of a Hecke algebra of a locally compact group.

For other mathematical rings called Hecke algebras, see Hecke algebra (disambiguation).

Definition

Let F be a field of characteristic zero, G a finite group and H a subgroup of G. Let ${\displaystyle F[G]}$ denote the group algebra of G: the space of F-valued functions on G with the multiplication given by convolution. We write ${\displaystyle F[G/H]}$ for the space of F-valued functions on ${\displaystyle G/H}$. An (F-valued) function on G/H determines and is determined by a function on G that is invariant under the right action of H. That is, there is the natural identification:

${\displaystyle F[G/H]=F[G]^{H}.}$

Similarly, there is the identification

${\displaystyle R:=\operatorname {End} _{G}(F[G/H])=F[G]^{H\times H}}$

given by sending a G-linear map f to the value of f evaluated at the characteristic function of H. For each double coset ${\displaystyle HgH}$, let ${\displaystyle T_{g}}$ denote the characteristic function of it. Then those ${\displaystyle T_{g}}$'s form a basis of R.

See also

• Gelfand pair

References

• Claudio Procesi (2007) Lie Groups: an approach through invariants and representations, Springer, ISBN 9780387260402.