格蕴涵代数中的零化子

The Annihilator in Lattice Implication Algebras

在格蕴涵代数中,首先提出了零化子的概念,证明了零化子是理想和sl理想.然后,讨论了零化子的特殊性质.最后,讨论了零化子与理想、sl理想和零化子的格蕴涵同态像之间的关系.

The notion of an annihilator in lattice implication algebras was proposed. An annihilator was proved to be an ideal and an sl ideal. Then the special characteristics of the annihilator was obtained. The relationships between an annihilator and an ideal, between an annihilator and an sl ideal, between an annihilator and the lattice implication homomorphism image of the annihilator were discussed, respective- ly.