前回( https://zangiri.hatenablog.jp/entry/2019/10/17/023930 )に引き続き有限群の淡中再構成を紹介していきます。今回はいくつかの補題を述べたいと思います。 補題1 補題2 補題1 [補題1] 有限群とその元及びの表現に対して 線型写像を と定義する。 この…