入れ子の加群

安易に「入れ子の加群」とか言っていたが、少なくとも二種類ある。

MとNがモノイドでSが集合のとき：

1. SはM作用を持つ。
2. MはN作用を持つ。

このとき、入れ子の加群だが、「MへのN作用」が問題。

1. Mを単なる集合（忘却する）とみての作用
2. Mをモノイドとみての作用

この2つが違う。