Northern Michigan University
QUOTIENTS, EQUIVALENCE RELATIONS, AND NORMALITY IN NON-ASSOCIATIVE ALGEBRA WITH REGARDS TO LOOPS AND QUASIGROUPS
Abstract
dc:description.abstract<p>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.</p>
Degree
thesis:*- Name thesis:degree_name
- Master of Science
- Level thesis:degree_level
- Thesis
- Year dc:date.available
- 2025
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Mulholland, Matthew L
- Contributors dc:contributor
-
- Dr. Daniel Rowe
Subjects
dc:subject × 7Identifiers
dc:identifier.*- Repository record dc:identifier
- https://commons.nmu.edu/theses/870
- OAI identifier oai:identifier
- oai:commons.nmu.edu:theses-1946