Algebra Commons^™

Numerical And Harmonic Analysis Of Simplex Number Parity, Hunter Dm Hannula

All NMU Master's Theses

The primary object of this thesis is the study of periodicity in the parity of simplex numbers by number-theoretic and harmonic methods. The regular d-simplex numbers are introduced geometrically, arithmetically, and combinatorially. We demonstrate that all sequences indexing even d-simplex numbers are defined by finitely many congruences in a single modulus, and are thus quasiperiodic. We therefore show that these "even index-sequences" are  particular elements in an affine space of functions, providing a natural decomposition result. We then introduce the discrete Fourier transform to construct the periodic parts of each index sequence, enabling the development of explicit forms for the …

The Fundamental Group: A Geometric Perspective, Kayla M. Bittenbinder

All NMU Master's Theses

This thesis explores the deep mathematical connection between the flexible, continuous world of topology and the rigid, distance-preserving world of metric geometry. We begin by constructing the fundamental group of a topological space, using the concept of loops and loop homotopy to identify a global topological invariant such as a hole or puncture. We then transition to the geometric realm of metric spaces and isometries, demonstrating how the isometry group of a space algebraically encodes its rigid symmetries. To bridge these two distinct mathematical frameworks, we utilize the construction of the universal covering space. We pull back the metric from …

Quotients, Equivalence Relations, And Normality In Non-Associative Algebra With Regards To Loops And Quasigroups, Matthew L. Mulholland

All NMU Master's Theses

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 …

Magpy: A Python Package For Magmas, Skylar Korf

All NMU Master's Theses

There exist a multitude of computational tools available to mathematicians, such as interactive and automated theorem provers, finite counter-example generators, and computer algebra systems, most of which have a complicated installation process, unintuitive syntax, a lack of comprehensiveness for mathematical structures, or some combination of these. Computer algebra systems are indispensable tools due to their capacity for creating mathematical objects and performing computations on them. However, there is a lack of computational resources that focus on dealing with explicit examples, and extracting the properties thereof, especially for the most basic algebraic structures. Here, we will dive into several prominent computer …

The Near Normality Of The Commutant Of A Moufang Loop, Evan Phillips

All NMU Master's Theses

We investigate conditions under which the commutant of a Moufang loop is normal and related topics. We begin by giving relevant background on Moufang loops and normality. We then prove a theorem showing how close the commutant is to being normal: cR(x, y)R(x, y)R(x, y) = c. We then prove a couple of theorems emphasizing the importance of cubes in Moufang loops. Finally we prove a decomposition theorem for the multiplication group of a finite commutative Moufang loop.

Varieties Of Nonassociative Rings Of Bol-Moufang Type, Ronald E. White

All NMU Master's Theses

In this paper we investigate Bol-Moufang identities in a more general and very natural setting, \textit{nonassociative rings}.

We first introduce and define common algebras. We then explore the varieties of nonassociative rings of Bol-Moufang type. We explore two separate cases, the first where we consider binary rings, rings in which we make no assumption of it's structure. The second case we explore are rings in which, $2x=0$ implies $x=0$.

Quandles That Are Knot Quandles, Jason Haskell

All NMU Master's Theses

There are many papers that introduce the relationship between knots and quandles which are written tersely and focus mainly on applications or implications. Here, we will take time to explain in depth how to derive quandles from oriented knots. Starting with an rigorous introduction to what a knot is and what a quandle is, we will also define the Fundamental Quandle of a knot and the relationship between colorings of a knot and the homomorphisms from an arbitrary quandle to a Fundamental Quandle. Then using this foundation, we will examine two sets of knots that produce quandles that contain subquandles …

Kissing The Archimedeans, Anthony Webb

All NMU Master's Theses

In this paper the three dimensional kissing problem will be related to the Platonic and Archimedean solids. On each polyhedra presented their vertices will have spheres expanding such that the center of each of these outer spheres are the vertices of the polyhedron, and these outer spheres will continue to expand until they become tangent to each other. The ratio will be found between the radius of each outer sphere, and the radius of an inner sphere such that each inner sphere's center is the circumcenter of the polyhedron, and the inner sphere is tangent to each outer sphere. Every …

Computable Model Theory On Loops, Josiah Schmidt

All NMU Master's Theses

We give an introduction to the problem of computable algebras. Specifically, the algebras of loops and groups. We start by defining a loop and group, then give some of their properties. We then give an overview of comptability theory, and apply it to loops and groups. We conclude by showing that a finitely presented residually finite algebra has a solvable word problem.

Algebraic Structures And Variations: From Latin Squares To Lie Quasigroups, Erik Flinn

All NMU Master's Theses

In this Master's Thesis we give an overview of the algebraic structure of sets with a single binary operation. Specifically, we are interested in quasigroups and loops and their historical connection with Latin squares; considering them in both finite and continuous variations. We also consider various mappings between such algebraic objects and utilize matrix representations to give a negative conclusion to a question concerning isotopies in the case of quasigroups.