Algebra Commons^™

Constructing Binary Encoding Matrices From Joined Graphs, Joshua Avalos

Electronic Theses, Projects, and Dissertations

Codes and technology are part of our daily lives and allow the modern world to function, and for us to have conveniences in our lives such as smartphones that can be used to privately call people on the other side of the planet, and for secure access to the internet. In this thesis we will explore the construction of binary codes created by vertex-edge incidence matrices of planar graphs. The Hamming (7,4) code was an incredible code that allowed the detection and correction of errors after receiving them through a transmission. We will explore the possibility of the creation of …

Algebraic Properties Of Boolean Models, Harrison Fisher

All Theses

Boolean models are n-tuples of polynomial functions in n variables over the finite field of order 2. These models define finite dynamical systems which are used for modeling many different biological systems such as gene regulatory networks. These systems can be defined by updating every function synchronously, or by updating one function at a time asynchronously. In this project, we discuss a method for reverse engineering the model space of all Boolean models which fit a set of partial asynchronous data. This method is a generalization of a known method for synchronous data. In addition, we show that given the …

Algebraic Topics For Future Middle School Teachers, Leonard Van Wyk

Department of Mathematics and Statistics - Faculty Scholarship

This text contains algebraic concepts relevant to the middle school mathematics curriculum. Topics include the basics of number theory, functions, linear systems, matrices, and polynomials.

Some Characterizations Of Weakly Pseudo Semi 2-Absorbing Submodules In Terms Of Some Types Of Modules, Omar H. Taha, Omar A. Abdullah, Ali Sh. Ajeel

Al-Bahir

The purpose of this paper is to investigate characterizations of weakly pseudo semi-2-absorbing submodules in terms of some types of modules. We provide characterizations for the class of multiplication modules with the help of some types of modules such as faithful, non-singular, Z-regular, and projective modules. Furthermore, we add some conditions to proof the residual of a weakly pseudo semi-2-absorbing submodule is a weakly pseudo semi-2-absorbing ideal.

Learning With Errors Parameter Analysis, Archana Parameswaran

Cybersecurity Undergraduate Research Showcase

We implement a systematic approach for generating, evaluating, and benchmarking Learning with Errors implementations in Sage Math by varying lattice dimensions, moduli, error standard deviations, and multiple error distributions to observe concrete security-efficiency tradeoffs. The security estimator maps parameter sets to concrete security levels and bits, while performance metrics measured computational efficiency and memory requirements. Results indicate that various distribution types do not significantly impact security, though binomial distributions require more computational overhead than discrete gaussian or uniform. Memory requirements increased when modulus q increased from 12289 to 65537. Larger dimensions have an exponentially growing requirement for memory, but this …

Number Talks To Promote Discourse In The Algebra 1 Classroom: A Number Talk Curriculum Development For A Unit On Quadratic Expressions, Lindsay C. Borger

Masters Theses/Capstone Projects

This project sought to develop a curriculum of Number Talks for use at the secondary level, specifically in an Algebra 1 class as a supplement to a unit on quadratic expressions. The project begins with a look at existing research on constructivism and social constructionism as well as the reforms in mathematics education informed by those learning theories. It then looks at calls for more discourse in the mathematics classroom as a part of these reform efforts, and the part Number Talks play in fostering discourse and mathematical thinking for students. The Number Talk curriculum includes a guide for implementing …

The Tate Resolution Over A Complete Intersection Ring, Kolton O'Neal

Honors Program: Senior Projects (Public)

Given a Noetherian commutative ring R and an ideal I ⊆ R, Tate provided a construction in [5] to produce a DG R-algebra that is also a free resolution for R/I. In this work, we review free resolutions and DG algebras, describe Tate’s construction, and present a proof of a result from Tate’s paper about his construction when a regular sequence is involved. Specifically, this result is that it only takes two steps of Tate’s construction to resolve a characteristic 0 field k over k[[x1, . . . , xn]]/(f1, . . . , fc), where f1, . . . …

Explicit Modularity And Moments For Certain Hypergeometric Character Sums, Brian Grove

LSU Doctoral Dissertations

A great deal of progress in number theory throughout history has been motivated by trying to solve equations. One of the most famous challenges is to show there are no positive integer solutions to $x^{n}+y^{n} = z^{n}$ for $n > 2$, posed by Fermat around 1637. Special cases, such as the $n = 3$ and $n = 4$ cases, can be established using various algebraic manipulations. However, a general solution was elusive until the late 1990s when the combined work of Wiles \cite{Wiles} and Taylor--Wiles \cite{TaylorWiles} give a full proof.

One of the key insights used in proving Fermat's conjecture involves …

A Student Guide To Using Ai To Enhance Algebraic Understanding, Karan Puri

Open Educational Resources

This is a step-by-step guide that students can follow to use AI tools to check their understanding of concepts that have been tested in the introductory/college algebra classroom.

Finite Posets As Prime Spectra Of Commutative Noetherian Rings, David T. Alkass

Rose-Hulman Undergraduate Mathematics Journal

We study finite partially ordered sets of prime ideals as found in commutative Noetherian rings. In doing so, we establish that these posets have a bipartite structure and devise a construction for finding ring spectra that are order-isomorphic to many such posets. Specifically, we prove that any finite complete bipartite graph is order-isomorphic to the spectrum of a ring of essentially finite type over the field of rational numbers. Furthermore, we prove that prime spectra of such rings can also depict any finite path or even cycle.

Proportion Of P-Adic Polynomials Which Are Irreducible, Isaac Rajagopal

Rose-Hulman Undergraduate Mathematics Journal

We attempt to quantify the exact proportion of p-adic polynomials of degree n which are irreducible. We find an exact answer to this when n is prime and p != n, and also when n = 4 and p != 2. Our answers are rational functions in p. This relates to previous work done to find exact proportions of p-adic polynomials of degree n which have k roots.

Project Title: Maximizing The Volume Of A Cardboard Box To Save Trees– An Application Of Polynomial Functions To Address Global Issues [Mathematics], Lucie Mingla

Open Educational Resources

MAT 115 College Algebra & Trigonometry/Precalculus

Project Title: Maximizing the Volume of a Cardboard Box to Save Trees– An Application of Polynomial Functions to Address Global Issues

Reflective Narrative:

This project was inspired by my participation in the "Designing and Implementation of STEM Co-Curricular Activities" CTL seminar in Spring 2023. I am grateful to Drs. Bukurie Gjoci, Daniel Gertner, Ingrid Veras, and Midas Tsai, along with fellow participants, for their invaluable feedback that helped shape its development. The project was implemented in two College Algebra and Trigonometry courses. I participated in two seminars to further develop this project. The Community …

Self-Tor Persistence Of Modules Over Determinantal Rings, Tatheer F. Ajani

Mathematics Dissertations - Archive

Tor-persistence is the claim that Tor of a module with itself is only zero if the module has finite projective dimension. Work done by Avramov, Iyengar, Nasseh, Sather-Wagstaff, and various other authors have proved Tor-persistence of modules over certain rings. In this work, we will prove Tor-persistence for certain modules over determinantal rings, specifically for the hypersurface defined by the determinant of a generic matrix. We will then give an explicit proof that Tor^R_2(M,M) is never zero, that Tor^R_1(M,M)=0, and due to the periodicity of the given free resolution, our result can be extended to the entire complex, showing that …

On The Combinatorial Invariance For Kazhdan-Lusztig Polynomials, Grover C. Harrell Iii

College of Graduate Studies: Theses & Dissertations

This thesis will be a discussion on the Combinatorial Invariance Conjecture for Kazhdan Lusztig polynomials. The conjecture is widely suspected to be true; and there is an abun dance of computational evidence which supports it. Despite this, no complete proof has been discovered for more than forty years. We will explore some known results about the CIC, particularly those by Dyer, Incitti, Brenti, Caselli, and Marietti.

On Higher Level Zhu Algebras Of N-Graded Vertex Algebras Associated With Simple Leibniz Algebras That Contain Sl2, Christian Soltermann

Theses and Dissertations

In this thesis, we study how the higher-level Zhu algebras of a vertex algebra reflect the structure of associated simple Leibniz algebras. In particular, we construct a vertex algebra from a vertex algebroid containing the simple Lie algebra sl₂ and analyze its higher level Zhu algebras. The irreducible modules of this vertex algebra were completely classified in [JY20b], but the structure of its indecomposable modules remains an open problem. Since modules for higher level Zhu algebras correspond to modules of vertex algebras, studying these algebras provides a method for understanding their broader representation theory.

Affine Groups: A Functorial Perspective, Vladimir Khabaev

Honors Theses

A familiar construction associated to any commutative ringRwith1is its group of units, traditionally denoted by R^x= {u in R | uv = 1 for some v in R}. This is but one out of many ways to get a group from a ring. To see at least one other way, we need a mild change in perspective: units may instead be characterized as elements for which the linear transformation f(r) = u ⋅ r is an isomorphism of R as a module over itself. That is to say, R^x = GL(1, R …

Neutrosophic Twofold Superhyperalgebra And Anti Superhyperalgebra, Takaaki Fujita, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic Sets are conceptual frameworks designed to address uncertainty. A Neutrosophic TwoFold Algebra is a hybrid algebraic structure defined over a neutrosophic set, combining classical algebraic operations with neutrosophic components. Concepts such as Hyperalgebra and Superhyperalgebra extend classical Algebra using Power Sets and 𝑛-th powersets. Additionally, structures such as NeutroAlgebra and AntiAlgebra have been defined in recent y ears. This paper explores several related concepts, including TwoFold SuperhyperAlgebra and Anti SuperhyperAlgebra.

Automorphism Groups Of N-Graded Vertex Algebras Associated With Cyclic Leibniz Algebras With Small Dimensions, Alexander M. Keene

Theses and Dissertations

A fundamental problem in the study of vertex (operator) algebras V is the determination of the group of (grading-preserving) N-graded vertex algebras associated with cyclic Leibniz algebras of dimensions 2 and 3 that were classified by C. Barnes, E. Martin, J. Service, and G. Yamskulna in [1].

In each case examined, investigation of the automorphism group relies on the key fact that the action of an automorphism σ is determined solely by its value at a single basis element b. Furthermore, we employ a result in [19] by H. Li and G. Yamskulna which states that we can determine the …

The Impact Of Loss Function Topology On Gradient Descent, Robert B. Skudnig Jr.

Theses and Dissertations

Gradient descent is a popular optimization method that utilizes a model’s prediction error to iteratively improve its parameters for a given task. The functions that measure this error can be defined to align with the user’s goals and sometimes satisfy metric or norm properties. It is common for these functions to measure over Rn, but any differentiable space allows for gradient descent to occur. There has been some research investigating the influence of topological spaces on optimization methods, but it is a limited field of study. This thesis further explores this phenomenon by applying a transformation prediction model to multiple …

The Algebra Behind Magic, Lois Carpenter

Undergraduate Research Awards

Card Tricks have long been a staple in the common magician’s repertoire, and while many tricks can be explained through sleight of hand alone, others rely on seemingly random shuffling methods that leave the magician with significant control over the deck. Applied card magic (frequently referred to as ‘cheating’) makes significant use of this ability. Thus, the utility of this topic is clear- anyone with basic mastery of perfect shuffles has complete control over the arrangement of cards in a deck, and with it a fundamental advantage against other players in any game of cards. While most perfect shuffles are …

Algebra Structures For The Koszul Homology Of Minimal Intersections, Kathryn A. Grebel

Mathematics Dissertations - Archive

The Koszul homology of a local ring is a powerful tool in commutative algebra as it provides information on the structure and properties of the ring. In this research, we explore the relationship between quotients of regular local rings and their Koszul homology algebra. One such relationship is detailed by the Tate-Assmus theorem, which asserts, in part, that a ring is a complete intersection if and only if the Koszul homology is generated by its degree 1 homology elements. An objective of this research is to examine and identify the properties of a minimal intersection and its Koszul homology algebra. …

Blow-Ups And Projectivized Toric Vector Bundles, Sara Church

Theses and Dissertations--Mathematics

This dissertation is set in the intersection of toric geometry, tropical geometry, and the theory of vector bundles. We focus on the geometry of projectivized toric vector bundles and their connections to Mori dream spaces, matroid theory, and tropical geometry. We generalize previous results on the quotient construction of Gonzalez, Hering, Payne, and Suss (GHPS) by introducing a new approach to describing the geometry of these bundles via associated blow-ups. Additionally, we examine tautological bundles arising from representable matroids and establish connections between their geometry and the wonderful compactification. Finally, we consider the case where Klyachko filtrations have maximal steps …

Action This Day: The Mathematics And Machinations That Bested The German Enigma, Jonah Weinbaum

Dartmouth College Master’s Theses

This thesis presents a comprehensive and chronological overview of cryptographic techniques designed to break Enigma, beginning in 1932 and culminating in the creation of the Turing-Welchman Bombe. We discuss the mathematical theory and electromechanical implements used to decode one of history's greatest ciphers.

Reexamining the Bombe through the lens of modern group theory, we critique Alan Turing's estimation of the number of "stops" that the Bombe produces for various plaintext-ciphertext pairing structures. To address its limitations, we introduce a new framework for estimating the number of stops by extending John Dixon's theorem concerning the probability that uniformly distributed elements of …

On Linear Invariants Of Hypergraphs, Clara Chaplin

Honors Theses

We introduce linear invariants of hypergraphs as a way to study hypergraphs by their tensor representations. Our primary research goal is to determine what information linear invariants capture about the hypergraphs they arise from. We first investigate the centroid, which is shown to determine the connected components of a hypergraph. Next, we study the derivations of a hypergraph, and use this linear invariant to define a quotient operator $Q_\mathrm{Der}$ on the collection of all hypergraphs. This operator is shown to be a closure operator in that $Q_\mathrm{Der}(Q_\mathrm{Der}(\mathcal{H}))=Q_\mathrm{Der}(\mathcal{H})$ for any hypergraph $\mathcal{H}$. We apply the operator $Q_\mathrm{Der}$ to synthetically generated hypergraphs, …

Multipliers On Weighted Sequence Spaces, Gilbert Acheampong, Raymond Cheng

Mathematics & Statistics Faculty Publications

The space ℓp,α of complex sequences a = (a0, a1,a2,...) for which

[[formula omitted]]

is studied. Each such sequence can be identified with the analytic function with power series

[[formula omitted]]

In this setting, the point evaluation and the difference quotient mappings are shown to be bounded; the cases are identified in which ℓp,α is boundedly contained in ℓr,β. Conditions on the parameters are derived for the analytic functions of ℓp,α to have radial limits almost everywhere on the boundary, and for ℓp,α to be an algebra. Smoothness properties of the boundary function are investigated. Basic properties of multipliers on …

Multipliers Between ℓᴾ Spaces, Raymond Cheng

Mathematics & Statistics Faculty Publications

For 0 < p ⩽ ∞ and 0 < r ⩽ ∞, the space 𝔐_p,r of (coefficient) multipliers from ℓ^p and ℓ^r is completely characterized. This is elementary in most instances. The interesting case 0 < r < p < ∞ requires more effort, and it is shown that a sequence of complex numbers belongs to 𝔐_p,r if and only if the sequence of their absolute values has a non increasing rearrangement (h₀,h₁,h₂,...) satisfying

(∞

Σ (k +1)^(p-r)/p (h^r_k - h^r_k+1)^1/r) < ∞

k = 0

In that case, the expression on the left is the norm of the multiplier, and it is a compact operator. Further upper and lower bounds are given for the multiplier norm.

Moore Graphs, Trevor Saxton

Williams Honors College, Honors Research Projects

A Moore graph is a simple regular graph, with n vertices, degree d, and diameter k, that satisfies the Moore bound: n = 1 + d (d − 1)k − 1 d − 2 . There are graphs for which the bound is met and in which existence and uniqueness are known. For k = 2 it is known that the Moore bound is achieved for d = 2, 3, 7, with the case of d = 57 conjectured to exist. For k = 3 the bound is achieved for only d = 3 [5]. Due to the construction of …

Betti Numbers Of Generic Ideals, Jason R. Howell

Electronic Theses & Dissertations (2024 - present)

We present results related to Betti numbers of so called generic ideals over a polynomial ring $T = \Bbbk[x_1, \ldots, x_n]$. For each $m$ define $T(m) = T/(x_{m+1}, \ldots, x_n)$ and for a homogeneous ideal $J$ we use the notation $J(m) = JT(m)$. Also we set $Q(m) = T(m)/J(m)$, and $L(m) = ann_{Q(m)}(x_m)$. The first main result is Theorem \ref{Long Exact Sequence} where we produce the following long exact sequence \begin{align*} \cdots \rightarrow &Tor_{k+1,j}^{T(m-1)}(Q(m-1),\Bbbk) \rightarrow Tor_{k-1,j+1}^{T(m-1)}(L(m),\Bbbk)_{j-1} \rightarrow Tor_{k,j}^{T(m)}(Q(m),\Bbbk) \rightarrow \\ &Tor_{k,j}^{T(m-1)}(Q(m-1),\Bbbk) \rightarrow Tor_{k-2,j-1}^{T(m-1)}(L(m),\Bbbk) \rightarrow \cdots. \end{align*} The second main result is Theorem \ref{Theorem F(j,m) equiv k(j,m)} where we explicitly describe …

Towards A Baker-Campbell-Hausdorff Theorem In Positive Characteristic, Nikolas A. Koutroulakis

College of Graduate Studies: Theses & Dissertations

We investigate whether there is an analog of the Baker-Campbell-Hausdorff (BCH) theorem for Lie algebras over fields of positive characteristic. We begin by introducing the proof of the BCH formula in characteristic zero. We then introduce the Artin-Hasse exponential and show that it is $p$-integral. Our main result provides sufficient conditions under which a BCH-type formula exists for the Artin-Hasse exponential in positive characteristic. Additionally, we derive a formula for computing an inverse of the Artin-Hasse exponential.

Gorenstein Flat Preenvelopes Over Coherent Rings, Alec Moore

College of Graduate Studies: Theses & Dissertations

The existence of precovers and preenvelopes of Gorenstein flat modules is of great interest in the field of Gorenstein homological algebra. We give a sufficient condition in order for the class of Gorenstein flat modules to be preenveloping. More precisely, we prove that if the ring R is coherent such that every injective module has finite flat dimension, then every R-module has a Gorenstein flat preenvelope.