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.展开更多
基金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.
