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 …

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 …

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 …

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 …

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 …

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

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.

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.

Dsm Super Vector Space Of Refined Labels, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce the notion of supermatrices of refined labels. Authors prove super row matrix of refined labels form a group under addition. However super row matrix of refined labels do not form a group under product; it only forms a semigroup under multiplication. In this book super column matrix of refined labels and m × n matrix of refined labels are introduced and studied. We mainly study this to introduce to super vector space of refined labels using matrices. We in this book introduce the notion of semifield of refined labels using which …

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.

Algebraic Structures Using Super Interval Matrices, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The advantage of using super interval matrices is that one can build only one vector space using m × n interval matrices, but in case of super interval matrices we can have several such spaces depending on the partition on the interval matrix.

This book has seven chapters. Chapter one is introductory in nature, just introducing the super interval matrices or interval super matrices. In chapter two essential operations on super interval matrices are defined. Further in this chapter algebraic structures are defined on these super interval matrices using these operation. Using these super interval matrices semirings and semivector spaces …

Interval Semirings, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the notion of interval semirings are introduced. The authors study and analyse semirings algebraically. Methods are given for the construction of non-associative semirings using loops and interval semirings or interval loops and semirings. Another type of non-associative semirings are introduced using groupoids and interval semirings or interval groupoids and semirings. Examples using integers and modulo integers are given. Also infinite semirings which are semifields are given using interval semigroups and semirings or semigroups and interval semirings or using groups and interval semirings. Interval groups are introduced to construct interval group interval semirings, and properties related with them …

Relation Liftings On Preorders And Posets, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jiří Velebil

Engineering Faculty Articles and Research

The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss’s coalgebraic over posets.

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.

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.

Generic Trace Logics, Christian Kissig, Alexander Kurz

Engineering Faculty Articles and Research

We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.

Finite-Dimensional Left Ideals In The Duals Of Introverted Spaces, M Filali, Mehdi S. Monfared

Mathematics and Statistics Publications

We use representations of a Banach algebra A to completely characterize all finite-dimensional left ideals in the dual of introverted subspaces of A* and in particular in the double dual A**. We give sufficient conditions under which such ideals always exist and are direct sums of one-dimensional left ideals.

Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We introduce formal languages over infinite alphabets where words may contain binders.We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.

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 …

A Class Of Gaussian Processes With Fractional Spectral Measures, Daniel Alpay, Palle Jorgensen, David Levanony

Mathematics, Physics, and Computer Science Faculty Articles and Research

We study a family of stationary increment Gaussian processes, indexed by time. These processes are determined by certain measures σ (generalized spectral measures), and our focus here is on the case when the measure σ is a singular measure. We characterize the processes arising from when σ is in one of the classes of affine self-similar measures. Our analysis makes use of Kondratiev-white noise spaces. With the use of a priori estimates and the Wick calculus, we extend and sharpen (see Theorem 7.1) earlier computations of Ito stochastic integration developed for the special case of stationary increment processes having absolutely …

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 …

Finite Neutrosophic Complex Numbers, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book for the first time the authors introduce the notion of real neutrosophic complex numbers. Further the new notion of finite complex modulo integers is defined. For every C(Zn) the complex modulo integer iF is such that 2 Fi = n – 1. Several algebraic structures on C(Zn) are introduced and studied. Further the notion of complex neutrosophic modulo integers is introduced. Vector spaces and linear algebras are constructed using these neutrosophic complex modulo integers. This book is organized into 5 chapters. The first chapter introduces real neutrosophic complex numbers. Chapter two introduces the notion of finite complex …