满足置换恒等式强wrpp半群相关论文