- ベストアンサー
カルタン部分代数の定義に関する質問
d_pの回答
- d_p
- ベストアンサー率45% (10/22)
対角化できるなら、可換に決まってるじゃん。
関連するQ&A
- リー代数 キリング形式のトレース計算
リー代数gの二つの元X,Yに対して、行列ad(X)とad(Y)の積ad(X)ad(Y)のトレースである複素数を対応させ、リー代数のキリング形式をB(X,Y)=Tr(ad(X)ad(Y))と定義します。 ここで、o(m,c):m次直交リー代数のキリング形式を考えて、B(X,X)を求めたいと考えています。 B(X,X)=(m-2)Tr(Xの二乗)という結果が「リー代数入門(しょう華房)佐藤肇著」に記載されていますが(p21)、この計算がなぜそうなるのかがよくわかりません。 大変恐縮ですが、計算の方法などを詳しく教えて頂けないでしょうか？
- ベストアンサー
- 数学・算数
- リー代数 キリング形式のトレース計算について
リー代数gの二つの元X,Yに対して、行列ad(X)とad(Y)の積ad(X)ad(Y)のトレースである複素数を対応させ、リー代数のキリング形式をB(X,Y)=Tr(ad(X)ad(Y))と定義しています。ここでo(m,c):m次直交リー代数のキリング形式を考えて、B(X,X)とB(X,Y)を求めたいのです。B(X,X)=(m-2)Tr(Xの二乗)という結果は分かっているのですが、(ad(X)の二乗)z=(Xの二乗)Z-2XZX+Z(Xの二乗)のトレースの計算での導き出し方が分かりません。よろしければ教えてくれませんか？できれば、sp(m,c);m次斜交リー代数の方も教えていただけるとうれしいです。
- 締切済み
- 数学・算数
- キリング形式における線形変換のトレースの計算
X,Y∈gl(m,C)に対して、行列ad(X)とad(Y)の積ad(X)ad(Y)のトレースである複素数を対応させ、リー代数のキリング形式をB(X,Y)=Tr(ad(X)ad(Y))と定義しています。 ここでZ∈gl(m,C)に対して、X^2Z∈gl(m,C)を対応させることにより、線形変換を得ることができますが、そのトレースがmTr(X^2)となることがわかりません。もしよろしければお教え頂けませんか？
- ベストアンサー
- 数学・算数
- 代数を可換図式によって定義する方法について
体K上のベクトル空間Rに、何らかの積を定義して、Rが環になるときに、RをK上の代数と言うと思いますが、それらを可換図式を上手く使って定義する仕方がよくわかりません。 このように書くと、大変抽象的な質問になってしまいますが、具体的には、環Rと写像μ：Rテンソル積R→R と写像η：K→Rを持ってきたときに、一般的な可換図式を用いた定義の中で、 (1)テンソル積が何故出てくるのか？ (2)スカラー積における単位元の定義についても図式で説明されることがあるが、その部分がよくわからない。 (3)写像ηが何を意味しているのかよくわからない。(上では、きちんとηが定義されていないので、そもそもこれは質問になっていないのかもしれませんが。。) このような事柄について、簡単な解説・コメントなど、または、わかりやすく解説したHPなどがあれば、教えて頂ければ有り難いです。
- ベストアンサー
- 数学・算数
- 大学の代数学の課題で困っています。
初めてです。 よろしくお願いします！ 大学の代数学の課題が解けなくて困っています。 例題などもないため、比較などができません。 提出の期限が迫っており、内容理解よりも先にレポートの提出をしてしまいたいのでよろしくお願いします。 [１] Ｇを群とする。任意のx,y∈Ｇに対して(xy)^2=x^2×y^2が成り立つならば、Ｇは可換群であることを示せ。ただし、群の公理のみを使って示すこと。 [２] Ｇ＝Ｒ－｛－１｝とし、演算a*b=a+b+abを考える。ただし、右辺は実数における普通の和と積である。 （１） 集合Ｇはこの演算で閉じていることを示せ。すなわち、a,b∈Ｇならa*b∈Ｇとなることを示せ。 （２） （Ｇ,*)は群になることを示せ。 （３） ３*x*2=5を満たすx∈Ｇを求めよ [３] 正三角形の二面体群Ｄ６の自明でない部分群をすべて求めよ。 長くなりました。 醜い部分もあるかもしれませんが、よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 特殊線形リー代数の次元がm^2-1なのはなぜですか
gl(m,C)={X；Xは複素数を成分とするm次の正方行列} sl(m,C)={X∈gl(m,C)；Tr(X)=0} (Tr(X)は行列Xのトレース) と定義したとき、 Tr(X＋Y)=Tr(X)＋Tr(Y)，Tr(XY)=Tr(YX) という恒等式より、sl(m,C)はm^2-1次元のリー代数となる とあったのですが、なぜm^2-1次元になるのかがわかりません。 基礎的な質問で申し訳ないのですが、よろしくお願い致します。
- 締切済み
- 数学・算数
- 代数学の証明問題について
代数学の証明問題について Sは可換環Rの積閉集合とし、PはSと交わらないイデアルの中で極大なものとする。(すなわち、Pより真に大きいイデアルIを取ると、I∩S≠(空集合) ) このとき、PはRの素イデアルであることを示せ。 上の証明問題がよく分かりません… わかる方、ご教示ください。
- ベストアンサー
- 数学・算数
- リー環（リー代数）semisimpleとは？
リー環ｇがあって、その中のある要素aがｇ内の任意の要素と可換であるとします。そのリー環ｇはsemi-simpleではないって断定できますか？semi-simpleの定義が微妙です。 質問は,「aで張られる空間｛a}はｇのabelian idealといえるのでしょうか？」ということにも言い換えられると思うのですが。
- ベストアンサー
- 数学・算数
- 応用代数の環に関する問題です。
応用代数の環に関する問題です。 Ｒを区間[0,1]上で定義された実数値連続関数の全体とする。このとき、Ｒの任意の２元f, gに加法"+"と乗法"・"を (f+g)(x)=f(x)+g(x) , (f・g)(x)=f(x)g(x) (∀ｘ∈[0,1]) で定義すると、Ｒは環となる。さらに、任意のｃ∈[0,1]を固定し、f(c)=0となるＲの元ｆの全体をＪｃとする。このとき、ＪｃはＲの極大イデアルとなることを示せ。 ただし、準同型定理と 「Ｉは極大イデアル⇔Ｒ／Ｉは体」を使ってよい。 この問題を教えてください。お願いします。
- ベストアンサー
- 数学・算数