Ultra deductive systems and (nilpotent) Boolean elements in hoops

Abstract

In this paper, first we define the concept of nilpotent element on a hoop H, study some properties of them and investigate the relation with ultra deductive systems. Then by using this notion, we introduce cyclic hoops and prove that every cyclic hoop has a unique generator and is a local MV-algebra. In the follows, we introduce the notion of Boolean elements on hoops and investigate some of their properties and relation among Boolean elements with ultra deductive systems and nilpotent elements. Finally, we introduce a functor between the category of hoops and category of Boolean elements of them. © 2022, University of Hatef. All rights reserved.