群環

代数学において、与えられた群および環に対する群環（ぐんかん、英: group ring）は、与えられた群と環の構造を自然に用いて構成される。群環はそれ自身が、与えられた環を係数環とし与えられた群を生成系とする自由加群であって、なおかつ与えられた群の演算を生成元の間の演算として「線型に」延長したものを積とする環を成す。俗に言えば、群環は与えられた群の与えられた環の元を「重み」とする形式和の全体である。与えられた環が可換であるとき、群環は与えられた環上の多元環（代数）の構造を持ち、群多元環（ぐんたげんかん、英: group algebra; 群代数）（あるいは短く群環^{[注 1]}）と呼ばれる。

群環は、特に有限群の表現論において重要な役割を果たす代数的構造である。無限群の群環はしばしば位相を加味した議論を必要とするため位相群の群環の項へ譲り、本項は主に有限群の群環を扱う。また、より一般の議論は群ホップ代数を見よ。

定義

「モノイド環#定義」も参照

R を環、G を群とする。

G を生成系とする R-係数の形式的な（「有限」）線型結合の全体（G 上の R-自由加群、特に R が体のときは自由ベクトル空間）を R[G] と書く（RG とも書かれる^[1]）。即ち、任意の元 x ∈ R[G] は
$x=\sum _{g\in G}a_{g}\,g\quad (a_{g}\in R)$

の形に書ける。ただし、右辺の和において有限個の例外を除く全ての g に対して a_g = 0 でなければならない。G の元と R[G] の元との区別を明確にする場合には、各元 g ∈ G に対応する生成元を e_g などと書いて

$x=\sum _{g\in G}a_{g}\,e_{g}$

のようにも書く^[2]^{[注 2]}。この集合 R[G] 上に項ごとの和

$(\sum _{g\in G}a_{g}\,g)+(\sum _{g\in G}b_{g}\,g):=\sum _{g\in G}(a_{g}+b_{g})\cdot g$

を加法とし、G の積を線型に拡張した

$(\sum _{g\in G}a_{g}\,g)(\sum _{g\in G}b_{g}\,g):=\sum _{g,h\in G}(a_{g}b_{h})\cdot gh=\sum _{g\in G}(\sum _{h\in G}a_{h}b_{h^{-1}g})\cdot g$

を乗法とする環を成し、さらにスカラー倍

$r\cdot (\sum _{g\in G}a_{g}\,g):=\sum _{g\in G}(ra_{g})\cdot g$
により R 上の多元環（線型環）を成す。この多元環 R[G] を G 上の R-係数の群環、G で生成される R 上の群環などと呼ぶ。
（離散位相に関して）群 G 上の R-値コンパクト台付き連続函数全体の成す空間 C_c(G; R) の元 f は、群 G から可換環 R への写像 f: G → R であって、有限な台を持つ（つまり有限個の例外を除き f(g) = 0 (g ∈ G) となる）ようなものである。点ごとの和
$(f+h)(g):=f(g)+h(g)\quad (g\in G)$
と畳み込み
$(f\ast h)(g):=\sum _{\gamma \in G}f(\gamma )h(\gamma ^{-1}g)$
およびスカラー倍
$(rf)(g):=r(f(g))\quad (r\in R)$
のもと C_c(G; R) は R 上の多元環となる。

G の各元 g に対して、一点集合 {g} の R-値指示函数（ディラックのデルタ函数）

\delta _{g}(h):={\begin{cases}1=1_{R}&(h=g)\\0=0_{R}&(h\neq g)\end{cases}}

を考えるとき、C_c(G; R) は R 上の標準基底として {δ_g  |  g ∈ G} を持ち、

R[G]\to C_{c}(G;R);\;\sum _{g\in G}a_{g}\,g\mapsto \sum _{g\in G}a_{g}\delta _{g}

は多元環の同型である。しばしばここでいう C_c(G; R) を（1. の場合と同じく） R[G] などとも書き、G の R 上の群環と呼ぶ^[2]。

G が有限群ならば、この C_c(G; R) は G から R への写像全体の成す空間 R^G (= R(G) = Hom(G, R)) に他ならない。これは無限群の場合には一般には成り立たないが、それでも以下に示すような意味で群環 R[G] と写像空間 R^G は互いに双対の関係にある：

群環の元

x=\sum _{g\in G}a_{g}\,g

と R-値写像 f: G → R の対に対して、内積

(x,f)=\sum _{g\in G}a_{g}f(g)\quad \in R

が矛盾なく定まる（右辺が実質有限和であることに注意せよ）。

例

位数 3 の巡回群 G = ⟨ g | g³ = 1 ⟩ を取り、ω = exp(2πi/3) とおく。このとき

{\begin{aligned}e_{1}&={\tfrac {1}{3}}(1+g+g^{2})\\e_{2}&={\tfrac {1}{3}}(1+\omega g+\omega ^{2}g^{2})\\e_{3}&={\tfrac {1}{3}}(1+\omega ^{2}g+\omega g)\end{aligned}}

と群環 CG の元を定めると、これらは中心的直交原始冪等元分解 1 = e₁ + e₂ + e₃ を与え、次の直既約分解と同型が得られる。

\mathbb {C} G=e_{1}\mathbb {C} G\oplus e_{2}\mathbb {C} G\oplus e_{3}\mathbb {C} G\cong {\begin{pmatrix}\mathbb {C} &0&0\\0&\mathbb {C} &0\\0&0&\mathbb {C} \end{pmatrix}}

群環上の加群

詳細は「群上の加群」を参照

環 K 上の群環 K[G] を環と見るとき、環 K[G] 上の加群は、群 G 上の加群と呼ばれる。群 G の表現は G-加群の言葉で読みかえることができる。特に

単純 G-加群は G-既約表現のことである。
G の表現空間が K-加群 V₁, V₂ であるとき、表現の間の準同型は、G-加群 V₁, V₂ の間の K-線型準同型のことであり、その全体は HomG
K(V₁, V₂) などで表される。

古典的な結果として、もともとは係数環 K が複素数体 C で、群 G が有限群の場合に得られたものだが、そのような条件のもとで群環 K[G] が半単純環となることを示すことができて、それは有限群の表現において深い意味を持つ事実である。より一般に、マシュケの定理と呼ばれる以下の定理が成り立つ：

定理 (Maschke): 有限群 G の位数が体 F の標数と互いに素なとき、あるいは標数 0 のとき、群環 FG は半単純である。

特に、群環 C[G] が半単純であることは、それが C に成分をとる行列環の直和として理解することができることを意味する。

G が有限アーベル群ならば、群環は可換環であり、その構造は 1 の冪根を用いて容易に記述することができる。係数環 R が標数 p の体で、その素数 p が有限群 G の位数を割るならば、群環は半単純でなく非自明なジャコブソン根基を持つ。このことは、そのような条件下でのモジュラー表現論における対応する主題において重要な意味を示す。

性質

基本性質

環 R が乗法単位元 1 = 1_R を持つとき（群 G の単位元は 1 = 1_G と書くことにする）、群環 R[G] は R に環同型な部分環を持ち、またその単元群は G に群同型な部分群を含む。実際、

R\to R[G];r\mapsto r\cdot 1_{G}\quad ({\text{or }}r\mapsto r\delta _{1_{G}})

は単射環準同型であり、同様に

G\to (R[G])^{\times };\;g\mapsto 1_{R}\cdot g\quad ({\text{or }}g\mapsto \delta _{g})

は乗法群に関する単射群準同型になる。特に、1_R⋅1_G は R[G] の乗法単位元である。

R が可換環であり、かつ G がアーベル群であるとき、群環 R[G] は可換多元環である。
H が G の部分群ならば、群環 R[H] は R[G] の部分環である。同様に、S が R の部分環であるとき、群環 S[G] は R[G] の部分環である。

群環の中心

「類函数」も参照

環 K[G] の積の定義の仕方から、その環としての中心は G 上で定義されたK-値類函数（つまり、G の各共軛類上で定数となる函数）の全体に一致する。これは配置集合 K^G の部分線型空間で、各共軛類 c ∊ C の指示函数の族 (1_c)_c∊C を標準基底に持つ（これらの指示函数は K^G の標準基底によって1_c = ∑_s∊cδ_s と分解できる）。

また、K^G 上の非退化な対称双線型形式（内積）を

(f\mid h)={\frac {1}{g}}\sum _{s\in G}f(s)h(s^{-1})

で定義することができる。

既約指標の全体はこの類函数の空間の正規直交基底を成す

これにより、（この部分空間の次元を考えて）

既約表現の（同型類の）総数は、群の共軛類の数 h に等しい

ゆえに、群 G の K 上の既約表現 (S₁, ρ₁), … (S_h, ρ_h) が（同型を除いて）存在して、それらの指標 χ₁, …, χ_h が群環 K[G] の中心の基底を成す。

アルティン–ウェダーバーンの定理

前節の記号を引き続き用いて以下の基本的な定理が直接的に示せる。

群環 K[G] は群 G の h-個の既約表現 S_i の K-自己準同型環 End_K(S_i) の直和に同型である:
$K[G]\simeq \bigoplus _{i=1}^{h}\operatorname {End} _{K}(S_{i}).$
さらに K が代数閉体と仮定すれば、有限次元半単純環に関するアルティン・ウェダーバーンの定理から同じ結果が得られる。
群環 K[G] は K^G の部分空間であるから、各S_i の次元を d_i とすれば、群環自身の次元は
$g=\sum _{i=1}^{h}d_{i}^{2}$
で与えられる（K が正標数の場合はfr:Représentation régulière#Identités remarquablesを見よ）。
K[G] の元 f が中心に属するための必要十分条件は、その成分が S_i 上の相似拡大 (homothety) となることである。さらに類函数に関する結果を用いれば、その S_i における相似比 λ_i が
$\lambda _{i}={\frac {1}{d_{i}}}\sum _{s\in G}f(s)\chi _{i}(s)$
で与えられる。

正則表現

詳細は「正則表現 (数学)」を参照

群 G の正則表現 λ は、既に述べた対応により自然に群環 K[G] 上の左 K[G]-加群の構造に対応する。前節で述べた群環の分解に従えば:

G の正則表現は G の既約表現 ρ_i をその次数 d_i と同じ数だけ重複したものの直和
$(K^{G},\lambda )\simeq \bigoplus _{i=1}^{h}d_{i}(S_{i},\rho _{i})$
に分解される。即ち、この λ に付随する半単純加群の等型成分（英語版）は
$d_{i}(S_{i},\rho _{i})=\underbrace {(S_{i},\rho _{i})\oplus \dotsb \oplus (S_{i},\rho _{i})} _{d_{i}{\text{ summand }}}\quad (d_{i}=\dim(S_{i}))$
で与えられる。

指標の直交関係

表現の指標と群環は、直交性を考えるとき、互いに相補的な関係にある。G の表現 (V₁, ρ¹), (V₂, ρ²) に対して、χ¹, χ² をそれぞれ表現 ρ¹, ρ² の指標とするとき、表現 (V₁, ρ¹), (V₂, ρ²) を G-加群と見て

(\chi _{1}\mid \chi _{2})=\dim _{K}(\hom _{K}^{G}(V_{1},V_{2}))

が成り立つ。右辺の次元は K 上で考える。

すると、シューアの補題により、既約指標 π₁, π₂ の間の直交関係

(\pi _{1}\mid \pi _{2})={\begin{cases}1&\pi _{1}\simeq \pi _{2}\\0&\pi _{1}\not \simeq \pi _{2}\end{cases}}

が得られる。

応用

フロベニウス相互律

詳細は「フロベニウス相互律（フランス語版）」を参照

群環の構造を用いるよい例としてフロベニウス相互律を挙げられる。これは G-加群の誘導表現（英語版）を構成する方法とも理解される。有限群 G の部分群 H と K[H]-加群 W に対して、W から誘導される G-加群とは

V\simeq K[G]\otimes _{K[H]}W

のことを言う（⊗_K[H] は K[H]-加群としてのテンソル積である）。この誘導表現は、H-加群 W の（環 K[H] から K[G] への）係数拡大に対応する。H が G の正規部分群のときは、この誘導表現は H による半直積に同値である。

フロベニウス相互律は、誘導表現の指標に関する内積を計算するための便法を与える。ψ を H の表現 θ としての H-加群 W の指標とし、χ を G の表現 ρ の指標とする。ψ の G への誘導表現の指標を Ind ψ、ρ の H への制限の指標を Res χ とすれば、フロベニウス相互律とは

\langle \operatorname {Ind} _{H}^{G}\psi \mid \chi \rangle _{G}=\langle \psi \mid \operatorname {Res} _{H}^{G}\chi \rangle _{H}

なる関係が成り立つことを主張するものである。これはそれぞれの付随する K-多元環準同型の空間の同型 Hom_G(Ind θ, ρ) ≅ Hom_H(θ, Res ρ) を構成することで（次元を見れば）示される。

代数的整数

詳細は「整元」を参照

u ∈ K[G] の標準基底に関する座標成分が全てℤ 上で整ならば、u は ℤ 上整である。

実際に標準基底としての G の元 δ_s は ℤ 上整であり、これらの生成する有限生成 ℤ-加群は実際には ℤ-多元環を成す。

前節からの記号を引き続き使用して、以下が成り立つ:

u が K[G] の中心に属する元で、その座標成分が ℤ 上整ならば以下の K の元
$\lambda _{i}={\frac {1}{d_{i}}}\sum _{s\in G}u_{s}\chi _{i}(s)$
もまた ℤ 上整である。

実際、上記の節によれば、この数は S_i 上での相似比 ρ_i(u) である。先に掲げた命題によりこの相似比は ℤ 上の整元であり、相似拡大の結合は多元環の準同型となるから、もとの数もそうである。

K が標数 0 ならば以下の性質が導かれる:

既約表現の次数 d_i は群の位数 g を割り切る。

可換群上の調和解析

詳細は「有限可換群上の調和解析」を参照

有限群 G がアーベル群ならば、その双対群もまた有限で G に（自然でない）同型である。故に（複素係数）群環上の調和解析の道具は有効で、フーリエ変換や畳み込みを定義し、パーシヴァルの等式、プランシュレルの定理、ポントリャーギン双対性などの定理を適用することができる。

多くの古典的な定理を有限可換群上の調和解析の言葉で解釈しなおすことができる。それらの中には、平方剰余の相互法則を示すのに使うルジャンドル記号やガウス和、円分多項式の求根に用いるガウス周期など数論的な道具も含まれる。

注釈

^ これは少々紛らわしいが、任意の群環は係数環の中心上の群多元環となるから、その文脈で何を係数環としているかが明らかならば混乱の虞は無いであろう。
^ 特に群 G が加法的に書かれている場合、群環における乗積表は e_g⋅e_h = e_g+h から得られるが、群の元 g を生成元 e_g と同一視する記法では、群の演算と群環の形式和の区別が紛らわしい。

出典

^ Polcino Milies & Sehgal 2002, p.129 and 131.
^ ^a ^b Polcino Milies & Sehgal 2002, p. 131.

参考文献

Alperin, J. L.; Bell, Rowen B. (1995). Groups and Representations. Graduate Texts in Mathematics. 162. Springer-Verlag. doi:10.1007/978-1-4612-0799-3. ISBN 0-387-94525-3. MR1369573. Zbl 0839.20001. https://books.google.com/books?id=EroGCAAAQBAJ
N. Bourbaki, Éléments de mathématique, Algèbre, chap. VIII
Curtis, Charles W.; Reiner, I. (2006) [1962]. Representation Theory of Finite Groups and Associative Algebras. AMS Chelsea Publishing. doi:10.1090/chel/356. ISBN 0-8218-4066-5. MR2215618. Zbl 1093.20003. https://books.google.com/books?id=RKwjeZKMr8oC
(en) Marshall Hall, Jr., The Theory of Groups [détail des éditions]
Serge Lang, Algèbre [détail des éditions]
Passman, Donald S. (1985) [1977]. The Algebraic Structure of Group Rings. Robert E. Krieger Publishing. ISBN 0-89874-789-9. MR0798076. Zbl 0654.16001. https://books.google.com/books?id=2xrSHX-rpGMC
Polcino Milies, C.; Sehgal, Sudarshan K. (2002). An Introduction to Group Rings. Kluwer Academic Publishers. doi:10.1007/978-94-010-0405-3. ISBN 1-4020-0238-6. MR1896125. Zbl 0997.20003. https://books.google.com/books?id=7m9P9hM4pCQC
Jean-Pierre Serre, Représentations linéaires des groupes finis [détail des éditions]

外部リンク

A. A. Bovdi (2001), “Group algebra”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Group_algebra
Weisstein, Eric W. "Group Ring". mathworld.wolfram.com (英語).
Barile, Margherita; Moslehian, Mohammad Sal; Weisstein, Eric W. "Group Algebra". mathworld.wolfram.com (英語).
group ring - PlanetMath.（英語）
group algebra in nLab