群环维基百科,自由的 encyclopedia 在抽象代数中,群环是从一个群 G {\displaystyle G} 及交换环 R {\displaystyle R} 构造出的环,通常记为 R [ G ] {\displaystyle R[G]} 或 R G {\displaystyle RG} 。其定义为: R [ G ] := ⨁ g ∈ G R e g {\displaystyle R[G]:=\bigoplus _{g\in G}Re_{g}\qquad } (换言之,这是由基底 { e g : g ∈ G } {\displaystyle \{e_{g}:g\in G\}} 张出的自由 R {\displaystyle R} -模) 其上的 R {\displaystyle R} -线性乘法运算由 e g ⋅ e h = e g h {\displaystyle e_{g}\cdot e_{h}=e_{gh}} 给出。 R [ G ] {\displaystyle R[G]} 对 R {\displaystyle R} -模的加法与上述乘法形成一个 R {\displaystyle R} -代数。乘法单位元素为 1 := e e {\displaystyle 1:=e_{e}} 。 最常用的是 R = Z {\displaystyle R=\mathbb {Z} } 或 R = C {\displaystyle R=\mathbb {C} } 的群环。对于后者, C [ G ] {\displaystyle \mathbb {C} [G]} 成为 G {\displaystyle G} 的表示: s ∑ a g e g = ∑ a g e s g {\displaystyle s\sum a_{g}e_{g}=\sum a_{g}e_{sg}} ;若 G {\displaystyle G} 为有限群,则称此表示为正则表示。正则表示与有限群的表示理论有密切的联系。 对于无穷阶的群 G {\displaystyle G} ,迄今对群环的结构仍所知甚少。对于局部紧拓扑群,通常采用 C c ( G ) {\displaystyle C_{c}(G)} 或 L 1 ( G ) {\displaystyle L^{1}(G)} 对折积构成的代数,较有利于研究群的拓扑性质及其表示。
在抽象代数中,群环是从一个群 G {\displaystyle G} 及交换环 R {\displaystyle R} 构造出的环,通常记为 R [ G ] {\displaystyle R[G]} 或 R G {\displaystyle RG} 。其定义为: R [ G ] := ⨁ g ∈ G R e g {\displaystyle R[G]:=\bigoplus _{g\in G}Re_{g}\qquad } (换言之,这是由基底 { e g : g ∈ G } {\displaystyle \{e_{g}:g\in G\}} 张出的自由 R {\displaystyle R} -模) 其上的 R {\displaystyle R} -线性乘法运算由 e g ⋅ e h = e g h {\displaystyle e_{g}\cdot e_{h}=e_{gh}} 给出。 R [ G ] {\displaystyle R[G]} 对 R {\displaystyle R} -模的加法与上述乘法形成一个 R {\displaystyle R} -代数。乘法单位元素为 1 := e e {\displaystyle 1:=e_{e}} 。 最常用的是 R = Z {\displaystyle R=\mathbb {Z} } 或 R = C {\displaystyle R=\mathbb {C} } 的群环。对于后者, C [ G ] {\displaystyle \mathbb {C} [G]} 成为 G {\displaystyle G} 的表示: s ∑ a g e g = ∑ a g e s g {\displaystyle s\sum a_{g}e_{g}=\sum a_{g}e_{sg}} ;若 G {\displaystyle G} 为有限群,则称此表示为正则表示。正则表示与有限群的表示理论有密切的联系。 对于无穷阶的群 G {\displaystyle G} ,迄今对群环的结构仍所知甚少。对于局部紧拓扑群,通常采用 C c ( G ) {\displaystyle C_{c}(G)} 或 L 1 ( G ) {\displaystyle L^{1}(G)} 对折积构成的代数,较有利于研究群的拓扑性质及其表示。