Algebra Commons^™

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 …

Mat 1500 Calculus I Syllabus, Tian Cai

Open Educational Resources

No abstract provided.

Mat 1600 Syllabus Ii Syllabus, Tian Cai

Open Educational Resources

No abstract provided.

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 …

Test Retakes In Introductory Math Courses, John Hird, Chris Mcclain

2026 Scholarly Teaching Conference: Poster Session Papers

In this poster, we describe the implementation of an exam retake model using specifications grading for math courses taken by non-STEM majors. This system was implemented by two faculty members over three years in two sequential courses. During that time, we tried several versions of allowed retakes, with varying restrictions on partial credit. Some of the challenges that we faced were scaling the system for use by different faculty members and with different courses, managing faculty workload on writing and grading multiple exams, and managing student expectations.

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, …