Date of Award
5-2025
Degree Type
Thesis
Degree Name
Master of Science
Program
Mathematics (MS)
First Advisor/Chairperson
Dr. Daniel Rowe
Abstract
This thesis will contain a detailed overview of relations, quotients, normality, loops, quasigroups, and related theorems and varieties. Nonassociative algebra is a relatively new area of mathematics, it came about in the past hundred years, and has started making progress in the past 60 years. In nonassociative algebra, varieties do not necessarily satisfy associativity. Several interesting problems with relations, quotients, and normality arise from the setting of nonassociative algebra. In the language of equivalence relations, quotients, and subsets what are the conditions of normality, or existence of a subalgebra in quasigroups and loops? A quasigroup, Q, is defined to be algebra (Q, ·,\,/) that takes two elements from the quasigroup, under one of the operations ·,\,/, and maps the combination to another element of the quasigroup. The three quasigroup binary operations must satisfy axioms that guarantee left and right inverses; additionally the inverses are unique. A loop, typically denoted (L, ·), is a quasigroup with a two-sided identity element e. For e to be a two sided identity element, e · x = x · e = x for any x in L. In order for a relation to be an equivalence relation it must be reflexive, symmetric, and transitive.
Recommended Citation
Mulholland, Matthew L., "QUOTIENTS, EQUIVALENCE RELATIONS, AND NORMALITY IN NON-ASSOCIATIVE ALGEBRA WITH REGARDS TO LOOPS AND QUASIGROUPS" (2025). All NMU Master's Theses. 870.
https://commons.nmu.edu/theses/870
Access Type
Open Access
Signed signature page