The aim of this paper is to characterize the （＊, ~）-good congruences on regular ortho-lc-monoids by making use of the compatible congruence systems on the semi-spined product components of regular ortho-lc-monoids.
In this paper,the authors first introduce the concept of congruence pairs on the class of decomposable MS-algebras generalizing that for principal MS-algebras(see[13]).They show that every congruence relationθon a de...In this paper,the authors first introduce the concept of congruence pairs on the class of decomposable MS-algebras generalizing that for principal MS-algebras(see[13]).They show that every congruence relationθon a decomposable MS-algebra L can be uniquely determined by a congruence pair(θ_(1),θ_(2)),whereθ_(1)is a congruence on the de Morgan subalgebra L^(∞)of L andθ_(2)is a lattice congruence on the sublattice D(L)of L.They obtain certain congruence pairs of a decomposable MS-algebra L via central elements of L.Moreover,they characterize the permutability of congruences and the strong extensions of decomposable MS-algebras in terms of congruence pairs.展开更多
基金The research was supported by the NSF （10871161, 11101336, 11371177, 11226044） of China, the Natural Science Foundation Project of CQ CSTC （2009BB2291）, and the Talents Technology Fund of Xi＇an University of Architecture and Technology （Grant No. RC1110）.
文摘The aim of this paper is to characterize the （＊, ~）-good congruences on regular ortho-lc-monoids by making use of the compatible congruence systems on the semi-spined product components of regular ortho-lc-monoids.
基金supported by 2nd International Conference for Mathematics,Statistics and Information Technology(ICMSIT for short)that held in the Faculty of ScienceTanta UniversityEgypt,18-20December,2018。
文摘In this paper,the authors first introduce the concept of congruence pairs on the class of decomposable MS-algebras generalizing that for principal MS-algebras(see[13]).They show that every congruence relationθon a decomposable MS-algebra L can be uniquely determined by a congruence pair(θ_(1),θ_(2)),whereθ_(1)is a congruence on the de Morgan subalgebra L^(∞)of L andθ_(2)is a lattice congruence on the sublattice D(L)of L.They obtain certain congruence pairs of a decomposable MS-algebra L via central elements of L.Moreover,they characterize the permutability of congruences and the strong extensions of decomposable MS-algebras in terms of congruence pairs.
