当前，数学问题计算机证明的研究已成为世界各国积极研究的前沿领域。随着计算机技术的发展，人们己根据机械化方法创建了各种机器语言......

文[1]研究了半群中的理想，首次提出了粗半群和粗理想的概念．本文继续研究了群中的粗糙子群和粗正规子群．同时，在环中引入了粗子环的概......

基于粗糙集理论,对一个群的子集关于正规子群的粗糙近似子群作了探讨, 并研究了一个群的上、下近似的性质.......

讨论粗糙集理论在代数系统——群上的应用。基于有关粗糙群、粗糙子群和粗糙不变子群的基本概念以及粗糙子群的一些性质和有关粗糙......

从代数的观点、拓扑的观点来讨论和研究粗糙集是粗糙集理论研究的主导思想之一.近年来,国内外学者对粗糙群、粗糙子群、粗糙半群、......

主要讨论粗糙集理论在群上的应用，基于有关粗糙群中的等价关系、粗糙正规子群、粗糙商群。粗糙群中的同态和同构的概惫，进一步讨论了......

指出文献[1]中性质2．4，2．5是错误的，性质3．5，3．6，3．7条件消弱但结论不变；给出群中同余的几个结论，并给出证明；给出二重近似的概念及一些性质．......