Document Type

Conference Proceeding

Publication Date



The class of nonassociative right hoops, or narhoops for short, is defined as a subclass of right-residuated magmas, and is shown to be a variety. These algebras generalize both right quasigroups and right hoops, and we characterize the subvarieties in which the operation x ^^ y = (x/y)y is associative and/or commutative. Narhoops with a left unit are proved to be integral if and only if ^ is commutative, and their congruences are determined by the equivalence class of the left unit. We also prove that the four identities defining narhoops are independent.


This article was originally published in Algebras and Lattices in Hawai'i: honoring Ralph Freese, Bill Lampe, and JB Nation, the proceedings of the conference held in May 2018.


Kira Adaricheva, William DeMeo, Jennifer Hyndman (the editors)

Creative Commons License

Creative Commons License
This work is licensed under a Creative Commons Attribution 2.5 License.



To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.