群代数 ,其中
是一个域,
是一个群,运算为
,是
的有限多个元素的线性组合的集合,其系数在
中,因此是形式为如下的所有元素
(1)
|
其中 且
对于所有
。此元素通常可以表示为
(2)
|
其中假定对于 的所有元素但有限多个元素,
。
是
上的一个代数,关于由规则定义的加法
(3)
|
由标量给出的乘积
(4)
|
以及乘法
(5)
|
从这个定义可以得出, 的单位元是
的单位元,并且
是可交换的 当且仅当
是一个 阿贝尔群。
如果 ,且
是整数的通常加法,则群环
同构于由所有和形成的环
(6)
|
其中 是整数,且对于所有索引
,
。
设 是一个局部紧群,
是
上的左不变哈尔测度。则 巴拿赫空间
在由卷积给出的乘积
对于
是一个可交换的 巴拿赫代数,称为
的群代数。