Abstract
The class of nonassociative right hoops, or narhoops for short, is defined as a subclass of naturally ordered 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\sqcap y=(x/y)y\) is associative and/or commutative. Narhoops with a left unit are proved to have a top element if and only if \(\sqcap \) is commutative, and their congruences are determined by the equivalence class of the left unit. We also show that the four identities defining narhoops are independent.
Similar content being viewed by others
References
Bosbach, B.: Komplementäre Halbgruppen. Axiomatik und Arithmetik. Fundam. Math. 64, 257–287 (1969)
Bosbach, B.: Komplementäre Halbgruppen. Kongruenzen und Quotienten. Fundam. Math. 69, 1–14 (1970)
Bosbach, B.: Residuation groupoids-again. Results Math. 53, 27–51 (2009)
Bosbach, B.: Divisibility groupoids-again. Results Math. 57, 257–285 (2010)
Botur, M., Dvurečenskij, A., Kowalski, T.: On normal-valued basic pseudo hoops. Soft Comput. 16(4), 635–644 (2012)
Büchi, J.R., Owens, T.M.: Complemented monoids and hoops (unpublished)
Gumm, H.P., Ursini, A.: Ideals in universal algebra. Algebra Univ. 19, 45–54 (1984)
Jipsen, P.: On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras. Soft Comput. 21(1), 17–27 (2017)
McCune, W.: Prover9 and Mace4, version 2009-11A. http://www.cs.unm.edu/~mccune/prover9
Rump, W.: L-algebras, self-similarity, and \(\ell \)-groups. J. Algebra 320, 2328–2348 (2008)
Acknowledgements
This research was supported by the automated theorem prover Prover9 and the finite model builder Mace4, both created by McCune [9]. We would like to thank Bob Veroff for hosting the 2016 Workshop on Automated Deduction and its Applications to Mathematics (ADAM) which is where our collaboration began. We would also like to thank the referee for very useful feedback.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Ralph Freese, Bill Lampe, and J.B. Nation.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by W. DeMeo.
This article is part of the topical collection “Algebras and Lattices in Hawaii” edited by W. DeMeo.
Michael Kinyon was partially supported by Simons Foundation Collaboration Grant 359872.
Rights and permissions
About this article
Cite this article
Jipsen, P., Kinyon, M. Nonassociative right hoops. Algebra Univers. 80, 47 (2019). https://doi.org/10.1007/s00012-019-0618-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-019-0618-0