Filters and Congruences of Hoops
摘要
This chapter focuses on the crucial role of congruences in the analysis of hoop structures, exploring their close relationship with quotient algebras and homomorphisms. The investigation of hoop congruences is organized into four sections. Initially, we establish the connection between filters and congruences in hoops, highlighting their one-to-one correspondence, a property distinct from pocrims. The second section delves into the properties of prime, maximal, and ultrafilters, laying the groundwork for later investigations into Wajsberg, basic, simple, semisimple, and perfect hoops. Prime filters are also tied to the representation of these algebras. We define two distinct types of prime filters, which are equivalent in basic hoops.