On co-annihilators in hoops

Abstract

In this paper, we introduce the notion of co-annihilator in hoops and investigate some related properties of them. Then we prove that the set of filters F(A) form two pseudo-complemented lattices (with * and inverted perpendicular) that if A has (DNP), then the two pseudo-complemented lattices are the same. Moreover, by defining the operation -> on the lattice F(A), we prove that F(A) is a Heyting algebra and by defining of the product operation, we show that F(A) is a bounded hoop. Finally, we define the C - Ann(A) to be the set of all co-annihilators of A, then we have that it had made a Boolean algebra. Also, we give an extension of a filter, which leads to a useful characterization of alpha-filters on hoops. For instance, we obtain a series of characterizations of alpha-filters. In addition, we show that there are no non-trivial alpha-filters on hoop-chains. That implies the structure of all alpha-filters contains only trivial alpha-filters on hoops. On hoops, we prove that the set of all alpha-filters is a pseudo-complemented lattice. Moreover, the structure of all alpha-filters can form a Boolean algebra under certain conditions.