以下、体の標数は2でないとします。
今回は、(自然な)証明を思いついたので書き起こしました。
の単純性
この定理を示すのがこの記事の目的です。
定義の復習
まず、と単純の定義を復習します。
単純
代数が単純であるとは、のイデアルは自明なもの(または)のみであることをいう。
定理の証明のために、よく出会うかっこ積の計算結果を公式として述べます。
定理の証明
まず、の基底を書き下そう。
(この2種類に基底を分けるのは大事!)
さて、をのイデアルで、とする。このとき、となることを示す。(単純性を示すにはこれが常套手段です。)
より、のでない元がとれる。を上の基底で成分表示すると、
これを使って、のときのを計算する。
より、
よって、
これより、
だが、
より、
したがって、
以上より、
のとき となる。
のとき
まとめると、を固定して、のとき
さらに、のとき
まとめると、を固定して、のとき
これにより、からがわかる。
のとき、なので、
つまり、のとき、
以上より、はの基底を含むので、がわかる。
すべてのについてのとき
あるが存在して、となる。
このとき、より、
したがって、直前の議論に帰着され、となる。
すなわち、のイデアルは自明なものに限る。
以上より、は単純である。
補足
の標数がでないという条件は、かっこ積の計算で出てきた係数ので割るために必要な仮定です。
の標数がのとき、となり、スカラー行列の全体という非自明なイデアルが存在するので、定理が成り立たず、標数をという仮定に直しました。行列のサイズと体の標数の関係がうまくいけば、スカラー行列を含まないようにできるので、もう少し仮定はゆるくできるはずだと思います。
また、参考文献ではの場合を証明していましたが、のルート分解や同時固有ベクトルの結果を知っていると上の計算はそんなに突飛なものでは無いと思います。