Algebra Commons^™

Foreword: Special Issue On Coalgebraic Logic, Alexander Kurz

Engineering Faculty Articles and Research

The second Dagstuhl seminar on coalgebraic logics took place from October 7-12, 2012, in the Leibniz Forschungszentrum Schloss Dagstuhl, following a successful earlier one in December 2009. From the 44 researchers who attended and the 30 talks presented, this collection highlights some of the progress that has been made in the field. We are grateful to Giuseppe Longo and his interest in a special issue in Mathematical Structures in Computer Science.

Quasivarieties And Varieties Of Ordered Algebras: Regularity And Exactness, Alexander Kurz

Engineering Faculty Articles and Research

We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets.

We also prove that finitary varieties of ordered algebras are cocompletions of their theories under sifted colimits (again, in the enriched sense).

The Positivication Of Coalgebraic Logics, Fredrik Dahlqvist, Alexander Kurz

Engineering Faculty Articles and Research

We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebraic logic from a boolean one. On the model side this involves canonically computing a endofunctor T': Pos->Pos from an endofunctor T: Set->Set, in a procedure previously defined by the second author et alii called posetification. On the syntax side, it involves canonically computing a syntax-building functor L': DL->DL from a syntax-building functor L: BA->BA, in a dual procedure which we call positivication. These operations are interesting in their own right and we explicitly compute posetifications and positivications in the case …

Siso Output Affine Feedback Transformation Group And Its Faá Di Bruno Hopf Algebra, W. Steven Gray, Kurusch Ebrahimi-Fard

Electrical & Computer Engineering Faculty Publications

The general goal of this paper is to identify a transformation group that can be used to describe a class of feedback interconnections involving subsystems which are modeled solely in terms of Chen-Fliess functional expansions or Fliess operators and are independent of the existence of any state space models. This interconnection, called an output affine feedback connection, is distinguished from conventional output feedback by the presence of a multiplier in an outer loop. Once this transformation group is established, three basic questions are addressed. How can this transformation group be used to provide an explicit Fliess operator representation of …

On Degree Bound For Syzygies Of Polynomial Invariants, Zhao Gao

Senior Independent Study Theses

Suppose G is a finite linearly reductive group. The degree bound for the syzygy ideal of the invariant ring of G is given in [2]. We develop the theory of commutative algebra and give the proof from [2] that the ideal of relations of the minimal set of generators of invariant ring of a finite linearly reductive group G is generated in degree at most 2|G|.

Developing Conceptual Understanding And Procedural Fluency In Algebra For High School Students With Intellectual Disability, Andrew J. Wojcik

Theses and Dissertations

Teaching students with Intellectual Disability (ID) is a relatively new endeavor. Beginning in 2001 with the passage of the No Child Left Behind Act, the general education curriculum integrated algebra across the K-12 curriculum (Kendall, 2011; National Governors Association Center for Best Practices & Council of Chief State School Officers, 2010), and expansion of the curriculum included five intertwined skills (productive disposition, procedural fluency, strategic competence, adaptive reasoning, and conceptual understanding) (Kilpatrick, Swafford, & Findell, 2001). Researchers are just beginning to explore the potential of students with ID with algebra (Browder, Spooner, Ahlgrim-Delzell, Harris & Wakeman, 2008; Creech-Galloway, Collins, Knight, …

Arithmetic | Algebra, Samar Elhitti, Marianna Bonanome, Holly Carley, Thomas Tradler, Lin Zhou

Open Educational Resources

Arithmetic | Algebra provides a customized open-source textbook for the math developmental students at New York City College of Technology. The book consists of short chapters, addressing essential concepts necessary to successfully proceed to credit-level math courses. Each chapter provides several solved examples and one unsolved “Exit Problem”. Each chapter is also supplemented by its own WeBWork online homework assignment. The book can be used in conjunction with WeBWork for homework (online) or with the Arithmetic | Algebra Homework handbook (traditional). The content in the book, WeBWork and the homework handbook are also aligned to prepare students for the CUNY …

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.

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 …

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.

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

Mathematics Faculty Research

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 …

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.

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.

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

Abstract Algebra

No abstract provided.

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 …

Resolving Classes And Resolvable Spaces In Rational Homotopy Theory, Timothy L. Clark

Dissertations

A class of topological spaces is called a resolving class if it is closed under weak equivalences and homotopy limits. Letting R(A) denote the smallest resolving class containing a space A, we say X is A-resolvable if X is in R(A), which induces a partial order on spaces. These concepts are dual to the well-studied notions of closed class and cellular space, where the induced partial order is known as the Dror Farjoun Cellular Lattice. Progress has been made toward illuminating the structure of the Cellular Lattice. For example: Chachólski, Parent, and Stanley have shown that it …

On Factorization Of A Special Type Of Vandermonde Rhotrix, P. L. Sharma, Mansi Rehan

Applications and Applied Mathematics: An International Journal (AAM)

Vandermonde matrices have important role in many branches of applied mathematics such as combinatorics, coding theory and cryptography. Some authors discuss Vandermonde rhotrices in the literature for its mathematical enrichment. Here, we introduce a special type of Vandermonde rhotrix and obtain its LR factorization, namely left and right triangular factorization which is further used to obtain the inverse of the rhotrix.

Math And Sudoku: Exploring Sudoku Boards Through Graph Theory, Group Theory, And Combinatorics, Kyle Oddson

Student Research Symposium

Encoding Sudoku puzzles as partially colored graphs, we state and prove Akman’s theorem [1] regarding the associated partial chromatic polynomial [5]; we count the 4x4 sudoku boards, in total and fundamentally distinct; we count the diagonally distinct 4x4 sudoku boards; and we classify and enumerate the different structure types of 4x4 boards.

Stable Local Cohomology And Cosupport, Peder Thompson

Department of Mathematics: Dissertations, Theses, and Student Research

This dissertation consists of two parts, both under the overarching theme of resolutions over a commutative Noetherian ring R. In particular, we use complete resolutions to study stable local cohomology and cotorsion-flat resolutions to investigate cosupport.

In Part I, we use complete (injective) resolutions to define a stable version of local cohomology. For a module having a complete injective resolution, we associate a stable local cohomology module; this gives a functor to the stable category of Gorenstein injective modules. We show that this functor behaves much like the usual local cohomology functor. When there is only one non-zero local cohomology …