双势半环上矩阵的置换性

我们研究交换双势半环（其中最著名的例子是热带半环）上矩阵半群的置换性质。我们证明每个这样的半群都是弱可置换的（文献中先前已有此结论，但证明有误），进而深入研究它们何时是强可置换的（这被证明严重依赖于半环）。在此过程中，我们对单生成双势半环进行了分类，并描述了截断热带半环之间所有的同构。