Deje $(G,*)$ $(H,+)$ ser semigroups. Deje $\cdot$ ser una acción de $G$$H$, de tal manera que $\cdot$ distribuye más de $*$.
[I. e., $(g_1 * g_2) \cdot h = g_1*(g_2\cdot h)$, e $g\cdot(h_1+h_2) = (g\cdot h_1) + (g\cdot h_2)$.]
Hay un nombre canónico para este tipo de estructura? (En el mismo sentido que 'módulo' describe una estructura de la participación de los anillos y grupos).
