逆半群同余相关论文