消去半群相关论文