Algebra Commons^™

Hom Quandles, Alissa S. Crans, Sam Nelson

Alissa Crans

If A is an abelian quandle and Q is a quandle, the hom set Hom(Q,A) of quandle homomorphisms from Q to A has a natural quandle structure. We exploit this fact to enhance the quandle counting invariant, providing an example of links with the same counting invariant values but distinguished by the hom quandle structure. We generalize the result to the case of biquandles, collect observations and results about abelian quandles and the hom quandle, and show that the category of abelian quandles is symmetric monoidal closed.

Higher Dimensional Algebra Vi: Lie 2-Algebra, John C. Baez, Alissa S. Crans

Alissa Crans

The theory of Lie algebras can be categorified starting from a new notion of `2-vector space', which we define as an internal category in Vect. There is a 2-category 2Vect having these 2-vector spaces as objects, `linear functors' as morphisms and `linear natural transformations' as 2-morphisms. We define a `semistrict Lie 2-algebra' to be a 2-vector space L equipped with a skew-symmetric bilinear functor [ . , . ] : L x L -> L satisfying the Jacobi identity up to a completely antisymmetric trilinear natural transformation called the `Jacobiator', which in turn must satisfy a certain law of its …

Musical Actions Of Dihedral Groups, Alissa S. Crans, Thomas M. Fiore, Ramon Satyendra

Alissa Crans

The sequence of pitches which form a musical melody can be transposed or inverted. Since the 1970s, music theorists have modeled musical transposition and inversion in terms of an action of the dihedral group of order 24. More recently music theorists have found an intriguing second way that the dihedral group of order 24 acts on the set of major and minor chords. We illustrate both geometrically and algebraically how these two actions are {\it dual}. Both actions and their duality have been used to analyze works of music as diverse as Hindemith and the Beatles.

From Loop Groups To 2-Groups, John C. Baez, Danny Stevenson, Alissa S. Crans, Urs Schreiber

Alissa Crans

We describe an interesting relation between Lie 2-algebras, the Kac-Moody central extensions of loop groups, and the group String(n). A Lie 2-algebra is a categorified version of a Lie algebra where the Jacobi identity holds up to a natural isomorphism called the "Jacobiator". Similarly, a Lie 2-group is a categorified version of a Lie group. If G is a simply-connected compact simple Lie group, there is a 1-parameter family of Lie 2-algebras g_k each having Lie(G) as its Lie algebra of objects, but with a Jacobiator built from the canonical 3-form on G. There appears to be no Lie 2-group …

Polynomial Knot And Link Invariants From The Virtual Biquandle, Alissa S. Crans, Allison Henrich, Sam Nelson

Alissa Crans

The Alexander biquandle of a virtual knot or link is a module over a 2-variable Laurent polynomial ring which is an invariant of virtual knots and links. The elementary ideals of this module are then invariants of virtual isotopy which determine both the generalized Alexander polynomial (also known as the Sawollek polynomial) for virtual knots and the classical Alexander polynomial for classical knots. For a fixed monomial ordering <, the Gr\"obner bases for these ideals are computable, comparable invariants which fully determine the elementary ideals and which generalize and unify the classical and generalized Alexander polynomials. We provide examples to …

Cohomology Of The Adjoint Of Hopf Algebras, J. Scott Carter, Alissa S. Crans, Mohamed Elhamdadi, Masahico Saito

Alissa Crans

A cohomology theory of the adjoint of Hopf algebras, via deformations, is presented by means of diagrammatic techniques. Explicit calculations are provided in the cases of group algebras, function algebras on groups, and the bosonization of the super line. As applications, solutions to the YBE are given and quandle cocycles are constructed from groupoid cocycles.

Crossed Modules Of Racks, Alissa S. Crans, Friedrich Wagemann

Alissa Crans

We generalize the notion of a crossed module of groups to that of a crossed module of racks. We investigate the relation to categorified racks, namely strict 2-racks, and trunk-like objects in the category of racks, generalizing the relation between crossed modules of groups and strict 2-groups. Then we explore topological applications. We show that by applying the rack-space functor, a crossed module of racks gives rise to a covering. Our main result shows how the fundamental racks associated to links upstairs and downstairs in a covering fit together to form a crossed module of racks.

Cohomology Of Categorical Self-Distributivity, J. Scott Carter, Alissa S. Crans, Mohamed Elhamdadi, Masahico Saito

Alissa Crans

We define self-distributive structures in the categories of coalgebras and cocommutative coalgebras. We obtain examples from vector spaces whose bases are the elements of finite quandles, the direct sum of a Lie algebra with its ground field, and Hopf algebras. The self-distributive operations of these structures provide solutions of the Yang–Baxter equation, and, conversely, solutions of the Yang–Baxter equation can be used to construct self-distributive operations in certain categories. Moreover, we present a cohomology theory that encompasses both Lie algebra and quandle cohomologies, is analogous to Hochschild cohomology, and can be used to study deformations of these self-distributive structures. All …

Cohomology Of Frobenius Algebras And The Yang-Baxter Equation, J. Scott Carter, Alissa S. Crans, Mohamed Elhamdadi, Enver Karadayi, Masahico Saito

Alissa Crans

A cohomology theory for multiplications and comultiplications of Frobenius algebras is developed in low dimensions in analogy with Hochschild cohomology of bialgebras based on deformation theory. Concrete computations are provided for key examples. Skein theoretic constructions give rise to solutions to the Yang-Baxter equation using multiplications and comultiplications of Frobenius algebras, and 2-cocycles are used to obtain deformations of R-matrices thus obtained.

Enhancements Of Rack Counting Invariants Via Dynamical Cocycles, Alissa S. Crans, Sam Nelson, Aparna Sarkar

Alissa Crans

We introduce the notion of N-reduced dynamical cocycles and use these objects to define enhancements of the rack counting invariant for classical and virtual knots and links. We provide examples to show that the new invariants are not determined by the rack counting invariant, the Jones polynomial or the generalized Alexander polynomial.

The Corona Problem For Kernel Multiplier Algebras, Eric T. Sawyer, Brett D. Wick

Mathematics Faculty Publications

We prove an alternate Toeplitz corona theorem for the algebras of pointwise kernel multipliers of Besov-Sobolev spaces on the unit ball in C, and for the algebra of bounded analytic functions on certain strictly pseudoconvex domains and polydiscs in higher dimensions as well. This alternate Toeplitz corona theorem extends to more general Hilbert function spaces where it does not require the complete Pick property. Instead, the kernel functions kx (y) of certain Hilbert function spaces H are assumed to be invertible multipliers on H and then we continue a research thread begun by Agler and McCarthy in 1999, and continued …

Reduction Of A Nilpotent Intuitionistic Fuzzy Matrix Using Implication Operator, Riyaz A. Padder, P. Murugadas

Applications and Applied Mathematics: An International Journal (AAM)

A problem of reducing intuitionistic fuzzy matrices is examined and some useful properties are obtained with respect to nilpotent intutionistic fuzzy matrices. First, reduction of irreflexive and transitive intuitionistic fuzzy matrices are considered, and then the properties are applied to nilpotent intutionistic fuzzy matrices. Nilpotent intuitionistic fuzzy matrices are intuitionistic fuzzy matrices which signify acyclic graphs, and the graphs are used to characterize consistent systems. The properties are handy for generalization of various systems with intuitionistic fuzzy transitivity.

Mathematics Education From A Mathematicians Point Of View, Nan Woodson Simpson

Masters Theses

This study has been written to illustrate the development from early mathematical learning (grades 3-8) to secondary education regarding the Fundamental Theorem of Arithmetic and the Fundamental Theorem of Algebra. It investigates the progression of the mathematics presented to the students by the current curriculum adopted by the Rhea County School System and the mathematics academic standards set forth by the State of Tennessee.

Study On The Q-Conjugacy Relations For The Janko Groups, Ali Moghani

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we consider all the Janko sporadic groups J₁, J₂, J₃ and J₄ (with orders 175560, 604800, 50232960 and 86775571046077562880, respectively) with a new concept called the markaracter- and Q-conjugacy character tables, which enables us to discuss marks and characters for a finite group on a common basis of Q-conjugacy relationships between their cyclic subgroups. Then by using GAP (Groups, Algorithms and Programming) package we calculate all their dominant classes enabling us to find all possible Q-conjugacy characters for these sporadic groups. Finally, we prove in a main theorem that all twenty …

A Generalized Polynomial Identity Arising From Quantum Mechanics, Shashikant B. Mulay, John J. Quinn, Mark A. Shattuck

Applications and Applied Mathematics: An International Journal (AAM)

We establish a general identity that expresses a Pfaffian of a certain matrix as a quotient of homogeneous polynomials. This identity arises in the study of weakly interacting many-body systems and its proof provides another way of realizing the equivalence of two proposed types of trial wave functions used to describe such systems. In the proof of our identity, we make use of only elementary linear algebra and combinatorics and thereby avoid use of more advanced conformal field theory in establishing the aforementioned equivalence.

An Introduction To Boolean Algebras, Amy Schardijn

Electronic Theses, Projects, and Dissertations

This thesis discusses the topic of Boolean algebras. In order to build intuitive understanding of the topic, research began with the investigation of Boolean algebras in the area of Abstract Algebra. The content of this initial research used a particular notation. The ideas of partially ordered sets, lattices, least upper bounds, and greatest lower bounds were used to define the structure of a Boolean algebra. From this fundamental understanding, we were able to study atoms, Boolean algebra isomorphisms, and Stone’s Representation Theorem for finite Boolean algebras. We also verified and proved many properties involving Boolean algebras and related structures.

We …

On Generalized Hoops, Homomorphic Images Of Residuated Lattices, And (G)Bl-Algebras, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

Right-residuated binars and right-divisible residuated binars are defined as precursors of generalized hoops, followed by some results and open problems about these partially ordered algebras. Next we show that all complete homomorphic images of a complete residuated lattice A can be constructed easily on certain definable subsets of A. Applying these observations to the algebras of Hajek’s basic logic (BL-algebras), we give an effective description of the HS-poset of finite subdirectly irreducible BL-algebras. The lattice of finitely generated BL-varieties can be obtained from this HS-poset by constructing the lattice of downward closed sets. These results are extended to bounded …

Exploring Mathematical Strategies For Finding Hidden Features In Multi-Dimensional Big Datasets, Tri Duong, Fang Ren, Apurva Mehta

STAR Program Research Presentations

With advances in technology in brighter sources and larger and faster detectors, the amount of data generated at national user facilities such as SLAC is increasing exponentially. Humans have a superb ability to recognize patterns in complex and noisy data and therefore, data is still curated and analyzed by humans. However, a human brain is unable to keep up with the accelerated pace of data generation, and as a consequence, the rate of new discoveries hasn't kept pace with the rate of data creation. Therefore, new procedures to quickly assess and analyze the data are needed. Machine learning approaches are …

Algebra Tutorial For Prospective Calculus Students, Matthew Mckain

All Capstone Projects

Many undergraduate degrees require students to take one or more courses in calculus. Majors in mathematics, science, and engineering are expected to enroll in several rigorous calculus courses, but those majoring in social and behavioral sciences and business must also have some basic understanding of calculus. The goal of this project is to create a web-based tutorial that can be used by the GSU Mathematics faculty to reinforce the algebra skills needed for introductory or Applied Calculus. The tutorial covers the concepts of the slopes of lines, polynomial arithmetic, factoring polynomials, rational expressions, solving quadratic equations, linear and polynomial inequalities, …

Some 2-Categorical Aspects In Physics, Arthur Parzygnat

Dissertations, Theses, and Capstone Projects

2-categories provide a useful transition point between ordinary category theory and infinity-category theory where one can perform concrete computations for applications in physics and at the same time provide rigorous formalism for mathematical structures appearing in physics. We survey three such broad instances. First, we describe two-dimensional algebra as a means of constructing non-abelian parallel transport along surfaces which can be used to describe strings charged under non-abelian gauge groups in string theory. Second, we formalize the notion of convex and cone categories, provide a preliminary categorical definition of entropy, and exhibit several examples. Thirdly, we provide a universal description …

On The Derivative Of 2-Holonomy For A Non-Abelian Gerbe, Cheyne J. Miller

Dissertations, Theses, and Capstone Projects

The local 2-holonomy for a non abelian gerbe with connection is first studied via a local zig-zag Hochschild complex. Next, by locally integrating the cocycle data for our gerbe with connection, and then glueing this data together, an explicit definition is offered for a global version of 2-holonomy. After showing this definition satisfies the desired properties for 2-holonomy, its derivative is calculated whereby the only interior information added is the integration of the 3-curvature. Finally, for the case when the surface being mapped into the manifold is a sphere, the derivative of 2-holonomy is extended to an equivariant closed form …

Cycle Structures Of Orthomorphisms Extending Partial Orthomorphisms Of Boolean Groups, Nichole Louise Schimanski, John S. Caughman Iv

Mathematics and Statistics Faculty Publications and Presentations

A partial orthomorphism of a group GG (with additive notation) is an injection π:S→G for some S⊆G such that π(x)−x ≠ π(y) for all distinct x,y∈S. We refer to |S| as the size of π, and if S=G, then π is an orthomorphism. Despite receiving a fair amount of attention in the research literature, many basic questions remain concerning the number of orthomorphisms of a given group, and what cycle types these permutations have.

It is known that conjugation by automorphisms of G forms a group action on the set of orthomorphisms of G. In this paper, we consider the …

A Survey Of Graphs Of Minimum Order With Given Automorphism Group, Jessica Alyse Woodruff

Math Theses

We survey vertex minimal graphs with prescribed automorphism group. Whenever possible, we also investigate the construction of such minimal graphs, confirm minimality, and prove a given graph has the correct automorphism group.

Homological Characterizations Of Quasi-Complete Intersections, Jason M. Lutz

Department of Mathematics: Dissertations, Theses, and Student Research

Let R be a commutative ring, (f) an ideal of R, and E = K(f; R) the Koszul complex. We investigate the structure of the Tate construction T associated with E. In particular, we study the relationship between the homology of T, the quasi-complete intersection property of ideals, and the complete intersection property of (local) rings.

Advisers: Luchezar L. Avramov and Srikanth B. Iyengar

Topological And Hq Equivalence Of Prime Cyclic P-Gonal Actions On Riemann Surfaces (Corrected), Sean A. Broughton

Mathematical Sciences Technical Reports (MSTR)

Two Riemann surfaces S₁ and S₂ with conformal G-actions have topologically equivalent actions if there is a homeomorphism h : S₁ -> S₂ which intertwines the actions. A weaker equivalence may be defined by comparing the representations of G on the spaces of holomorphic q-differentials H^q(S₁) and H^q(S₂). In this note we study the differences between topological equivalence and H^q equivalence of prime cyclic actions, where S₁/G and S₂/G have genus zero.

Kolmogorov’S Axioms For Probabilities With Values In Hyperbolic Numbers, Daniel Alpay, M. E. Luna-Elizarrarás, Michael Shapiro

Mathematics, Physics, and Computer Science Faculty Articles and Research

We introduce the notion of a probabilistic measure which takes values in hyperbolic numbers and which satisfies the system of axioms generalizing directly Kolmogorov’s system of axioms. We show that this new measure verifies the usual properties of a probability; in particular, we treat the conditional hyperbolic probability and we prove the hyperbolic analogues of the multiplication theorem, of the law of total probability and of Bayes’ theorem. Our probability may take values which are zero–divisors and we discuss carefully this peculiarity.

Richard Dedekind And The Creation Of An Ideal: Early Developments In Ring Theory, Janet Heine Barnett

Abstract Algebra

No abstract provided.

Impartial Avoidance And Achievement Games For Generating Symmetric And Alternating Groups, Bret J. Benesh, Dana C. Ernst, Nándor Sieben

Mathematics Faculty Publications

Anderson and Harary introduced two impartial games on finite groups. Both games are played by two players who alternately select previously unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins the first game. The first player who cannot select an element without building a generating set loses the second game. We determine the nim-numbers, and therefore the outcomes, of these games for symmetric and alternating groups.

P-Adic L-Functions And The Geometry Of Hida Families, Joseph Kramer-Miller

Dissertations, Theses, and Capstone Projects

A major theme in the theory of $p$-adic deformations of automorphic forms is how $p$-adic $L$-functions over eigenvarieties relate to the geometry of these eigenvarieties. In this talk we explain results in this vein for the ordinary part of the eigencurve (i.e. Hida families). We address how Taylor expansions of one variable $p$-adic $L$-functions varying over families can detect geometric phenomena: crossing components of a certain intersection multiplicity and ramification over the weight space. Our methods involve proving a converse to a result of Vatsal relating congruences between eigenforms to their algebraic special $L$-values and then $p$-adically interpolating congruences using …

The Remedy That's Killing: Cuny, Laguardia, And The Fight For Better Math Policy, Rachel A. Oppenheimer

Dissertations, Theses, and Capstone Projects

Nationwide, there is a crisis in math learning and math achievement at all levels of education. Upwards of 80% of students who enter the City University of New York’s community colleges from New York City’s Department of Education high schools fail to meet college level math proficiencies and as a result, are funneled into the system’s remedial math system. Once placed into pre-college remedial arithmetic, pre-algebra, and elementary algebra courses, students fail at alarming rates and research indicates that students’ failure in remedial math has negative ripple effects on their persistence and degree completion. CUNY is not alone in facing …