加法可逆半环相关论文