有限群の表現論

群の表現理論は、与えられた構造に対して群がどのように作用するかを調べる数学の一部です。

ここでは特にベクトル空間上の群の演算に焦点を当てます。ただし、他の群や集合に作用する群も考慮されます。詳細については、置換表現のセクションを参照してください。

いくつかの顕著な例外を除いて、本稿では有限群のみを考察する。また、特性ゼロの体上のベクトル空間に限定する。特性ゼロの代数的閉体の理論は完全であるため、特性ゼロの特別な代数的閉体に有効な理論は、特性ゼロの他のすべての代数的閉体にも有効である。したがって、一般性を失うことなく、特性ゼロの体上のベクトル空間を研究することができる。${\displaystyle \mathbb {C} .}$

表現論は数学の多くの部分で利用されているほか、量子化学や物理学でも利用されています。とりわけ代数学では群の構造を調べるために利用されています。また、調和解析や数論にも応用されています。たとえば、表現論は保型形式に関する新しい結果を得るための現代的なアプローチで利用されています。

を-ベクトル空間、有限群とする。の線型表現は群準同型である。ここで、一般線型群の表記は、自己同型群 の表記はである。 これは、線型表現がすべての に対してを満たす写像であることを意味する。ベクトル空間は の表現空間と呼ばれる。 の表現という用語は、表現空間にもしばしば使用される。${\displaystyle V}$${\displaystyle K}$${\displaystyle G}$${\displaystyle G}$ ${\displaystyle \rho :G\to {\text{GL}}(V)={\text{Aut}}(V).}$${\displaystyle {\text{GL}}(V)}$${\displaystyle {\text{Aut}}(V)}$${\displaystyle \rho :G\to {\text{GL}}(V)}$${\displaystyle \rho (st)=\rho (s)\rho (t)}$${\displaystyle s,t\in G.}$${\displaystyle V}$${\displaystyle G.}$${\displaystyle G}$${\displaystyle V.}$

ベクトル空間ではなく モジュール内のグループの表現は、線形表現とも呼ばれます。

の表現については と書きます。空間がどの表現に属する かが明らかな場合は、 という表記法を使用することもあります。${\displaystyle (\rho ,V_{\rho })}$${\displaystyle \rho :G\to {\text{GL}}(V_{\rho })}$${\displaystyle G.}$${\displaystyle (\rho,V)}$${\displaystyle V}$

この記事では、最後の章を除いて、有限次元表現空間の研究に限定します。ほとんどの場合、 内の有限数のベクトルのみが対象なので、これらのベクトルによって生成されるサブ表現を研究するだけで十分です。このサブ表現の表現空間は有限次元です。 ${\displaystyle V}$

表現の次数とは、その表現空間の次元である。この表記 法は、表現の次数を表すために使用されることがある。${\displaystyle V.}$${\displaystyle \dim(\rho )}$${\displaystyle \rho .}$

自明な表現は、すべての${\displaystyle \rho (s)={\text{Id}}}$${\displaystyle s\in G.}$

群の次数の表現は、乗法群への準同型です。のすべての要素は有限位数なので、 の値は1 の累乗根です。たとえば、が非自明な線型表現であるとします。 は群準同型なので、 を満たさなければなりません。 は上の値によって決定されるため、を生成し、 が非自明であるため、の下での の像は 1 の 4 乗根からなる群の非自明な部分群でなければならないという結果が得られます。言い換えると、は次の 3 つの写像のいずれかでなければなりません。 ${\displaystyle 1}$${\displaystyle G}$ ${\displaystyle \rho :G\to {\text{GL}}_{1}(\mathbb {C} )=\mathbb {C} ^{\times }=\mathbb {C} \setminus \{0\}.}$${\displaystyle G}$${\displaystyle \rho (s)}$${\displaystyle \rho :G=\mathbb {Z} /4\mathbb {Z} \to \mathbb {C} ^{\times }}$${\displaystyle \rho}$${\displaystyle \rho ({0})=1.}$${\displaystyle 1}$${\displaystyle G,\rho }$${\displaystyle \rho (1).}$${\displaystyle \rho}$${\displaystyle \rho ({1})\in \{i,-1,-i\}.}$${\displaystyle G}$${\displaystyle \rho}$${\displaystyle \rho}$

${\displaystyle {\begin{cases}\rho _{1}({0})=1\\\rho _{1}({1})=i\\\rho _{1}({2})=-1\\\rho _{1}({3})=-i\end{cases}}\qquad {\begin{cases}\rho _{2}({0})=1\\\rho _{2}({1})=-1\\\rho _{2}({2})=1\\\rho _{2}({3})=-1\end{cases}}\qquad {\begin{cases}\rho _{3}({0})=1\\\rho _{3}({1})=-i\\\rho _{3}({2})=-1\\\rho _{3}({3})=i\end{cases}}}$

を次のように定義される群準同型 とします。${\displaystyle G=\mathbb {Z} /2\mathbb {Z} \times \mathbb {Z} /2\mathbb {Z} }$${\displaystyle \rho :G\to {\text{GL}}_{2}(\mathbb {C} )}$

${\displaystyle \rho ({0},{0})={\begin{pmatrix}1&0\\0&1\end{pmatrix}},\quad \rho ({1},{0})={\begin{pmatrix}-1&0\\0&-1\end{pmatrix}},\quad \rho ({0},{1})={\begin{pmatrix}0&1\\1&0\end{pmatrix}},\quad \rho ({1},{1})={\begin{pmatrix}0&-1\\-1&0\end{pmatrix}}.}$

この場合は次数の線形表現である${\displaystyle \rho }$${\displaystyle G}$${\displaystyle 2.}$

を有限集合とし、を に作用する群とします。を上のすべての順列の群で表し、その合成を群の乗法とします。 ${\displaystyle X}$${\displaystyle G}$${\displaystyle X.}$${\displaystyle {\text{Aut}}(X)}$${\displaystyle X}$

有限集合に作用する群は、置換表現の定義に十分であると考えられる場合もあります。しかし、ここでは線型表現の例 (群が任意の有限集合ではなくベクトル空間に作用する) を構築したいので、別の方法で進めなければなりません。置換表現を構築するには、 を持つベクトル空間が必要です。の基底は、の要素でインデックス付けできます。置換表現は、すべてに対してによって与えられる群準同型です。すべての線型写像は、この特性によって一意に定義されます。 ${\displaystyle V}$${\displaystyle \dim(V)=|X|.}$${\displaystyle V}$${\displaystyle X.}$${\displaystyle \rho :G\to {\text{GL}}(V)}$${\displaystyle \rho (s)e_{x}=e_{s.x}}$${\displaystyle s\in G,x\in X.}$${\displaystyle \rho (s)}$

例:とすると、を介して作用します。関連する線形表現は、${\displaystyle X=\{1,2,3\}}$${\displaystyle G={\text{Sym}}(3).}$${\displaystyle G}$${\displaystyle X}$${\displaystyle {\text{Aut}}(X)=G.}$${\displaystyle \rho :G\to {\text{GL}}(V)\cong {\text{GL}}_{3}(\mathbb {C} )}$${\displaystyle \rho (\sigma )e_{x}=e_{\sigma (x)}}$${\displaystyle \sigma \in G,x\in X.}$

を群とし、をの元でインデックス付けされた基底を持つ次元のベクトル空間とします。左正規表現は、 を選択することによって得られる置換表現の特殊なケースです。これは、すべて に対して を意味します。したがって、の像の族はの基底です。左正規表現の次数は、群の位数に等しくなります。 ${\displaystyle G}$${\displaystyle V}$${\displaystyle |G|}$${\displaystyle (e_{t})_{t\in G}}$${\displaystyle G.}$${\displaystyle X=G.}$${\displaystyle \rho (s)e_{t}=e_{st}}$${\displaystyle s,t\in G.}$${\displaystyle (\rho (s)e_{1})_{s\in G}}$${\displaystyle e_{1}}$${\displaystyle V.}$

右正規表現は、同様の準同型性を持つ同じベクトル空間上で定義されます。前と同じように、 はの基底です。左正規表現の場合と同様に、右正規表現の次数は の位数に等しいです。${\displaystyle \rho (s)e_{t}=e_{ts^{-1}}.}$${\displaystyle (\rho (s)e_{1})_{s\in G}}$${\displaystyle V.}$${\displaystyle G.}$

両方の表現は、 を介して同型です。このため、これらは常に区別されるわけではなく、多くの場合、「通常の」表現と呼ばれます。 ${\displaystyle e_{s}\mapsto e_{s^{-1}}.}$

より詳しく見ると、次のような結果が得られます。与えられた線型表現が左正規表現と同型であるためには、その基底となるようなものが存在する必要があります。${\displaystyle \rho :G\to {\text{GL}}(W)}$${\displaystyle w\in W,}$${\displaystyle (\rho (s)w)_{s\in G}}$${\displaystyle W.}$

例と を基底とする。すると、左正規表現はに対して で定義される。右正規表現は に対して で同様に定義される。${\displaystyle G=\mathbb {Z} /5\mathbb {Z} }$${\displaystyle V=\mathbb {R} ^{5}}$${\displaystyle \{e_{0},\ldots ,e_{4}\}.}$${\displaystyle L_{\rho }:G\to {\text{GL}}(V)}$${\displaystyle L_{\rho }(k)e_{l}=e_{l+k}}$${\displaystyle k,l\in \mathbb {Z} /5\mathbb {Z} .}$${\displaystyle R_{\rho }(k)e_{l}=e_{l-k}}$${\displaystyle k,l\in \mathbb {Z} /5\mathbb {Z} .}$

を有限群、を可換環、を上の群代数とします。この代数は自由であり、基底は の元でインデックス付けできます。ほとんどの場合、基底は と同一視されます。各元は次のように一意に表現できます 。${\displaystyle G}$${\displaystyle K}$${\displaystyle K[G]}$${\displaystyle G}$${\displaystyle K.}$${\displaystyle G.}$${\displaystyle G}$${\displaystyle f\in K[G]}$

${\displaystyle f=\sum _{s\in G}a_{s}s}$と。${\displaystyle a_{s}\in K}$

における乗算は、 における乗算を分配的に拡張します。 ${\displaystyle K[G]}$${\displaystyle G}$

ここで を-加群とし、を におけるの線型表現とします。すべてのおよびに対して を定義します。線型拡張により は左 - 加群の構造を付与されます。逆に、 - 加群から始まるの線型表現を得ます。さらに、表現の準同型は群代数準同型と全単射に対応します。したがって、これらの用語は互換的に使用できます。^{[1] [2]これは}カテゴリ の同型の例です。 ${\displaystyle V}$${\displaystyle K}$${\displaystyle \rho :G\to {\text{GL}}(V)}$${\displaystyle G}$${\displaystyle V.}$${\displaystyle sv=\rho (s)v}$${\displaystyle s\in G}$${\displaystyle v\in V}$${\displaystyle V}$${\displaystyle K[G]}$${\displaystyle G}$${\displaystyle K[G]}$${\displaystyle V}$

この場合、左-モジュール自体が左正規表現に対応します。右- モジュールが右正規表現に対応するのと同じように。 ${\displaystyle K=\mathbb {C} .}$${\displaystyle \mathbb {C} [G]}$${\displaystyle \mathbb {C} [G]}$${\displaystyle \mathbb {C} [G]}$${\displaystyle \mathbb {C} [G]}$

以下では畳み込み代数を定義する。を群とし、集合は加算とスカラー乗算の演算を持つベクトル空間であるとすると、このベクトル空間は次のように定義される 2つの要素の畳み込みと同型である。${\displaystyle G}$${\displaystyle L^{1}(G):=\{f:G\to \mathbb {C} \}}$${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} ^{|G|}.}$${\displaystyle f,h\in L^{1}(G)}$

${\displaystyle f*h(s):=\sum _{t\in G}f(t)h(t^{-1}s)}$

代数を作成します。この代数は畳み込み代数と呼ばれます。 ${\displaystyle L^{1}(G)}$${\displaystyle L^{1}(G)}$

畳み込み代数は自由であり、群の要素によってインデックス付けされた基底を持つ。ここで ${\displaystyle (\delta _{s})_{s\in G},}$

${\displaystyle \delta _{s}(t)={\begin{cases}1&t=s\\0&{\text{otherwise.}}\end{cases}}}$

畳み込みの特性を使用すると次のようになります。${\displaystyle \delta _{s}*\delta _{t}=\delta _{st}.}$

基底 を定義し、それを線形に拡張することで、との間の写像を定義します。明らかに、事前写像は全単射です。上の式に示されている 2 つの基底要素の畳み込みを詳しく調べると、 での乗算が での乗算に対応することがわかります。したがって、畳み込み代数と群代数は代数として同型です。 ${\displaystyle L^{1}(G)}$${\displaystyle \mathbb {C} [G],}$${\displaystyle \delta _{s}\mapsto e_{s}}$${\displaystyle (\delta _{s})_{s\in G}}$${\displaystyle L^{1}(G)}$${\displaystyle \mathbb {C} [G].}$

退化​

${\displaystyle f^{*}(s)={\overline {f(s^{-1})}}}$

は-代数に変わる。${\displaystyle L^{1}(G)}$${\displaystyle ^{*}}$${\displaystyle \delta _{s}^{*}=\delta _{s^{-1}}.}$

群の表現は、によって-代数準同型に拡張されます。乗法的性質は代数準同型の特徴的な性質であるため、が成り立ちます。 がユニタリである場合、 も成り立ちます。 ユニタリ表現の定義については、性質の章を参照してください。 その章では、（一般性を失うことなく）すべての線形表現がユニタリであると仮定できることを説明します。 ${\displaystyle (\pi ,V_{\pi })}$${\displaystyle G}$${\displaystyle ^{*}}$${\displaystyle \pi :L^{1}(G)\to {\text{End}}(V_{\pi })}$${\displaystyle \pi (\delta _{s})=\pi (s).}$${\displaystyle \pi }$${\displaystyle \pi (f*h)=\pi (f)\pi (h).}$${\displaystyle \pi }$${\displaystyle \pi (f)^{*}=\pi (f^{*}).}$

畳み込み代数を使うと、群上のフーリエ変換を実装することができます。調和解析の分野では、次の定義が群上のフーリエ変換の定義と一致することが示されています。${\displaystyle G.}$${\displaystyle \mathbb {R} .}$

を表現とし、を 上の 値関数とする。のフーリエ変換は次のように定義される。 ${\displaystyle \rho :G\to {\text{GL}}(V_{\rho })}$${\displaystyle f\in L^{1}(G)}$${\displaystyle \mathbb {C} }$${\displaystyle G}$${\displaystyle {\hat {f}}(\rho )\in {\text{End}}(V_{\rho })}$${\displaystyle f}$

${\displaystyle {\hat {f}}(\rho )=\sum _{s\in G}f(s)\rho (s).}$

この変換は${\displaystyle {\widehat {f*g}}(\rho )={\hat {f}}(\rho )\cdot {\hat {g}}(\rho ).}$

同じグループの2 つの表現間の写像は、すべてに対して成立する性質を持つ線型写像です。言い換えると、次の図はすべてのに対して可換です。 ${\displaystyle (\rho ,V_{\rho }),\,(\tau ,V_{\tau })}$${\displaystyle G}$${\displaystyle T:V_{\rho }\to V_{\tau },}$${\displaystyle \tau (s)\circ T=T\circ \rho (s)}$${\displaystyle s\in G.}$${\displaystyle s\in G}$

このような写像は–線形、または同変写像とも呼ばれます。 の核、像、余核はデフォルトで定義されています。同変写像の合成もまた同変写像です。同変写像をその射とする表現のカテゴリがあります。 それらはまた – 加群です。したがって、それらは前の節で説明した相関関係により の表現を提供します。${\displaystyle G}$${\displaystyle T}$${\displaystyle G}$${\displaystyle G}$

を の線型表現とします。 をの -不変部分空間、つまりすべてのおよびに対してとするとします。この制限はのそれ自身への同型です。すべて に対して が成り立つため、この構成はにおけるの表現です。 これはの部分表現と呼ばれます。 任意の表現Vには、少なくとも 2 つの部分表現、つまり 0 のみからなる部分表現とV自身からなる部分表現があります。これら 2 つが部分表現のみである場合、表現は既約表現と呼ばれます。これらの表現が群代数 上の単純モジュールとまったく同じであることから、一部の著者はこれらの表現を単純と呼ぶこともあります。 ${\displaystyle \rho :G\to {\text{GL}}(V)}$${\displaystyle G.}$${\displaystyle W}$${\displaystyle G}$${\displaystyle V,}$${\displaystyle \rho (s)w\in W}$${\displaystyle s\in G}$${\displaystyle w\in W}$${\displaystyle \rho (s)|_{W}}$${\displaystyle W}$${\displaystyle \rho (s)|_{W}\circ \rho (t)|_{W}=\rho (st)|_{W}}$${\displaystyle s,t\in G,}$${\displaystyle G}$${\displaystyle W.}$${\displaystyle V.}$${\displaystyle \mathbb {C} [G]}$

シューアの補題は、既約表現間の写像に強い制約を課します。と が両方とも既約で、 がすべての に対してとなる線型写像である場合、次の二分法が存在します。 ${\displaystyle \rho _{1}:G\to {\text{GL}}(V_{1})}$${\displaystyle \rho _{2}:G\to {\text{GL}}(V_{2})}$${\displaystyle F:V_{1}\to V_{2}}$${\displaystyle \rho _{2}(s)\circ F=F\circ \rho _{1}(s)}$${\displaystyle s\in G.}$

• および が相似である場合（つまりに対して）。より一般的には、およびが同型である場合、 G線型写像の空間は1 次元です。${\displaystyle V_{1}=V_{2}}$${\displaystyle \rho _{1}=\rho _{2},}$ ${\displaystyle F}$${\displaystyle F=\lambda {\text{Id}}}$${\displaystyle \lambda \in \mathbb {C} }$${\displaystyle \rho _{1}}$${\displaystyle \rho _{2}}$
• それ以外の場合、2つの表現が同型でない場合、Fは0になる必要がある。^[3]

2 つの表現が同値または同型であるとは、表現空間の間に -線型ベクトル空間同型性が存在する場合を指します。言い換えると、すべての に対してとなる全単射線型写像が存在する場合、それらは同型です。特に、同値な表現は同じ次数を持ちます。 ${\displaystyle (\rho ,V_{\rho }),(\pi ,V_{\pi })}$${\displaystyle G}$${\displaystyle T:V_{\rho }\to V_{\pi },}$${\displaystyle T\circ \rho (s)=\pi (s)\circ T}$${\displaystyle s\in G.}$

が単射であるとき、表現は忠実であると呼ばれる。この場合、は と像の間に同型性を誘導する。後者は の部分群なので、を介しての部分群と見なすことができる。${\displaystyle (\pi ,V_{\pi })}$${\displaystyle \pi }$${\displaystyle \pi }$${\displaystyle G}$${\displaystyle \pi (G).}$${\displaystyle {\text{GL}}(V_{\pi }),}$${\displaystyle G}$${\displaystyle \pi }$${\displaystyle {\text{Aut}}(V_{\pi }).}$

ドメインだけでなく範囲も制限できます。

を の部分群とする。を の線型表現とする。をの部分群への制限で表す。${\displaystyle H}$${\displaystyle G.}$${\displaystyle \rho }$${\displaystyle G.}$${\displaystyle {\text{Res}}_{H}(\rho )}$${\displaystyle \rho }$${\displaystyle H.}$

混乱の恐れがない場合は、単にまたは略して${\displaystyle {\text{Res}}(\rho )}$${\displaystyle {\text{Res}}\rho .}$

またはという表記は、略しての表現の制限を表すためにも使用される。${\displaystyle {\text{Res}}_{H}(V)}$${\displaystyle {\text{Res}}(V)}$${\displaystyle V}$${\displaystyle G}$${\displaystyle H.}$

を関数とすると、部分群への制限のために、または簡単に書くことができる。${\displaystyle f}$${\displaystyle G.}$${\displaystyle {\text{Res}}_{H}(f)}$${\displaystyle {\text{Res}}(f)}$${\displaystyle H.}$

群の既約表現の数（または対応する単純加群の数）は、群の共役類の数に等しいことが証明できる。${\displaystyle G}$${\displaystyle \mathbb {C} [G]}$${\displaystyle G.}$

表現が既約表現の直和として表せる場合、 その表現は半単純または完全既約と呼ばれます。これは、半単純代数の対応する定義に類似しています。

表現の直和の定義については、表現の直和のセクションを参照してください。

ある表現が、同型の既約表現のペアの直和である場合、 その表現は同型であると呼ばれます。

をグループの与えられた表現とする。をの既約表現とする。の同型は、のすべての既約部分表現の和として定義され、同型である。${\displaystyle (\rho ,V_{\rho })}$${\displaystyle G.}$${\displaystyle \tau }$${\displaystyle G.}$${\displaystyle \tau }$ ${\displaystyle V_{\rho }(\tau )}$${\displaystyle G}$${\displaystyle V}$${\displaystyle \tau .}$

上の任意のベクトル空間には、内積を与えることができます。内積が備わったベクトル空間内の群の表現は、任意の に対してがユニタリである場合、ユニタリと呼ばれます。これは特に、任意の が対角化可能であることを意味します。詳細については、ユニタリ表現に関する記事を参照してください。 ${\displaystyle \mathbb {C} }$${\displaystyle \rho }$${\displaystyle G}$${\displaystyle \rho (s)}$${\displaystyle s\in G.}$${\displaystyle \rho (s)}$

表現が与えられた内積に関してユニタリであるのは、内積が誘導された演算に関して不変である場合、すなわち、すべての${\displaystyle G,}$${\displaystyle (v|u)=(\rho (s)v|\rho (s)u)}$${\displaystyle v,u\in V_{\rho },s\in G.}$

与えられた内積は、次のように不変内積に置き換えることができる。 ${\displaystyle (\cdot |\cdot )}$${\displaystyle (v|u)}$

${\displaystyle \sum _{t\in G}(\rho (t)v|\rho (t)u).}$

したがって、一般性を失うことなく、今後検討される表現はすべてユニタリであると仮定できます。

例:が によって生成されるの二面体群で、が次の特性を満たしているとします。 が生成元上で次のように定義される の線形表現であるとします。${\displaystyle G=D_{6}=\{{\text{id}},\mu ,\mu ^{2},\nu ,\mu \nu ,\mu ^{2}\nu \}}$ ${\displaystyle 6}$${\displaystyle \mu ,\nu }$${\displaystyle {\text{ord}}(\nu )=2,{\text{ord}}(\mu )=3}$${\displaystyle \nu \mu \nu =\mu ^{2}.}$${\displaystyle \rho :D_{6}\to {\text{GL}}_{3}(\mathbb {C} )}$${\displaystyle D_{6}}$

${\displaystyle \rho (\mu )=\left({\begin{array}{ccc}\cos({\frac {2\pi }{3}})&0&-\sin({\frac {2\pi }{3}})\\0&1&0\\\sin({\frac {2\pi }{3}})&0&\cos({\frac {2\pi }{3}})\end{array}}\right),\,\,\,\,\rho (\nu )=\left({\begin{array}{ccc}-1&0&0\\0&-1&0\\0&0&1\end{array}}\right).}$

この表現は忠実である。部分空間は-不変部分空間である。したがって、を伴う非自明な部分表現が存在する。したがって、表現は既約ではない。前述の部分表現は次数1で既約である。の補部分空間も -不変である。したがって、を伴う 部分表現が得られる。${\displaystyle \mathbb {C} e_{2}}$${\displaystyle D_{6}}$${\displaystyle \rho |_{\mathbb {C} e_{2}}:D_{6}\to \mathbb {C} ^{\times }}$${\displaystyle \nu \mapsto -1,\mu \mapsto 1.}$${\displaystyle \mathbb {C} e_{2}}$${\displaystyle D_{6}}$${\displaystyle \rho |_{\mathbb {C} e_{1}\oplus \mathbb {C} e_{3}}}$

${\displaystyle \nu \mapsto {\begin{pmatrix}-1&0\\0&1\end{pmatrix}},\,\,\,\,\mu \mapsto {\begin{pmatrix}\cos({\frac {2\pi }{3}})&-\sin({\frac {2\pi }{3}})\\\sin({\frac {2\pi }{3}})&\cos({\frac {2\pi }{3}})\end{pmatrix}}.}$

この部分表現も既約です。つまり、元の表現は完全に既約です。

${\displaystyle \rho =\rho |_{\mathbb {C} e_{2}}\oplus \rho |_{\mathbb {C} e_{1}\oplus \mathbb {C} e_{3}}.}$

両方のサブ表現は同型であり、${\displaystyle \rho .}$

とはユニタリなので、この表現は上の標準内積に関してユニタリです。 ${\displaystyle \rho }$${\displaystyle \mathbb {C} ^{3},}$${\displaystyle \rho (\mu )}$${\displaystyle \rho (\nu )}$

を任意のベクトル空間同型とする。すると、すべてのに対して方程式で定義されるは、に同型な表現である。${\displaystyle T:\mathbb {C} ^{3}\to \mathbb {C} ^{3}}$${\displaystyle \eta :D_{6}\to {\text{GL}}_{3}(\mathbb {C} ),}$${\displaystyle \eta (s):=T\circ \rho (s)\circ T^{-1}}$${\displaystyle s\in D_{6},}$${\displaystyle \rho .}$

表現のドメインをサブグループに制限することにより、たとえば、表現が得られます。この表現は、明示的な形式が上に示されている画像によって定義されます。 ${\displaystyle H=\{{\text{id}},\mu ,\mu ^{2}\},}$${\displaystyle {\text{Res}}_{H}(\rho ).}$${\displaystyle \rho (\mu ),}$

を与えられた表現とします。双対表現または反逆表現は、の双対ベクトル空間における表現です。 これは、次の性質によって定義されます。 ${\displaystyle \rho :G\to {\text{GL}}(V)}$ ${\displaystyle \rho ^{*}:G\to {\text{GL}}(V^{*})}$${\displaystyle G}$${\displaystyle V.}$

${\displaystyle \forall s\in G,v\in V,\alpha \in V^{*}:\qquad \left(\rho ^{*}(s)\alpha \right)(v)=\alpha \left(\rho \left(s^{-1}\right)v\right).}$

と の自然な組み合わせに関して、上記の定義は次の式を提供します。 ${\displaystyle \langle \alpha ,v\rangle :=\alpha (v)}$${\displaystyle V^{*}}$${\displaystyle V}$

${\displaystyle \forall s\in G,v\in V,\alpha \in V^{*}:\qquad \langle \rho ^{*}(s)(\alpha ),\rho (s)(v)\rangle =\langle \alpha ,v\rangle .}$

例については、このトピックのメイン ページ「Dual presentation」を参照してください。

とをそれぞれと表現すると、これらの表現の直和は線形表現であり、次のように定義されます。 ${\displaystyle (\rho _{1},V_{1})}$${\displaystyle (\rho _{2},V_{2})}$${\displaystyle G_{1}}$${\displaystyle G_{2},}$

${\displaystyle \forall s_{1}\in G_{1},s_{2}\in G_{2},v_{1}\in V_{1},v_{2}\in V_{2}:\qquad {\begin{cases}\rho _{1}\oplus \rho _{2}:G_{1}\times G_{2}\to {\text{GL}}(V_{1}\oplus V_{2})\\[4pt](\rho _{1}\oplus \rho _{2})(s_{1},s_{2})(v_{1},v_{2}):=\rho _{1}(s_{1})v_{1}\oplus \rho _{2}(s_{2})v_{2}\end{cases}}}$

を同じ群の表現とします。簡単にするために、これらの表現の直和は の表現として定義されます。つまり、の対角部分群として見るととして与えられます。${\displaystyle \rho _{1},\rho _{2}}$${\displaystyle G.}$${\displaystyle G,}$${\displaystyle \rho _{1}\oplus \rho _{2}:G\to {\text{GL}}(V_{1}\oplus V_{2}),}$${\displaystyle G}$${\displaystyle G\times G.}$

例:とします (ここで、はそれぞれ虚数単位と 1 の原始立方根です)。 ${\displaystyle i}$${\displaystyle \omega }$

${\displaystyle {\begin{cases}\rho _{1}:\mathbb {Z} /2\mathbb {Z} \to {\text{GL}}_{2}(\mathbb {C} )\\[4pt]\rho _{1}(1)={\begin{pmatrix}0&-i\\i&0\end{pmatrix}}\end{cases}}\qquad \qquad {\begin{cases}\rho _{2}:\mathbb {Z} /3\mathbb {Z} \to {\text{GL}}_{3}(\mathbb {C} )\\[6pt]\rho _{2}(1)={\begin{pmatrix}1&0&\omega \\0&\omega &0\\0&0&\omega ^{2}\end{pmatrix}}\end{cases}}}$

それから

${\displaystyle {\begin{cases}\rho _{1}\oplus \rho _{2}:\mathbb {Z} /2\mathbb {Z} \times \mathbb {Z} /3\mathbb {Z} \to {\text{GL}}\left(\mathbb {C} ^{2}\oplus \mathbb {C} ^{3}\right)\\[6pt]\left(\rho _{1}\oplus \rho _{2}\right)(k,l)={\begin{pmatrix}\rho _{1}(k)&0\\0&\rho _{2}(l)\end{pmatrix}}&k\in \mathbb {Z} /2\mathbb {Z} ,l\in \mathbb {Z} /3\mathbb {Z} \end{cases}}}$

生成元像を考えるだけで十分であるので、

${\displaystyle (\rho _{1}\oplus \rho _{2})(1,1)={\begin{pmatrix}0&-i&0&0&0\\i&0&0&0&0\\0&0&1&0&\omega \\0&0&0&\omega &0\\0&0&0&0&\omega ^{2}\end{pmatrix}}}$

を線型表現とします。線型表現を、 とのテンソル積で定義します。この表現は、表現 と の外テンソル積と呼ばれます。存在と一意性は、テンソル積 の特性の結果です。 ${\displaystyle \rho _{1}:G_{1}\to {\text{GL}}(V_{1}),\rho _{2}:G_{2}\to {\text{GL}}(V_{2})}$${\displaystyle \rho _{1}\otimes \rho _{2}:G_{1}\times G_{2}\to {\text{GL}}(V_{1}\otimes V_{2})}$${\displaystyle V_{1}}$${\displaystyle V_{2}}$${\displaystyle \rho _{1}\otimes \rho _{2}(s_{1},s_{2})=\rho _{1}(s_{1})\otimes \rho _{2}(s_{2}),}$${\displaystyle s_{1}\in G_{1},s_{2}\in G_{2}.}$${\displaystyle \rho _{1}}$${\displaystyle \rho _{2}.}$

例:直和の例をもう一度見てみましょう。

${\displaystyle {\begin{cases}\rho _{1}:\mathbb {Z} /2\mathbb {Z} \to {\text{GL}}_{2}(\mathbb {C} )\\[4pt]\rho _{1}(1)={\begin{pmatrix}0&-i\\i&0\end{pmatrix}}\end{cases}}\qquad \qquad {\begin{cases}\rho _{2}:\mathbb {Z} /3\mathbb {Z} \to {\text{GL}}_{3}(\mathbb {C} )\\[6pt]\rho _{2}(1)={\begin{pmatrix}1&0&\omega \\0&\omega &0\\0&0&\omega ^{2}\end{pmatrix}}\end{cases}}}$

外テンソル積

${\displaystyle {\begin{cases}\rho _{1}\otimes \rho _{2}:\mathbb {Z} /2\mathbb {Z} \times \mathbb {Z} /3\mathbb {Z} \to {\text{GL}}(\mathbb {C} ^{2}\otimes \mathbb {C} ^{3})\\(\rho _{1}\otimes \rho _{2})(k,l)=\rho _{1}(k)\otimes \rho _{2}(l)&k\in \mathbb {Z} /2\mathbb {Z} ,l\in \mathbb {Z} /3\mathbb {Z} \end{cases}}}$

の標準的な基底を使用すると、生成要素は次のようになります。 ${\displaystyle \mathbb {C} ^{2}\otimes \mathbb {C} ^{3}\cong \mathbb {C} ^{6}}$

${\displaystyle \rho _{1}\otimes \rho _{2}(1,1)=\rho _{1}(1)\otimes \rho _{2}(1)={\begin{pmatrix}0&0&0&-i&0&-i\omega \\0&0&0&0&-i\omega &0\\0&0&0&0&0&-i\omega ^{2}\\i&0&i\omega &0&0&0\\0&i\omega &0&0&0&0\\0&0&i\omega ^{2}&0&0&0\end{pmatrix}}}$

注意:直和とテンソル積は次数が異なるため、表現も異なることに注意してください。

を同じグループの 2 つの線形表現とします。を の元とすると、はに対してによって定義され、 と書きます。すると、マップはの線形表現を定義します。これは、指定された表現の テンソル積とも呼ばれます。${\displaystyle \rho _{1}:G\to {\text{GL}}(V_{1}),\rho _{2}:G\to {\text{GL}}(V_{2})}$${\displaystyle s}$${\displaystyle G.}$${\displaystyle \rho (s)\in {\text{GL}}(V_{1}\otimes V_{2})}$${\displaystyle \rho (s)(v_{1}\otimes v_{2})=\rho _{1}(s)v_{1}\otimes \rho _{2}(s)v_{2},}$${\displaystyle v_{1}\in V_{1},v_{2}\in V_{2},}$${\displaystyle \rho (s)=\rho _{1}(s)\otimes \rho _{2}(s).}$${\displaystyle s\mapsto \rho (s)}$${\displaystyle G,}$

これら 2 つのケースは厳密に区別する必要があります。最初のケースは、対応する表現空間のテンソル積への群積の表現です。2 番目のケースは、この 1 つのグループの 2 つの表現空間のテンソル積への群の表現です。ただし、この最後のケースは、対角部分群に焦点を当てることで、最初のケースの特殊なケースとして見ることができます。この定義は、有限回数繰り返すことができます。 ${\displaystyle G}$${\displaystyle G\times G.}$

およびを群の表現とすると、 は次の恒等式により表現となります: 。およびを 上の表現とします。 を上の表現とします。 上の表現とします。 上記の恒等式により、次の結果が導かれます。 ${\displaystyle V}$${\displaystyle W}$${\displaystyle G.}$${\displaystyle {\text{Hom}}(V,W)}$${\displaystyle {\text{Hom}}(V,W)=V^{*}\otimes W}$${\displaystyle B\in {\text{Hom}}(V,W)}$${\displaystyle \rho }$${\displaystyle {\text{Hom}}(V,W).}$${\displaystyle \rho _{V}}$${\displaystyle V}$${\displaystyle \rho _{W}}$${\displaystyle W.}$

${\displaystyle \rho (s)(B)v=\rho _{W}(s)\circ B\circ \rho _{V}(s^{-1})v}$全ての${\displaystyle s\in G,v\in V.}$

定理。同型までの の既約表現は、 と がそれぞれとの既約表現である表現とまったく同じです。${\displaystyle G_{1}\times G_{2}}$${\displaystyle \rho _{1}\otimes \rho _{2}}$${\displaystyle \rho _{1}}$${\displaystyle \rho _{2}}$${\displaystyle G_{1}}$${\displaystyle G_{2},}$

をの線形表現とする。をの基底とする。を線形拡張して定義する。すると、となり、したがって、次のよう に分割される。${\displaystyle \rho :G\to V\otimes V}$${\displaystyle G.}$${\displaystyle (e_{k})}$${\displaystyle V.}$${\displaystyle \vartheta :V\otimes V\to V\otimes V}$${\displaystyle \vartheta (e_{k}\otimes e_{j})=e_{j}\otimes e_{k}}$${\displaystyle \vartheta ^{2}=1}$${\displaystyle V\otimes V}$${\displaystyle V\otimes V={\text{Sym}}^{2}(V)\oplus {\text{Alt}}^{2}(V),}$

${\displaystyle {\text{Sym}}^{2}(V)=\{z\in V\otimes V:\vartheta (z)=z\}}$

${\displaystyle {\text{Alt}}^{2}(V)=\bigwedge ^{2}V=\{z\in V\otimes V:\vartheta (z)=-z\}.}$

これらの部分空間は – 不変であり、これによってそれぞれ対称正方形および交代正方形と呼ばれる部分表現が定義されます。これらの部分表現は でも定義されますが、この場合はウェッジ積および対称積 と表されます。ただし、ベクトル空間は一般にこれら 2 つの積の直和に等しくありません。 ${\displaystyle G}$${\displaystyle V^{\otimes m},}$${\displaystyle \bigwedge ^{m}V}$${\displaystyle {\text{Sym}}^{m}(V).}$${\displaystyle m>2,}$${\displaystyle V^{\otimes m}}$

表現をより簡単に理解するためには、表現空間をより単純な部分表現の直和に分解することが望ましいでしょう。これは、以下の結果でわかるように、有限群に対して実現できます。より詳細な説明と証明は、[1] と [2] にあります。

定理。( Maschke )を線型表現とし、を特性0 の体上のベクトル空間とします。を の -不変部分空間とします。すると、の補集合が に存在し、 は-不変です。${\displaystyle \rho :G\to {\text{GL}}(V)}$${\displaystyle V}$${\displaystyle W}$${\displaystyle G}$${\displaystyle V.}$${\displaystyle W^{0}}$${\displaystyle W}$${\displaystyle V}$${\displaystyle G}$

部分表現とその補表現によって表現が一意に決定されます。

次の定理は、コンパクト群、つまり有限群 の表現に関する非常に美しい結果を提供するため、より一般的な方法で提示されます。

定理。特性 0 の体上のコンパクト群のすべての線型表現は、既約表現の直和である。

または、 - モジュールの言語では、グループ代数が半単純である場合、つまり、単純な代数の直和である場合です。 ${\displaystyle K[G]}$${\displaystyle {\text{char}}(K)=0,}$${\displaystyle K[G]}$

この分解は一意ではないことに注意してください。ただし、この分解で、与えられた既約表現と同型な部分表現が何回出現するかは、分解の選択とは無関係です。

標準分解

一意の分解を達成するには、互いに同型であるすべての既約な部分表現を組み合わせる必要があります。つまり、表現空間はその同型の直和に分解されます。この分解は一意に決定されます。これは標準分解と呼ばれます。

を同型を除いて群のすべての既約表現の集合とする。をの表現とし、をのすべての同型集合とする。標準分解に対応する射影は次のように与え られる。${\displaystyle (\tau _{j})_{j\in I}}$${\displaystyle G}$${\displaystyle V}$${\displaystyle G}$${\displaystyle \{V(\tau _{j})|j\in I\}}$${\displaystyle V.}$ ${\displaystyle p_{j}:V\to V(\tau _{j})}$

${\displaystyle p_{j}={\frac {n_{j}}{g}}\sum _{t\in G}{\overline {\chi _{\tau _{j}}(t)}}\rho (t),}$

ここで、およびは、${\displaystyle n_{j}=\dim(\tau _{j}),}$ ${\displaystyle g={\text{ord}}(G)}$${\displaystyle \chi _{\tau _{j}}}$${\displaystyle \tau _{j}.}$

以下では、自明な表現に対する同型を決定する方法を示します。

定義（射影式）。群のあらゆる表現について定義する。 ${\displaystyle (\rho ,V)}$${\displaystyle G}$

${\displaystyle V^{G}:=\{v\in V:\rho (s)v=v\,\,\,\,\forall \,s\in G\}.}$

一般に、は線形ではない。定義する。 ${\displaystyle \rho (s):V\to V}$${\displaystyle G}$

${\displaystyle P:={\frac {1}{|G|}}\sum _{s\in G}\rho (s)\in {\text{End}}(V).}$

は-線型写像である。なぜなら ${\displaystyle P}$${\displaystyle G}$

${\displaystyle \forall t\in G:\qquad \sum _{s\in G}\rho (s)=\sum _{s\in G}\rho (tst^{-1}).}$

命題。地図はからへの投影である${\displaystyle P}$${\displaystyle V}$${\displaystyle V^{G}.}$

この命題により、与えられた表現の自明な部分表現に対する同型を明示的に決定することが可能になります。

における自明な表現がどのくらいの頻度で出現するかは、次のように与えられる。この結果は、射影の固有値がまたはのみであり、固有値に対応する固有空間が射影の像であるという事実の結果である。射影のトレースはすべての固有値の合計であるため、次の結果が得られる。 ${\displaystyle V}$${\displaystyle {\text{Tr}}(P).}$${\displaystyle 0}$${\displaystyle 1}$${\displaystyle 1}$

${\displaystyle \dim(V(1))=\dim(V^{G})=Tr(P)={\frac {1}{|G|}}\sum _{s\in G}\chi _{V}(s),}$

ここで、は自明な表現の同型を表します。 ${\displaystyle V(1)}$

を の非自明な既約表現とすると、 の自明な表現の同型は零空間である。つまり、次の式が成り立つ。 ${\displaystyle V_{\pi }}$${\displaystyle G.}$${\displaystyle \pi }$

${\displaystyle P={\frac {1}{|G|}}\sum _{s\in G}\pi (s)=0.}$

を の正規直交基底とすると、次式が得られます。 ${\displaystyle e_{1},...,e_{n}}$${\displaystyle V_{\pi }.}$

${\displaystyle \sum _{s\in G}{\text{Tr}}(\pi (s))=\sum _{s\in G}\sum _{j=1}^{n}\langle \pi (s)e_{j},e_{j}\rangle =\sum _{j=1}^{n}\left\langle \sum _{s\in G}\pi (s)e_{j},e_{j}\right\rangle =0.}$

したがって、非自明な既約表現に対して以下が有効です。 ${\displaystyle V}$

${\displaystyle \sum _{s\in G}\chi _{V}(s)=0.}$

例: 3 つの要素の順列群を とします。を生成要素上で次のように定義される の線形表現とします。${\displaystyle G={\text{Per}}(3)}$${\displaystyle \rho :{\text{Per}}(3)\to {\text{GL}}_{5}(\mathbb {C} )}$${\displaystyle {\text{Per}}(3)}$

${\displaystyle \rho (1,2)={\begin{pmatrix}-1&2&0&0&0\\0&1&0&0&0\\0&0&0&1&0\\0&0&1&0&0\\0&0&0&0&1\end{pmatrix}},\quad \rho (1,3)={\begin{pmatrix}{\frac {1}{2}}&{\frac {1}{2}}&0&0&0\\{\frac {1}{2}}&-1&0&0&0\\0&0&0&0&1\\0&0&0&1&0\\0&0&1&0&0\end{pmatrix}},\quad \rho (2,3)={\begin{pmatrix}0&-2&0&0&0\\-{\frac {1}{2}}&0&0&0&0\\0&0&1&0&0\\0&0&0&0&1\\0&0&0&1&0\end{pmatrix}}.}$

この表現は、一見すると、次のように表される左正規表現と、 ${\displaystyle {\text{Per}}(3),}$${\displaystyle \pi }$${\displaystyle \eta :{\text{Per}}(3)\to {\text{GL}}_{2}(\mathbb {C} )}$

${\displaystyle \eta (1,2)={\begin{pmatrix}-1&2\\0&1\end{pmatrix}},\quad \eta (1,3)={\begin{pmatrix}{\frac {1}{2}}&{\frac {1}{2}}\\{\frac {1}{2}}&-1\end{pmatrix}},\quad \eta (2,3)={\begin{pmatrix}0&-2\\-{\frac {1}{2}}&0\end{pmatrix}}.}$

次の章で説明する既約性基準の助けを借りれば、 は既約ではないが、 はそうではないことが分かります。これは、（以下の「内積と指標」の内積に関して）${\displaystyle \eta }$${\displaystyle \pi }$${\displaystyle (\eta |\eta )=1,(\pi |\pi )=2.}$

の部分空間は左正規表現に関して不変です。この部分空間に制限すると、自明な表現が得られます。 ${\displaystyle \mathbb {C} (e_{1}+e_{2}+e_{3})}$${\displaystyle \mathbb {C} ^{3}}$

の直交補空間は、この部分空間に制限され、これも上で見たように -不変であるため、次のように 表現される。${\displaystyle \mathbb {C} (e_{1}+e_{2}+e_{3})}$${\displaystyle \mathbb {C} (e_{1}-e_{2})\oplus \mathbb {C} (e_{1}+e_{2}-2e_{3}).}$${\displaystyle G}$${\displaystyle \tau }$

${\displaystyle \tau (1,2)={\begin{pmatrix}-1&0\\0&1\end{pmatrix}},\quad \tau (1,3)={\begin{pmatrix}{\frac {1}{2}}&{\frac {3}{2}}\\{\frac {1}{2}}&-{\frac {1}{2}}\end{pmatrix}},\quad \tau (2,3)={\begin{pmatrix}{\frac {1}{2}}&-{\frac {3}{2}}\\-{\frac {1}{2}}&-{\frac {1}{2}}\end{pmatrix}}.}$

再び、次の章の既約性基準を使って、が既約でないことを証明することができます。さて、と は同型です。なぜなら、のすべてに対して、は行列によって与えられるからです。 ${\displaystyle \tau }$${\displaystyle \eta }$${\displaystyle \tau }$${\displaystyle \eta (s)=B\circ \tau (s)\circ B^{-1}}$${\displaystyle s\in {\text{Per}}(3),}$${\displaystyle B:\mathbb {C} ^{2}\to \mathbb {C} ^{2}}$

${\displaystyle M_{B}={\begin{pmatrix}2&2\\0&2\end{pmatrix}}.}$

の既約部分表現への分解は次のようになる。ここで は自明表現を表し、 ${\displaystyle (\rho ,\mathbb {C} ^{5})}$${\displaystyle \rho =\tau \oplus \eta \oplus 1}$${\displaystyle 1}$

${\displaystyle \mathbb {C} ^{5}=\mathbb {C} (e_{1},e_{2})\oplus \mathbb {C} (e_{3}-e_{4},e_{3}+e_{4}-2e_{5})\oplus \mathbb {C} (e_{3}+e_{4}+e_{5})}$

表現空間の対応する分解です。

すべての同型既約部分表現を組み合わせることで、標準分解が得られます。は の同型であり、したがって標準分解は次のように与えられます。 ${\displaystyle \rho _{1}:=\eta \oplus \tau }$${\displaystyle \tau }$${\displaystyle \rho }$

${\displaystyle \rho =\rho _{1}\oplus 1,\qquad \mathbb {C} ^{5}=\mathbb {C} (e_{1},e_{2},e_{3}-e_{4},e_{3}+e_{4}-2e_{5})\oplus \mathbb {C} (e_{3}+e_{4}+e_{5}).}$

上記の定理は一般に無限群には当てはまりません。これは次の例で示されます。

${\displaystyle G=\{A\in {\text{GL}}_{2}(\mathbb {C} )|\,A\,\,{\text{ is an upper triangular matrix}}\}.}$

行列の乗算は、無限群です。は、行列ベクトルの乗算によって に作用します。すべての の表現を考えます。部分空間は - 不変部分空間です。 ただし、この部分空間に対する - 不変補空間は存在しません。 このような補空間が存在するという仮定は、すべての行列が上で対角化可能であることを意味します。これは誤りであることがわかっており、矛盾が生じます。 ${\displaystyle G}$${\displaystyle G}$${\displaystyle \mathbb {C} ^{2}}$${\displaystyle \rho (A)=A}$${\displaystyle A\in G.}$${\displaystyle \mathbb {C} e_{1}}$${\displaystyle G}$${\displaystyle G}$${\displaystyle \mathbb {C} .}$

この話の教訓は、無限群を考慮すると、表現（たとえそれが既約でないものであっても）を既約な部分表現の直和に分解できない可能性があるということです。

表現の特性は、マップとして定義されます ${\displaystyle \rho :G\to {\text{GL}}(V)}$

${\displaystyle \chi _{\rho }:G\to \mathbb {C} ,\chi _{\rho }(s):={\text{Tr}}(\rho (s)),}$ここで、は線型写像の軌跡を表す^[4]${\displaystyle {\text{Tr}}(\rho (s))}$${\displaystyle \rho (s).}$

たとえこのキャラクターが 2 つのグループ間の写像であったとしても、次の例が示すように、一般にはグループ準同型ではありません。

を次のように定義される表現とします 。${\displaystyle \rho :\mathbb {Z} /2\mathbb {Z} \times \mathbb {Z} /2\mathbb {Z} \to {\text{GL}}_{2}(\mathbb {C} )}$

${\displaystyle \rho (0,0)={\begin{pmatrix}1&0\\0&1\end{pmatrix}},\quad \rho (1,0)={\begin{pmatrix}-1&0\\0&-1\end{pmatrix}},\quad \rho (0,1)={\begin{pmatrix}0&1\\1&0\end{pmatrix}},\quad \rho (1,1)={\begin{pmatrix}0&-1\\-1&0\end{pmatrix}}.}$

この文字は ${\displaystyle \chi _{\rho }}$

${\displaystyle \chi _{\rho }(0,0)=2,\quad \chi _{\rho }(1,0)=-2,\quad \chi _{\rho }(0,1)=\chi _{\rho }(1,1)=0.}$

置換表現の指標は特に計算が簡単である。Vが有限集合 の左作用に対応するG表現である場合、 ${\displaystyle G}$${\displaystyle X}$

${\displaystyle \chi _{V}(s)=|\{x\in X|s\cdot x=x\}|.}$

例えば^[5]の正規表現の特徴は次のように表される。 ${\displaystyle R}$

${\displaystyle \chi _{R}(s)={\begin{cases}0&s\neq e\\|G|&s=e\end{cases}},}$

ここで、は中性要素を表す。${\displaystyle e}$${\displaystyle G.}$

文字の重要な性質は、

${\displaystyle \chi (tst^{-1})=\chi (s),\,\,\forall \,s,t\in G.}$

この式は、2 つの正方行列の積ABのトレースがBAのトレースと同じであるという事実から導かれます。このような式を満たす関数は、クラス関数と呼ばれます。言い換えると、クラス関数、特に特性は、各共役クラスで一定です。 また、トレースの基本特性から、重複度を持つ の固有値の和が従います。表現の次数がnの場合、和はn長です。sの位数がmの場合、これらの固有値はすべて 1 の m 乗根です。この事実を使用して、次のことを示すことができ、また次のことも意味します。${\displaystyle G\to \mathbb {C} }$ ${\displaystyle C_{s}=\{tst^{-1}|t\in G\}.}$${\displaystyle \chi (s)}$${\displaystyle \rho (s)}$${\displaystyle \chi (s^{-1})={\overline {\chi (s)}},\,\,\,\forall \,s\in G}$${\displaystyle |\chi (s)|\leqslant n.}$

単位行列のトレースは行数なので、はの中立要素であり、n は表現の次元です。一般に、は の正規部分群です。次の表は、2 つの与えられた表現の 文字が、関連する表現の文字をどのように生成するかを示しています。 ${\displaystyle \chi (e)=n,}$${\displaystyle e}$${\displaystyle G}$${\displaystyle \{s\in G|\chi (s)=n\}}$${\displaystyle G.}$${\displaystyle \chi _{1},\chi _{2}}$${\displaystyle \rho _{1}:G\to {\text{GL}}(V_{1}),\rho _{2}:G\to {\text{GL}}(V_{2})}$

構築により、 の直和分解が存在します。文字に関して、これは、表の最後の 2 つの式の和が、つまり の文字であるという事実に対応します。 ${\displaystyle V\otimes V=Sym^{2}(V)\oplus \bigwedge ^{2}V}$${\displaystyle \chi (s)^{2}}$${\displaystyle V\otimes V}$

キャラクターに関する特に興味深い結果を示すには、グループ上のより一般的なタイプの関数を考慮すると効果的です。

定義（クラス関数）。関数が の共役類上で定数である場合、その関数はクラス関数 と呼ばれます。つまり、 ${\displaystyle \varphi :G\to \mathbb {C} }$${\displaystyle G}$

${\displaystyle \forall s,t\in G:\quad \varphi \left(sts^{-1}\right)=\varphi (t).}$

行列のトレースは共役の下で保存されるため、すべての文字がクラス関数であることに注意してください。

すべてのクラス関数の集合は-代数であり、 と表記される。その次元は、${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} _{\text{class}}(G)}$${\displaystyle G.}$

この章の以下の結果の証明は[1]、[2]、[3]に記載されています。

内積は有限群上のすべてのクラス関数の集合上で定義できます。

${\displaystyle (f|h)_{G}={\frac {1}{|G|}}\sum _{t\in G}f(t){\overline {h(t)}}}$

正規直交性。が の異なる既約指標である場合 、それらは上で定義した内積に関してすべての類関数のベクトル空間の正規直交基底を形成します。つまり、 ${\displaystyle \chi _{1},\ldots ,\chi _{k}}$${\displaystyle G}$

• ${\displaystyle (\chi _{i}|\chi _{j})={\begin{cases}1{\text{ if }}i=j\\0{\text{ otherwise }}\end{cases}}.}$
• すべてのクラス関数は、既約な文字の一意の線形結合として表現できます。${\displaystyle f}$${\displaystyle \chi _{1},\ldots ,\chi _{k}}$

既約指標が生成することを検証するには、すべての既約指標に直交する非ゼロの類関数が存在しないことを示す必要がある。表現 と類関数 について、 と表す。すると、既約 について、シュアーの補題が得られる。がすべての指標に直交する類関数であるとする。すると、上記により、 が既約である場合は常に が得られる。しかし、すると、分解可能性により、すべてのについて が得られる。を正規表現 とする。ある特定の基底要素 に適用すると、 が得られる。これはすべての について成り立つため、${\displaystyle \mathbb {C} _{\text{class}}(G)}$${\displaystyle \rho }$${\displaystyle f}$${\displaystyle \rho _{f}=\sum _{g}f(g)\rho (g).}$${\displaystyle \rho }$${\displaystyle \rho _{f}={\frac {|G|}{n}}\langle f,\chi _{V}^{*}\rangle \in End(V)}$${\displaystyle f}$${\displaystyle \rho _{f}=0}$${\displaystyle \rho }$${\displaystyle \rho _{f}=0}$${\displaystyle \rho }$${\displaystyle \rho }$${\displaystyle \rho _{f}}$${\displaystyle g}$${\displaystyle f(g)=0}$${\displaystyle g}$${\displaystyle f=0.}$

正規直交性から、群の非同型既約表現の数は群の共役類の数に等しいことが分かる。${\displaystyle G}$${\displaystyle G.}$

さらに、 上のクラス関数は、非負の整数係数を持つ個別の既約指標の線形結合として記述できる場合に限り、の指標です。 が 上のクラス関数で、 が非負の整数である場合、 はに対応する表現の直和の指標です。逆に、任意の指標を既約指標の和として記述することは常に可能です。 ${\displaystyle G}$${\displaystyle G}$${\displaystyle \chi _{j}}$${\displaystyle \varphi }$${\displaystyle G}$${\displaystyle \varphi =c_{1}\chi _{1}+\cdots +c_{k}\chi _{k}}$${\displaystyle c_{j}}$${\displaystyle \varphi }$${\displaystyle c_{1}\tau _{1}\oplus \cdots \oplus c_{k}\tau _{k}}$${\displaystyle \tau _{j}}$${\displaystyle \chi _{j}.}$

上記で定義した内積は、有限群上の すべての- 値関数の集合に拡張できます。${\displaystyle \mathbb {C} }$${\displaystyle L^{1}(G)}$

${\displaystyle (f|h)_{G}={\frac {1}{|G|}}\sum _{t\in G}f(t){\overline {h(t)}}}$

対称双線型形式は次のように定義される。${\displaystyle L^{1}(G):}$

${\displaystyle \langle f,h\rangle _{G}={\frac {1}{|G|}}\sum _{t\in G}f(t)h(t^{-1})}$

これら 2 つの形式は文字セット上で一致します。混乱の危険がない場合は、両方の形式のインデックスは省略されます。 ${\displaystyle (\cdot |\cdot )_{G}}$${\displaystyle \langle \cdot |\cdot \rangle _{G}}$

を 2 つの - 加群とします。- 加群は単に の表現であることに注意してください。正規直交性により、 の既約表現の数はの共役類の数とまったく同じであるため、 の共役類の数とまったく同じ数の単純- 加群（同型を除く）が存在します。${\displaystyle V_{1},V_{2}}$${\displaystyle \mathbb {C} [G]}$${\displaystyle \mathbb {C} [G]}$${\displaystyle G}$${\displaystyle G}$${\displaystyle \mathbb {C} [G]}$${\displaystyle G.}$

をすべての -線型写像のベクトル空間として定義します。この形式は直和に関して双線型です。 ${\displaystyle \langle V_{1},V_{2}\rangle _{G}:=\dim({\text{Hom}}^{G}(V_{1},V_{2})),}$${\displaystyle {\text{Hom}}^{G}(V_{1},V_{2})}$${\displaystyle G}$

以下では、これらの双線型形式により、表現の分解と既約性に関するいくつかの重要な結果を得ることができます。

例えば、とをそれぞれととする。すると${\displaystyle \chi _{1}}$${\displaystyle \chi _{2}}$${\displaystyle V_{1}}$${\displaystyle V_{2},}$${\displaystyle \langle \chi _{1},\chi _{2}\rangle _{G}=(\chi _{1}|\chi _{2})_{G}=\langle V_{1},V_{2}\rangle _{G}.}$

上記の結果から、シューアの補題と表現の完全な還元可能性とともに、次の定理を導くことができます。

定理。を特性 を持つの線型表現とします。 が既約であるとします。を特性 を持つの既約表現とします。 と同型である部分表現の数は、与えられた分解とは無関係であり、内積に等しくなります。つまり、の–同型は分解の選択とは無関係です。また、次の式も得られます。 ${\displaystyle V}$${\displaystyle G}$${\displaystyle \xi .}$${\displaystyle V=W_{1}\oplus \cdots \oplus W_{k},}$${\displaystyle W_{j}}$${\displaystyle (\tau ,W)}$${\displaystyle G}$${\displaystyle \chi .}$${\displaystyle W_{j}}$${\displaystyle W}$${\displaystyle (\xi |\chi ),}$${\displaystyle \tau }$${\displaystyle V(\tau )}$${\displaystyle V}$

${\displaystyle (\xi |\chi )={\frac {\dim(V(\tau ))}{\dim(\tau )}}=\langle V,W\rangle }$

そしてこうして

${\displaystyle \dim(V(\tau ))=\dim(\tau )(\xi |\chi ).}$

系。同じ特性を持つ 2 つの表現は同型です。つまり、すべての表現はその特性によって決まります。

これにより、表現を分析するための非常に有用な結果が得られます。

既約性基準。 を表現の文字とすると、が既約である場合にのみ、 が成立します。 ${\displaystyle \chi }$${\displaystyle V,}$${\displaystyle (\chi |\chi )\in \mathbb {N} _{0}.}$${\displaystyle (\chi |\chi )=1}$${\displaystyle V}$

したがって、最初の定理を使用すると、 の既約表現のキャラクターは、この内積に関して 正規直交集合を形成します。${\displaystyle G}$${\displaystyle \mathbb {C} _{\text{class}}(G)}$

系。をベクトル空間とすると、 の与えられた既約表現は、正規表現に – 回含まれます。言い換えると、 がの正規表現を表す場合、次が成り立ちます。は、互いに同型でない のすべての既約表現の集合です。${\displaystyle V}$${\displaystyle \dim(V)=n.}$${\displaystyle V}$${\displaystyle G}$${\displaystyle n}$${\displaystyle R}$${\displaystyle G}$${\displaystyle R\cong \oplus (W_{j})^{\oplus \dim(W_{j})},}$${\displaystyle \{W_{j}|j\in I\}}$${\displaystyle G}$

群代数の観点から言えば、これは代数として次のことを意味します。 ${\displaystyle \mathbb {C} [G]\cong \oplus _{j}{\text{End}}(W_{j})}$

数値結果としては次のようになります。

${\displaystyle |G|=\chi _{R}(e)=\dim(R)=\sum _{j}\dim \left((W_{j})^{\oplus (\chi _{W_{j}}|\chi _{R})}\right)=\sum _{j}(\chi _{W_{j}}|\chi _{R})\cdot \dim(W_{j})=\sum _{j}\dim(W_{j})^{2},}$

ここで、は正規表現であり、と はそれぞれとに対応する文字です。 はグループの中立要素を表すことを思い出してください。 ${\displaystyle R}$${\displaystyle \chi _{W_{j}}}$${\displaystyle \chi _{R}}$${\displaystyle W_{j}}$${\displaystyle R,}$${\displaystyle e}$

この式は、同型性までのグループの既約表現を分類する問題に対する「必要かつ十分な」条件です。グループの既約表現のすべての同型クラスが見つかったかどうかを確認する手段を提供します。

同様に、正規表現の文字を で評価すると、次の式が得られます。 ${\displaystyle s\neq e,}$

${\displaystyle 0=\chi _{R}(s)=\sum _{j}\dim(W_{j})\cdot \chi _{W_{j}}(s).}$

畳み込み代数による表現の記述を使用すると、これらの方程式の同等の定式化が実現されます。

フーリエ反転の公式:

${\displaystyle f(s)={\frac {1}{|G|}}\sum _{\rho {\text{ irr. rep. of }}G}\dim(V_{\rho })\cdot {\text{Tr}}(\rho (s^{-1})\cdot {\hat {f}}(\rho )).}$

さらに、プランシュレルの公式は次のようになります。

${\displaystyle \sum _{s\in G}f(s^{-1})h(s)={\frac {1}{|G|}}\sum _{\rho \,\,{\text{ irred.}}{\text{ rep.}}{\text{ of }}G}\dim(V_{\rho })\cdot {\text{Tr}}({\hat {f}}(\rho ){\hat {h}}(\rho )).}$

どちらの式もグループの線形表現であり、${\displaystyle (\rho ,V_{\rho })}$${\displaystyle G,s\in G}$${\displaystyle f,h\in L^{1}(G).}$

上記の帰結には、追加の結果があります。

補題。 をグループと します。すると、以下は同値になります。${\displaystyle G}$

• ${\displaystyle G}$はアーベルです。
• 上のすべての関数はクラス関数です。${\displaystyle G}$
• のすべての既約表現は次数を持つ${\displaystyle G}$${\displaystyle 1.}$

線形表現の特性に関するセクションで示したように、制約によって、グループの表現から開始してサブグループの表現を得ることができます。当然、逆のプロセスに興味があります。サブグループの表現から開始してグループの表現を取得することは可能ですか? 以下に定義される誘導表現が必要な概念を提供していることがわかります。確かに、この構成は逆ではなく、制約に付随しています。

を の線型表現とする。を の部分群とし、 を の制限とする。を の部分表現とする。 この表現を表すために と書く。ベクトル空間はの左剰余類のみに依存する。 をの代表的系とする。 ${\displaystyle \rho :G\to {\text{GL}}(V_{\rho })}$${\displaystyle G.}$${\displaystyle H}$${\displaystyle \rho |_{H}}$${\displaystyle W}$${\displaystyle \rho _{H}.}$${\displaystyle \theta :H\to {\text{GL}}(W)}$${\displaystyle s\in G.}$${\displaystyle \rho (s)(W)}$ ${\displaystyle sH}$${\displaystyle s.}$${\displaystyle R}$${\displaystyle G/H,}$

${\displaystyle \sum _{r\in R}\rho (r)(W)}$

は、${\displaystyle V_{\rho }.}$

の表現は、の 表現によって誘導されると呼ばれる。${\displaystyle \rho }$${\displaystyle G}$${\displaystyle V_{\rho }}$${\displaystyle \theta }$${\displaystyle H}$${\displaystyle W,}$

${\displaystyle V_{\rho }=\bigoplus _{r\in R}W_{r}.}$

ここで はの代表システムを表し、 はすべておよび すべて を表します。言い換えると、はすべてが一意に次のように書ける 場合、によって表現が誘導されます。${\displaystyle R}$${\displaystyle G/H}$${\displaystyle W_{r}=\rho (s)(W)}$${\displaystyle s\in rH}$${\displaystyle r\in R.}$${\displaystyle (\rho ,V_{\rho })}$${\displaystyle (\theta ,W),}$${\displaystyle v\in V_{\rho }}$

${\displaystyle \sum _{r\in R}w_{r},}$

どこで${\displaystyle w_{r}\in W_{r}}$${\displaystyle r\in R.}$

の表現によって誘導される の表現を、混乱の恐れがない場合は または と略記する。表現空間自体は、表現マップの代わりに頻繁に使用される。つまり、表現がによって誘導される場合はまたは${\displaystyle \rho }$${\displaystyle G}$${\displaystyle \theta }$${\displaystyle H}$${\displaystyle \rho ={\text{Ind}}_{H}^{G}(\theta ),}$${\displaystyle \rho ={\text{Ind}}(\theta ),}$${\displaystyle V={\text{Ind}}_{H}^{G}(W),}$${\displaystyle V={\text{Ind}}(W),}$${\displaystyle V}$${\displaystyle W.}$

群代数を使用することで、誘導表現の別の記述が得られます。

を群、の-加群、 の-部分加群とし、の部分群に対応する。が の第一因子に作用する場合、が によって誘導されると言う。すべての場合において${\displaystyle G}$${\displaystyle V}$${\displaystyle \mathbb {C} [G]}$${\displaystyle W}$${\displaystyle \mathbb {C} [H]}$${\displaystyle V}$${\displaystyle H}$${\displaystyle G.}$${\displaystyle V}$${\displaystyle W}$${\displaystyle V=\mathbb {C} [G]\otimes _{\mathbb {C} [H]}W,}$${\displaystyle G}$${\displaystyle s\cdot (e_{t}\otimes w)=e_{st}\otimes w}$${\displaystyle s,t\in G,w\in W.}$

このセクションで紹介する結果は証明なしで提示されます。これらは[1]と[2]に記載されています。

誘導表現の一意性と存在性。を のサブグループの線型表現とすると、によって誘導される の線型表現が存在します。この表現は同型性を除いて一意であることに注意してください。${\displaystyle (\theta ,W_{\theta })}$${\displaystyle H}$${\displaystyle G.}$${\displaystyle (\rho ,V_{\rho })}$${\displaystyle G,}$${\displaystyle (\theta ,W_{\theta }).}$

帰納法の推移性。を の表現とし、を の昇順の群とします。すると、 ${\displaystyle W}$${\displaystyle H}$${\displaystyle H\leq G\leq K}$

${\displaystyle {\text{Ind}}_{G}^{K}({\text{Ind}}_{H}^{G}(W))\cong {\text{Ind}}_{H}^{K}(W).}$

補題。が によって誘導され、が の線型表現であるとする。ここでが に対して という性質を満たす線型写像であるとする。するとを拡張しに対して が に対して有効である一意に決定される線型写像が存在する。${\displaystyle (\rho ,V_{\rho })}$${\displaystyle (\theta ,W_{\theta })}$${\displaystyle \rho ':G\to {\text{GL}}(V')}$${\displaystyle G.}$${\displaystyle F:W_{\theta }\to V'}$${\displaystyle F\circ \theta (t)=\rho '(t)\circ F}$${\displaystyle t\in G.}$${\displaystyle F':V_{\rho }\to V',}$${\displaystyle F}$${\displaystyle F'\circ \rho (s)=\rho '(s)\circ F'}$${\displaystyle s\in G.}$

これは、 を - 加群として解釈すると、 となることを意味します。ここで はから までのすべての - 準同型のベクトル空間です。同じことが${\displaystyle V'}$${\displaystyle \mathbb {C} [G]}$${\displaystyle {\text{Hom}}^{H}(W_{\theta },V')\cong {\text{Hom}}^{G}(V_{\rho },V'),}$${\displaystyle {\text{Hom}}^{G}(V_{\rho },V')}$${\displaystyle \mathbb {C} [G]}$${\displaystyle V_{\rho }}$${\displaystyle V'.}$${\displaystyle {\text{Hom}}^{H}(W_{\theta },V').}$

クラス関数の帰納法。表現の場合と同じように、帰納法によって、部分群のクラス関数から群のクラス関数を得ることができます。を のクラス関数とします。をで 定義します。${\displaystyle \varphi }$${\displaystyle H.}$${\displaystyle \varphi '}$${\displaystyle G}$

${\displaystyle \varphi '(s)={\frac {1}{|H|}}\sum _{t\in G \atop t^{-1}st\in H}^{}\varphi (t^{-1}st).}$

我々は、によって誘発されると言い、または書く。${\displaystyle \varphi '}$${\displaystyle \varphi }$${\displaystyle {\text{Ind}}_{H}^{G}(\varphi )=\varphi '}$${\displaystyle {\text{Ind}}(\varphi )=\varphi '.}$

命題。関数は上のクラス関数である。がの表現の指標であるならば、はの誘導表現の指標である。${\displaystyle {\text{Ind}}(\varphi )}$${\displaystyle G.}$${\displaystyle \varphi }$${\displaystyle W}$${\displaystyle H,}$${\displaystyle {\text{Ind}}(\varphi )}$${\displaystyle {\text{Ind}}(W)}$${\displaystyle G.}$

補題。が 上のクラス関数であり、 が上のクラス関数である場合、次が成り立ちます。${\displaystyle \psi }$${\displaystyle H}$${\displaystyle \varphi }$${\displaystyle G,}$${\displaystyle {\text{Ind}}(\psi \cdot {\text{Res}}\varphi )=({\text{Ind}}\psi )\cdot \varphi .}$

定理。 を部分群の表現によって誘導されるの表現とします。とを対応する指標とします。を の代表的システムとします。誘導指標は次のように与えられます。 ${\displaystyle (\rho ,V_{\rho })}$${\displaystyle G}$${\displaystyle (\theta ,W_{\theta })}$${\displaystyle H.}$${\displaystyle \chi _{\rho }}$${\displaystyle \chi _{\theta }}$${\displaystyle R}$${\displaystyle G/H.}$

${\displaystyle \forall t\in G:\qquad \chi _{\rho }(t)=\sum _{r\in R, \atop r^{-1}tr\in H}^{}\chi _{\theta }(r^{-1}tr)={\frac {1}{|H|}}\sum _{s\in G, \atop s^{-1}ts\in H}^{}\chi _{\theta }(s^{-1}ts).}$

事前にまとめると、フロベニウスの相互性から得られる教訓は、写像と写像は互いに 随伴であるということです。${\displaystyle {\text{Res}}}$${\displaystyle {\text{Ind}}}$

をの既約表現とし、をの既約表現とすると、フロベニウスの相互法則によれば、がに含まれる頻度は、がに含まれる頻度と同じである。${\displaystyle W}$${\displaystyle H}$${\displaystyle V}$${\displaystyle G,}$${\displaystyle W}$${\displaystyle {\text{Res}}(V)}$${\displaystyle {\text{Ind}}(W)}$${\displaystyle V.}$

フロベニウスの相互性。そして、${\displaystyle \psi \in \mathbb {C} _{\text{class}}(H)}$${\displaystyle \varphi \in \mathbb {C} _{\text{class}}(G)}$${\displaystyle \langle \psi ,{\text{Res}}(\varphi )\rangle _{H}=\langle {\text{Ind}}(\psi ),\varphi \rangle _{G}.}$

この記述は内積にも当てはまります。

George Mackey は、誘導表現の既約性を検証するための基準を確立しました。そのためには、まず表記法に関するいくつかの定義と仕様が必要になります。

群の2つの表現とが、共通の既約成分を持たない場合、すなわち、${\displaystyle V_{1}}$${\displaystyle V_{2}}$${\displaystyle G}$${\displaystyle \langle V_{1},V_{2}\rangle _{G}=0.}$

を群とし、を部分群とします。 を部分群の表現とします。 これは、制限により の表現を定義します。をと書きます。また、によっての別の表現を定義します。 これら 2 つの表現を混同しないでください。 ${\displaystyle G}$${\displaystyle H}$${\displaystyle H_{s}=sHs^{-1}\cap H}$${\displaystyle s\in G.}$${\displaystyle (\rho ,W)}$${\displaystyle H.}$${\displaystyle {\text{Res}}_{H_{s}}(\rho )}$${\displaystyle H_{s}.}$${\displaystyle {\text{Res}}_{s}(\rho )}$${\displaystyle {\text{Res}}_{H_{s}}(\rho ).}$${\displaystyle \rho ^{s}}$${\displaystyle H_{s}}$${\displaystyle \rho ^{s}(t)=\rho (s^{-1}ts).}$

Mackey の既約性基準。誘導表現は、次の条件が満たされる場合にのみ既約性があります。 ${\displaystyle V={\text{Ind}}_{H}^{G}(W)}$

• ${\displaystyle W}$還元不可能である
• それぞれについて、の2つの表現とが互いに素である。^[6]${\displaystyle s\in G\setminus H}$${\displaystyle \rho ^{s}}$${\displaystyle {\text{Res}}_{s}(\rho )}$${\displaystyle H_{s}}$

正規分布の場合、およびとなります。したがって、次の式が得られます。 ${\displaystyle H}$${\displaystyle H_{s}=H}$${\displaystyle {\text{Res}}_{s}(\rho )=\rho }$

系。の正規部分群をとれば、が既約であることと、 が既約で、 の共役群と同型でないことは同じである。${\displaystyle H}$${\displaystyle G.}$${\displaystyle {\text{Ind}}_{H}^{G}(\rho )}$${\displaystyle \rho }$${\displaystyle \rho ^{s}}$${\displaystyle s\notin H.}$

このセクションでは、これまで提示した理論の正規部分群と特殊群、つまり部分群とアーベル正規部分群の半直積への応用をいくつか紹介します。

命題。を群の正規部分群とし、をの既約表現とします。この場合、次のいずれかのステートメントが有効である必要があります。 ${\displaystyle A}$${\displaystyle G}$${\displaystyle \rho :G\to {\text{GL}}(V)}$${\displaystyle G.}$

• を含むの適切な部分群が存在し、の既約表現がを誘導するか、${\displaystyle H}$${\displaystyle G}$${\displaystyle A}$${\displaystyle \eta }$${\displaystyle H}$${\displaystyle \rho }$
• または同型モジュールです。${\displaystyle V}$${\displaystyle \mathbb {C} A}$

証明。を - 加群として考え、それを として同型に分解します。この分解が自明な場合は、2 番目のケースです。そうでない場合は、より大きな- 作用がこれらの同型加群を置換します。は - 加群として既約なので、置換作用は推移的です(実際は原始)。任意の を固定します。の安定子は、主張されている特性を示すことが基本的にわかります。     ${\displaystyle V}$${\displaystyle \mathbb {C} A}$${\displaystyle V=\bigoplus _{j}{V_{j}}}$${\displaystyle G}$${\displaystyle V}$${\displaystyle \mathbb {C} G}$${\displaystyle j}$${\displaystyle G}$${\displaystyle V_{j}}$${\displaystyle \Box }$

がアーベルである場合、 の同型加群は既約で、次数が 1 であり、すべての相似性を持つ ことに注意してください。${\displaystyle A}$${\displaystyle A}$

また、次のことも分かります。

系。を のアーベル正規部分群とし、をの任意の既約表現とすると、 の添え字をと表記すると、[ 1]${\displaystyle A}$${\displaystyle G}$${\displaystyle \tau }$${\displaystyle G.}$${\displaystyle (G:A)}$${\displaystyle A}$${\displaystyle G.}$${\displaystyle \deg(\tau )|(G:A).}$

が のアーベル部分群(必ずしも正規ではない)である場合、一般には満たされませんが、それでも有効です。 ${\displaystyle A}$${\displaystyle G}$${\displaystyle \deg(\tau )|(G:A)}$${\displaystyle \deg(\tau )\leq (G:A)}$

以下では、 を半直積とし、通常の半直因数がアーベル的であるとします。このような群の既約表現は、のすべての既約表現が の特定の部分群から構成できることを示すことによって分類できます。これは、ウィグナーとマッキーのいわゆる「小群」法です。 ${\displaystyle G=A\rtimes H}$${\displaystyle A}$${\displaystyle G,}$${\displaystyle G}$${\displaystyle H}$

はアーベルなので、 の既約指標は次数1を持ち、 群を形成する。群はに対して によって作用する。${\displaystyle A}$${\displaystyle A}$${\displaystyle \mathrm {X} ={\text{Hom}}(A,\mathbb {C} ^{\times }).}$${\displaystyle G}$ ${\displaystyle \mathrm {X} }$${\displaystyle (s\chi )(a)=\chi (s^{-1}as)}$${\displaystyle s\in G,\chi \in \mathrm {X} ,a\in A.}$

を におけるの軌道の代表的系とします。任意の に対して、これは のサブグループです。を の対応するサブグループとします。ここで、関数を によって に拡張し、 をとします。したがって、は 上の類関数です。さらに、すべて に対してがからへの群準同型であることが示されるため、自身の指標に等しい次数 1 の の表現が得られます。${\displaystyle (\chi _{j})_{j\in \mathrm {X} /H}}$${\displaystyle H}$${\displaystyle \mathrm {X} .}$${\displaystyle j\in \mathrm {X} /H}$${\displaystyle H_{j}=\{t\in H:t\chi _{j}=\chi _{j}\}.}$${\displaystyle H.}$${\displaystyle G_{j}=A\cdot H_{j}}$${\displaystyle G.}$${\displaystyle \chi _{j}}$${\displaystyle G_{j}}$${\displaystyle \chi _{j}(at)=\chi _{j}(a)}$${\displaystyle a\in A,t\in H_{j}.}$${\displaystyle \chi _{j}}$${\displaystyle G_{j}.}$${\displaystyle t\chi _{j}=\chi _{j}}$${\displaystyle t\in H_{j},}$${\displaystyle \chi _{j}}$${\displaystyle G_{j}}$${\displaystyle \mathbb {C} ^{\times }.}$${\displaystyle G_{j}}$

をの既約表現とします。次に、を正準射影と組み合わせることで、の既約表現を得ます。最後に、とテンソル積を構築します。こうして、の既約表現を得ます。${\displaystyle \rho }$${\displaystyle H_{j}.}$${\displaystyle {\tilde {\rho }}}$${\displaystyle G_{j},}$${\displaystyle \rho }$ ${\displaystyle G_{j}\to H_{j}.}$${\displaystyle \chi _{j}}$${\displaystyle {\tilde {\rho }}.}$${\displaystyle \chi _{j}\otimes {\tilde {\rho }}}$${\displaystyle G_{j}.}$

最終的に の既約表現の分類を得るために、テンソル積によって誘導される の表現を使用します。したがって、次の結果が得られます。 ${\displaystyle G}$${\displaystyle \theta _{j,\rho }}$${\displaystyle G,}$${\displaystyle \chi _{j}\otimes {\tilde {\rho }}.}$

命題。

• ${\displaystyle \theta _{j,\rho }}$は削減不可能です。
• とが同型ならば、さらに は と同型である。${\displaystyle \theta _{j,\rho }}$${\displaystyle \theta _{j',\rho '}}$${\displaystyle j=j'}$${\displaystyle \rho }$${\displaystyle \rho '.}$
• のあらゆる既約表現は、${\displaystyle G}$${\displaystyle \theta _{j,\rho }.}$

とりわけ、命題の証明には、マッキーの基準とフロベニウスの相互性に基づく結論が必要である。詳細については、[1]を参照のこと。

言い換えれば、我々はすべての既約表現を${\displaystyle G=A\rtimes H.}$

の表現環はアーベル群として定義される。 ${\displaystyle G}$

${\displaystyle R(G)=\left\{\left.\sum _{j=1}^{m}a_{j}\tau _{j}\right|\tau _{1},\ldots ,\tau _{m}{\text{ all irreducible representations of }}G{\text{ up to isomorphism}},a_{j}\in \mathbb {Z} \right\}.}$

テンソル積によって提供される乗算により、は環になります。 の要素は仮想表現と呼ばれます。 ${\displaystyle R(G)}$${\displaystyle R(G)}$

文字は、複素数値を持つ すべてのクラス関数の集合における環準同型を定義する。${\displaystyle G}$

${\displaystyle {\begin{cases}\chi :R(G)\to \mathbb {C} _{\text{class}}(G)\\\sum a_{j}\tau _{j}\mapsto \sum a_{j}\chi _{j}\end{cases}}}$

ここで、は、${\displaystyle \chi _{j}}$${\displaystyle \tau _{j}.}$

表現はその特性によって決定されるため、は単射です。 の像は仮想特性と呼ばれます。 ${\displaystyle \chi }$${\displaystyle \chi }$

既約な指標は正規直交基底を形成するので、同型性を誘導する。 ${\displaystyle \mathbb {C} _{\text{class}},\chi }$

${\displaystyle \chi _{\mathbb {C} }:R(G)\otimes \mathbb {C} \to \mathbb {C} _{\text{class}}(G).}$

この同型性は、それぞれ およびによって基本テンソル からの基底上で定義され、双線型に拡張されます。 ${\displaystyle (\tau _{j}\otimes 1)_{j=1,\ldots ,m}}$${\displaystyle \chi _{\mathbb {C} }(\tau _{j}\otimes 1)=\chi _{j}}$${\displaystyle \chi _{\mathbb {C} }(\tau _{j}\otimes z)=z\chi _{j},}$

およびのすべての文字の集合を と書き、によって生成されるグループ、つまり 2 つの文字のすべての差の集合を表します。 すると、 および が成立します。 したがって、となり、仮想文字は仮想表現に最適な方法で対応します。 ${\displaystyle {\mathcal {R}}^{+}(G)}$${\displaystyle G}$${\displaystyle {\mathcal {R}}(G)}$${\displaystyle {\mathcal {R}}^{+}(G),}$${\displaystyle {\mathcal {R}}(G)=\mathbb {Z} \chi _{1}\oplus \cdots \oplus \mathbb {Z} \chi _{m}}$${\displaystyle {\mathcal {R}}(G)={\text{Im}}(\chi )=\chi (R(G)).}$${\displaystyle R(G)\cong {\mathcal {R}}(G)}$

が成り立つので、はすべての仮想文字の集合である。2つの文字の積は別の文字を提供するので、は上のすべてのクラス関数の環の部分環である。はの基底を形成するので、同型の場合と同様に、${\displaystyle {\mathcal {R}}(G)={\text{Im}}(\chi )}$${\displaystyle {\mathcal {R}}(G)}$${\displaystyle {\mathcal {R}}(G)}$${\displaystyle \mathbb {C} _{\text{class}}(G)}$${\displaystyle G.}$${\displaystyle \chi _{i}}$${\displaystyle \mathbb {C} _{\text{class}}(G)}$${\displaystyle R(G),}$${\displaystyle \mathbb {C} \otimes {\mathcal {R}}(G)\cong \mathbb {C} _{\text{class}}(G).}$

を の部分群とします。この制限により、 またはで表される環準同型が定義されます。同様に、類関数の帰納法によって、 または と略記されるアーベル群の準同型が定義されます。${\displaystyle H}$${\displaystyle G.}$${\displaystyle {\mathcal {R}}(G)\to {\mathcal {R}}(H),\phi \mapsto \phi |_{H},}$${\displaystyle {\text{Res}}_{H}^{G}}$${\displaystyle {\text{Res}}.}$${\displaystyle {\mathcal {R}}(H)\to {\mathcal {R}}(G),}$${\displaystyle {\text{Ind}}_{H}^{G}}$${\displaystyle {\text{Ind}}.}$

フロベニウスの相互性によれば、これら2つの準同型は双線型形式に関して随伴であり、さらに、式はの像が環のイデアルであることを示している。${\displaystyle \langle \cdot ,\cdot \rangle _{H}}$${\displaystyle \langle \cdot ,\cdot \rangle _{G}.}$${\displaystyle {\text{Ind}}(\varphi \cdot {\text{Res}}(\psi ))={\text{Ind}}(\varphi )\cdot \psi }$${\displaystyle {\text{Ind}}:{\mathcal {R}}(H)\to {\mathcal {R}}(G)}$${\displaystyle {\mathcal {R}}(G).}$

表現の制限により、写像は同様に定義することができ、帰納法により、写像が得られる。フロベニウスの相互性により、これらの写像は互いに随伴し、像は環のイデアルであるという結果が得られる。${\displaystyle {\text{Res}}}$${\displaystyle R(G),}$${\displaystyle {\text{Ind}}}$${\displaystyle R(G).}$${\displaystyle {\text{Im}}({\text{Ind}})={\text{Ind}}(R(H))}$${\displaystyle R(G).}$

が可換環である場合、準同型写像とを–線型写像 に拡張できる。${\displaystyle A}$${\displaystyle {\text{Res}}}$${\displaystyle {\text{Ind}}}$${\displaystyle A}$

${\displaystyle {\begin{cases}A\otimes {\text{Res}}:A\otimes R(G)\to A\otimes R(H)\\\left(a\otimes \sum a_{j}\tau _{j}\right)\mapsto \left(a\otimes \sum a_{j}{\text{Res}}(\tau _{j})\right)\end{cases}},\qquad {\begin{cases}A\otimes {\text{Ind}}:A\otimes R(H)\to A\otimes R(G)\\\left(a\otimes \sum a_{j}\eta _{j}\right)\mapsto \left(a\otimes \sum a_{j}{\text{Ind}}(\eta _{j})\right)\end{cases}}}$

には同型性まで の のすべての既約表現が含まれます。${\displaystyle \eta _{j}}$${\displaystyle H}$

と により、特に が得られる。との間に準同型性を与える。${\displaystyle A=\mathbb {C} }$${\displaystyle {\text{Ind}}}$${\displaystyle {\text{Res}}}$${\displaystyle \mathbb {C} _{\text{class}}(G)}$${\displaystyle \mathbb {C} _{\text{class}}(H).}$

と をそれぞれ表現とを持つ2 つのグループとします。すると、 は前のセクションで示したように直積の表現になります。そのセクションのもう 1 つの結果は、 のすべての既約表現は、 と がそれぞれとの既約表現である表現とまったく同じであるということです。これは、表現環に恒等式として渡され、 は- 加群としての表現環のテンソル積です。 ${\displaystyle G_{1}}$${\displaystyle G_{2}}$${\displaystyle (\rho _{1},V_{1})}$${\displaystyle (\rho _{2},V_{2}).}$${\displaystyle \rho _{1}\otimes \rho _{2}}$ ${\displaystyle G_{1}\times G_{2}}$${\displaystyle G_{1}\times G_{2}}$${\displaystyle \eta _{1}\otimes \eta _{2},}$${\displaystyle \eta _{1}}$${\displaystyle \eta _{2}}$${\displaystyle G_{1}}$${\displaystyle G_{2},}$${\displaystyle R(G_{1}\times G_{2})=R(G_{1})\otimes _{\mathbb {Z} }R(G_{2}),}$${\displaystyle R(G_{1})\otimes _{\mathbb {Z} }R(G_{2})}$${\displaystyle \mathbb {Z} }$

帰納定理は、与えられた有限群Gの表現環と、GのいくつかのサブセットHからなる族Xの表現環を関連付ける。より正確には、そのようなサブグループの集合に対して、帰納関数は写像

${\displaystyle \varphi :{\text{Ind}}:\bigoplus _{H\in X}{\mathcal {R}}(H)\to {\mathcal {R}}(G)}$; 帰納法の定理は、この写像またはそれに密接に関連する写像の全射性の基準を与えます。

アルティンの帰納定理は、この一連の結果の中で最も基本的な定理です。これは、次のものが同値であると主張します。

• の余核は有限です。${\displaystyle \varphi }$
• ${\displaystyle G}$は、すなわちに属する部分群の共役の和集合である。${\displaystyle X,}$${\displaystyle G=\bigcup _{H\in X \atop s\in G}sHs^{-1}.}$

は群として有限生成な ので、最初の点は次のように言い換えることができます。${\displaystyle {\mathcal {R}}(G)}$

• の各文字に対して、仮想文字と整数が存在し、${\displaystyle \chi }$${\displaystyle G,}$${\displaystyle \chi _{H}\in {\mathcal {R}}(H),\,H\in X}$${\displaystyle d\geq 1,}$${\displaystyle d\cdot \chi =\sum _{H\in X}{\text{Ind}}_{H}^{G}(\chi _{H}).}$

Serre (1977) はこの定理の 2 つの証明を与えている。たとえば、G はその巡回部分群の和集合なので、 のすべての指標は、 の巡回部分群の指標によって誘導される指標の有理係数との線型結合である。巡回群の表現はよく理解されており、特に既約表現は 1 次元であるため、これによりGの表現をある程度制御できる。 ${\displaystyle G}$${\displaystyle G.}$

上記の状況下では、 が全射的であることは一般には真ではありません。ブラウアーの帰納定理は、 X がすべての基本部分群の族である限り、 が全射的であることを主張します。ここで、群H が基本的であるとは、素数p が存在し、 H がに対して素数位数の巡回群と-群の直積である場合です。言い換えると、 のすべての指標は、基本部分群 の指標によって誘導される指標の整数係数を持つ線型結合です。ブラウアーの定理で生じる基本部分群H は、巡回群よりも豊富な表現論を持ち、少なくとも、そのようなHの任意の既約表現は、(必然的に基本でもある) 部分群 の 1 次元表現によって誘導されるという性質を持ちます。(この後者の性質は、任意の超可解群に対して成り立つことが示され、これには冪零群、特に基本群が含まれます。) 次数 1 の表現から表現を誘導するこの能力は、有限群の表現論においてさらにいくつかの結果をもたらします。 ${\displaystyle \varphi }$${\displaystyle \varphi }$${\displaystyle p}$${\displaystyle p}$${\displaystyle G}$${\displaystyle K\subset H}$

の一般的な部分体上の表現に関する証明と詳細については[2]を参照してください。 ${\displaystyle \mathbb {C} }$

群が実ベクトル空間に作用する場合、それに対応する複素ベクトル空間上の表現は実数と呼ばれます（は の複素化と呼ばれます）。上記の対応する表現は、すべての${\displaystyle G}$${\displaystyle V_{0},}$${\displaystyle V=V_{0}\otimes _{\mathbb {R} }\mathbb {C} }$${\displaystyle V}$${\displaystyle V_{0}}$${\displaystyle s\cdot (v_{0}\otimes z)=(s\cdot v_{0})\otimes z}$${\displaystyle s\in G,v_{0}\in V_{0},z\in \mathbb {C} .}$

を実数表現とします。線型写像はすべての に対して -値を持ちます。したがって、実数表現の指標は常に実数値であると結論付けることができます。しかし、実数値指標を持つすべての表現が実数であるわけではありません。これを明確にするために、 をグループの有限非可換部分群とします。 ${\displaystyle \rho }$${\displaystyle \rho (s)}$${\displaystyle \mathbb {R} }$${\displaystyle s\in G.}$${\displaystyle G}$

${\displaystyle {\text{SU}}(2)=\left\{{\begin{pmatrix}a&b\\-{\overline {b}}&{\overline {a}}\end{pmatrix}}\ :\ |a|^{2}+|b|^{2}=1\right\}.}$

すると、は に作用します。内の任意の行列のトレースは実数なので、表現のキャラクターは実数値です。 が実数表現であるとすると、 は実数値行列のみで構成されます。 したがって、ただし、円群はアーベルですが、非アーベル群として選択されました。 ここで、 の非アーベル有限部分群の存在を証明する必要があります。このような群を見つけるには、 が四元数の単位と同一視できることに注目してください。 ここで、 とします。の次の 2 次元表現は実数値ではありませんが、実数値キャラクターを持ちます。 ${\displaystyle G\subset {\text{SU}}(2)}$${\displaystyle V=\mathbb {C} ^{2}.}$${\displaystyle {\text{SU}}(2)}$${\displaystyle \rho }$${\displaystyle \rho (G)}$${\displaystyle G\subset {\text{SU}}(2)\cap {\text{GL}}_{2}(\mathbb {R} )={\text{SO}}(2)=S^{1}.}$${\displaystyle G}$${\displaystyle {\text{SU}}(2).}$${\displaystyle {\text{SU}}(2)}$${\displaystyle G=\{\pm 1,\pm i,\pm j,\pm ij\}.}$${\displaystyle G}$

${\displaystyle {\begin{cases}\rho :G\to {\text{GL}}_{2}(\mathbb {C} )\\[4pt]\rho (\pm 1)={\begin{pmatrix}\pm 1&0\\0&\pm 1\end{pmatrix}},\quad \rho (\pm i)={\begin{pmatrix}\pm i&0\\0&\mp i\end{pmatrix}},\quad \rho (\pm j)={\begin{pmatrix}0&\pm i\\\pm i&0\end{pmatrix}}\end{cases}}}$

すると の像は実数値ではありませんが、それでも のサブセットです。したがって、表現の特性は実数です。 ${\displaystyle \rho }$${\displaystyle {\text{SU}}(2).}$

補題。の既約表現が実数となるのは、によって保存される非退化対称双線型形式が存在する場合のみである。${\displaystyle V}$${\displaystyle G}$ ${\displaystyle B}$${\displaystyle V}$${\displaystyle G.}$

実ベクトル空間上のの既約表現は、体 を に拡張すると既約になる。例えば、巡回群の次の実表現は、 について考えると既約になる。${\displaystyle G}$${\displaystyle \mathbb {C} .}$${\displaystyle \mathbb {C} }$

${\displaystyle {\begin{cases}\rho :\mathbb {Z} /m\mathbb {Z} \to {\text{GL}}_{2}(\mathbb {R} )\\[4pt]\rho (k)={\begin{pmatrix}\cos \left({\frac {2\pi ik}{m}}\right)&\sin \left({\frac {2\pi ik}{m}}\right)\\-\sin \left({\frac {2\pi ik}{m}}\right)&\cos \left({\frac {2\pi ik}{m}}\right)\end{pmatrix}}\end{cases}}}$

したがって、 上の実数であるすべての既約表現を分類しても、すべての既約実数表現を分類したわけではありません。しかし、次のことは達成されます。 ${\displaystyle \mathbb {C} ,}$

を実ベクトル空間とする。を に既約に作用させ、 を とすると、 が既約でない場合、 の複素共役表現である既約因子がちょうど2つ存在する。${\displaystyle V_{0}}$${\displaystyle G}$${\displaystyle V_{0}}$${\displaystyle V=V_{0}\otimes \mathbb {C} .}$${\displaystyle V}$${\displaystyle G.}$

定義。四元数表現は、次を満たす-不変反線型準同型を持つ（複素）表現である。したがって、歪対称で非退化-不変双線型形式は、上の四元数構造を定義する。${\displaystyle V,}$${\displaystyle G}$${\displaystyle J:V\to V}$${\displaystyle J^{2}=-{\text{Id}}.}$${\displaystyle G}$${\displaystyle V.}$

定理。既約表現は、次のいずれか 1 つのみです。 ${\displaystyle V}$

(i) 複素数:は実数値ではなく、–不変な非退化双線型形式は存在しない。${\displaystyle \chi _{V}}$${\displaystyle G}$${\displaystyle V.}$

(ii) 実数:実数表現。-不変な非退化対称双線型形式を持つ。${\displaystyle V=V_{0}\otimes \mathbb {C} ,}$${\displaystyle V}$${\displaystyle G}$

(iii) 四元数:実数だが実数ではない。-不変の歪対称非退化双線形形式を持つ。${\displaystyle \chi _{V}}$${\displaystyle V}$${\displaystyle V}$${\displaystyle G}$

対称群 の表現は精力的に研究されてきた。 の共役類（したがって、上記により既約表現）はnの分割に対応する。たとえば、には 3 つの既約表現があり、これらは分割に対応する。 ${\displaystyle S_{n}}$${\displaystyle S_{n}}$${\displaystyle S_{3}}$

3; 2+1; 1+1+1

3. このような分割の場合、ヤング タブローは分割を表すグラフィカル デバイスです。このような分割 (またはヤング タブロー) に対応する既約表現は、Specht モジュールと呼ばれます。

異なる対称群の表現は互いに関連している。任意の の表現は帰納法によっての表現を生成し、逆もまた制限によって成り立つ。これらすべての表現環の直和は ${\displaystyle S_{n}\times S_{m}}$${\displaystyle S_{n+m}}$

${\displaystyle \bigoplus _{n\geq 0}R(S_{n})}$

これらの構成からホップ代数の構造を継承しますが、これは対称関数と密接に関連していることがわかります。

ある程度まで、n が変化するときの の表現は の場合と似た性質を持ちます。つまり、前述の帰納法のプロセスは、いわゆる放物線帰納法に置き換えられます。しかし、 の場合とは異なり、すべての表現は自明な表現の帰納法によって得られますが、 の場合はそうではありません。代わりに、尖頭表現と呼ばれる新しい構成要素が必要になります。 ${\displaystyle GL_{n}(\mathbf {F} _{q})}$${\displaystyle S_{n}}$${\displaystyle S_{n}}$${\displaystyle GL_{n}(\mathbf {F} _{q})}$

の表現、およびより一般的にはリー型の有限群の表現は徹底的に研究されている。Bonnafé (2010) は の表現について述べている。上述の尖頭表現を含むこのような群の既約表現の幾何学的記述は、そのような表現をDeligne-Lusztig 多様体のl 進コホモロジーで構築するDeligne-Lusztig 理論によって得られる。 ${\displaystyle GL_{n}(\mathbf {F} _{q})}$${\displaystyle SL_{2}(\mathbf {F} _{q})}$

との表現論の類似性は有限群を超えています。カスプ形式の哲学は、これらのタイプの群の表現論的側面と、Q _pやアデル環などの局所体の一般線型群との親近性を強調しています。Bump (2004) を参照してください。 ${\displaystyle S_{n}}$${\displaystyle GL_{n}(\mathbf {F} _{q})}$

コンパクト群の表現の理論は、ある程度、局所コンパクト群に拡張される可能性がある。この文脈における表現理論は、調和解析と保型形式の研究にとって非常に重要である。証明、詳細情報、およびこの章の範囲を超えるより詳細な洞察については、[4]および[5]を参照してください。

位相群とは、位相を伴う群であり、それに関して群の構成と反転は連続である。そのような群はコンパクトと呼ばれ、その被覆が位相において開いている場合、有限の部分被覆を持つ。コンパクト群の閉じた部分群は、やはりコンパクトである。 ${\displaystyle G,}$

をコンパクト群とし、を有限次元-ベクトル空間とする。 の線型表現は連続群準同型、すなわち は2つの変数における連続関数であり、${\displaystyle G}$${\displaystyle V}$${\displaystyle \mathbb {C} }$${\displaystyle G}$${\displaystyle V}$ ${\displaystyle \rho :G\to {\text{GL}}(V),}$${\displaystyle \rho (s)v}$${\displaystyle s\in G}$${\displaystyle v\in V.}$

バナッハ空間への の線型表現は、 上のすべての全単射有界線型作用素の集合への の連続群準同型で、連続逆を持つものとして定義されます。最後の要件はなくても構いません。以下では、特にヒルベルト空間におけるコンパクト群の表現について検討します。 ${\displaystyle G}$ ${\displaystyle V}$${\displaystyle G}$${\displaystyle V}$${\displaystyle \pi (g)^{-1}=\pi (g^{-1}),}$

有限群の場合と同様に、群代数と畳み込み代数を定義できます。ただし、群代数は、構築中に連続条件が失われるため、無限群の場合には役立つ情報を提供しません。代わりに畳み込み代数がその代わりになります。 ${\displaystyle L^{1}(G)}$

有限群の表現のほとんどの特性は、適切な変更を加えることでコンパクト群に転用できます。このためには、有限群上の和に相当するものが必要です。

コンパクト群には、次の条件を満たす測度が1 つだけ存在します。 ${\displaystyle G}$ ${\displaystyle dt,}$

• これは左平行移動不変の測度である

${\displaystyle \forall s\in G:\quad \int _{G}f(t)dt=\int _{G}f(st)dt.}$

• グループ全体に単位の測定があります:

${\displaystyle \int _{G}dt=1,}$

このような左平行移動不変なノルム測度は、群のハール測度と呼ばれる。${\displaystyle G.}$

はコンパクトであるため、この測度は右平行移動不変であることを示すことも可能である。つまり、 ${\displaystyle G}$

${\displaystyle \forall s\in G:\quad \int _{G}f(t)dt=\int _{G}f(ts)dt.}$

上のスケーリングにより、有限群上のハール測度は、すべての${\displaystyle dt(s)={\tfrac {1}{|G|}}}$${\displaystyle s\in G.}$

「プロパティ」のセクションで説明されている有限群の表現の定義はすべて、コンパクト群の表現にも適用されます。ただし、いくつかの変更が必要です。

部分表現を定義するには、閉じた部分空間が必要です。これは有限次元表現空間では不要でした。なぜなら、この場合、すべての部分空間がすでに閉じているからです。さらに、コンパクト群の2つの表現は、表現空間の間に、その逆も連続で、すべての場合で次を満たす、全単射で連続な線型演算子が存在する場合、同値と呼ばれます。${\displaystyle \rho ,\pi }$${\displaystyle G}$${\displaystyle T}$${\displaystyle T\circ \rho (s)=\pi (s)\circ T}$${\displaystyle s\in G.}$

がユニタリである場合、2 つの表現はユニタリ同値と呼ばれます。 ${\displaystyle T}$

不変でない から不変な内積を得るには、 の和の代わりに の積分を使用する必要があります。が の表現に関して不変でないヒルベルト空間上の内積である場合、${\displaystyle G}$${\displaystyle G}$${\displaystyle G}$${\displaystyle (\cdot |\cdot )}$ ${\displaystyle V,}$${\displaystyle \rho }$${\displaystyle G,}$

${\displaystyle (v|u)_{\rho }=\int _{G}(\rho (t)v|\rho (t)u)dt}$

はハール測度の性質により、上の -不変内積である。したがって、ヒルベルト空間上のすべての表現はユニタリであると仮定できる。 ${\displaystyle G}$${\displaystyle V}$${\displaystyle dt.}$

をコンパクト群とし、を上の平方可積分関数のヒルベルト空間とします。この空間上の演算子を次のように定義します。${\displaystyle G}$${\displaystyle s\in G.}$${\displaystyle L^{2}(G)}$${\displaystyle G.}$${\displaystyle L_{s}}$${\displaystyle L_{s}\Phi (t)=\Phi (s^{-1}t),}$${\displaystyle \Phi \in L^{2}(G),t\in G.}$

写像は のユニタリ表現です。これは左正規表現と呼ばれます。右正規表現も同様に定義されます。 のハール測度も右平行移動不変であるため、上の演算子は で与えられます。右正規表現は で与えられるユニタリ表現です。2 つの表現とは互いに双対です。 ${\displaystyle s\mapsto L_{s}}$${\displaystyle G.}$${\displaystyle G}$${\displaystyle R_{s}}$${\displaystyle L^{2}(G)}$${\displaystyle R_{s}\Phi (t)=\Phi (ts).}$${\displaystyle s\mapsto R_{s}.}$${\displaystyle s\mapsto L_{s}}$${\displaystyle s\mapsto R_{s}}$

が無限大の場合、これらの表現は有限次数を持たない。群が有限である場合、冒頭で定義した左正規表現と右正規表現は、上で定義した左正規表現と右正規表現と同型である。これは、この場合、${\displaystyle G}$${\displaystyle G}$${\displaystyle L^{2}(G)\cong L^{1}(G)\cong \mathbb {C} [G].}$

与えられた表現から新しい表現を構築するさまざまな方法は、後で扱う双対表現を除いて、コンパクト群にも使用できます。 有限個の被加数/因子を持つ直和とテンソル積は、有限群の場合とまったく同じ方法で定義されます。 これは、対称平方と交代平方の場合にも当てはまります。 ただし、2 つのグループの積の既約表現は (同型を除いて) 因子グループの既約表現のテンソル積とまったく同じであるという定理を拡張するために、コンパクト群の 直積上のハール測度が必要です。 まず、2 つのコンパクト群の直積は、積位相が与えられている場合、再びコンパクト群であることに注意してください。 直積上のハール測度は、因子グループ上のハール測度の積によって与えられます。 ${\displaystyle G_{1}\times G_{2}}$

コンパクト群の双対表現には、ベクトル空間の位相的双対が 必要である。これは、ベクトル空間から基底体へのすべての連続線型関数のベクトル空間である。をコンパクト群の表現とする。${\displaystyle V'}$${\displaystyle V.}$${\displaystyle V}$${\displaystyle \pi }$${\displaystyle G}$${\displaystyle V.}$

双対表現は、次の性質によって定義される。 ${\displaystyle \pi ':G\to {\text{GL}}(V')}$

${\displaystyle \forall v\in V,\forall v'\in V',\forall s\in G:\qquad \left\langle \pi '(s)v',\pi (s)v\right\rangle =\langle v',v\rangle :=v'(v).}$

したがって、双対表現はすべてに対して次のように与えられると結論付けることができます。この写像は、再び連続群準同型であり、したがって表現です。 ${\displaystyle \pi '(s)v'=v'\circ \pi (s^{-1})}$${\displaystyle v'\in V',s\in G.}$${\displaystyle \pi '}$

ヒルベルト空間において、が既約なのは が既約な場合のみである。 ${\displaystyle \pi }$${\displaystyle \pi '}$

セクション分解の結果をコンパクト群に移すと、次の定理が得られます。

定理。コンパクト群のヒルベルト空間への既約表現はすべて有限次元であり、ユニタリとなるような内積が存在します。ハール測度は正規化されているため、この内積は一意です。${\displaystyle (\tau ,V_{\tau })}$${\displaystyle V_{\tau }}$${\displaystyle \tau }$

コンパクト群のすべての表現は、既約表現の直接的なヒルベルト和に同型です。

をコンパクト群のユニタリ表現とする。有限群の場合と同様に、既約表現に対しては、の同型または同型成分を部分空間として 定義する。${\displaystyle (\rho ,V_{\rho })}$${\displaystyle G.}$${\displaystyle (\tau ,V_{\tau })}$${\displaystyle \rho }$

${\displaystyle V_{\rho }(\tau )=\sum _{V_{\tau }\cong U\subset V_{\rho }}U.}$

これは、${\displaystyle U,}$${\displaystyle G}$${\displaystyle V_{\tau }.}$

同等でない既約表現の同型は、対で直交していることに注意してください。

定理。

(i)は、${\displaystyle V_{\rho }(\tau )}$${\displaystyle V_{\rho }.}$

(ii)は、${\displaystyle V_{\rho }(\tau )}$${\displaystyle G}$${\displaystyle V_{\tau }.}$

(iii) 標準分解:は、既約表現のすべての同型類を通過する同型の直接ヒルベルト和です。${\displaystyle V_{\rho }}$${\displaystyle V_{\rho }(\tau ),}$${\displaystyle \tau }$

の同型である の標準分解に対応する射影は、コンパクト群に対して次のように与えられる。 ${\displaystyle p_{\tau }:V\to V(\tau ),}$${\displaystyle V(\tau )}$${\displaystyle V,}$

${\displaystyle p_{\tau }(v)=n_{\tau }\int _{G}{\overline {\chi _{\tau }(t)}}\rho (t)(v)dt,}$

ここで、およびは既約表現に対応する指標である。${\displaystyle n_{\tau }=\dim(V(\tau ))}$${\displaystyle \chi _{\tau }}$${\displaystyle \tau .}$

コンパクト群のあらゆる表現に対して、次のように定義する。 ${\displaystyle (\rho ,V)}$${\displaystyle G}$

${\displaystyle V^{G}=\{v\in V:\rho (s)v=v\,\,\,\forall s\in G\}.}$

一般に は線形ではない。 ${\displaystyle \rho (s):V\to V}$${\displaystyle G}$

${\displaystyle Pv:=\int _{G}\rho (s)vds.}$

写像は、次の性質を持つことにより 、上の自己準同型として定義される。${\displaystyle P}$${\displaystyle V}$

${\displaystyle \left.\left(\int _{G}\rho (s)vds\right|w\right)=\int _{G}(\rho (s)v|w)ds,}$

これはヒルベルト空間の内積に当てはまる${\displaystyle V.}$

すると、は-線形と なる。${\displaystyle P}$${\displaystyle G}$

${\displaystyle {\begin{aligned}\left.\left(\int _{G}\rho (s)(\rho (t)v)ds\right|w\right)&=\int _{G}\left.\left(\rho \left(tst^{-1}\right)(\rho (t)v)\right|w\right)ds\\&=\int _{G}(\rho (ts)v|w)ds\\&=\int (\rho (t)\rho (s)v|w)ds\\&=\left.\left(\rho (t)\int _{G}\rho (s)vds\right|w\right),\end{aligned}}}$

ここではハール測度の不変性を使用しました。

命題。地図はからへの投影である。${\displaystyle P}$${\displaystyle V}$${\displaystyle V^{G}.}$

表現が有限次元の場合、有限群の場合と同様に、自明な部分表現の直和を決定することが可能です。

一般的に、コンパクト群の表現はヒルベルト空間とバナッハ空間上で研究されます。ほとんどの場合、それらは有限次元ではありません。したがって、コンパクト群の表現について話すときに、文字を参照することは有用ではありません。ただし、ほとんどの場合、研究を有限次元の場合に限定することができます。

コンパクト群の既約表現は有限次元かつユニタリなので（最初のサブセクションの結果を参照）、有限群の場合と同じ方法で既約指標を定義できます。

構築された表現が有限次元のままである限り、新しく構築された表現のキャラクターは有限群の場合と同じ方法で取得できます。

シュアーの補題はコンパクト群に対しても有効である。

をコンパクト群の既約ユニタリ表現とする。すると、すべてのに対してこの性質を満たす有界作用素はすべて恒等関数のスカラー倍となる。つまり、${\displaystyle (\pi ,V)}$${\displaystyle G.}$ ${\displaystyle T:V\to V}$${\displaystyle T\circ \pi (s)=\pi (s)\circ T}$${\displaystyle s\in G,}$${\displaystyle \lambda \in \mathbb {C} }$${\displaystyle T=\lambda {\text{Id}}.}$

定義。式

${\displaystyle (\Phi |\Psi )=\int _{G}\Phi (t){\overline {\Psi (t)}}dt.}$

コンパクト群のすべての平方可積分関数の集合上の内積を定義する。同様に ${\displaystyle L^{2}(G)}$${\displaystyle G.}$

${\displaystyle \langle \Phi ,\Psi \rangle =\int _{G}\Phi (t)\Psi (t^{-1})dt.}$

コンパクト群の双線型形式を定義する${\displaystyle L^{2}(G)}$${\displaystyle G.}$

表現空間上の双線型形式は有限群の場合とまったく同じように定義され、有限群と同様に次の結果が有効です。

定理。と をそれぞれ 2 つの非同型既約表現との指標とします。このとき、次の式が成り立ちます。 ${\displaystyle \chi }$${\displaystyle \chi '}$${\displaystyle V}$${\displaystyle V',}$

• ${\displaystyle (\chi |\chi ')=0.}$
• ${\displaystyle (\chi |\chi )=1,}$つまり「規範」がある${\displaystyle \chi }$${\displaystyle 1.}$

定理。をの表現とし、 を の表現とする。を の既約表現とし、 を とする。と等価な の部分表現の数は の任意の分解に依存しず、 の内積に等しい。${\displaystyle V}$${\displaystyle G}$${\displaystyle \chi _{V}.}$${\displaystyle W}$${\displaystyle G}$${\displaystyle \chi _{W}.}$${\displaystyle V}$${\displaystyle W}$${\displaystyle V}$${\displaystyle (\chi _{V}|\chi _{W}).}$

既約性基準。表現の文字をとすれば、は正の整数です。さらに、 が既約である場合に限ります。${\displaystyle \chi }$${\displaystyle V,}$${\displaystyle (\chi |\chi )}$${\displaystyle (\chi |\chi )=1}$${\displaystyle V}$

したがって、最初の定理を使用すると、 の既約表現のキャラクターは、この内積に関して 正規直交集合を形成します。${\displaystyle G}$${\displaystyle L^{2}(G)}$

系。のすべての既約表現は、左正規表現に – 回含まれます。${\displaystyle V}$${\displaystyle G}$${\displaystyle \dim(V)}$

補題。をコンパクト群とし ます。このとき、次のステートメントは同値です。${\displaystyle G}$

• ${\displaystyle G}$アーベルです。
• のすべての既約表現は次数を持つ${\displaystyle G}$${\displaystyle 1.}$

正規直交性。 を群とします。 の非同型既約表現は、この内積に関しての正規直交基底を形成します。${\displaystyle G}$${\displaystyle G}$${\displaystyle L^{2}(G)}$

非同型の既約表現が正規直交であることはすでにわかっているので、それらが を生成することを検証するだけで済みます。これは、すべての既約特性に直交する非ゼロの二乗積分可能関数が存在しないことを証明することで実行できます。 ${\displaystyle L^{2}(G).}$${\displaystyle G}$

有限群の場合と同様に、群の同型性を除く既約表現の数は、群の共役類の数に等しくなります。ただし、コンパクト群は一般に無限個の共役類を持つため、これは有用な情報を提供しません。 ${\displaystyle G}$${\displaystyle G.}$

がコンパクト群内の有限指数の閉部分群である場合、有限群の誘導表現の定義を採用することができる。 ${\displaystyle H}$${\displaystyle G,}$

しかし、誘導表現はより一般的に定義することができ、その定義は部分群のインデックスに依存せずに有効である。${\displaystyle H.}$

この目的のために、閉部分群のユニタリ表現をとします。連続誘導表現は次のように定義されます。 ${\displaystyle (\eta ,V_{\eta })}$${\displaystyle H.}$${\displaystyle {\text{Ind}}_{H}^{G}(\eta )=(I,V_{I})}$

を、すべての測定可能で2乗積分可能な関数のヒルベルト空間とすると、すべてのに対して次の性質を持つ。ノルムは次のように与えられる。 ${\displaystyle V_{I}}$${\displaystyle \Phi :G\to V_{\eta }}$${\displaystyle \Phi (ls)=\eta (l)\Phi (s)}$${\displaystyle l\in H,s\in G.}$

${\displaystyle \|\Phi \|_{G}={\text{sup}}_{s\in G}\|\Phi (s)\|}$

そして、その表現は正しい翻訳として与えられます。${\displaystyle I}$${\displaystyle I(s)\Phi (k)=\Phi (ks).}$

すると、誘導された表現は再びユニタリ表現になります。

はコンパクトであるため、誘導表現は の既約表現の直和に分解できる。同じアイソタイプに属するすべての既約表現は、${\displaystyle G}$${\displaystyle G.}$${\displaystyle \dim({\text{Hom}}_{G}(V_{\eta },V_{I}))=\langle V_{\eta },V_{I}\rangle _{G}.}$

をの表現とすると、標準同型が存在する。 ${\displaystyle (\rho ,V_{\rho })}$${\displaystyle G,}$

${\displaystyle T:{\text{Hom}}_{G}(V_{\rho },I_{H}^{G}(\eta ))\to {\text{Hom}}_{H}(V_{\rho }|_{H},V_{\eta }).}$

フロベニウスの相互性は、内積と双線型形式の修正された定義とともに、コンパクト群に転送されます。定理は、クラス関数の代わりに 上の平方可積分関数に対して成立しますが、部分群は閉じている必要があります。 ${\displaystyle G}$${\displaystyle H}$

コンパクト群の表現論におけるもう一つの重要な結果は、ピーター・ワイルの定理です。これは調和解析の中心的かつ基本的な命題の 1 つを表すため、通常は調和解析で提示され、証明されます。

ピーター・ワイルの定理。 をコンパクト群とします。 のすべての既約表現に対して、 の正規直交基底とします。 の行列係数を定義します。すると、の次の正規直交基底が得られます。 ${\displaystyle G}$${\displaystyle (\tau ,V_{\tau })}$${\displaystyle G}$${\displaystyle \{e_{1},\ldots ,e_{\dim(\tau )}\}}$${\displaystyle V_{\tau }.}$ ${\displaystyle \tau _{k,l}(s)=\langle \tau (s)e_{k},e_{l}\rangle }$${\displaystyle k,l\in \{1,\ldots ,\dim(\tau )\},s\in G.}$${\displaystyle L^{2}(G)}$

${\displaystyle \left({\sqrt {\dim(\tau )}}\tau _{k,l}\right)_{k,l}}$

この定理を再定式化することで、コンパクト群上の関数のフーリエ級数の一般化を得ることができます。

ピーター・ワイル定理（第2版）^[7]自然な同型 が存在する${\displaystyle G\times G}$

${\displaystyle L^{2}(G)\cong _{G\times G}{\widehat {\bigoplus }}_{\tau \in {\widehat {G}}}{\text{End}}(V_{\tau })\cong _{G\times G}{\widehat {\bigoplus }}_{\tau \in {\widehat {G}}}\tau \otimes \tau ^{*}}$

ここで、は同型までののすべての既約表現の集合であり、は に対応する表現空間です。より具体的には、 ${\displaystyle {\widehat {G}}}$${\displaystyle G}$${\displaystyle V_{\tau }}$${\displaystyle \tau .}$

${\displaystyle {\begin{cases}\Phi \mapsto \sum _{\tau \in {\widehat {G}}}\tau (\Phi )\\[5pt]\tau (\Phi )=\int _{G}\Phi (t)\tau (t)dt\in {\text{End}}(V_{\tau })\end{cases}}}$

複素数上の有限群Gの表現論の一般的な特徴は、 1900 年以前にフェルディナント・ゲオルク・フロベニウスによって発見されました。その後、リヒャルト・ブラウアーのモジュラー表現論が発展しました。

• キャラクター理論
• リアルな表現
• シューア直交関係
• マッケイ予想
• バーンサイドリング

• Bonnafé, Cedric (2010)。SL2(Fq) の表現。代数と応用。第 13 巻。Springer。ISBN 9780857291578。
• バンプ、ダニエル（2004）、リー群、Graduate Texts in Mathematics、第225巻、ニューヨーク：Springer-Verlag、ISBN 0-387-21154-3
• [1] Serre、Jean-Pierre (1977)、有限群の線形表現、ニューヨーク: Springer Verlag、ISBN 0-387-90190-6
• [2] ウィリアム・フルトン、ジョー・ハリス『表現理論入門』シュプリンガー・フェアラグ、ニューヨーク、1991年、ISBN 0-387-97527-6。 
• [3] アルペリン、JL; Bell、Rowen B.:グループと表現Springer-Verlag、ニューヨーク、1995 年、ISBN 0-387-94525-3。 
• [4] Deitmar、Anton: Automorphe Formen Springer-Verlag 2010、ISBN 978-3-642-12389-4、p. 89-93,185-189 
• [5] エヒターホフ、ジークフリート。 Deitmar、Anton:調和解析の原理Springer-Verlag 2009、ISBN 978-0-387-85468-7、p. 127-150 
• [6] ラング、セルジュ：代数シュプリンガー・フェアラグ、ニューヨーク、2002年、ISBN 0-387-95385-X、p.663-729 
• [7] セングプタ、アンバー（2012）。有限群の表現：半単純入門。ニューヨーク。ISBN 9781461412311. OCLC  769756134.{{cite book}}: CS1 maint: location missing publisher (link)