Algebra Commons^™

Application Of Linear Algebra Within The High School Curriculum: Designing Activities To Stimulate An Interest In Upper-Level Math, Shelby Castle

Honors Program: Senior Projects (Public)

This senior project outlines potential lecture activities for a guest speaker or teacher in a high school classroom to present interesting applications of linear algebra. These applications are meant to be pertinent to things students at this age level are already learning or are interested in. The activities are designed such that the ideas of upper-level math are introduced in a very guided and non-intense way. The intent of the activities is mostly applications and interesting results rather than mathematical lecturing or instruction.

The high school level courses explored in this project are chemistry, economics, and health/physical education. For these …

Prime Factors: America’S Prioritization Of Literacy Over Numeracy And Its Relationship To Systemic Inequity, Troy Smith

Dissertations, Theses, and Capstone Projects

For much of American history, literacy has been prioritized in K-12 education and society, at large, at the expense of numeracy. This lack of numerical emphasis has established innumeracy as an American cultural norm that has resulted in America not producing a sufficient number of numerate citizens, and ranking poorly on mathematical performance in international comparisons. This paper investigates the decisions and circumstances that led to this under prioritization, along with the public and cultural impact of said actions. Toward this end, literature regarding contemporary and historical influences on American mathematics education (e.g., civic, policy, and parental) was reviewed. The …

Nilpotents Leave No Trace: A Matrix Mystery For Pandemic Times, Eric L. Grinberg

Journal of Humanistic Mathematics

Reopening a cold case, Inspector Echelon, high-ranking in the Row Operations Center, is searching for a lost linear map, known to be nilpotent. When a partially decomposed matrix is unearthed, he reconstructs its reduced form, finding it singular. But were its origins nilpotent?

Positivity Among P-Partition Generating Functions, Nathan R. T. Lesnevich, Peter R. W. Mcnamara

Faculty Journal Articles

We seek simple conditions on a pair of labeled posets that determine when the difference of their (P,ω)-partition enumerators is F-positive, i.e., positive in Gessel's fundamental basis. This is a quasisymmetric analogue of the extensively studied problem of finding conditions on a pair of skew shapes that determine when the difference of their skew Schur functions is Schur-positive. We determine necessary conditions and separate sufficient conditions for F-positivity, and show that a broad operation for combining posets preserves positivity properties. We conclude with classes of posets for which we have conditions that are both necessary and …

The Differentialgeometry Package, Ian M. Anderson, Charles G. Torre

Downloads

This is the entire DifferentialGeometry package, a zip file (DifferentialGeometry.zip) containing (1) a Maple Library file, DifferentialGeometryUSU.mla, (2) a Maple help file DifferentialGeometry.help, (3) a Maple Library file, DGApplicatons.mla. This is the latest version of the DifferentialGeometry software; it supersedes what is released with Maple.

Installation instructions

On Loop Commutators, Quaternionic Automorphic Loops, And Related Topics, Mariah Kathleen Barnes

Electronic Theses and Dissertations

This dissertation deals with three topics inside loop and quasigroup theory. First, as a continuation of the project started by David Stanovský and Petr Vojtĕchovský, we study the commutator of congruences defined by Freese and McKenzie in order to create a more pleasing, equivalent definition of the commutator inside of loops. Moreover, we show that the commutator can be characterized by the generators of the inner mapping group of the loop. We then translate these results to characterize the commutator of two normal subloops of any loop.

Second, we study automorphic loops with the desire to find more examples of …

What's New In Differentialgeometry Release Dg2022, Ian M. Anderson, Charles G. Torre

Tutorials on... in 1 hour or less

This Maple worksheet demonstrates the salient new features and functionalities of the 2022 release of the DifferentialGeometry software package.

Unique Lifting To A Functor, Mark Myers

West Chester University Master’s Theses

We develop a functorial approach to quotient constructions, defining morphisms quotient relative to a functor and the dual concept of unique liftings relative to a functor. Various classes of epimorphism are given detailed analysis and their relationship to quotient morphisms characterized. The behavior of unique lifting morphisms with respect to products, equalizers, and general limits in a category are studied. Applications to generalized covering space theory, coreflective subcategories of topological spaces, topological groups and rings, and Galois theory are explored. Finally, we give conditions for the product of two quotient morphisms to be quotient in a braided monoidal closed category.

Finite Index Right-Angled Mock Artin Groups In Right-Angled Mock Reflection Groups, Zachary Marcum

Murray State Theses and Dissertations

Associated to any graph Γ are several groups where their presentations are encoded by Γ. Two such groups are right-angled Coxeter groups and right-angled Artin groups. By introducing more structure to Γ, what we call "local involutions," the graph Γ becomes a right-angled mock reflection system and encodes the presentation of two more groups: right-angled mock reflection groups and right-angled mock Artin groups.

Here we show that every right-angled mock Artin group associated with an n-gon graph with local involutions is a finite index subgroup in some right-angled mock reflection group. We employ a strategy similar to the one Davis …

Decoding Cyclic Codes Via Gröbner Bases, Eduardo Sosa

Honors Theses

In this paper, we analyze the decoding of cyclic codes. First, we introduce linear and cyclic codes, standard decoding processes, and some standard theorems in coding theory. Then, we will introduce Gr¨obner Bases, and describe their connection to the decoding of cyclic codes. Finally, we go in-depth into how we decode cyclic codes using the key equation, and how a breakthrough by A. Brinton Cooper on decoding BCH codes using Gr¨obner Bases gave rise to the search for a polynomial-time algorithm that could someday decode any cyclic code. We discuss the different approaches taken toward developing such an algorithm and …

Representation Theory And Its Applications In Physics, Jakub Bystrický

Honors Theses

Representation theory is a branch of mathematics that allows us to represent elements of a group as elements of a general linear group of a chosen vector space by means of a homomorphism. The group elements are mapped to linear operators and we can study the group using linear algebra. This ability is especially useful in physics where much of the theories are captured by linear algebra structures. This thesis reviews key concepts in representation theory of both finite and infinite groups. In the case of finite groups we discuss equivalence, orthogonality, characters, and group algebras. We discuss the importance …

A Contraction Based Approach To Tensor Isomorphism, Anh Kieu

Honors Theses

Tensor isomorphism is a hard problem in computational complexity theory. Tensor isomorphism arises not just in mathematics, but also in other applied fields like Machine Learning, Cryptography, and Quantum Information Theory (QIT). In this thesis, we develop a new approach to testing (non)-isomorphism of tensors that uses local information from "contractions" of a tensor to detect differences in global structures. Specifically, we use projective geometry and tensor contractions to create a labelling data structure for a given tensor, which can be used to compare and distinguish tensors. This contraction labelling isomorphism test is quite general, and its practical potential remains …

Cryptography Through The Lens Of Group Theory, Dawson M. Shores

College of Graduate Studies: Theses & Dissertations

Cryptography has been around for many years, and mathematics has been around even longer. When the two subjects were combined, however, both the improvements and attacks on cryptography were prevalent. This paper introduces and performs a comparative analysis of two versions of the ElGamal cryptosystem, both of which use the specific field of mathematics known as group theory.

On The Geometry Of The Multiplier Space Of ℓPA, Christopher Felder, Raymond Cheng

Mathematics & Statistics Faculty Publications

For p ∊ (1, ∞)\ {2}, some properties of the space M_p of multipliers on ℓ^p_A are derived. In particular, the failure of the weak parallelogram laws and the Pythagorean inequalities is demonstrated for M_p. It is also shown that extremal multipliers on the ℓ^p_A spaces are exactly the monomials, in stark contrast to the p = 2 case.

Dot Product Bounds In Galois Rings, David Lee Crosby

Graduate Theses/Dissertations

We consider the Erdős Distance Conjecture in the context of dot products in Galois rings and prove results for single dot products and pairs of dot products.

On The Chromatic Numbers Of Subgroup Lattices, Jacob C. Miles

Graduate Theses/Dissertations

In this thesis we investigate the chromatic number of the Hasse diagram of a subgroup lattice. We combine results of Bollobás and Tůma to show that there exist infnite groups whose subgroup lattices have arbitarily high chromatic numbers. We show that fnite supersolvable groups have bipartite subgroup lattices but that CLT and non-solvable groups may not have bipartite subgroup lattices. Lastly, we give a preliminary argument suggesting that there are an infnite number of non-solvable groups whose subgroup lattices are bipartite.

Counting The Moduli Space Of Pentagons On Finite Projective Planes, Maxwell Hosler

Senior Independent Study Theses

Finite projective planes are finite incidence structures which generalize the concept of the real projective plane. In this paper, we consider structures of points embedded in these planes. In particular, we investigate pentagons in general position, meaning no three vertices are colinear. We are interested in properties of these pentagons that are preserved by collineation of the plane, and so can be conceived as properties of the equivalence class of polygons up to collineation as a whole. Amongst these are the symmetries of a pentagon and the periodicity of the pentagon under the pentagram map, and a generalization of …

Winning Strategy For Multiplayer And Multialliance Geometric Game, Jingkai Ye

Rose-Hulman Undergraduate Mathematics Journal

The Geometric Sequence with common ratio 2 is one of the most well-known geometric sequences. Every term is a nonnegative power of 2. Using this popular sequence, we can create a Geometric Game which contains combining moves (combining two copies of the same terms into the one copy of next term) and splitting moves (splitting three copies of the same term into two copies of previous terms and one copy of the next term). For this Geometric Game, we are able to prove that the game is finite and the final game state is unique. Furthermore, we are able to …

A Proof Of A Generalization Of Niven's Theorem Using Algebraic Number Theory, Caroline Nunn

Rose-Hulman Undergraduate Mathematics Journal

Niven’s theorem states that the sine, cosine, and tangent functions are rational for only a few rational multiples of π. Specifically, for angles θ that are rational multiples of π, the only rational values of sin(θ) and cos(θ) are 0, ±½, and ±1. For tangent, the only rational values are 0 and ±1. We present a proof of this fact, along with a generalization, using the structure of ideals in imaginary quadratic rings. We first show that the theorem holds for the tangent function using elementary properties of Gaussian integers, before extending the approach to other imaginary quadratic rings. We …

(R1466) Ideals And Filters On A Lattice In Neutrosophic Setting, Lemnaouar Zedam, Soheyb Milles, Abdelhamid Bennoui

Applications and Applied Mathematics: An International Journal (AAM)

The notions of ideals and filters have studied in many algebraic (crisp) fuzzy structures and used to study their various properties, representations and characterizations. In addition to their theoretical roles, they have used in some areas of applied mathematics. In a recent paper, Arockiarani and Antony Crispin Sweety have generalized and studied these notions with respect to the concept of neutrosophic sets introduced by Smarandache to represent imprecise, incomplete and inconsistent information. In this article, we aim to deepen the study of these important notions on a given lattice in the neutrosophic setting. We show their various properties and characterizations, …

Finite Groups In Which The Number Of Cyclic Subgroups Is 3/4 The Order Of The Group, James Alexander Cayley

Graduate Theses/Dissertations

Let $G$ be a finite group, c(G) denotes the number of cyclic subgroups of G and α(G) = c(G)/|G|. In this thesis we go over some basic properties of alpha, calculate alpha for some families of groups, with an emphasis on groups with α(G) = 3/4, as all groups with α(G) > 3/4 have been classified by Garonzi and Lima (2018). We find all Dihedral group with this property, show all groups with α(G) = 3/4 have at least |G|/2-1 involutions, and discuss existing work by Wall (1970) and Miller (1919) classifying all such groups.

A Study In Applications Of Continued Fractions, Karen Lynn Parrish

Electronic Theses, Projects, and Dissertations

This is an expository study of continued fractions collecting ideas from several different sources including textbooks and journal articles. This study focuses on several applications of continued fractions from a variety of levels and fields of mathematics. Studies begin with looking at a number of properties that pertain to continued fractions and then move on to show how applications of continued fractions is relevant to high school level mathematics including approximating irrational numbers and developing new ideas for understanding and solving quadratics equations. Focus then continues to more advanced applications such as those used in the studies of number theory …

Symmetric Representations Of Finite Groups And Related Topics, Connie Corona

Electronic Theses, Projects, and Dissertations

In this thesis, we have presented our discovery of original symmetric presentations of a number of non-abelian simple groups, including several sporatic groups, linear groups, and classical groups.

We have constructed, using our technique of double coset enumeration, J2, M₁₂, J₁, PSU(3, 3):2, M₁₁, A₁₀, S(4,3), M₂₂:2, PSL(3, 4), S₆, 2:S₅, 2:PSL(3, 4) as homomorphic images of the involutory progenitors 2^*32:(2⁵:A₅), 2^*110: PSL(2, 11), 2^*5:A₅, 3^*4:D₈, 2^*110:PSL(2, 11), …

Linear Algebra For Computer Science, M. Thulasidas

Research Collection School Of Computing and Information Systems

This textbook introduces the essential concepts and practice of Linear Algebra to the undergraduate student of computer science. The focus of this book is on the elegance and beauty of the numerical techniques and algorithms originating from Linear Algebra. As a practical handbook for computer and data scientists, LA4CS restricts itself mostly to real fields and tractable discourses, rather than deep and theoretical mathematics.

Algorithmic Correspondence For Relevance Logics, Bunched Implication Logics, And Relation Algebras Via An Implementation Of The Algorithm Pearl, Willem Conradie, Valentin Goranko, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

The non-deterministic algorithmic procedure PEARL (acronym for ‘Propositional variables Elimination Algorithm for Relevance Logic’) has been recently developed for computing first-order equivalents of formulas of the language of relevance logics LR in terms of the standard Routley-Meyer relational semantics. It succeeds on a large class of axioms of relevance logics, including all so called inductive formulas. In the present work we re-interpret PEARL from an algebraic perspective, with its rewrite rules seen as manipulating quasi-inequalities interpreted over Urquhart’s relevant algebras, and report on its recent Python implementation. We also show that all formulae on which PEARL succeeds are canonical, i.e., …

Unary-Determined Distributive ℓ -Magmas And Bunched Implication Algebras, Natanael Alpay, Peter Jipsen, Melissa Sugimoto

Mathematics, Physics, and Computer Science Faculty Articles and Research

A distributive lattice-ordered magma (dℓ-magma) (A,∧,∨,⋅) is a distributive lattice with a binary operation ⋅ that preserves joins in both arguments, and when ⋅ is associative then (A,∨,⋅) is an idempotent semiring. A dℓ-magma with a top ⊤ is unary-determined if x⋅y=(x⋅⊤∧y)∨(x∧⊤⋅y). These algebras are term-equivalent to a subvariety of distributive lattices with ⊤ and two join-preserving unary operations p, q. We obtain simple conditions on p, q such that x⋅y=(px∧y)∨(x∧qy) is associative, commutative, idempotent and/or has an identity element. This generalizes previous results on the structure of doubly idempotent semirings and, in the case when the …

Generalized Grassmann Algebras And Applications To Stochastic Processes, Daniel Alpay, Paula Cerejeiras, Uwe Kaehler

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper, we present the groundwork for an Itô/Malliavin stochastic calculus and Hida's white noise analysis in the context of a supersymmetry with Z₃-graded algebras. To this end, we establish a ternary Fock space and the corresponding strong algebra of stochastic distributions and present its application in the study of stochastic processes in this context.

The Structure Of Finite Commutative Idempotent Involutive Residuated Lattices, Peter Jipsen, Olim Tuyt, Diego Valota

Mathematics, Physics, and Computer Science Faculty Articles and Research

We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to build new members of this variety from other ones. In particular, all finite members can be constructed in this way from Boolean algebras. Finally, we apply our construction to prove that the fusion reduct of any finite member is a distributive semilattice, and to show that this variety is not locally finite.

Conjunctive Join-Semilattices, Charles N. Delzell, Oghenetega Ighedo, James J. Madden

Mathematics, Physics, and Computer Science Faculty Articles and Research

A join-semilattice L with top is said to be conjunctive if every principal ideal is an intersection of maximal ideals. (This is equivalent to a first-order condition in the language of semilattices.) In this paper, we explore the consequences of the conjunctivity hypothesis for L, and we define and study a related property, called “ideal conjunctivity,” which is applicable to join-semilattices without top. Results include the following: (a) Every conjunctive join-semilattice is isomorphic to a join-closed subbase for a compact T₁-topology on max L, the set of maximal ideals of L, and under weak hypotheses …

Rigid Connections On The Projective Line With Elliptic Toral Singularities, Alisina Azhang

LSU Doctoral Dissertations

We generalize two studies of rigid $G$-connections on $\pp$ which have an irregular singularity at origin and a regular singularity at infinity with unipotent monodromy: one is the work of Kamgarpour-Sage which classifies rigid homogeneous Coxeter $G$-connections with slope $\frac{r}{h}$, where $h$ is the Coxeter number of $G$, and the other is the work of Chen, which proves the existence of rigid homogeneous elliptic regular $G$-connections with slope $\frac{1}{m}$, where $m$ is an elliptic number for $G$. In our work, similar to Chen, we look for rigid homogeneous elliptic regular $G$-connections, but we allow the slope to have a numerator …