1、
为机器M与M'构造相关的代数系统，证明了二者之间存在同余关系。
互联网摘选
2、
3、
4、
5、
6、
And a kind of congruence relation and corresponding quotient algebras are studied also.
详细研究了弱BL中经常用到的定理，并研究了一种同余关系极其商代数的代数问题。
互联网摘选
7、
This paper prove that union and intersection of the congruence relation is congruence relation.
证明了同余关系的并集与交集也是同余关系；
互联网摘选
8、
首先在正规子群与同余的关系的基础上，采用类比的方法，从同余的角度给出了群的正规列幂半群的另一种刻画。
互联网摘选
9、
给出了完全阿基米德半群上关系H~是同余的若干等价条件。
互联网摘选
