Algebra Commons^™

Diagrams In Involutive Residuated Lattices, Isis A. Gallardo

Electronic Theses and Dissertations

First, we show that every distributive lattice-ordered pregroup can be embedded into a functional algebra over an integral chain, thereby improving the existing Cayley/Holland style embedding theorem. Using this result, we demonstrate that the variety of all dis tributive lattice-ordered pregroups is generated by the functional algebra on the integers. Additionally, we prove that the equational theory of this variety is decidable.

Next, we establish that DLP is equal to the join of its subvarieties LP_n, where 𝑛 ∈ ℤ⁺, consisting of 𝑛-periodic ℓ-pregroups. We also prove that every algebra in LP_n can be embedded …

Frames And Spaces For Distributive Quasi Relation Algebras And Distributive Involutive Fl-Algebras, Andrew Craig, Peter Jipsen, Claudette Robinson

Mathematics, Physics, and Computer Science Faculty Articles and Research

Analogous to atom structures for relation algebras, we define partially ordered frames and prove they are duals for complete perfect distributive quasi relation algebras and distributive involutive FL-algebras. We then extend this dual representation to all algebras and their corresponding frames with a Priestley topology.

For relation algebras up to size 16 it has been determined which algebras are representable by binary relations. We compute all finite distributive quasi relation algebras up to 8 elements and provide representations for some of them.

On The Structure Of Balanced Residuated Partially Ordered Monoids, Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Přenosil, Melissa Sugimoto

Mathematics, Physics, and Computer Science Faculty Articles and Research

A residuated poset is a structure ⟨A,⩽, ·, \, /, 1⟩ where ⟨A,⩽⟩ is a poset and ⟨A, ·, 1⟩ is a monoid such that the residuation law x · y ⩽ z ⇐⇒ x ⩽ z/y ⇐⇒ y ⩽ x\z holds. A residuated poset is balanced if it satisfies the identity x\x ≈ x/x. By generalizing the well-known construction of Płonka sums, we show that a specific class of balanced residuated posets can be decomposed into such a sum indexed by the set of positive idempotent elements. Conversely, given a semilattice directed system of residuated posets equipped with two …

Making Sandwiches: A Novel Invariant In D-Module Theory, David Lieberman

Department of Mathematics: Dissertations, Theses, and Student Research

Say I hand you a shape, any shape. It could be a line, it could be a crinkled sheet, it could even be a the intersection of a cone with a 6-dimensional hypersurface embedded in a 7-dimensional space. Your job is to tell me about the pointy bits. This task is easier when you can draw the shape; you can you just point at them. When things get more complicated, we need a bigger hammer.

In a sense, that “bigger hammer” is what the ring of differential operators is to an algebraist. Then we will say some things and stuff …

Cohen-Macaulay Type Of Open Neighborhood Ideals Of Unmixed Trees, Jounglag Lim

All Theses

Given a tree T and a field k, we define the open neighborhood ideal N(T) of T in k[V] to be the ideal generated by the open neighborhoods of all vertices in the graph. If T is unmixed with respect to the total domination problem, then it is known that N(T) is Cohen-Macaulay. Our goal is to compute the (Cohen-Macaulay) type of k[V]/N(T) using graph theoretical properties of T. We achieve this by using homological algebra and properties of monomial ideals. Along the way, we also provide a different characterization of unmixed trees and a generalization of the total dominating …

Relating Elasticity And Other Multiplicative Properties Among Orders In Number Fields And Related Rings, Grant Moles

All Dissertations

This dissertation will explore factorization within orders in a number ring. By far the most well-understood of these orders are rings of algebraic integers. We will begin by examining how certain types of subrings may relate to the larger rings in which they are contained. We will then apply this knowledge, along with additional techniques, to determine how the elasticity in an order relates to the elasticity of the full ring of algebraic integers. Using many of the same strategies, we will develop a corresponding result in the rings of formal power series. Finally, we will explore a number of …

Visualization Of Species Tree Likelihood Under The Multispecies Coalescent Model, Jaimasan Sutton

Mathematics & Statistics ETDs

A commonly used tool for evolutionary biologists is a phylogenetic tree that represents the ancestry of a set of species and the evolution of traits. Statistical models can be used to predict the probabilities of gene trees which represent ancestral relationships of genes sampled from species. Because of this, we are able to represent the likelihood of a species tree, which represents the evolutionary history of a set of species, as a function of the counts of gene tree topologies, where each gene tree represents the ancestry of a specific genetic locus for multiple species. Because we can represent these …

Diving Deeper Into Supercuspidal Representations, Prerna Agarwal

LSU Doctoral Dissertations

In 2013, Reeder and Yu introduced certain low positive depth supercuspidal representations of $p$-adic groups called \textit{epipelagic} representations. These representations generalize the simple supercuspidal representations of Gross and Reeder, which have the lowest possible depth. Epipelagic representations also arise in recent work on the Langlands correspondence; for example, simple supercuspidals appear in the automorphic data corresponding to the Kloosterman $l$-adic sheaf. In this thesis, we take a first step towards the construction of ``\textit{mesopelagic} representation (of Iwahori type)'' which are the higher depth analogues of simple supercuspidal representations. We see that these constructions can be done in a similar way …

S-Preclones And The Galois Connection SPol–SInv, Part I, Peter Jipsen, Erkko Lehtonen, Reinhard Pöschel

Mathematics, Physics, and Computer Science Faculty Articles and Research

We consider S-operations f : Aⁿ → A in which each argument is assigned a signum s ∈ S representing a “property” such as being order- preserving or order-reversing with respect to a fixed partial order on A. The set S of such properties is assumed to have a monoid structure reflecting the behaviour of these properties under the composition of S-operations (e.g., order-reversing composed with order-reversing is order- preserving). The collection of all S-operations with prescribed properties for their signed arguments is not a clone (since it is not closed under arbitrary identification of arguments), …

Math 75: Introduction To Linear Algebra, Sarah K. Merz

Pacific Open Texts

This text is intended to use in a first course of Linear Algebra with a prerequisite of Calculus 1. Topics covered include systems of linear equations, matrix operations and inverses, linear transformations, Markov chains, determinants, eigenvalues and eigenvectors, diagonalization, vector geometry, projections and planes, homogeneous coordinates, subspaces, spanning sets, linear independence, orthogonality, fundamental subspaces, and least squares.

Building Blocks For W-Algebras Of Classical Types, Vladimir Kovalchuk

Electronic Theses and Dissertations

The universal 2-parameter vertex algebra W_∞ of type W(2, 3, 4; . . . ) serves as a classifying object for vertex algebras of type W(2, 3, . . . ,N) for some N in the sense that under mild hypothesis, all such vertex algebras arise as quotients of W_∞. There is an ℕ X ℕ family of such 1-parameter vertex algebras known as Y-algebras. They were introduced by Gaiotto and Rapčák are expected to be building blocks for all W-algebras in type A, i.e, every W-(super) algebra in …

Schur Analysis Over The Unit Spectral Ball, Daniel Alpay, Ilwoo Choo

Mathematics, Physics, and Computer Science Faculty Articles and Research

We begin a study of Schur analysis when the variable is now a matrix rather than a complex number. We define the corresponding Hardy space, Schur multipliers and their realizations, and interpolation. Possible applications of the present work include matrices of quaternions, matrices of split quaternions, and other algebras of hypercomplex numbers.

Nidus Idearum. Scilogs, Xiv: Superhyperalgebra, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this fourteenth book of scilogs – one may find topics on examples where neutrosophics works and others don’t, law of included infinitely-many-middles, decision making in games and real life through neutrosophic lens, sociology by neutrosophic methods, Smarandache multispace, algebraic structures using natural class of intervals, continuous linguistic set, cyclic neutrosophic graph, graph of neutrosophic triplet group , how to convert the crisp data to neutrosophic data, n-refined neutrosophic set ranking, adjoint of a square neutrosophic matrix, neutrosophic optimization, de-neutrosophication, the n-ary soft set relationship, hypersoft set, extending the hypergroupoid to the superhypergroupoid, alternative ranking, Dezert-Smarandache Theory (DSmT), reconciliation between …

(R2087) Modal Operators On Bipolar Intuitionistic Fuzzy Matrices, T. Muthuraji, P. Punitha Elizabeth

Applications and Applied Mathematics: An International Journal (AAM)

Bipolar intuitionistic fuzzy sets are currently a robust area in several industries. Additionally, bipolar intuitionistic fuzzy matrices are a highly regarded topic in many fields including psychology, engineering, qualitative reasoning and multi-criteria decision making. A civilization must deal with negative and positive problems. In this article, we discussed some algebraic properties of modal operators on bipolar intuitionistic fuzzy matrices. Finally, we derive some results of necessity and possibility operators along with Max-Min product.

Representation Theory And Its Applications In Physics, Max Varverakis

Master's Theses

Representation theory, which encodes the elements of a group as linear operators on a vector space, has far-reaching implications in physics. Fundamental results in quantum physics emerge directly from the representations describing physical symmetries. We first examine the connections between specific representations and the principles of quantum mechanics. Then, we shift our focus to the braid group, which describes the algebraic structure of braids. We apply representations of the braid group to physical systems in order to investigate quasiparticles known as anyons. Finally, we obtain governing equations of anyonic systems to highlight the differences between braiding statistics and conventional Bose-Einstein/Fermi-Dirac …

On Near-Linear Cellular Automata Over Near Spaces, Abdul-Rahman M. Nasser

Dissertations

Cellular Automata can be considered as examples of massively parallel machines. They are computational mathematical objects consisting of a grid of cells, each of which can exist in a finite number of states. These cells evolve over discrete time steps according to a set of predefined rules based on the states of neighboring cells. The notion of cellular automata was first introduced by Ulam and von Neumann and then popularized by John H. Conway in the 1970s with one of the most famous examples being The Game of Life.

This research builds on and generalizes the work of Tullio Ceccherini-Silberstein …

Explicit Composition Identities For Higher Composition Laws In The Quadratic Case, Ajith A. Nair

Dissertations, Theses, and Capstone Projects

The theory of Gauss composition of integer binary quadratic forms provides a very useful way to compute the structure of ideal class groups in quadratic number fields. In addition to that, Gauss composition is also important in the problem of representations of integers by binary quadratic forms. In 2001, Bhargava discovered a new approach to Gauss composition which uses 2x2x2 integer cubes, and he proved a composition law for such cubes. Furthermore, from the higher composition law on cubes, he derived four new higher composition laws on the following spaces - 1) binary cubic forms, 2) pairs of binary quadratic …

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.

Weakly Pseudo Primary 2-Absorbing Submodules, Omar Hisham Taha, Marrwa Abdulla Salih

Al-Bahir

Let be a commutative ring with identity. In this paper, we introduce the notion of a weakly pseudo primary 2-absorbing sub-module as a generalization of a 2-absorbing sub-module and a pseudo 2-absorbing sub-module. Moreover, we give many basic properties, examples, and characterizations of these notions.

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 …

A Comparison Of Assessment Experiences Between Standards-Based Practices And Traditional Practices Within Secondary Mathematics Classrooms, Emily Mayes

Honors Theses

The purpose of this research was to compare assessment experiences and find ways to improve those experiences for students in two mathematics classrooms: one classroom that employs Standards-Based Grading and one classroom that uses traditional grading practices. The research examines students’ perceptions regarding their level of preparation, their anxiety levels surrounding assessment, the validity of assessments, and using assessments and grading practices to give accurate indications of student progress in their learning, given the students’ perceptions. Students in both settings voluntarily and anonymously participated in completing pre- and post-assessment free-response surveys which asked questions about students’ assessment experiences. This research …

Boolean Group Structure In Class Groups Of Positive Definite Quadratic Forms Of Primitive Discriminant, Christopher Albert Hudert Jr.

Departmental Honors & Graduate Capstone Projects

It is possible to completely describe the representation of any integer by binary quadratic forms of a given discriminant when the discriminant’s class group is a Boolean group (also known as an elementary abelian 2-group). For other discriminants, we can partially describe the representation using the structure of the class group. The goal of the present project is to find whether any class group with 32 elements and a primitive positive definite discriminant is a Boolean group. We find that no such class group is Boolean.

Counting Hamming-Graceful Labelings Of Paths, Ashka Dalal

Mathematical Sciences Technical Reports (MSTR)

Let Γ be a graph of m edges and n vertices. A Hamming-graceful labeling of Γ labels vertices with binary strings of length m and the edge labels are induced by the Hamming distance between vertex labels. It is known that all paths have Hamming-graceful labelings, thus the question arises, how many possible labelings exist for a path of a given size. We develop an algebraic way to generate labelings, conjecture a method for counting, prove this for small examples, and verify larger examples using a Python program.

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 …

Tasks For Learning Trigonometry, Sydnee Andreasen

All Graduate Reports and Creative Projects, Fall 2023 to Present

Many studies have been done using task-based learning within different mathematics courses. Within the field of trigonometry, task-based learning is lacking. The following research aimed to create engaging, mathematically rich tasks that meet the standards for the current trigonometry course at Utah State University and align with the State of Utah Core Standards for 7th through 12th grades. Four lessons were selected and developed based on the alignment of standards, the relevance to the remainder of the trigonometry course, and the relevance to courses beyond trigonometry. The four lessons that were chosen and developed were related to trigonometric ratios, graphing …

(R2082) Two New Operations And Extended Modal Operators On Bipolar Pythagorean Fuzzy Matrices, S. Sriram, K. Sivaranjani

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, two novel binary operations concerning bipolar Pythagorean fuzzy matrices are delineated. Several algebraic properties, such as commutativity and associativity, are explored. Additionally, extended modal operators for Bipolar Pythagorean fuzzy matrices are introduced. Subsequently, these methodologies are applied to a decision-making scenario wherein a scoring matrix is formulated and alternatives are ranked according to their cumulative score values.

A Post-Quantum Mercurial Signature Scheme, Madison Mabe

All Theses

This paper introduces the first post-quantum mercurial signature scheme. We also discuss how this can be used to construct a credential scheme, as well as some practical applications for the constructions.

Flipped Classroom For Linear Algebra At Undergraduate Level, M. Thulasidas

Research Collection School Of Computing and Information Systems

In this article, we describe our experience in developing an undergraduate Linear Algebra course tailored to highlight its relevance and applicability in Computer Science. Over the course of three years, the course transitioned from a traditional direct-instruction format to a flipped-classroom design, resulting in positive student learning outcomes. This article covers the course design philosophy, its syllabus, learning objectives, and the incorporation of both quantitative and qualitative student feedback in shaping the course. Furthermore, the article shares the insights gleaned from our experience, which can serve as best practices for instructors aiming to deliver a successful Linear Algebra course for …

Art And Math Via Cubic Polynomials, Polynomiography And Modulus Visualization, Bahman Kalantari

LASER Journal

Throughout history, both quadratic and cubic polynomials have been rich sources for the discovery and development of deep mathematical properties, concepts, and algorithms. In this article, we explore both classical and modern findings concerning three key attributes of polynomials: roots, fixed points, and modulus. Not only do these concepts lead to fertile ground for exploring sophisticated mathematics and engaging educational tools, but they also serve as artistic activities. By utilizing innovative practices like polynomiography—visualizations associated with polynomial root finding methods—as well as visualizations based on polynomial modulus properties, we argue that individuals can unlock their creative potential. From crafting captivating …

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 …