Peter-Weylの定理と、デルタ関数part1
今期開講されている群論の授業でのこと。群論の授業に来ていた物理科の学生からの、面白い指摘があったから書いてみようと思います。テーマは、有限群の表現に関するもの。どういう指摘かというと、デルタ関数使うと、Peter-Weylの定理が出せるという指摘。準備に取り掛かります。 が有限群のとき、 左正則表現を次で定義する: 上の表現で、 に対して、 で、 の表現が定まる。さて、主役であるPeter-Weylの定理は次の定理だ。
(Peter-Weyl) 左正則表現は、各既約表現を、重複度だけ含む。
有名な系として、表現の次元を勘定すると得られるのが次の等式:
(Burnside) が有限群のとき、
なお、ここで和気号はすべての既約表現を渡ります。
さて、このPeter-Weylの定理が、デルタ関数の考え方で導けるというのが授業に来ていた物理屋さんの指摘なのですが、詳細は次回。