フロベニウス群2 証明
証明に使う概念の定義をしていきます
表現と既約表現
群 から(ここでは )線形空間 上の一般線形群 への群準同型写像 があるとき組 を群 の表現という
また, の部分空間 が , ()を満たす時 は不変部分空間であるといい, 以外に不変部分空間が存在しない時, 表現は既約であるという
指標と既約指標
を有限群 の有限次元表現( が有限次元である表現)とする.次で定まる 上の関数 を表現 の指標という
- , ()
また, 既約表現の指標を既約指標という
類関数
群 上の 値関数 は次を満たすとき類関数という
- , ()
指標はトレースの巡回性から類関数です
類関数の空間
上の類関数全体のなす空間を で表し, この空間の内積を次で定める
- , ()
証明に用いる次の事実を認めることにします, 気になる方は参考の本を見て頂くとよいでしょう
定理1
既約指標の全体は の正規直交基底を成す
次の定理は各元の位数が有限であること(と従って最小多項式が重解を持たず が対角化可能であること)からわかります
定理2
を の表現, をその指標とする. であり, と は同値である
誘導関数
群 の部分群 上の類関数 に対し, 次で定義される 上の類関数を の における誘導関数と呼ぶ
- , (ただし , ())
類関数になることは明らかです
の元による共役上では類関数の性質から等しい値を取るので代表元を取れば和はその範囲から取ることができ, その場合同じ値が 個出ます(上の和で つまり で値が等しい), すなわち たちを剰余の代表系とすれば
一見天下り的な拡張(?)です
フロベニウス群に対し次が成り立ちます
補題
上の類関数 について次が成り立つ
に対し,
に対し,
なら,
<証明> とする. 前の記事フロベニウス群1 - 数学SDGsブログの から に対し だから
とする. は の元と共役でないから
なら . 上では だから の共役だけ考えればよく の元 () に対しては となる は の元に限る.
以上を用いて内積を計算すると
\begin{align} (\phi^G, \phi^G) & = \frac{1}{|G|}\sum_{x\in G}\overline{\phi^G(x)}\phi^G(x^{-1})=\frac{1}{|G|}\sum_{t\in H}n\overline{\phi(t)}\phi(t^{-1})\\ & = \frac{1}{|H|}\sum_{t\in H}\overline{\phi(t)}\phi(t^{-1})=(\phi, \phi)\end{align}
次のフロベニウスの相互律を認めることにします
フロベニウスの相互律
に対して次が成立する
- , (は への制限)
では本題の証明をしましょう
<フロベニウス群1 - 数学SDGsブログの定理の証明> ( は単位指標, すなわち恒等的に である指標)を の既約指標の全体とし,
, ()
と置く. これは既約指標の整数係数一次結合である. の単位指標を とすれば, フロベニウスの相互律により
よって
と置くと は を満たし既約指標の整数係数一次結合である. だから上の補題 を適用して
よって で は既約指標の整数係数一次結合だったから定理1から一方は既約指標である. の定義から
, ()
すなわち を得る. 従って は相異なる指標である. 補題 から, について だから, の定義から
, ()
今, を指標とする の表現を とすれば, 定理2から となる. よって
とおけば, これは正規部分群で を含む. とすると, が正規部分群で が の共役の和集合であることから, は の元 を含む. この については であり, の全ての既約表現で単位行列に写される. これは については成り立たないはずである. 実際, 例えば対称群に埋め込んで対称群の置換表現(標準底の並べ替えで作用するもの)と合成することで忠実な表現が得られる. よって であり は正規部分群をなす.
参考