「群Gの2つの既約表現をD(1),D(2)としそれぞれが作用する
ベクトル空間をV1(n次元)、V2(m次元)とする。V1上のベクトルを
V2上のベクトルに写すnxm行列Mが
MD(1)(g)=D(2)(g)M
を満たすならばMはV1からV2への同型写像であるか、M=0である。」
という Schurの補題1について教えてください。
(i)「群Gの2つの既約表現をD(1),D(2)」とはGの表現D(g)がD(1)と
D(2)が直和であるという意味であって、D(g)の2つの同値表現と
いう意味ではないですよね。(確認)
(ii)「V1の部分空間W上の∀ベクトルwに対してD(1)(g) w∈W
かつD(1)が既約であるならWはV1または0である。」
ことが証明に用いられていると思いますが、これは
自明のことですか?
(iii) 「Mの核W={w∈V1|Mw=0}が空集合ならn=mでMは同型写像である。」
なぜですか?
よろしくお願いします。
No.1ベストアンサー
- 回答日時:
(i)D(1)とD(2)の直和であるという意味ではなく、群Gの別々の表現を考えます。
(ii)D(1)が既約であるということの定義です。
(iii) 0ベクトルは常に線形写像の核に属するので、核が空集合ということはありません。そこでこれを「Mの核W={w∈V1|Mw=0}が{0}ならn=mでMは同型写像である。」に修正します。まずkerM = {0} よりMが単射であることが分かります。次ぎに任意のy∈Im M に対して y=Mx とすると
D(2)y = D(2)Mx = MD(1)x ∈ Im M
よりIm MはD(2)の不変部分空間です。よってD(2)は既約よりIm Mは{0}かV2。Im M={0}とすると(V1が0次元でない限り)kerM={0} とはならないので Im M = V2、すなわちMは全射。Mが全単射なのでn=mでMは同型写像
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
図の問題の|z|=1の写像を計算し...
-
複素解析についての質問です。 ...
-
画像の説明にある写像の表記T:k...
-
四次対称群S4が可解群であるこ...
-
線形独立テストsa+tb=0を行うと...
-
「十人十色」ならば「百人百色...
-
全射・部分写像の個数の問題
-
初めての複素関数の勉強
-
線形、非線型ってどういう意味...
-
LaTeX 写像式を描きたい
-
代数学「素体」
-
k代数、環準同型 画像の例3に関...
-
体の『同型』と『○上同型』のち...
-
線形写像と線形変換
-
円→楕円への写像
-
線形写像と線形変換
-
同型とは?
-
リー代数 キリング形式のトレ...
-
複素数の関数
-
基本的な事ですが…(単射、全射...
おすすめ情報