Algebra Commons^™

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 …

A 4-Dimensional Rubik’S Cube You Can Hold: How It’S Possible And The Math Behind It, Eric J. Moon

SACAD: Scholarly Activities

This poster examines the physical 2x2x2x2, a hand-held realization of a 4-dimensional Rubik’s Cube invented by Melinda Green. Unlike most higher-dimensional twisty puzzles, which exist only as software simulations, this puzzle provides a physical model for exploring 4-dimensional rotation, symmetry, and solving methods. The poster introduces the structure of the puzzle, its canonical move system, and several algebraic ideas that help explain how scrambling and solving work.

From a mathematical perspective, the puzzle can be studied using group actions, commutators, conjugation, and combinatorial counting. In particular, the number of reachable states depends on corner permutations, corner orientations, parity restrictions, twist …

Mckinsey-Tarski Algebras And Raney Extensions, G. Bezhanishvili, R. Raviprakash, A. L. Suarez, Joanne Walters-Wayland

Mathematics, Physics, and Computer Science Faculty Articles and Research

We introduce the notion of Raney morphism between MT-algebras and show that the resulting category is equivalent to the category of Raney extensions. This is done by generalizing the construction of the Funayama envelope of a frame. The resulting notion of the T₀-hull of a Raney extension generalizes that of the T_D-hull of a frame.

Career: Algebra And Representation Theory For Non-Semisimple Topological Field Theory, Matthew Young

Funded Research Records

No abstract provided.

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

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 …

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 …

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 …

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 …

Lipschitz Conditions On Operators And Matrices, Ryan Farrell

UNF Graduate Theses and Dissertations

Lipschitz functions on the real line find various applications across mathematics, including in differential equations, optimization, and machine learning. The goal of this thesis is to investigate functions which satisfy certain Lipschitz conditions when ap- plied to operators and matrices. Our study will review two classes of such functions, the class of Operator Lipschitz functions with respect to a given matrix norm, and the class consisting of functions which do not meet Lipschitz conditions in the traditional sense but satisfy inequalities which are Lipschitz in nature – we call such conditions ”Lipschitz-like”. The thesis concludes with a survey of these …

Counting The Classes Of Projectively-Equivalent Pentagons On Finite Projective Planes Of Prime Order, Maxwell Hosler

Rose-Hulman Undergraduate Mathematics Journal

In this paper, we examine the number of equivalence classes of pentagons on finite projective planes of prime order under projective transformations. We are interested in those pentagons in general position, meaning that no three vertices are collinear. We consider those planes which can be constructed from finite fields of prime order, and use algebraic techniques to characterize them by their symmetries. We are able to construct a unique representative for each pentagon class with nontrivial symmetries. We can then leverage this fact to count classes of pentagons in general. We discover that there are (1/10)((p+3)(p-3)+4 …

Categorical Chain Conditions For Étale Groupoid Algebras, Sunil Philip

Dissertations, Theses, and Capstone Projects

Let R be a unital commutative ring and G an ample groupoid. Using the topology of the groupoid G, Steinberg defined an étale groupoid algebra RG. These étale groupoid algebras generalize various algebras, including group algebras, commutative algebras over a field generated by idempotents, traditional groupoid algebras, Leavitt path algebras, higher-rank graph algebras, and inverse semigroup algebras. Steinberg later characterized the classical chain conditions for étale groupoid algebras. In this work, we characterize categorically noetherian and artinian, locally noetherian and artinian, and semisimple étale groupoid algebras, thereby generalizing existing results for Leavitt path algebras and introducing new results for inverse …

Hyperbolic Groups And The Word Problem, David Wu

Master's Theses

Mikhail Gromov’s work on hyperbolic groups in the late 1980s contributed to the formation of geometric group theory as a distinct branch of mathematics. The creation of hyperbolic metric spaces showed it was possible to define a large class of hyperbolic groups entirely geometrically yet still be able to derive significant algebraic properties. The objectives of this thesis are to provide an introduction to geometric group theory through the lens of quasi-isometry and show how hyperbolic groups have solvable word problem. Also included is the Stability Theorem as an intermediary result for quasi-isometry invariance of hyperbolicity.

Nidus Idearum. Scilogs, Xiii: Structure / Neutrostructure / Antistructure, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this thirteenth book of scilogs – one may find topics on Neutrosophy, Plithogeny, Physics, Mathematics, Philosophy – email messages to research colleagues, or replies, notes, comments, remarks about authors, articles, or books, spontaneous ideas, and so on. It presents new types of soft sets and new types of topologies.

Exchanging ideas with Mohammad Abobala, Ishfaq Ahmad, Ibrahim M. Almanjahie, Fatimah Alshahrani, Nizar Altounji, Muhammad Aslam, Said Broumi, Victor Christianto, R. Diksh, Feng Liu, Frank Julian Gelli, Erick Gonzalez Caballero, Riad Hamido, Yaser Al-Hasan, Ahmed Hatip, Yasin Karmouta, Nivetha Martin, Preda Mihăilescu, V. Lakshmana Gomathi Nayagam, Ze Carlos Tiago de …

On Distortion Of Surface Groups In Right-Angled Artin Groups, Lucas Bridges

Mathematical Sciences Undergraduate Honors Theses

Surfaces have long been a topic of interest for scholars inside and outside of mathe- matics. In a topological sense, surfaces are spaces which appear flat on a local scale. Surfaces in this sense have a restricted set of properties, including the behavior of loops around a surface, codified in the fundamental group.

All but 3 surface groups have been shown to embed into a class of groups called right-angled Artin groups. The method through which these embeddings are created places large restrictions on all homomorphisms from surface groups to right-angled Artin groups.

One such restriction on these homomorphisms is …

Classification Of Topological Defects In Cosmological Models, Abigail Swanson

Departmental Honors & Graduate Capstone Projects

In nature, symmetries play an extremely significant role. Understanding the symmetries of a system can tell us important information and help us make predictions. However, these symmetries can break and form a new type of symmetry in the system. Most notably, this occurs when the system goes through a phase transition. Sometimes, a symmetry can break and produce a tear, known as a topological defect, in the system. These defects cannot be removed through a continuous transformation and can have major consequences on the system as a whole. It is helpful to know what type of defect is produced when …

A Note On Umbilic Points At Infinity, Brendan Guilfoyle

Department of Mathematics Publications

In this note a definition of umbilic point at infinity is proposed, at least for surfaces that are homogeneous polynomial graphs over a plane in Euclidean 3-space. This is a stronger definition than that of Toponogov in his study of complete convex surfaces, and allows one to distinguish between different umbilic points at infinity. It is proven that all such umbilic points at infinity are isolated, that they occur in pairs and are the zeroes of the projective extension of the third fundamental form, as developed in Guilfoyle and Ortiz-Rodríguez (Math Proc R Ir Acad 123A(2), 63–94, 2023). A geometric …

The Modular Generalized Springer Correspondence For The Symplectic Group, Joseph Dorta

LSU Doctoral Dissertations

The Modular Generalized Springer Correspondence (MGSC), as developed by Achar, Juteau, Henderson, and Riche, stands as a significant extension of the early groundwork laid by Lusztig's Springer Correspondence in characteristic zero which provided crucial insights into the representation theory of finite groups of Lie type. Building upon Lusztig's work, a generalized version of the Springer Correspondence was later formulated to encompass broader contexts.

In the realm of modular representation theory, Juteau's efforts gave rise to the Modular Springer Correspondence, offering a framework to explore the interplay between algebraic geometry and representation theory in positive characteristic. Achar, Juteau, Henderson, and Riche …

Spacetime Geometry Of Acoustics And Electromagnetism, Lucas Burns, Tatsuya Daniel, Stephon Alexander, Justin Dressel

Mathematics, Physics, and Computer Science Faculty Articles and Research

Both acoustics and electromagnetism represent measurable fields in terms of dynamical potential fields. Electromagnetic force-fields form a spacetime bivector that is represented by a dynamical energy–momentum 4-vector potential field. Acoustic pressure and velocity fields form an energy–momentum density 4-vector field that is represented by a dynamical action scalar potential field. Surprisingly, standard field theory analyses of spin angular momentum based on these traditional potential representations contradict recent experiments, which motivates a careful reassessment of both theories. We analyze extensions of both theories that use the full geometric structure of spacetime to respect essential symmetries enforced by vacuum wave propagation. The …

Bicategorical Character Theory, Travis Wheeler

Theses and Dissertations--Mathematics

In 2007, Nora Ganter and Mikhail Kapranov defined the categorical trace, which they used to define the categorical character of a 2-representation. In 2008, Kate Ponto defined a shadow functor for bicategories. With the shadow functor, Dr. Ponto defined the bicategorical trace, which is a generalization of the symmetric monoidal trace for bicategories. How are these two notions of trace related to one another? We’ve used bicategorical traces to define a character theory for 2-representations, and the categorical character is an example.

Adams Operations On The Burnside Ring From Power Operations, Lewis Dominguez

Theses and Dissertations--Mathematics

Topology furnishes us with many commutative rings associated to finite groups. These include the complex representation ring, the Burnside ring, and the G-equivariant K-theory of a space. Often, these admit additional structure in the form of natural operations on the ring, such as power operations, symmetric powers, and Adams operations. We will discuss two ways of constructing Adams operations. The goal of this work is to understand these in the case of the Burnside ring.

Super Hiper Funcion Y Super Hiper Estructura Y Sus Correspondientes Super Hiper Funcion Neutrosofica Y Super Hiper Estructura Neutrosofica, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

El n-ésimo Conjunto Potencia de un Conjunto {o Pn(S)} describe mejor nuestro mundo real, porque un sistema S (que puede ser una empresa, institución, asociación, país, sociedad, conjunto de objetos/plantas/animales/seres, conjunto de conceptos/ideas/proposiciones, etc.) está formado por subsistemas, que a su vez están formados por sub-subsistemas, y así sucesivamente. Demostramos que la Super Hiper Función es una generalización de la Función clásica, Super Función y la Hiper Función. Y el Super Hiper Álgebra, Super Hiper Gráfico son parte de la Super Hiper Estructura. Casi todas las estructuras en nuestro mundo real son Super Hiper Estructuras Neutrosóficas ya que tienen …

Frieze And Tiling Groups In The Lorentz-Minkowski Plane, Michael O. Lynch

Honors Undergraduate Theses

In this thesis, there is a presentation of the isometries from the Lorentz-Minkowski Plane and a solution to the Frieze Patterns. There is a suggestion for a solution for the Tiling Patterns. Since the construction of these mathematical structures is well understood in the Euclidean plane, one can follow a similar approach to the construction of such objects to find the unique number of groups that describe all possible frieze patterns while there is a suggestion of the number for the tiling case. There is a reflection of these results in a computational and cosmological context.

One Theorem, Two Ways: A Case Study In Geometric Techniques, John B. Little

Journal of Humanistic Mathematics

If the three sides of a triangle ABΓ in the Euclidean plane are cut by points H on AB, Θ on BΓ, and K on ΓA cutting those sides in same ratios:

AH : HB = BΘ : ΘΓ = ΓK : KA,

then Pappus of Alexandria proved that the triangles ABΓ and HΘK have the same centroid (center of mass). We present two proofs of this result: an English translation of Pappus's original synthetic proof and a modern algebraic proof making use of Cartesian coordinates and vector concepts. Comparing the two methods, we can see that while the algebraic …

Stability Of Cauchy's Equation On Δ+., Holden Wells

Electronic Theses and Dissertations

The most famous functional equation f(x+y)=f(x)+f(y) known as Cauchy's equation due to its appearance in the seminal analysis text Cours d'Analyse (Cauchy 1821), was used to understand fundamental aspects of the real numbers and the importance of regularity assumptions in mathematical analysis. Since then, the equation has been abstracted and examined in many contexts. One such examination, introduced by Stanislaw Ulam and furthered by Donald Hyers, was that of stability. Hyers demonstrated that Cauchy's equation exhibited stability over Banach Spaces in the following sense: functions that approximately satisfy Cauchy's equation are approximated with the same level of error by functions …

Groups Of Non Positive Curvature And The Word Problem, Zoe Nepsa

Master's Theses

Given a group $\Gamma$ with presentation $\relgroup{\scr{\scr{A}}}{\scr{R}}$, a natural question, known as the word problem, is how does one decide whether or not two words in the free group, $F(\scr{\scr{A}})$, represent the same element in $\Gamma$. In this thesis, we study certain aspects of geometric group theory, especially ideas published by Gromov in the late 1980's. We show there exists a quasi-isometry between the group equipped with the word metric, and the space it acts on. Then, we develop the notion of a CAT(0) space and study groups which act properly and cocompactly by isometries on these spaces, such groups …

Pairings In A Ring Spectrum-Based Bousfield-Kan Spectral Sequence, Jonathan Toledo

Dissertations, Theses, and Capstone Projects

Bousfield and Kan traditionally formulated their homotopy spectral sequence over a simplicial set X resolved with respect to a ring R. By considering an adequate category of ring spectra, one can take a ring spectrum E, create from it a functor of a triple on the category of simplicial sets, and build a cosimplicial simplicial set EX. The homotopy spectral sequence can then be formed over such cosimplicial spaces by a similar construction to the original. Pairings can be established on these spectral sequences, and, for nice enough spaces, these pairings on the E₂-terms coincide with certain …

Quantifying Separability In Limit Groups, Keino Brown

Dissertations, Theses, and Capstone Projects

We show that for any finitely generated non-abelian subgroup H of a limit group L, there exists a finite-index subgroup K which is fully residually H. This generalizes the result of Wilton that limit groups admit local retractions. We also show that for any finitely generated subgroup of a limit group, there is a finite-dimensional representation of the limit group which separates the subgroup in the induced Zariski topology. As a corollary, we establish a polynomial upper bound on the size of the quotients used to separate a finitely generated subgroup in a limit group. This generalizes results of Louder, …

Restrictions On Topological Symmetry Groups Of The 3-Rung Möbius Ladder On The Torus, Logan Willhoite

Electronic Theses and Dissertations

In this work, we discuss properties of the 3-rung Möbius ladder embedded on the surface of a torus. We present proofs on restrictions of topological symmetry groups of the Möbius ladder with and without the assumption of preserving orientation. Specifically, we show that Z₂ is the only possible non-trivial orientation-preserving topological symmetry groups, and also that Z₂ and D₂ are the only possible nontrivial topological symmetry groups.

On The Superabundance Of Singular Varieties In Positive Characteristic, Jake Kettinger

Department of Mathematics: Dissertations, Theses, and Student Research

The geproci property is a recent development in the world of geometry. We call a set of points Z\subseq\P_k^3 an (a,b)-geproci set (for GEneral PROjection is a Complete Intersection) if its projection from a general point P to a plane is a complete intersection of curves of degrees a and b. Examples known as grids have been known since 2011. Previously, the study of the geproci property has taken place within the characteristic 0 setting; prior to the work in this thesis, a procedure has been known for creating an (a,b)-geproci half-grid for 4\leq a\leq b, but it was not …