|
SL(n,R)={B∈Mn(R)||B|=1}は、GL(n,R)={B∈Mn(R)||B|≠0}の正規部分群であることが分かりません。教えていただけないでしょうか??
|
7769.Re: 群論についてなんですが・・・ |
| 名前:しんちー 日付:5月30日(金) 13時7分 |
|
|AB|=|A|・|B| であることが利用できると思います。
|
|
7801.Re: 群論についてなんですが・・・ |
| 名前:大学3回 日付:5月31日(土) 21時34分 |
すいません、もう少し教えてください。 正規部分群もよく分かっていないんです。
|
|
7807.Re: 群論についてなんですが・・・ |
| 名前:ast 日付:6月1日(日) 8時20分 |
>正規部分群もよく分かっていないんです。 ではまず定義を正確に書けるようになりましょう. ということで, SL が GL の正規部分群であるということを言う為には 何が言えないといけないか, 考えて書いてみてください.
|
|
7818.Re: 群論についてなんですが・・・ |
| 名前:大学3回 日付:6月1日(日) 18時40分 |
SLがGLの正規部分群であること、 任意のGLの元XについてX*SL=SL*Xが成り立つこと この2つが示せたらいいんでしょうか??
|
|
7823.Re: 群論についてなんですが・・・ |
| 名前:ast 日付:6月1日(日) 19時37分 |
>SLがGLの正規部分群であること、 >任意のGLの元XについてX*SL=SL*Xが成り立つこと >この2つが示せたらいいんでしょうか??
一行目は「正規部分群である」ですよね? もしそうならば, それでよいです.
SL が GL の部分群であり, 部分群として正規であること をいえばよいわけです.
あと, 二行目を示す前に, それを元の間の関係に書き直しましょう. x ∈ GL, a ∈ SL ならば xa = a'x となる a' ∈ SL がとれる こうしておくと, 更に変形して, x ∈ GL, a ∈ SL ならば xax^(-1) ∈ SL とかけてしまうわけで, しんちーさんのレスがとても参考になりますね.
行列が GL, SL に入る条件が行列式の値で与えられていることを考えれば それを計算することができる形にしようともがくしかありませんね.
ということで, 判ったところまでまとめてみてください.
|
|
|