代数学において、与えられた群および環に対する群環（ぐんかん、）は、与えられた群と環の構造を自然に用いて構成される。群環はそれ自身が、与えられた環を係数環とし与えられた群を生成系とする自由加群であって、なおかつ与えられた群の演算を生成元の間の演算として「線型に」延長したものを積とする環を成す。俗に言えば、群環は与えられた群の与えられた環の元を「重み」とする形式和の全体である。与えられた環が可換であるとき、群環は与えられた環上の多元環（代数）の構造を持ち、群多元環（ぐんたげんかん、; 群代数）（あるいは短く群環）と呼ばれる。群環は、特に有限群の表現論において重要な役割を果たす代数的構造である。無限群の群環はしばしば位相を加味した議論を必要とするため位相群の群環の項へ譲り、本項は主に有限群の群環を扱う。また、より一般の議論はを見よ。 を環、 を群 とする。を考えるとき、 は 上の標準基底として を持ち、は多元環の同型である。しばしばここでいう を（1. の場合と同じく） などとも書き、 の 上の群環と呼ぶ。群環の元と -値写像 の対に対して、内積が矛盾なく定まる（右辺が実質有限和であることに注意せよ）。位数 3 の巡回群 を取り、 とおく。このときと群環 の元を定めると、これらは中心的直交原始冪等元分解 を与え、次の直既約分解と同型が得られる。環 上の群環 を環と見るとき、環 上の加群は、群 上の加群と呼ばれる。群 の表現は -加群の言葉で読みかえることができる。特に古典的な結果として、もともとは係数環 が複素数体 で、群 が有限群の場合に得られたものだが、そのような条件のもとで群環 が半単純環となることを示すことができて、それは有限群の表現において深い意味を持つ事実である。より一般に、マシュケの定理と呼ばれる以下の定理が成り立つ：特に、群環 が半単純であることは、それが に成分をとる行列環の直和として理解することができることを意味する。環 が乗法単位元 を持つとき（群 の単位元は と書くことにする）、群環 は に環同型な部分環を持ち、またその単元群は に群同型な部分群を含む。実際、は単射環準同型であり、同様には乗法群に関する単射群準同型になる。特に、 は の乗法単位元である。環 の積の定義の仕方から、その環としての中心は 上で定義された-値類函数（つまり、 の各共軛類上で定数となる函数）の全体に一致する。これは配置集合 の部分線型空間で、各共軛類 の指示函数の族 を標準基底に持つ（これらの指示函数は の標準基底によって と分解できる）。また、 上の非退化な対称双線型形式（内積）をで定義することができる。これにより、（この部分空間の次元を考えて）ゆえに、群 の 上の既約表現 が（同型を除いて）存在して、それらの指標 が群環 の中心の基底を成す。前節の記号を引き続き用いて以下の基本的な定理が直接的に示せる。群 の正則表現 は、既に述べた対応により自然に群環 上の左 -加群の構造に対応する。前節で述べた群環の分解に従えば:表現の指標と群環は、直交性を考えるとき、互いに相補的な関係にある。 の表現 に対して、 をそれぞれ表現 の指標とするとき、表現 を -加群と見て が成り立つ。右辺の次元は 上で考える。すると、シューアの補題により、既約指標 の間の直交関係が得られる。群環の構造を用いるよい例としてフロベニウス相互律を挙げられる。これは -加群のを構成する方法とも理解される。有限群 の部分群 と -加群 に対して、 から誘導される -加群とはのことを言う（ は -加群としてのテンソル積である）。この誘導表現は、-加群 の（環 から への）に対応する。 が の正規部分群のときは、この誘導表現は による半直積に同値である。フロベニウス相互律は、誘導表現の指標に関する内積を計算するための便法を与える。 を の表現 としての -加群 の指標とし、 を の表現 の指標とする。 の への誘導表現の指標を 、 の への制限の指標を とすれば、フロベニウス相互律とはなる関係が成り立つことを主張するものである。これはそれぞれの付随する -多元環準同型の空間の同型 を構成することで（次元を見れば）示される。実際に標準基底としての の元 は 上整であり、これらの生成する有限生成 -加群は実際には-多元環を成す。前節からの記号を引き続き使用して、以下が成り立つ:実際、上記の節によれば、この数は 上での相似比 である。先に掲げた命題によりこの相似比は 上の整元であり、相似拡大の結合は多元環の準同型となるから、もとの数もそうである。有限群 がアーベル群ならば、その双対群もまた有限で に（自然でない）同型である。故に（複素係数）群環上の調和解析の道具は有効で、フーリエ変換や畳み込みを定義し、パーシヴァルの等式、プランシュレルの定理、ポントリャーギン双対性などの定理を適用することができる。多くの古典的な定理を有限可換群上の調和解析の言葉で解釈しなおすことができる。それらの中には、平方剰余の相互法則を示すのに使うルジャンドル記号やガウス和、円分多項式の求根に用いるガウス周期など数論的な道具も含まれる。

出典:wikipedia