安易に「入れ子の加群」とか言っていたが、少なくとも二種類ある。MとNがモノイドでSが集合のとき： SはM作用を持つ。 MはN作用を持つ。 このとき、入れ子の加群だが、「MへのN作用」が問題。 Mを単なる集合（忘却する）とみての作用 Mをモノイドとみての作用…