8

Schurの補題①

3567
1

初めまして

こんにちは。MakkyoExistsと申します。
まずは有限群の表現論において基本的なSchurの補題について書きたいと思います。

ちなみに何でSchurの補題について書こうと思ったかというと、たまたま近藤武先生の『群論Ⅲ』という本が手元にあって、パッと開いたところがSchurの補題のページだったからです笑
この補題だったら証明はほとんど定義を使うだけだし書きやすいなと思ったので書いてみました。

まぁ、前置きと自己紹介はこれくらいにしてさっそく中身に入っていきたいと思います。

基本事項

この章では有限群の表現、同型の概念、そして既約表現についての定義をします。
これを読んでいるみなさんには周知のことかもしれませんが、軽く述べておきます。

有限群の表現

Gを有限群、kを体とし、Vk上ベクトル空間とする。Gの元からGL(V)の元への準同型対応
ρ:GGL(V)
が与えられたとき、ρGVにおける表現(representation)という。ここでGL(V)とはVからVへの線形同型写像全体の集合である。

表現の同型

Gを有限群、kを体とし、(ρ1,V1), (ρ2,V2)Gの表現とする。
ここで、Gの任意の元xに対して、
fρ1(x)=ρ2(x)f
となるV1からV2への同型写像fが存在するとき、(ρ1,V1)(ρ2,V2)同型(isomorphic)であるといい(ρ1,V1)(ρ2,V2)と表す。

つまり2つの表現が同型であるかどうかは、V1からV2への
・線形で
・同型で
・可換な
写像がとれるかどうかを調べればよいわけです。

同型の定義で出てきたfρ1(x)=ρ2(x)fという条件、本当は可換図式を書いた方が分かりやすいのですが、Mathlogで図式をどう書けばよいのかわからなかったため割愛しました(スミマセン)。書き方が分かったら追記します。もしわかりづらいと感じた方は手を動かして書いてみて下さい。

では次に不変部分空間と既約表現について定義します。

不変空間と既約表現

(ρ,V)を有限群Gの表現、WVの部分空間とする。任意のGの元xに対し、ρ(x)(W)Wが成り立つとき、WVρ-不変な部分空間(ρ-invariant subspace)という。そしてV{0}ではないρ-不変な真部分空間を持たないとき(ρ,V)既約表現(irreducible representation)という。

どうですか? 初学者には少し複雑に見える定義かもしれませんね。ちなみに
ρ(x)(W)
というのはVからVへの写像であるρ(x)で、Vの部分空間Wの元を写した全体という意味です。集合で書くと
ρ(x)(W)={ρ(x)(w)|wW}
といった感じでしょうか。これが任意のxGに対してWから外に飛び出さないというのがρ-不変、そしてそのような部分空間で自明なものが存在しないというが既約表現の定義です。

Schurの補題の証明

ではいよいよSchurの補題について述べたいと思います。主張は以下の通りです。

Schurの補題

Gを有限群、kを体とし、(ρ1,V1), (ρ2,V2)をそれぞれGの既約な表現とする。
また、任意のGの元xに対して
fρ1(x)=ρ2(x)f
が成り立つ零写像ではないV1からV2への線形写像fがとれるとする。このとき
(ρ1,V1)(ρ2,V2)は同型である。

既に定義した通り、2つの表現が同型であるかどうかはV1からV2への
・線形で
・同型で
・可換な
写像fがとれるかどうかを調べればよいわけでした。これが既約表現に限って話をすれば「fが同型であるかどうか」はチェックする必要がないということですね。

  1. まずfが単射であることを示す。fは線形写像なのでKerf=0であることを示せばよい。任意のvkerf, xGに対し、
    0=(ρ2(x)f)(v)=(fρ1(x))(v)=f(ρ1(x)(v)).
    よってρ1(x)(v)kerfとなるのでkerfV1ρ1-不変であることがわかるが、(ρ1,V1)は既約表現なのでkerf0V1全体になる。
    もしkerf=V1とするとf=0となりfが零写像ではないという仮定に矛盾するのでkerf=0である。これでfが単射であることが言えた。

次にfが全射であることを示す。f(V1)の任意の元f(v1)をとる(v1V1)。
このとき、任意のGの元xに対し、
ρ2(x)(f(v))=ρ2(x)f(v)=fρ1(x)(v)=f(ρ1(x)(v))f(V1).
よってf(V1)ρ2-不変であることが分かる。(ρ2,V2)は既約表現なのでf(V1)=0, V2となるがfは零写像ではないのでf(V1)=V2であることが言えて、fは全射であることが導かれた。

つまりfは線形であり、全単射であり任意のGの元xに対してfρ1(x)=ρ2(x)fが成り立つので2つの表現は同型であることが言えた。

最後に

いかがでしたでしょうか? なかなか書くのって大変ですね笑 肩こりが爆発しそうです。

あ、ちなみにですね、Schurの補題には続きがあって、

Schurの補題(後半)

kが代数閉体であるときV1=V2かつρ1=ρ2が成り立ち、更に
f=αidV1
となるkの元αがとれる。

ということも言えます。流れでそのまま証明できるし本当はここまでこの記事で解説したかったのですが、如何せん想像以上に書き疲れたので今日はとりあえずここまでとしておきます。。また次回書くことにしますね笑
(2020/11/08追記:後半の主張も こちらの記事 に書きました。是非見ていただけると嬉しいです。)

最後まで読んで頂きありがとうございました。
また、読んだ感想とかあればコメント下さると嬉しいです。何か誤植とか間違っている点などもございましたら教えて下さい。Twitterも

@MakkyoExists
で検索すれば僕のアカウントが出てきますのでそちらでメンションして頂いても大丈夫です。

では改めて、ありがとうございました('-'*)

投稿日:2020117
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

音楽してます。数学科です。エースバーンが好きです。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 初めまして
  2. 基本事項
  3. Schurの補題の証明
  4. 最後に