每个有限状态自动机都等价于一个确定的有限自动机,但并非每个加权有限自动机都等价于一个子序列加权有限自动机。因此,确定一个加权有限自动机是否等价于一个子序列加权有限自动机是一个有意义的课题。为了研究交换min-半环上的加权有限自动机的子序列等价,文献[1]提出了半环上的有限维极大因式分解的概念,并给出了交换min-半环上的加权有限自动机有子序列等价的一个充分条件。本文证明一个交换半环K有一个维数n≥2的极大因式分解当且仅当K是一个满足g.c.d条件的乘法可消半环。利用这个结论,我们还证明了有一个维数n≥2的极大因式分解的交换幂等半环上具有victory性质和twins性质的加权有限自动机T都有子序列等价,从而解决了文献[1]中提出的公开问题。进一步地,利用我们的结论还可以改进文献[1]的主要定理。