群環

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

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

## 定義

 を環、 を群 とする。

 の各元  に対して、一点集合  の -値指示函数（ディラックのデルタ函数）
: \delta_g(h) := \begin{cases} 1=1_R & (h=g)\\ 0=0_R & (h\ne g)\end{cases} 
を考えるとき、 は  上の標準基底として  を持ち、
: R[G] \to C_c(G;R);\; \sum_{g\in G} a_g\,g \mapsto \sum_{g\in G} a_g\delta_g
は多元環の同型である。しばしばここでいう  を（1. の場合と同じく）  などとも書き、 の  上の群環と呼ぶ。

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

群環の元
:x = \sum_{g\in G} a_g\,g
と -値写像  の対に対して、内積
: (x,f) = \sum_{g\in G} a_g f(g)\quad \in R
が矛盾なく定まる（右辺が実質有限和であることに注意せよ）。

## 例
位数 3 の巡回群  を取り、 とおく。
このとき
:\begin{align}
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{align}
と群環  の元を定めると、これらは中心的直交原始冪等元分解  を与え、次の直既約分解と同型が得られる。
:
\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}


## 群環上の加群

環  上の群環  を環と見るとき、環  上の加群は、群  上の加群と呼ばれる。群  の表現は -加群の言葉で読みかえることができる。特に
* 単純 -加群は -既約表現のことである。
*  の表現空間が -加群  であるとき、表現の間の準同型は、-加群  の間の -線型準同型のことであり、その全体は  などで表される。

古典的な結果として、もともとは係数環  が複素数体  で、群  が有限群の場合に得られたものだが、そのような条件のもとで群環  が半単純環となることを示すことができて、それは有限群の表現において深い意味を持つ事実である。より一般に、マシュケの定理と呼ばれる以下の定理が成り立つ：
; 定理 (Maschke)
: 有限群  の位数が体  の標数と互いに素なとき、あるいは標数  のとき、群環  は半単純である。
特に、群環  が半単純であることは、それが  に成分をとる行列環の直和として理解することができることを意味する。

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

## 性質
### 基本性質
環  が乗法単位元  を持つとき（群  の単位元は  と書くことにする）、群環  は  に環同型な部分環を持ち、またその単元群は  に群同型な部分群を含む。実際、
: 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)
は乗法群に関する単射群準同型になる。特に、 は  の乗法単位元である。

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

### 群環の中心

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

また、 上の非退化な対称双線型形式（内積）を
: (f\mid h) = \frac{1}{g}\sum_{s\in G}f(s)h(s^{-1})
で定義することができる。
* 既約指標の全体はこの類函数の空間の正規直交基底を成す
これにより、（この部分空間の次元を考えて）
* 既約表現の（同型類の）総数は、群の共軛類の数  に等しい

ゆえに、群  の  上の既約表現  が（同型を除いて）存在して、それらの指標  が群環  の中心の基底を成す。

### アルティン&ndash;ウェダーバーンの定理
前節の記号を引き続き用いて以下の基本的な定理が直接的に示せる。
* 群環  は群  の -個の既約表現  の -自己準同型環  の直和に同型である:K[G] \simeq \bigoplus_{i=1}^h \operatorname{End}_K(S_i).さらに  が代数閉体と仮定すれば、有限次元半単純環に関するアルティン・ウェダーバーンの定理から同じ結果が得られる。
* 群環  は  の部分空間であるから、各 の次元を  とすれば、群環自身の次元はg=\sum_{i=1}^hd_i^2で与えられる（ が正標数の場合は:fr:Représentation régulière#Identités remarquablesを見よ）。
*  の元  が中心に属するための必要十分条件は、その成分が  上の相似拡大 (homothety) となることである。さらに類函数に関する結果を用いれば、その  における相似比  が\lambda_i=\frac1{d_i}\sum_{s\in G}f(s)\chi_i(s)で与えられる。

### 正則表現

群  の正則表現  は、既に述べた対応により自然に群環  上の左 -加群の構造に対応する。前節で述べた群環の分解に従えば:
*  の正則表現は  の既約表現  をその次数  と同じ数だけ重複したものの直和(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))で与えられる。

### 指標の直交関係
表現の指標と群環は、直交性を考えるとき、互いに相補的な関係にある。 の表現  に対して、 をそれぞれ表現  の指標とするとき、表現  を -加群と見て 
: (\chi_1\mid \chi_2)=\dim_K(\hom_K^G(V_1,V_2))
が成り立つ。右辺の次元は  上で考える。

すると、シューアの補題により、既約指標  の間の直交関係
: (\pi_1\mid\pi_2)=\begin{cases} 1 & \pi_1\simeq \pi_2\\ 0 & \pi_1 \not\simeq \pi_2\end{cases}
が得られる。

## 応用
### フロベニウス相互律

群環の構造を用いるよい例としてフロベニウス相互律を挙げられる。これは -加群のを構成する方法とも理解される。有限群  の部分群  と -加群  に対して、 から誘導される -加群とは
: V \simeq K[G] \otimes_{K[H]} W
のことを言う（ は -加群としてのテンソル積である）。この誘導表現は、-加群  の（環  から  への）に対応する。 が  の正規部分群のときは、この誘導表現は  による半直積に同値である。

フロベニウス相互律は、誘導表現の指標に関する内積を計算するための便法を与える。 を  の表現  としての -加群  の指標とし、 を  の表現  の指標とする。 の  への誘導表現の指標を 、 の  への制限の指標を  とすれば、フロベニウス相互律とは
: \langle \operatorname{Ind}_H^G \psi \mid \chi\rangle_G = \langle\psi \mid \operatorname{Res}_H^G \chi\rangle_H
なる関係が成り立つことを主張するものである。これはそれぞれの付随する -多元環準同型の空間の同型  を構成することで（次元を見れば）示される。

### 代数的整数

*  の標準基底に関する座標成分が全て 上で整ならば、 は  上整である。
実際に標準基底としての  の元  は  上整であり、これらの生成する有限生成 -加群は実際には-多元環を成す。

前節からの記号を引き続き使用して、以下が成り立つ:
*  が  の中心に属する元で、その座標成分が  上整ならば以下の  の元\lambda_i=\frac1{d_i}\sum_{s \in G} u_s \chi_i(s)もまた  上整である。
実際、上記の節によれば、この数は  上での相似比  である。先に掲げた命題によりこの相似比は  上の整元であり、相似拡大の結合は多元環の準同型となるから、もとの数もそうである。

 が標数  ならば以下の性質が導かれる:
* 既約表現の次数  は群の位数  を割り切る。

### 可換群上の調和解析

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

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

## 注釈

## 出典

## 参考文献
* 
* N. Bourbaki, *[[Éléments de mathématique]], Algèbre*, chap. VIII
* 
* 
* 
* 
* 
* 

## 関連項目
* モノイド代数
* フロベニウス代数

## 外部リンク
* 
* 
* 
* 
*