Abstract:In the paper, we introduce the notion of annihilators in BL-algebras and investigate some related properties of them. We get that the ideal lattice .I.L/; Â/ is pseudo-complemented, and for any ideal I , its pseudo-complement is the annihilator I ? of I . Also, we define the An.L/ to be the set of all annihilators of L, then we have that .An.L/I \; _ An.L/ ; ?; f0g; L/ is a Boolean algebra. In addition, we introduce the annihilators of a nonempty subset X of L with respect to an ideal I and study some properties of them. As an application, we show that if I and J are ideals in a BL-algebra L, then J ? I is the relative pseudo-complement of J with respect to I in the ideal lattice .I.L/; Â/. Moreover, we get some properties of the homomorphism image of annihilators, and also give the necessary and sufficient condition of the homomorphism image and the homomorphism pre-image of an annihilator to be an annihilator. Finally, we introduce the notion of˛-ideal and give a notation E.I /. We show that .E.I.L//;^E ; _ E ; E.0/; E.L/ is a pseudo-complemented lattice, a complete Brouwerian lattice and an algebraic lattice, when L is a BL-chain or a finite product of BL-chains.