群・環とは? わかりやすく解説

群環

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/04/18 04:29 UTC 版)

ナビゲーションに移動 検索に移動

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

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

定義

RG とする。

  1. G を生成系とする R-係数の形式的な(「有限」)線型結合の全体(G 上の R-自由加群、特に Rのときは自由ベクトル空間)を R[G] と書く(RG とも書かれる[1])。即ち、任意の元 xR[G]

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

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

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

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

    により R 上の多元環(線型環)を成す。この多元環 R[G]G 上の R-係数の群環、G で生成される R 上の群環などと呼ぶ。
  2. 離散位相に関して)群 G 上の R-値コンパクト台付き連続函数全体の成す空間 Cc(G; R) の元 f は、群 G から可換環 R への写像 f: GR であって、有限な台を持つ(つまり有限個の例外を除き f(g) = 0 (gG) となる)ようなものである。点ごとの和
    畳み込み
    およびスカラー倍
    のもと Cc(G; R)R 上の多元環となる。

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

を考えるとき、Cc(G; R)R 上の標準基底として g | gG} を持ち、

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

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

群環の元

R-値写像 f: GR の対に対して、内積

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

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

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

群環上の加群

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

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

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

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

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

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

性質

基本性質

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

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

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

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

群環の中心

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

また、KG 上の非退化な対称双線型形式内積)を

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

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

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

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

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

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

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

  • 群環 K[G] は群 Gh-個の既約表現 SiK-自己準同型環 EndK(Si) の直和に同型である:
    さらに K代数閉体と仮定すれば、有限次元半単純環に関するアルティン・ウェダーバーンの定理から同じ結果が得られる。
  • 群環 K[G]KG の部分空間であるから、各Si の次元を di とすれば、群環自身の次元は
    で与えられる(K が正標数の場合はfr:Représentation régulière#Identités remarquablesを見よ)。
  • K[G] の元 f が中心に属するための必要十分条件は、その成分が Si 上の相似拡大 (homothety) となることである。さらに類函数に関する結果を用いれば、その Si における相似比 λi
    で与えられる。

正則表現

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

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

指標の直交関係

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

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

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

が得られる。

応用

フロベニウス相互律

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

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

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

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

代数的整数

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

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

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

  • uK[G] の中心に属する元で、その座標成分が 上整ならば以下の K の元
    もまた 上整である。

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

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

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

可換群上の調和解析

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

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

注釈

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

出典

参考文献

関連項目

外部リンク


群環

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/12/14 02:39 UTC 版)

直既約加群」の記事における「群環」の解説

標数 0 の体上の群環はマシュケの定理により半単純なので、直既約加群単純加群概念一致する一方正標数の体上の群環に関して両者一致するとは限らない。たとえば F を標数 p > 0 の体とし、P を位数 q の 巡回 p-群とする。群 P の生成元を x とし、 M i = ⨁ 1 ≤ j ≤ i F ( x − 1 ) q − j ( 1 ≤ i ≤ q ) {\displaystyle M_{i}=\bigoplus _{1\leq j\leq i}F(x-1)^{q-j}\quad (1\leq i\leq q)} とおく。このとき {Mi | 1 ≤ i ≤ q} は有限次元直既約 FP-加群同型類である。しかしながら有限次元単純 FP-加群同型類は自明な加群 M1 のみである。

※この「群環」の解説は、「直既約加群」の解説の一部です。
「群環」を含む「直既約加群」の記事については、「直既約加群」の概要を参照ください。

ウィキペディア小見出し辞書の「群・環」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「群・環」の関連用語

群・環のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



群・環のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの群環 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの直既約加群 (改訂履歴)、ポントリャーギン双対 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS