群环

在抽象代数中，群环是从一个群 $G$ 及交换环 $R$ 构造出的环，通常记为 $R[G]$ 或 $RG$。其定义为：

$R[G]:=\bigoplus _{g\in G}Re_{g}\qquad$ （换言之，这是由基底 $\{e_{g}:g\in G\}$ 张出的自由 $R$-模）

其上的 $R$-线性乘法运算由 $e_{g}\cdot e_{h}=e_{gh}$ 给出。$R[G]$ 对 $R$-模的加法与上述乘法形成一个 $R$-代数。乘法单位元素为 $1:=e_{e}$。

最常用的是 $R=\mathbb {Z}$ 或 $R=\mathbb {C}$ 的群环。对于后者，$\mathbb {C} [G]$ 成为 $G$ 的表示：$s\sum a_{g}e_{g}=\sum a_{g}e_{sg}$；若 $G$ 为有限群，则称此表示为正则表示。正则表示与有限群的表示理论有密切的联系。

对于无穷阶的群 $G$，迄今对群环的结构仍所知甚少。对于局部紧拓扑群，通常采用 $C_{c}(G)$ 或 $L^{1}(G)$ 对折积构成的代数，较有利于研究群的拓扑性质及其表示。

文献

• A. A. Bovdi, Group algebra, Hazewinkel, Michiel (编), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 
• C.W. Curtis, I. Reiner, Representation theory of finite groups and associative algebras, Interscience (1962)
• D.S. Passman, The algebraic structure of group rings, Wiley (1977)