Algebra Commons^™

Solving Ordinary Differential Equations Using Differential Forms And Lie Groups, Richard M. Shumate

Senior Honors Theses

Differential equations have bearing on practically every scientific field. Though they are prevalent in nature, they can be challenging to solve. Most of the work done in differential equations is dependent on the use of many methods to solve particular types of equations. Sophus Lie proposed a modern method of solving ordinary differential equations in the 19th century along with a coordinate free variation of finding the infinitesimal generator by combining the influential work of Élie Cartan among others in the field of differential geometry. The driving idea behind using symmetries to solve differential equations is that there exists a …

On The Fattening Of Lines In P3, Mike Janssen

Faculty Work Comprehensive List

We follow the lead of Bocci and Chiantini and show how differences in the invariant alpha can be used to classify certain classes of subschemes of P^3. Specifically, we will seek to classify arithmetically Cohen-Macaulay codimension 2 subschemes of P^3 in the manner Bocci and Chiantini classified points in P^2. The first section will seek to motivate our consideration of the invariant alpha by relating it to the Hilbert function and gamma, following the work of Bocci and Chiantini, and Dumnicki, et. al. The second section will contain our results classifying arithmetically Cohen-Macaulay codimension 2 subschemes of P^3. This work …

My Math Gps: Elementary Algebra Guided Problem Solving, Jonathan Cornick, G Michael Guy, Karan Puri

Open Educational Resources

My Math GPS: Elementary Algebra Guided Problem Solving is a textbook that aligns to the CUNY Elementary Algebra Learning Objectives that are tested on the CUNY Elementary Algebra Final Exam (CEAFE). This book contextualizes arithmetic skills into Elementary Algebra content using a problem-solving pedagogy. Classroom assessments and online homework are available from the authors. In a paper to appear in PRIMUS, this textbook and accompanying pedagogy showed significant increases in learning outcomes.

Hurwitz's Theorem, Marianna Malek

Masters Essays

No abstract provided.

Betti Sequences Over Local Rings And Connected Sums Of Gorenstein Rings, Zheng Yang

Department of Mathematics: Dissertations, Theses, and Student Research

This thesis consists of two parts:

1) Polynomial growth of Betti sequences over local rings (Chapter 2),

2) Connected sums of Gorenstein rings (Chapter 3).

Chapter 1 gives an introduction for the two topics discussed in this thesis.

The first part of the thesis deals with modules over complete intersections using free resolutions. The asymptotic patterns of the Betti sequences of the finitely generated modules over a local ring R reflect and affect the singularity of R. Given a commutative noetherian local ring and an integer c, sufficient conditions and necessary conditions are obtained for all Betti sequences …

Global Holomorphic Functions In Several Noncommuting Variables, Jim Agler, John E. Mccarthy

Mathematics Faculty Research

We define a free holomorphic function to be a function that is locally, with respect to the free topology, a bounded nc-function. We prove that free holomorphic functions are the functions that are locally uniformly approximable by free polynomials. We prove a realization formula and an Oka-Weil theorem for free analytic functions.

Symmetric Presentations And Related Topics, Mashael U. Alharbi

Electronic Theses, Projects, and Dissertations

In this thesis, we have presented our discovery of symmetric presentations of a number of non-abelian simple groups, including the Mathieu group M₁₂. We have given several progenitors, permutation and monomial, including 2*⁴:(2²:3), 2*⁵:D₁₀, 2*⁸:((4X2).D₄), 3*⁷:_m L₂(7), 2*⁶:(Z₃ wr Z₂), and 2*²⁴: (2^. A₅) and their homomorphic images which include 4.(M₁₂:2), the group of automorphisms of M₁₂ and several classical groups. We have given the isomorphism type of …

A Fundamental Unit Of O_K, Susana L. Munoz

Electronic Theses, Projects, and Dissertations

In the classical case we make use of Pells equation to compute units in the ring O_F. Consider the parallel to the classical case and the quadratic field extension that creates the ring O_K. We use the generalized Pell's equation to find the units in this ring since they are solutions. Through the use of continued fractions we may further characterize this ring and compute its units.

Non-Isomorphic Real Simple Lie Algebras Of The Same Complex Type And Character, Ian M. Anderson

Tutorials on... in 1 hour or less

Complex simple Lie algebras are classified by their root types. The type of a real simple Lie algebra is the root type of the associated complex algebra. The character of a real simple Lie algebra is the signature of its Killing form.

For many root types, the character is sufficient to uniquely classify the corresponding real Lie algebras. However, one should not take this statement to be literally true – there are a few cases where the character does not suffice to distinguish all possible real forms.

In this worksheet we will show that the 2 real non-isomorphic Lie algebras …

My Finite Field, Matthew Schroeder

Journal of Humanistic Mathematics

A love poem written in the language of mathematics.

A Rank 7 Pfaffian System On A 15-Dimensional Manifold With F4 Symmetry Algebra, Ian M. Anderson

Tutorials on... in 1 hour or less

Let I be a differential system on a manifold M. The infinitesimal symmetry algebra of I is the set of all vectors fields X on M such that preserve I. In this worksheet we present an example, due to E. Cartan of a rank 7 Pfaffian system on a 15-dimensional manifold whose infinitesimal symmetry algebra is the split real form of the exceptional Lie algebra f4 .

Cartan Involutions And Cartan Decompositions Of A Semi-Simple Lie Algebra, Ian M. Anderson

Tutorials on... in 1 hour or less

In this worksheet we shall review the basic definitions and properties of Cartan involutions and Cartan decompositions and illustrate these using the DifferentialGeometry software package for Lie algebras.

Multiplication Rules For Schur And Quasisymmetric Schur Functions, Jennifer Anderson

Theses, Dissertations and Capstones

An important problem in algebraic combinatorics is finding expansions of products of symmetric functions as sums of symmetric functions. Schur functions form a well-known basis for the ring of symmetric functions. The Littlewood-Richardson rule was introduced to expand the product of two Schur functions as a positive sum of Schur functions. Remmel and Whitney introduced an algorithmic way to find the coefficients of Schur functions appearing in the expansion. Haglund et al. introduced quasisymmetric Schur functions as a refinement of Schur functions. For quasisymmetric Schur functions, the Littlewood-Richardson rule was introduced to expand the product of a Schur and quasisymmetric …

Polynomials Occuring In Generating Function Identities For B-Ary Partitions, David Dakota Blair

Graduate Student Publications and Research

Let p_b(n) be the number of integer partitions of n whose parts are powers of b. For each m there is a generating function identity:

f_m(b,q)\sum_{n} p_b(n) q^n = (1-q)^m \sum_{n} p_b(b^m n q)q^n

where n ranges over all integer values. The proof of this identity appears in the doctoral thesis of the author. For more information see http://dakota.tensen.net/2015/rp/.

This dataset is a JSON object with keys m from 1 to 23 whose values are f_m(b,q).

Approximation Of Nested Fixpoints, Alexander Kurz

Engineering Faculty Articles and Research

The question addressed in this paper is how to correctly approximate infinite data given by systems of simultaneous corecursive definitions. We devise a categorical framework for reasoning about regular datatypes, that is, datatypes closed under products, coproducts and fixpoints. We argue that the right methodology is on one hand coalgebraic (to deal with possible nontermination and infinite data) and on the other hand 2-categorical (to deal with parameters in a disciplined manner). We prove a coalgebraic version of Bekic lemma that allows us to reduce simultaneous fixpoints to a single fix point. Thus a possibly infinite object of interest is …

Presenting Distributive Laws, Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz, Jurriaan Rot

Engineering Faculty Articles and Research

Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a free monad, then such distributive laws correspond to simple natural transformations. However, when T is not free it can be rather difficult to prove the defining axioms of a distributive law. In this paper we describe how to obtain a distributive law for a monad with an equational presentation …

Weak Parallelogram Laws On Banach Spaces And Applications To Prediction, William T. Ross, R. Cheng

Department of Math & Statistics Faculty Publications

This paper concerns a family of weak parallelogram laws for Banach spaces. It is shown that the familiar Lebesgue spaces satisfy a range of these inequalities. Connections are made to basic geometric ideas, such as smoothness, convexity, and Pythagorean-type theorems. The results are applied to the linear prediction of random processes spanning a Banach space. In particular, the weak parallelogram laws furnish coefficient growth estimates, Baxter-type inequalities, and criteria for regularity.

The Robinson-Schensted Correspondence And A2-Web Bases, Heather M. Russell, Matthew Housley, Julianna Tymoczko

Department of Math & Statistics Faculty Publications

We study natural bases for two constructions of the irreducible representation of the symmetric group corresponding to [n; n; n]: the reduced web basis associated to Kuperberg's combinatorial description of the spider category; and the left cell basis for the left cell construction of Kazhdan and Lusztig. In the case of [n; n], the spider category is the Temperley-Lieb category; reduced webs correspond to planar matchings, which are equivalent to left cell bases. This paper compares the image of these bases under classical maps: the Robinson-Schensted algorithm between permutations and Young tableaux and Khovanov-Kuperberg's bijection between …

Kravchuk Polynomials And Induced/Reduced Operators On Clifford Algebras, G. Stacey Staples

SIUE Faculty Research, Scholarship, and Creative Activity

Kravchuk polynomials arise as orthogonal polynomials with respect to the binomial distribution and have numerous applications in harmonic analysis, statistics, coding theory, and quantum probability. The relationship between Kravchuk polynomials and Clifford algebras is multifaceted. In this paper, Kravchuk polynomials are discovered as traces of conjugation operators in Clifford algebras, and appear in Clifford Berezin integrals of Clifford polynomials. Regarding Kravchuk matrices as linear operators on a vector space V, the action induced on the Clifford algebra over V is equivalent to blade conjugation, i.e., reflections across sets of orthogonal hyperplanes. Such operators also have a natural interpretation in …

Clifford Algebra Decompositions Of Conformal Orthogonal Group Elements, G. Stacey Staples, David Wylie

SIUE Faculty Research, Scholarship, and Creative Activity

Beginning with a finite-dimensional vector space V equipped with a nondegenerate quadratic form Q, we consider the decompositions of elements of the conformal orthogonal group CO_Q(V), defined as the direct product of the orthogonal group O_Q(V) with dilations. Utilizing the correspondence between conformal orthogonal group elements and ``decomposable'' elements of the associated Clifford algebra, Cl_Q(V), a decomposition algorithm is developed. Preliminary results on complexity reductions that can be realized passing from additive to multiplicative representations of invertible elements are also presented with examples. The approach here is …