部分表現と剰余表現
群の表現 が与えられたとき、V は G 加群(すなわち -加群)ですが、W が V の部分 G 加群であるとは
が成り立つことを言います。このとき、 として新たな G の表現 を得ることが出来ます。これを表現 の部分表現 と言います。
表現 の部分表現 が与えられると、各 が V/W 上に引き起こす線型同型 が自然に定まります。このことにより V/W はやはり G 加群となり、新たな表現
が得られます。この表現のことを剰余表現と言います。V が有限次元ならば、V の基底 を、 が W の、 (の同値類)が V/W の基底となるように取れば、 の行列表示は
という形に書けることになります。
既約表現とマシュケの定理
G 加群 V が G 加群として自分自身と {0} 以外に部分 G 加群が存在しないとき、V は既約 G 加群であると言います。また、そのときの表現を既約表現と言います。そして、G が有限群の場合は、以下に述べるように、任意の表現は既約表現の直和として書けてしまいます。この性質は完全可約性と言われています。
一般の場合の証明は本格的な書籍に任せて、ここでは表現空間 V が有限次元の場合を考えます。証明の方針としては、V が既約でなければ となる部分 G 加群 W が存在します。そこで、G 加群として となるような部分 G 加群 W ' を作れば良いのですが、その方法として、G 加群としての全準同型 で となるものを作り、 とおけば、W ' は V の部分 G 加群で、任意の に対して だから 、従って
となり、 がわかります。ゆえに任意の は
と分解できるので 、さらに ならば なので、、従って です。以下、W や W ' が既約でなければ、それらに再び定理を適用すれば、V が有限次元であることから有限回の操作によって既約分解を得ることが出来ます。
そうすると問題は を満たすような G 加群の全準同型
を如何にして作るか、ということに集約されます。
まず、単なる K-加群としての全準同型として、射影
を取ることは出来ます。この を基にして
とおきます。*1後は、この f が条件を満たしていることを確認すれば良いことになります。実際、 と に対して
なので、f は確かに G 加群の準同型です。さらに とすると だから
となり、これから がわかります。かくして、目的にかなう全準同型 を作ることが出来たので、定理の証明は終わります。
さて、この証明で「肝」となるのは、G が有限群であることと、K が標数 0 (または G の位数と互いに素)の体であるということです。Jordan 標準形との関連で、あとあとこの条件がものを言いますので、ちょっと頭の片隅に入れておいてください。(続く)