This dissertation deals with three topics inside loop and quasigroup theory. First, as a continuation of the project started by David Stanovský and Petr Vojtĕchovský, we study the commutator of congruences defined by Freese and McKenzie in order to create a more pleasing, equivalent definition of the commutator inside of loops. Moreover, we show that the commutator can be characterized by the generators of the inner mapping group of the loop. We then translate these results to characterize the commutator of two normal subloops of any loop.
Second, we study automorphic loops with the desire to find more examples of small orders. Here we construct a family of automorphic loops, called quaternionic automorphic loops, which have order 2n for n ≥ 3, and prove several theorems about their structure. Although quaternionic automorphic loops are nonassociative, many of their properties are reminiscent of the generalized quaternion groups.
Lastly, we find varieties of quasigroups which are isotopic to commutative Moufang loops and prove their full characterization. Moreover, we define a new variety of quasigroups motivated by the semimedial quasigroups and show that they have an affine representation over commutative Moufang loops similar to the semimedial case proven by Kepka.
","abstract_html":"<p>This dissertation deals with three topics inside loop and quasigroup theory. First, as a continuation of the project started by David Stanovský and Petr Vojtĕchovský, we study the commutator of congruences defined by Freese and McKenzie in order to create a more pleasing, equivalent definition of the commutator inside of loops. Moreover, we show that the commutator can be characterized by the generators of the inner mapping group of the loop. We then translate these results to characterize the commutator of two normal subloops of any loop.</p> <p>Second, we study automorphic loops with the desire to find more examples of small orders. Here we construct a family of automorphic loops, called quaternionic automorphic loops, which have order 2<sup>n</sup> for n ≥ 3, and prove several theorems about their structure. Although quaternionic automorphic loops are nonassociative, many of their properties are reminiscent of the generalized quaternion groups.</p> <p>Lastly, we find varieties of quasigroups which are isotopic to commutative Moufang loops and prove their full characterization. Moreover, we define a new variety of quasigroups motivated by the semimedial quasigroups and show that they have an affine representation over commutative Moufang loops similar to the semimedial case proven by Kepka.</p>","abstract_has_math":false,"creators":["Barnes, Mariah Kathleen"],"institution":null,"degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":null,"degree_department":null,"school":null,"contributors":["Michael K. Kinyon","Petr Vojtechovsky","Andrew Linshaw","Matthew Rutherford"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2022,"date_issued":"2022-01-01T08:00:00Z","date_published":"2022-01-01T08:00:00Z","updated_at":"2026-07-24T02:03:26Z","subjects":["Automorphic loops","Commutators","Loops","Nonassociative algebra","Quasigroups","Universal algebra","Algebra","Mathematics","Physical Sciences and Mathematics"],"languages":["en"],"rights":["Copyright is held by the author. User is responsible for all copyright compliance.
"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://digitalcommons.du.edu/etd/2033","outbound_label":"Repository record","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Michael K. Kinyon","Petr Vojtechovsky","Andrew Linshaw","Matthew Rutherford"]},{"key":"dc:creator","label":"Author","values":["Barnes, Mariah Kathleen"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.available","label":"Dc Date Available","values":["2022-07-27T07:00:00Z"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Automorphic loops","Commutators","Loops","Nonassociative algebra","Quasigroups","Universal algebra","Algebra","Mathematics","Physical Sciences and Mathematics"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright is held by the author. User is responsible for all copyright compliance.
"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://digitalcommons.du.edu/etd/2033"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["This dissertation deals with three topics inside loop and quasigroup theory. First, as a continuation of the project started by David Stanovský and Petr Vojtĕchovský, we study the commutator of congruences defined by Freese and McKenzie in order to create a more pleasing, equivalent definition of the commutator inside of loops. Moreover, we show that the commutator can be characterized by the generators of the inner mapping group of the loop. We then translate these results to characterize the commutator of two normal subloops of any loop.
Second, we study automorphic loops with the desire to find more examples of small orders. Here we construct a family of automorphic loops, called quaternionic automorphic loops, which have order 2n for n ≥ 3, and prove several theorems about their structure. Although quaternionic automorphic loops are nonassociative, many of their properties are reminiscent of the generalized quaternion groups.
Lastly, we find varieties of quasigroups which are isotopic to commutative Moufang loops and prove their full characterization. Moreover, we define a new variety of quasigroups motivated by the semimedial quasigroups and show that they have an affine representation over commutative Moufang loops similar to the semimedial case proven by Kepka.
"]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["On Loop Commutators, Quaternionic Automorphic Loops, and Related Topics"]}]}],"canonical_facts":{"dc:contributor":["Michael K. Kinyon","Petr Vojtechovsky","Andrew Linshaw","Matthew Rutherford"],"dc:creator":["Barnes, Mariah Kathleen"],"dc:date.available":["2022-07-27T07:00:00Z"],"dc:description.abstract":["This dissertation deals with three topics inside loop and quasigroup theory. First, as a continuation of the project started by David Stanovský and Petr Vojtĕchovský, we study the commutator of congruences defined by Freese and McKenzie in order to create a more pleasing, equivalent definition of the commutator inside of loops. Moreover, we show that the commutator can be characterized by the generators of the inner mapping group of the loop. We then translate these results to characterize the commutator of two normal subloops of any loop.
Second, we study automorphic loops with the desire to find more examples of small orders. Here we construct a family of automorphic loops, called quaternionic automorphic loops, which have order 2n for n ≥ 3, and prove several theorems about their structure. Although quaternionic automorphic loops are nonassociative, many of their properties are reminiscent of the generalized quaternion groups.
Lastly, we find varieties of quasigroups which are isotopic to commutative Moufang loops and prove their full characterization. Moreover, we define a new variety of quasigroups motivated by the semimedial quasigroups and show that they have an affine representation over commutative Moufang loops similar to the semimedial case proven by Kepka.
"],"dc:format":["application/pdf"],"dc:identifier":["https://digitalcommons.du.edu/etd/2033"],"dc:language":["en"],"dc:rights":["Copyright is held by the author. User is responsible for all copyright compliance.
"],"dc:subject":["Automorphic loops","Commutators","Loops","Nonassociative algebra","Quasigroups","Universal algebra","Algebra","Mathematics","Physical Sciences and Mathematics"],"dc:title":["On Loop Commutators, Quaternionic Automorphic Loops, and Related Topics"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."]},"updated_at":"2026-07-24T02:03:26Z"}