可除半环同余相关论文