前回までで、 上の線型写像を与えることは、[t]-加群としての を与えることに等しく、それは元をたどれば半群 の表現論であることを見ました。 ここで、有限群の表現のようにマシュケの定理が使えれば便利なのですが、残念ながら は有限でもなければ群でもな…