In this article, for any a in the MS-algebra L, the author considers the con- gruence of the form defined by （x,y） ∈θa→←x∧a°° = y ∧a° and x ∨ a°° = y ∨ a°°. A characterizat...In this article, for any a in the MS-algebra L, the author considers the con- gruence of the form defined by （x,y） ∈θa→←x∧a°° = y ∧a° and x ∨ a°° = y ∨ a°°. A characterization of subdirectly irreducible MS-algebras is given and it is also proved that the union of two principal congruences having this form is a principal congruence if and only if L ∈ K2 ∨ K3.展开更多
In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kerne...In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kernel ideals.展开更多
基金the Natural Science Foundation of Hubei Province
文摘In this article, for any a in the MS-algebra L, the author considers the con- gruence of the form defined by （x,y） ∈θa→←x∧a°° = y ∧a° and x ∨ a°° = y ∨ a°°. A characterization of subdirectly irreducible MS-algebras is given and it is also proved that the union of two principal congruences having this form is a principal congruence if and only if L ∈ K2 ∨ K3.
文摘In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kernel ideals.
