Algebra Commons^™

Gauss Composition And Orthogonal Modular Forms On Binary Lattices, Haochen Wu

Dartmouth College Ph.D Dissertations

We revisit Gauss composition over a general base scheme, with a focus on orthogonal groups. We show that the Clifford and norm functors provide a discriminant-preserving equivalence of categories between binary quadratic modules and pseudoregular modules over quadratic algebras. This perspective synthesizes the constructions of Kneser and Wood, reconciling algebraic and geometric approaches and clarifying the role of orientations and the natural emergence of narrow class groups.

As an application, we restrict to lattices and show that binary orthogonal eigenforms correspond to Hecke characters. Using theta series, we show the explicit connection between Hilbert modular forms and orthogonal modular forms …

Quiver Of Affine Monoid Of A Vector Space Over Finite Field, James Junie Chen Cleary

Dissertations, Theses, and Capstone Projects

In this paper, we study the quiver of the complex monoid algebra CAFF(n, q). There are n + 1 maximal subgroups of AFF(n, q), each isomorphic to AGL(k, q) for some 0 ≤ k ≤ n. Every irreducible representation of CAFF(n, q) arises from a character of CAGL(k, q) for a suitable k. Thus, we study two different approaches to classifying the characters of CAGL(k, q). Next, we compute the full quiver Q(CAFF(n, q)). Finally, we show that this quiver is a disjoint union of straight-line paths and that its basic algebra has radical square zero. Hence, it has finite …

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 …

Galois Action And Arithmetic In Algebraic Number Fields, Jared Kettinger

All Dissertations

This dissertation explores the arithmetic of numerous algebraic objects living within an algebraic number field from submonoids of the integers up to localizations of the ring of integers. We begin with a study of factorization in proper orders using an element-theoretic approach. In Chapter 2, by defining a natural generalization of the Davenport constant, we are able to determine the elasticity of certain orders whose integral closure is a unique factorization domain. In Chapter 3, using ideal-theoretic analogues, we are able to significantly broaden the scope of our results and the literature on factorization in orders. In particular, we give …

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 …

On The Algebraicity Of The Tic-Tac-Toe Matroid And Homogeneous Mixed Bowtie Systems, Benjamin R. Allen

Electronic Theses and Dissertations

This thesis is presented in two parts. First, we explore whether the class of algebraic matroids is closed under duality, a decades-old open question. We consider the Tic-Tac-Toe matroid as a potential candidate to answer the open question. The Tic-Tac-Toe matroid is known to satisfy many of the necessary conditions for a matroid to be algebraic and has a non-algebraic dual.  Second, we focus on decompositions of the complete mixed graph into mixed bowties. A complete mixed graph has between every pair of vertices an undirected edge and antiparallel arcs. A mixed bowtie is a graph consisting of two 3-cycles …

Toward Completeness Theorem For Guarded Kleene Algebra With Tests, Hung Pham

Honors Theses

Code refactoring is a fundamental practice in software engineering, in which a program is restructured without changing the actions it performs and the results it produces. To carry out refactoring with confidence, one requires a formal method for verifying that two programs are equivalent. Guarded Kleene Algebra with Tests (GKAT) provides such a framework, an algebraic system designed to reason about a natural class of programs, namely those in which every branch and loop is governed by a Boolean condition, such as if–else and while statements. Central to GKAT is a finite set of algebraic axioms for deriving program equivalences. …

Fostering A Growth Mindset In Mathematics: Faculty And Student Experiences, Yolanda G. Rush

Theses and Dissertations

According to the Center for Community College Student Engagement (2019), many students attending two-year institutions need productive persistence strategies, including the development of a growth mindset. Although some growth mindset interventions have been effective in improving academic achievement among students (Boaler, 2016; Canning et al., 2024) and persistence (Lewis, 2019) among students, especially those with developmental needs (Suh et al., 2019) and those in mathematics, little is known about the experiences of students and teachers (i.e., students’ perceptions of teachers’ intentions and implementation) as teachers work to foster a growth mindset culture (Murphy et al., 2021). In this dissertation, I …

Classifying Mathieu-Zhao Subspaces In Products Of Cyclic Rings, Sarah A. Huber

Theses and Dissertations

Mathieu-Zhao subspaces are a generalization of ideals in an algebra and were introduced by Wenhua Zhao in connection to the Jacobian conjecture and its variants. These subspaces have interesting properties, and often the problem of classification is hard. In this thesis, we investigate the structure of Mathieu-Zhao subspaces of the cartesian product of integers modulo powers of a prime p, Zpr × Zps . We will give a complete classification of the subgroups, maximal subgroups, Mathieu-Zhao subspaces, and maximal Mathieu-Zhao subspaces in these rings.

Fuchs' Problem For Quasi-Cyclic Groups, Dalen F. Elliott

Theses and Dissertations

Fuchs’ problem asks which groups can arise as the group of units of a ring. Although the finite cyclic case has been completely classified, much less is known in the infinite setting. This thesis contributes to this problem by investigating quasi-cyclic. (Pr¨ufer) groups and their finite direct products. We show that for every odd prime p, there is no commutative ring R such that R×∼= Cp∞. This obstruction arises from characteristic restrictions and the algebraic structure of finite fields. More generally, we prove that any group in which every element has order a power of an odd prime p and …

Extensions Between Modules Defined By Lattice Paths In The Preprojective Algebra, Chloe Napier

Theses and Dissertations--Mathematics

In 2001, Fomin and Zelevinsky introduced cluster algebras which appear as coordinate rings of many varieties. We study cluster algebras coming from Richardson varieties. Leclerc gives a cluster structure on Richardson varieties using the representation theory of preprojective algebras. While this construction is very algebraic, we take a more combinatorial approach. The main goal is to find a combinatorial description for when certain cluster variables are compatible, or equivalently when modules defined by lattice paths in the preprojective algebra have trivial extensions. We extend the known results from Geiss, Leclerc, and Schröer that answer this question in the case of …

Representations Of Finite Groups And Diagrammatic Algebras, Hudson Yeend

CMC Senior Theses

Representation theory allows mathematicians to study abstract mathematical objects using the powerful and concrete tools of linear algebra. This thesis aims to present some foundational concepts in representation theory and apply these concepts to specific groups and algebras. We begin by examining representations of finite groups, culminating with a proof of Maschke's theorem. We then use the correspondence between a group and its group algebra to segue into a study of representations of diagrammatic algebras, where we introduce analogous notions of decomposition. We end with a study of quiver representations, noting that Gabriel's theorem and the kQ-modular structure transcend …

Lie-Galois Theory, Giovanni Reed

Honors Undergraduate Theses

Differential equations are a much-studied topic in the field of mathematics, as well as other sciences, such as engineering, economics, and biology. While much is known concerning these, there is still a large gap in our knowledge about such equations. It is important therefore, both to mathematics and other sciences, that we gain a more complete knowledge of differential equations, in particular the nature of their solutions. In this research, we investigate the solution space of linear ordinary differential equations (ODEs) from the standpoint of differential algebra. Differential algebra allows an ODE to be treated similarly to a polynomial, allowing …

Catalan And Hyper-Catalan Numbers: Combinatorial Applications To Polynomial Equations, Leilani Natale

Williams Honors College, Honors Research Projects

In this paper, we study Catalan numbers and their generalization, hyper-Catalan numbers, and explore how these sequences arise naturally in the context of solving polynomial equations using infinite power series. We begin by introducing the Catalan numbers through their combinatorial interpretation as triangulations of convex polygons. Using this geometric definition, we derive a relation whose recursive structure leads to a quadratic functional equation. Interpreting this relation as a formal power series equation allows us to express solutions to quadratic equations as infinite power series whose coefficients are given by the Catalan numbers. This framework is then extended by allowing polygon …

Studies On The Depth Formula And On Reducing Dimensions, Brian Mccourt Laverty

Graduate Theses, Dissertations, and Problem Reports (ETD)

This dissertation presents the author’s recent research, conducted under the supervision of Professor Olgur Celikbas, and based on two articles—one published and one in progress. These works develop two closely related research directions in commutative algebra. Together, they contribute to the subject by addressing aspects of existing conjectures, establishing new results, and introducing methods for studying homological invariants.

The first research direction concerns the depth formula, namely the equality \[ \depth_R(M)+\depth_R(N)=\depth(R)+\depth_R(M\otimes_RN) \] where $M$ and $N$ are finitely generated $R$-modules. A classical result of Auslander \cite{Aus} shows that the depth formula holds provided that either $M$ or $N$ has finite …

When The Gorenstein Projective Modules Are Precovering: A Survey On The Existence Of The Gorenstein Projective Precovers, Alexis L. Mcburney

College of Graduate Studies: Theses & Dissertations

This thesis surveys known results on the existence of Gorenstein projective precovers and studies conditions under which the class of Gorenstein projective modules is precovering. In classical homological algebra, projective resolutions are used to study modules, while relative homological algebra replaces projective modules with a different class that must be precovering for resolutions to exist. Gorenstein homological algebra extends these ideas using Gorenstein projective modules. We review key developments by Jorgensen, Murfet and Salarian, Estrada, Iacob, and Yeomans, and Cortés and Saroch. We discuss the strongest known existence result, showing that Gorenstein projective precovers exist under suitable conditions; in particular, …

A Leslie System For A Demographic Simulation: From An Actuarial Point Of View, David Kings

Electronic Theses and Dissertations

This thesis develops a discrete stochastic linear systems interpretation of age–stage demographic evolution grounded in Leslie operators and realized in a discrete-event simulation implemented with salabim. The central claim is that one annual cycle of the simulation constitutes a cone-preserving, stochastic affine transformation on a high- dimensional population state vector indexed by age, sex, marital status, household type, employment, and education, and that the composition of yearly operators yields a random matrix product whose top Lyapunov exponent is the stochastic counterpart of the Perron–Frobenius growth rate (Caswell, 2001; Tuljapurkar, 1997)[1, 2]. The actuarial bridge is constructed by mapping simulated survival …

Principal Quandles, Jesse Parrish

Electronic Theses and Dissertations

This thesis concerns principal quandles and, as a special case, Alexander quandles. A principal quandle is a coset quandle, Q(G,H, f), in which the subgroup H is trivial. If in addition the group G is abelian, then the coset quandle is called an Alexander quandle. The isomorphism types of Alexander quandles were classified [16], and some progress was made on describing the isomorphism types of principal quandles in [14] and [13]. The first part of this thesis applies the ideas used in Holmes’ paper to give a classification of the isomorphism types of principal quandles. The second …

Sugar: A Sequence Unfolding Based Transformer Model For Group Activity Recognition, Yash U. Gondkar

Graduate Masters Theses

Large Language Models have improved significantly in the past couple of years due to the adoption of transformers. However, transformers still find it challenging to process videos due to limited context size caused by their quadratic computing cost. Therefore, we studied a booming field in machine learning which powers applications like social scene analysis and video surveillance systems called Group Activity Recognition (GAR). We found that recent models were able to achieve more than 90% accuracy on popular datasets like the Volleyball dataset, however, it turned out that even they relied on transformers.

Therefore, in this work, we developed a …

An Exploration Of The Structure Of The Linear Algebraic Model Of Color, Isaac Martin

University Honors Theses

This thesis surveys the mathematical grounding of linear algebraic models of color. It aims to build from the ground up the framework by which additive color is broadly understood in the digital age. Primarily building on the work of Jozef Cohen, Eric Dubois, David H. Krantz, and Günter Wyszecki, it aims to chart the construction of a model of color that underpins most modern understandings of color. While the construction is certainly established in colorimetric circles, the construction is, in the thesis author's opinion, either obtuse or non-rigorous. Ideally, this thesis serves to make the construction accessible to an audience …

Constructing Code-Based Zero-Knowledge Proofs Leveraging Generic Errors And Bounded Vectors, Freeman Slaughter

All Dissertations

Quantum computing is developing at an expeditious rate, and once fully scalable quantum computers become realized, classical cryptographic systems face obsolescence. This approaching peril has prompted a paradigm shift away from pre-quantum cryptography and towards post-quantum primitives, such as those that arise from the field of coding theory. Among these, zero-knowledge proofs have emerged as a dynamic tool instrumental in constructing quantum-resilient digital signature schemes.

We being by introducing HammR, a pre-quantum zero-knowledge proof protocol designed to verify Hamming weight and entry constraints of error vectors, and comprehensively establish its security. Subsequently, we extend HammR to the multi-party computation setting, …

A Theory Of Fundamental Strata For Twisted Formal Connections, Sorawit Viwanthananut

LSU Doctoral Dissertations

Let $G$ be a complex reductive group. A fundamental stratum for $G$ is a triple $(x,r,\beta)$ where $x$ is a point in the Bruhat-Tits building of $G$, $r$ is a nonnegative real number called depth of the stratum, and $\beta$ is a semistable functional on the Moy-Prasad filtration of $\fg$ associated to $x$ at level $r$. Fundamental strata were first introduced to classify admissible representations of a $p$-adic reductive group. More recently, Bremer and Sage have shown that fundamental strata play an important role in the geometric Langlands program and developed a theory of fundamental strata for $G$-connections. In this …

Langlands Reciprocity And The Splitting Behavior Of Primes In Number Fields, Skip E. Moses

Master's Theses

This thesis explores the evolution of reciprocity laws in number theory in order to provide a conceptual bridge between the classical ideas of quadratic reciprocity and the modern framework of the Langlands program. We develop the necessary algebraic background to understand how the splitting behavior of primes in number fields reflects deep arithmetic structure in ℚ. Starting with quadratic fields and cyclotomic extensions, we motivate the development of the Kronecker–Weber theorem and the characterization of abelian extensions of ℚ. We then introduce Artin reciprocity and show how it generalizes quadratic reciprocity through the formalism of Frobenius elements and Artin L-functions. …

Banach Algebras And The Gelfand Theory Of Group Algebras On Locally Compact Abelian Groups, James Gabriel Bonvanie

Master's Theses

A Banach algebra is a complex algebra that is simultaneously a Banach space in which the norm is submultiplicative. Notably, $L^1(\mathbb{R})$ with the convolutional product is an Abelian, non-unital Banach algebra that admits an approximate identity. We rectify $L^1(\mathbb{R})$ lacking a unit via the unitization $L^1(\mathbb{R})\times\mathbb{C}$ with identity $(0,1)$. Unitization opens the discussion to the spectrum $\sigma(x)$ of a Banach algebra element, in which the spectrum is a nonempty, compact subset of the complex plane. The spectrum of an Abelian Banach algebra is fully characterized with multiplicative linear functionals, and we prove that the Fourier transform is the unique multiplicative …

Crystallization Of The Quantized Function Algebras Of Suq(N + 1), Manabendra Giri

Doctoral Theses

The $q$-deformation of a connected, simply connected Lie group $G$ is typically studied through two Hopf algebras associated with it: the quantized universal enveloping algebra $\mathcal{U}_q(\mathfrak{g})$ and the quantized function algebra $\mathcal{O}(G_q)$. If $G$ has a compact real form $K$, one can use the Cartan involution to give a $*$-structure on $\mathcal{O}(G_q)$. The QFA $\mathcal{O}(G_q)$ with this $*$ structure is denoted by $\mathcal{O}(K_q)$ and its $C^*$-completion by $C(K_q)$. Here we study the crystal limits of $\mathcal{O}(SU_q(n+1))$ and $C(SU_q(n+1))$ and classify all irreducible representations of the crystallized algebras. We also prove that the crystallized algebra carries a natural bialgebra structure.

Understanding Student And Teacher Perceptions Of A Checking For Accuracy Method In Algebra Class, Abigail A. Jameson

Masters of Education in Teaching and Learning

Mathematics encompasses learning from one’s mistakes and developing accuracy with problem-solving. This action research study analyzed the classroom teacher’s and students' perceptions of a checking for accuracy math method that was implemented in an eighth-grade algebra classroom. Additionally, the researcher wanted to understand how the participants felt about the accuracy method and its influence on students’ attitudes toward math and mastery of math concepts. Student surveys, individual teacher (with student artifacts) and student interviews and focus groups (with individual artifacts) were the qualitative data collected using the constant comparative method. Descriptive statistics was used to collect quantitative data with calculated …

A Preliminary Study Of Hilbert–Kunz Functions: Coefficient Behavior In A Normal Affine Semigroup Ring, Jesus A. Mendiola Herrera

Theses and Dissertations

In 1890, David Hilbert published a set of notes on what now constitutes one of the bases of Commutative Algebra; his work would eventually influence the efforts of mathematicians like Ernst Kunz. In 1969, Ernst Kunz introduced a particular mapping regarding modules of regular local rings. His goal was to characterize Noetherian local rings of prime characteristic by computing the length of the composition series under Frobenius power transformations. In this thesis, the focus will be on stating the initial steps on finding the coefficients of the Hilbert-Kunz function of the normal affine semigroup ring of the form R = …

Some Interpolation Problems In The Projective Plane, Lilah Estes

Mathematical Sciences Undergraduate Honors Theses

Given some set of r general points in the projective plane, we want to better understand: what is the smallest degree of any polynomial passing through the points m times? How many linearly independent equations of this degree pass through the points m times? The investigation of these questions, particularly for the case of m=3 and r< 16, motivates the development of several results. We translate Terracini's inductive argument, a tool for evaluating the expectedness of certain sets of double points, into a version which can be used for triple points, and prove that the argument holds. We compute the minimal graded free resolutions for the ideals corresponding to up to 15 points, for m up to 6, and we conjecture a connection between the expectedness of these ideals and what their resolutions look like. Further, we prove that this conjecture holds when m=1, and we either fully or partially prove that these ideals are …

Geometric Algebra For Field Theory In Curved Spacetime, Kevin Rhine

All Graduate Reports and Creative Projects, Fall 2023 to Present

Physics seeks to understand the universe by uncovering the fundamental laws that govern matter, energy, space, and time. At its heart lies the challenge of unification: finding a mathematical framework that consistently describes these interactions across all scales, from the subatomic to the cosmological.

This thesis explores geometric algebra, a mathematical language that unifies algebra and geometry, as a tool for advancing this understanding. By extending this framework to curved spacetimes, where gravity influences the structure of space and time, we investigate its ability to describe physical phenomena such as electromagnetism and general relativity. A notable contribution includes the geometric …

Car Price Prediction Using Machine Learning: Analyzing The Dvm-Car Dataset, Yaman Abu Ghareebaih

Electronic Theses and Dissertations

The objective of this study is to predict car prices using machine learning models and the DVM-CAR dataset, which includes over 1.4 million images and car specifi- cations from 899 car models. Key factors such as mileage, engine power, and year of registration were analyzed for their correlation with car prices. Extensive data cleaning was performed, including filling missing values, identifying outliers, and normalizing numerical variables. Discrete variables like car make and body type were encoded using one-hot encoding. Linear relationships were analyzed with Multiple Logistic Regression, and Random Forest models were used for nonlinear patterns. Model performance was evaluated …