Smodules
Smodules are algebraic structures that generalize modules by incorporating a secondary symmetry given by a monoid action. An S-module consists of a left module M over a ring R together with an action of a monoid S on M that respects the R-module structure.
Formally, let R be a ring, M an abelian group with a left R-action making it an
Morphisms between S-modules are R-linear maps that commute with the S-action: a map f: M → N is
Relation to other constructions: if S acts on M via endomorphisms, M can be viewed as a
Overview and use: Smodules provide a framework to study modules with internal symmetries or time evolutions,