Primeness of Relative Annihilators in <i>BCK</i>-Algebra

Abstract

Conditions that are necessary for the relative annihilator in lower B C K -semilattices to be a prime ideal are discussed. Given the minimal prime decomposition of an ideal A, a condition for any prime ideal to be one of the minimal prime factors of A is provided. Homomorphic image and pre-image of the minimal prime decomposition of an ideal are considered. Using a semi-prime closure operation “ c l ”, we show that every minimal prime factor of a c l -closed ideal A is also c l -closed.

Keywords

• lower <i>bck</i>-semilattice
• relative annihilator
• semi-prime closure operation
• minimal prime decomposition
• minimal prime factor