自由交换半群相关论文