Primeness of Relative Annihilators in BCK-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.