4
$\begingroup$

Let $(G,*)$ and $(H,+)$ be semigroups. Let $\cdot$ be an action of $G$ on $H$, such that $\cdot$ distributes over $*$.

[I.e., $(g_1 * g_2) \cdot h = g_1*(g_2\cdot h)$, and $g\cdot(h_1+h_2) = (g\cdot h_1) + (g\cdot h_2)$.]

Is there a canonical name for this kind of structure? (In the same sense that 'module' describes a structure involving rings and groups.)

  • 0
    You want action of $G$ on $H$ or action of $H$ on $G$, or both?2012-05-01
  • 0
    I would call this a "distributive action." Likewise, if we instead write the operation of $H$ multiplicatively and instead require $(g \cdot h_1)h_2 = g \cdot (h_1 h_2)$, I would call this an "associative action."2013-11-20

1 Answers 1