形式幂级数半群中的右顺从性

设 $k$ 为特征零的代数闭域，$k[[z]]$ 为 $k$ 上的形式幂级数环。我们给出 $z^2k[[z]]$ 中右顺从有限生成子半群（其半群运算 $\circ$ 为复合）的若干刻画。特别地，我们证明子半群 $S=\langle Q_1,Q_2,\dots, Q_k\rangle$ of $z^2k[[z]]$ 是右顺从的，当且仅当存在 $zk[[z]]$ 的可逆元 $\beta$ 使得对 $1\leq i \leq k$，有 $\beta^{-1}\circ Q_i \circ \beta =\omega_i z^{d_i}$，其中对某些整数 $d_i$（$1\leq i \leq k$）与单位根 $\omega_i$（$1\leq i \leq k$）。