群環

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

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

1. 定義
-----

R}} を環、G}} を群 とする。

G}} の各元 g}} に対して、一点集合 mset の R}}-値指示函数

を考えるとき、//C//msub は R}} 上の標準基底として mset を持ち、

は多元環の同型である。しばしばここでいう //C//msub を //R//[//G//]}} などとも書き、G}} の R}} 上の群環と呼ぶPolcino Milies。

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

群環の元

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

が矛盾なく定まる。

2. 例
----

位数 3 の巡回群 //G// =}} 〈 //g// !}} //g//3 =}} 1 〉}} を取り、ω =}} exp}} とおく。 このとき

と群環 C//G//}} の元を定めると、これらは中心的直交原始冪等元分解 1 =}} //e//1 + //e//2 + //e//3}} を与え、次の直既約分解と同型が得られる。

3. 群環上の加群
---------

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

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

定理  有限群 G}} の位数が体 F}} の標数と互いに素なとき、あるいは標数 0}} のとき、群環 FG}} は半単純である。特に、群環 C[//G//]}} が半単純であることは、それが C}} に成分をとる行列環の直和として理解することができることを意味する。

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

4. 性質
-----

4.1. 基本性質
---------

環 R}} が乗法単位元 1 =}} 1ind を持つとき、群環 //R//[//G//]}} は R}} に環同型な部分環を持ち、またその単元群は G}} に群同型な部分群を含む。実際、

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

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

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

4.2. 群環の中心
----------

環 //K//[//G//]}} の積の定義の仕方から、その環としての中心は G}} 上で定義されたK}}-値類函数の全体に一致する。これは配置集合 //KG//}} の部分線型空間で、各共軛類 //c// ∊ //C//}} の指示函数の族 //c∊C//}} を標準基底に持つ。

また、Ksup 上の非退化な対称双線型形式を

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

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

既約表現の総数は、群の共軛類の数 h}} に等しいゆえに、群 G}} の K}} 上の既約表現 , … }} が存在して、それらの指標 χ1, …, χ//h//}} が群環 //K//[//G//]}} の中心の基底を成す。

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

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

群環 //K//[//G//]}} は群 G}} の h}}-個の既約表現 Ssub の K}}-自己準同型環 End//K//}} の直和に同型である:さらに K}} が代数閉体と仮定すれば、有限次元半単純環に関するアルティン・ウェダーバーンの定理から同じ結果が得られる。
群環 //K//[//G//]}} は //KG//}} の部分空間であるから、各//Si//}} の次元を //di//}} とすれば、群環自身の次元はで与えられる。
//K//[//G//]}} の元 f}} が中心に属するための必要十分条件は、その成分が //Si//}} 上の相似拡大  となることである。さらに類函数に関する結果を用いれば、その //Si//}} における相似比 λ//i//}} がで与えられる。

4.4. 正則表現
---------

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

G}} の正則表現は G}} の既約表現 ρi}} をその次数 di}} と同じ数だけ重複したものの直和に分解される。即ち、この λ}} に付随する半単純加群の等型成分はで与えられる。

4.5. 指標の直交関係
------------

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

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

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

が得られる。

5. 応用
-----

5.1. フロベニウス相互律
--------------

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

のことを言う。この誘導表現は、H}}-加群 W}} の係数拡大に対応する。H}} が G}} の正規部分群のときは、この誘導表現は H}} による半直積に同値である。

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

なる関係が成り立つことを主張するものである。これはそれぞれの付随する K}}-多元環準同型の空間の同型 Homsub を構成することで示される。

5.2. 代数的整数
----------

//u// ∈ //K//[//G//]}} の標準基底に関する座標成分が全てℤ}} 上で整ならば、u}} は ℤ}} 上整である。実際に標準基底としての G}} の元 δ//s//}} は ℤ}} 上整であり、これらの生成する有限生成 ℤ}}-加群は実際には ℤ}}-多元環を成す。

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

u}} が //K//[//G//]}} の中心に属する元で、その座標成分が ℤ}} 上整ならば以下の K}} の元もまた ℤ}} 上整である。実際、上記の節によれば、この数は //Si//}} 上での相似比 ρi}} である。先に掲げた命題によりこの相似比は ℤ}} 上の整元であり、相似拡大の結合は多元環の準同型となるから、もとの数もそうである。

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

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

5.3. 可換群上の調和解析
--------------

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

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

6. 注釈
-----

7. 出典
-----

8. 参考文献
-------

N. Bourbaki, //Éléments de mathématique, Algèbre//, chap. VIII

9. 関連項目
-------

モノイド代数
フロベニウス代数

10. 外部リンク
---------