>>634
折角だから「アーベル」群でなくても成り立つことまで知ってた方がいいよ
Cauchyの定理とか言った？Sylowの系だけど
>>639
専門家は「自明」というかもしれないが，理由はいろいろ。
他のリー群にも通用する証明ならリー環（接空間ね）が
skew-hermitianだから，というが
この場合限定だと、複素化（ちょっとむずい？）がGL(n)で
これはM(n)の開集合だからC上n^2次元、よって実n^2次元
だとか，いろいろあるだろーな
予備知識をここまで、と限って証明せよ
とかいうと演習になるな」