Algebra Commons^™

Lagrange's Theory Of Analytical Functions And His Ideal Of Purity Of Method, Giovanni Ferraro, Marco Panza

MPP Published Research

We reconstruct essential features of Lagrange’s theory of analytical functions by exhibiting its structure and basic assumptions, as well as its main shortcomings. We explain Lagrange’s notions of function and algebraic quantity, and we concentrate on power-series expansions, on the algorithm for derivative functions, and the remainder theorem—especially on the role this theorem has in solving geometric and mechanical problems. We thus aim to provide a better understanding of Enlightenment mathematics and to show that the foundations of mathematics did not, for Lagrange, concern the solidity of its ultimate bases, but rather purity of method—the generality and internal organization of …

Finitely Presented Modules Over The Steenrod Algebra In Sage, Michael J. Catanzaro

Wayne State University Theses

No abstract provided.

Robust 𝒍𝟏 And 𝒍∞ Solutions Of Linear Inequalities, Maziar Salahi

Applications and Applied Mathematics: An International Journal (AAM)

Infeasible linear inequalities appear in many disciplines. In this paper we investigate the 𝑙₁ and 𝑙_∞ solutions of such systems in the presence of uncertainties in the problem data. We give equivalent linear programming formulations for the robust problems. Finally, several illustrative numerical examples using the cvx software package are solved showing the importance of the robust model in the presence of uncertainties in the problem data.

Analyzing Common Algebra-Related Misconceptions And Errors Of Middle School Students., Sarah B. Bush

Electronic Theses and Dissertations

The purpose of this study was to examine common algebra-related misconceptions and errors of middle school students. In recent years, success in Algebra I is often considered the mathematics gateway to graduation from high school and success beyond. Therefore, preparation for algebra in the middle grades is essential to student success in Algebra I and high school. This study examines the following research question: What common algebra-related misconceptions and errors exist among students in grades six and eight as identified on student responses on an annual statewide standardized assessment? In this study, qualitative document analysis of existing data was used …

Support Varieties And Representation Type Of Self-Injective Algebras, Jorg Feldvoss, Sarah Witherspoon

University Faculty and Staff Publications

We use the theory of varieties for modules arising from Hochschild cohomology to give an alternative version of the wildness criterion of Bergh and Solberg [7]: If a finite dimensional self-injective algebra has a module of complexity at least 3 and satisfies some finiteness assumptions on Hochschild cohomology, then the algebra is wild. We show directly how this is related to the analogous theory for Hopf algebras that we developed in [23]. We give applications to many different types of algebras: Hecke algebras, reduced universal enveloping algebras, small half- quantum groups, and Nichols (quantum symmetric) algebras.

Completeness Of Interacting Particles, Pavel Abramski

Doctoral

This thesis concerns the completeness of scattering states of n _-interacting particles in one dimension. Only the repulsive case is treated, where thereare no bound states and the spectrum is entirely absolutely continuous, so the scattering Hilbert space is the whole of L2(Rn). The thesis consists of 4 chapters: The first chapter describes the model, the scattering states as given by the Bethe Ansatz, and the main completeness problem. The second chapter contains the proof of the completeness relation in the case of two particles: n = 2. This case had in fact already been treated by B. Smit (1997), …

The Eigenvalues Of A Tridiagonal Matrix In Biogeography, Boris Igelnik, Daniel J. Simon

Electrical and Computer Engineering Faculty Publications

We derive the eigenvalues of a tridiagonal matrix with a special structure. A conjecture about the eigenvalues was presented in a previous paper, and here we prove the conjecture. The matrix structure that we consider has applications in biogeography theory.

The Square Discrete Exponentiation Map, A Wood

Mathematical Sciences Technical Reports (MSTR)

We will examine the square discrete exponentiation map and its properties. The square discrete exponentiation map is a variation on a commonly seen problem in cryptographic algorithms. This paper focuses on understanding the underlying structure of the functional graphs generated by this map. Specifically, this paper focuses on explaining the in-degree of graphs of safe primes, which are primes of the form p = 2q + 1, where q is also prime.

Base-Free Formulas In The Lattice-Theoretic Study Of Compacta, Paul Bankston

Mathematics, Statistics and Computer Science Faculty Research and Publications

The languages of finitary and infinitary logic over the alphabet of bounded lattices have proven to be of considerable use in the study of compacta. Significant among the sentences of these languages are the ones that are base free, those whose truth is unchanged when we move among the lattice bases of a compactum. In this paper we define syntactically the expansive sentences, and show each of them to be base free. We also show that many well-known properties of compacta may be expressed using expansive sentences; and that any property so expressible is closed under inverse limits and …

Noncomputable Functions In The Blub-Shub-Smale Model, Wesley Calvert, Ken Kramer, Russell Miller

Publications and Research

Working in the Blum-Shub-Smale model of computation on the real numbers, we answer several questions of Meer and Ziegler. First, we show that, for each natural number d, an oracle for the set of algebraic real numbers of degree at most d is insufficient to allow an oracle BSS-machine to decide membership in the set of algebraic numbers of degree d + 1. We add a number of further results on relative computability of these sets and their unions. Then we show that the halting problem for BSS-computation is not decidable below any countable oracle set, and give a more …

Algebraic Solutions To Overdefined Systems With Applications To Cryptanalysis, Eric Crockett

Mathematical Sciences Technical Reports (MSTR)

Cryptographic algorithms are based on a wide variety of difficult problems in mathematics. One of these problems is finding a solution to a system of multivariate quadratic equations (MQ). A generalization of this problem is to find a solution to a system of higher order non-linear equations. Both of these problems are NP-hard over any field. Many cryptosystems such as AES, Serpent, Toyocrypt, and others can be reduced to some form of the MQ problem. In this paper we analyze the relinearization and XL algorithms for solving overdetermined systems of non-linear equations, as well as two variations of the XL …

Markov Bases For Noncommutative Harmonic Analysis Of Partially Ranked Data, Ann Johnston

HMC Senior Theses

Given the result $v_0$ of a survey and a nested collection of summary statistics that could be used to describe that result, it is natural to ask which of these summary statistics best describe $v_0$. In 1998 Diaconis and Sturmfels presented an approach for determining the conditional significance of a higher order statistic, after sampling a space conditioned on the value of a lower order statistic. Their approach involves the computation of a Markov basis, followed by the use of a Markov process with stationary hypergeometric distribution to generate a sample.This technique for data analysis has become an accepted tool …

Groups And Semigroups Generated By Automata, David Mccune

Department of Mathematics: Dissertations, Theses, and Student Research

In this dissertation we classify the metabelian groups arising from a restricted class of invertible synchronous automata over a binary alphabet. We give faithful, self-similar actions of Heisenberg groups and upper triangular matrix groups. We introduce a new class of semigroups given by a restricted class of asynchronous automata. We call these semigroups ``expanding automaton semigroups''. We show that this class strictly contains the class of automaton semigroups, and we show that the class of asynchronous automaton semigroups strictly contains the class of expanding automaton semigroups. We demonstrate that undecidability arises in the actions of expanding automaton semigroups and semigroups …

Homology Of Artinian Modules Over Commutative Noetherian Rings, Micah J. Leamer

Department of Mathematics: Dissertations, Theses, and Student Research

This work is primarily concerned with the study of artinian modules over commutative noetherian rings.

We start by showing that many of the properties of noetherian modules that make homological methods work seamlessly have analogous properties for artinian modules. We prove many of these properties using Matlis duality and a recent characterization of Matlis reflexive modules. Since Matlis reflexive modules are extensions of noetherian and artinian modules many of the properties that hold for artinian and noetherian modules naturally follow for Matlis reflexive modules and more generally for mini-max modules.

In the last chapter we prove that if the Betti …

Hilbert–Samuel And Hilbert–Kunz Functions Of Zero-Dimensional Ideals, Lori A. Mcdonnell

Department of Mathematics: Dissertations, Theses, and Student Research

The Hilbert-Samuel function measures the length of powers of a zero-dimensional ideal in a local ring. Samuel showed that over a local ring these lengths agree with a polynomial, called the Hilbert-Samuel polynomial, for sufficiently large powers of the ideal. We examine the coefficients of this polynomial in the case the ideal is generated by a system of parameters, focusing much of our attention on the second Hilbert coefficient. We also consider the Hilbert-Kunz function, which measures the length of Frobenius powers of an ideal in a ring of positive characteristic. In particular, we examine a conjecture of Watanabe and …

Annihilators Of Local Cohomology Modules, Laura Lynch

Department of Mathematics: Dissertations, Theses, and Student Research

In many important theorems in the homological theory of commutative local rings, an essential ingredient in the proof is to consider the annihilators of local cohomology modules. We examine these annihilators at various cohomological degrees, in particular at the cohomological dimension and at the height or the grade of the defining ideal. We also investigate the dimension of these annihilators at various degrees and we refine our results by specializing to particular types of rings, for example, Cohen Macaulay rings, unique factorization domains, and rings of small dimension.

Adviser: Thomas Marley

Epistemic Strategies For Solving Two-Dimensional Physics Problems, Mary Elyse Hing-Hickman

Physics Theses & Dissertations

An epistemic strategy is one in which a person takes a piece of knowledge and uses it to create new knowledge. Students in algebra and calculus based physics courses use epistemic strategies to solve physics problems. It is important to map how students use these epistemic strategies to solve physics problems in order to provide insight into the problem solving process.

In this thesis three questions were addressed: (1) What epistemic strategies do students use when solving two-dimensional physics problems that require vector algebra? (2) Do vector preconceptions in kinematics and Newtonian mechanics hinder a student's ability to apply the …

Formalizing Categorical And Algebraic Constructions In Operator Theory, William Benjamin Grilliette

Department of Mathematics: Dissertations, Theses, and Student Research

In this work, I offer an alternative presentation theory for C*-algebras with applicability to various other normed structures. Specifically, the set of generators is equipped with a nonnegative-valued function which ensures existence of a C*-algebra for the presentation. This modification allows clear definitions of a "relation" for generators of a C*-algebra and utilization of classical algebraic tools, such as Tietze transformations.

Much More Than Symbolics: The Early History Of Algebra And Its Significance For Introductory Algebra Education, Calvin Jongsma

Faculty Work Comprehensive List

No abstract provided.

Predictors Of Student Outcomes In Developmental Math At A Public Community And Technical College, Linda Darlene Hunt

Theses, Dissertations and Capstones

With the wide range of abilities of community college students, proper course placement is crucial. Therefore, having better predictors of success can help improve placement of students for their achievement. This study analyzed student predictors, instructor predictors, and classroom predictors in relation to student final exam score and student final grade in Elementary Algebra and Intermediate Algebra classes. Student predictors included gender, ACT math score, SAT math score, community college enrollment, math pretest score, and ASC grade. Instructor predictors included gender, employment status, Mozart music use, and ALEKS software use. Classroom predictors included time of day, number of class meetings …

Ken Kunen: Algebraist, Michael Kinyon

Mathematics Preprint Series

Ken Kunen is justifiably best known for his work in set theory and topology. What I would guess many of his friends and students in those areas do not know is that Ken also did important work in algebra, especially in quasigroup and loop theory. In fact, I think it is not an exaggeration to say that his work in loop theory, both alone and in collaboration, revolutionized the field. In this paper, I would like to describe some of his accomplishments to nonspecialists. My point of view is personal, of course, and so I will give the most attention …

Review: Massey Products On Cycles Of Projective Lines And Trigonometric Solutions Of The Yang-Baxter Equations, Gizem Karaali

Pomona Faculty Publications and Research

No abstract provided.

Classical Kloosterman Sums: Representation Theory, Magic Squares, And Ramanujan Multigraphs, Patrick S. Fleming, Stephan Ramon Garcia, Gizem Karaali

Pomona Faculty Publications and Research

We consider a certain finite group for which Kloosterman sums appear as character values. This leads us to consider a concrete family of commuting hermitian matrices which have Kloosterman sums as eigenvalues. These matrices satisfy a number of “magical” combinatorial properties and they encode various arithmetic properties of Kloosterman sums. These matrices can also be regarded as adjacency matrices for multigraphs which display Ramanujan-like behavior.

Spatial Isomorphisms Of Algebras Of Truncated Toeplitz Operators, Stephan Ramon Garcia, William T. Ross, Warren R. Wogen

Pomona Faculty Publications and Research

We examine when two maximal abelian algebras in the truncated Toeplitz operators are spatially isomorphic. This builds upon recent work of N. Sedlock, who obtained a complete description of the maximal algebras of truncated Toeplitz operators.

Twisted Virtual Biracks, Jessica Ceniceros

CMC Senior Theses

This thesis will take a look at a branch of topology called knot theory. We will first look at what started the study of this field, classical knot theory. Knot invariants such as the Bracket polynomial and the Jones polynomial will be introduced and studied. We will then explore racks and biracks along with the axioms obtained from the Reidemeister moves. We will then move on to generalize classical knot theory to what is now known as virtual knot theory which was first introduced by Louis Kauffman. Finally, we take a look at a newer aspect of knot theory, twisted …

The Mathematical Landscape, Antonio Collazo

CMC Senior Theses

The intent of this paper is to present the reader will enough information to spark a curiosity in to the subject.  By no means is the following a complete formulation of any of the topics covered.  I want to give the reader a tour of the mathematical landscape.  There are plenty of further details to explore in each section, I have just touched the tip the iceberg.  The work is basically in four sections: Numbers, Geometry, Functions, Sets and Logic, which are the basic building blocks of Math.  The first sections are a exposition into the mathematical objects and their …

The Positive Real Lemma And Construction Of All Realizations Of Generalized Positive Rational Functions, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

We here extend the well known Positive Real Lemma (also known as the Kalman-Yakubovich-Popov Lemma) to complex matrix-valued generalized positive rational function, when non-minimal realizations are considered. All state space realizations are partitioned into subsets, each is identified with a set of matrices satisfying the same Lyapunov inclusion. Thus, each subset forms a convex invertible cone, cic in short, and is in fact is replica of all realizations of positive functions of the same dimensions. We then exploit this result to provide an easy construction procedure of all (not necessarily minimal) state space realizations of generalized positive functions. As a …

The Unimodality Of Pure O-Sequences Of Type Three In Three Variables, Bernadette Boyle

Mathematics Faculty Publications

We will give a positive answer for the unimodality of the Hilbert functions in the smallest open case, that of Artinian level monomial algebras of type three in three variables.

Inverse Limits With Set Valued Functions, Van C. Nall

Department of Math & Statistics Faculty Publications

We begin to answer the question of which continua can be homeomorphic to an inverse limit with a single upper semi-continuous bonding map from [O, 1) to 2^(O,l). Several continua including (0, 1) x (0, 1) and all compact manifolds with dimension greater than one cannot be homeomorphic to such an inverse limit. It is also shown that if the upper semi-continuous bonding maps have only zero dimensional point values, then the dimension of the inverse limit does not exceed the dimension of the factor spaces.

Neutrosophic Interval Bialgebraic Structures, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors for the first time introduce the notion of neutrosophic intervals and study the algebraic structures using them. Concepts like groups and fields using neutrosophic intervals are not possible. Pure neutrosophic intervals and mixed neutrosophic intervals are introduced and by the very structure of the interval one can understand the category to which it belongs. We in this book introduce the notion of pure (mixed) neutrosophic interval bisemigroups or neutrosophic biinterval semigroups. We derive results pertaining to them. The new notion of quasi bisubsemigroups and ideals are introduced. Smarandache interval neutrosophic bisemigroups are also introduced and …