可交换半群相关论文