幺半群作用

幺半群作用把抽象操作解释为对象上的状态变换。单位元什么也不做，幺半群乘法对应连续执行操作。操作可以覆盖、丢失信息或不可撤销，因此一般只得到自映射，不要求双射。

群作用公理库群作用Group action群元素以保持单位元与乘法的方式作用于集合。是可逆特例：群元素的逆元保证每个作用映射都是双射。幺半群作用则更适合字符串追加、状态更新、区间标签和自动机转换。

字符串幺半群 $({\mathrm{\Sigma }}^{\ast },\cdot ,\epsilon )$ 可通过前缀拼接作用于字符串集合：$u\cdot x=ux$。自然数加法幺半群可通过函数迭代作用于集合：

函数自映射幺半群 $\mathrm{End}(X)$ 对 $X$ 的求值作用是最通用例子。

区间加标签形成加法幺半群，并作用于带长度的区间摘要 $(s,\ell )$：

区间赋值也能形成带“无操作”单位元的标签幺半群，但复合通常不交换：后来的赋值覆盖早先赋值。若把标签合成顺序写反，单个更新测试可能通过，混合更新会出错。

懒惰传播公理库懒惰传播Lazy propagation把作用于整个节点区间的可组合更新暂存为标记，仅在必要时下传。可把待处理标签组织成幺半群作用。若节点摘要还能按 $\oplus$ 合并，则通常还需验证同一标签对合并兼容：

或在摘要中显式携带长度等使该式成立的元数据。只有“标签可复合”不够；还必须能从节点局部摘要计算整段更新后的值。

自动机的输入字通过转换幺半群作用于状态集；动力系统把时间幺半群作用于状态空间。加入拓扑、可测或线性结构后，还会要求每个作用映射保持相应结构，这些是附加条件，不属于集合层定义。