Date of Submission
Spring 2017
Academic Programs and Concentrations
Computer Science
Project Advisor 1
Robert McGrail
Abstract/Artist's Statement
The goal of this project is to identify Mal’cev terms over finite quandles, a subclass of right quasi- groups. Mal’cev terms are relevant in universal algebra because their existence imply tractability in a quandle, Q. One can instead, however, search for a binary Merling term, as a Merling term in Q exists if and only if a Mal’cev term exists in Q as well. This significantly speeds up the approach, as binary terms lend themselves to much simpler computation than ternary terms. This project achieves the stated goals by the use of a term rewriting system (TRS) evaluator, a normal form (NF) generator, and the program clausetester from LADR (Library for Automated Deduction Research) to generate Merling terms in Q. The program also contains a Mal’cev term generator used by the program finds to compute the associated Mal’cev term for each Mer- ling term. Overall, this project offers a flexible and simple way to determine the tractability of quandles.
Open Access Agreement
On-Campus only
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.
Recommended Citation
Hogan, Meghan, "The Search for Mal'cev Terms over Finite Quandles" (2017). Senior Projects Spring 2017. 49.
https://digitalcommons.bard.edu/senproj_s2017/49
This work is protected by a Creative Commons license. Any use not permitted under that license is prohibited.
Bard Off-campus DownloadBard College faculty, staff, and students can login from off-campus by clicking on the Off-campus Download button and entering their Bard username and password.