Algebra Commons^™

A Coherent Proof Of Mac Lane's Coherence Theorem, Luke Trujillo

HMC Senior Theses

Mac Lane’s Coherence Theorem is a subtle, foundational characterization of monoidal categories, a categorical concept which is now an important and popular tool in areas of pure mathematics and theoretical physics. Mac Lane’s original proof, while extremely clever, is written somewhat confusingly. Many years later, there still does not exist a fully complete and clearly written version of Mac Lane’s proof anywhere, which is unfortunate as Mac Lane’s proof provides very deep insight into the nature of monoidal categories. In this thesis, we provide brief introductions to category theory and monoidal categories, and we offer a precise, clear development of …

Gröbner Bases And Systems Of Polynomial Equations, Rachel Holmes

All Graduate Theses, Dissertations, and Other Capstone Projects

This paper will explore the use and construction of Gröbner bases through Buchberger's algorithm. Specifically, applications of such bases for solving systems of polynomial equations will be discussed. Furthermore, we relate many concepts in commutative algebra to ideas in computational algebraic geometry.

Simultaneous Zeros Of A System Of Two Quadratic Forms, Nandita Sahajpal

Theses and Dissertations--Mathematics

In this dissertation we investigate the existence of a nontrivial solution to a system of two quadratic forms over local fields and global fields. We specifically study a system of two quadratic forms over an arbitrary number field. The questions that are of particular interest are:

1. How many variables are necessary to guarantee a nontrivial zero to a system of two quadratic forms over a global field or a local field? In other words, what is the u-invariant of a pair of quadratic forms over any global or local field?
2. What is the relation between u-invariants of a …

Algebraic And Geometric Properties Of Hierarchical Models, Aida Maraj

Theses and Dissertations--Mathematics

In this dissertation filtrations of ideals arising from hierarchical models in statistics related by a group action are are studied. These filtrations lead to ideals in polynomial rings in infinitely many variables, which require innovative tools. Regular languages and finite automata are used to prove and explicitly compute the rationality of some multivariate power series that record important quantitative information about the ideals. Some work regarding Markov bases for non-reducible models is shown, together with advances in the polyhedral geometry of binary hierarchical models.

Geometry Of Linear Subspace Arrangements With Connections To Matroid Theory, William Trok

Theses and Dissertations--Mathematics

This dissertation is devoted to the study of the geometric properties of subspace configurations, with an emphasis on configurations of points. One distinguishing feature is the widespread use of techniques from Matroid Theory and Combinatorial Optimization. In part we generalize a theorem of Edmond's about partitions of matroids in independent subsets. We then apply this to establish a conjectured bound on the Castelnuovo-Mumford regularity of a set of fat points.

We then study how the dimension of an ideal of point changes when intersected with a generic fat subspace. In particular we introduce the concept of a ``very unexpected hypersurface'' …

An Invitation To Linear Algebra (2nd Edition), David N. Pham, Jonathon Funk, Wenjian Liu

Open Educational Resources

This is an OER textbook on linear algebra.

Introduction To Neutroalgebraic Structures And Antialgebraic Structures (Revisited), Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In all classical algebraic structures, the Laws of Compositions on a given set are well-defined. But this is a restrictive case, because there are many more situations in science and in any domain of knowledge when a law of composition defined on a set may be only partially-defined (or partially true) and partially-undefined (or partially false), that we call NeutroDefined, or totally undefined (totally false) that we call AntiDefined. Again, in all classical algebraic structures, the Axioms (Associativity, Commutativity, etc.) defined on a set are totally true, but it is again a restrictive case, because similarly there are numerous situations …

Extension Of Hypergraph To N-Superhypergraph And To Plithogenic N-Superhypergraph, And Extension Of Hyperalgebra To N-Ary (Classical-/Neutro-/Anti-)Hyperalgebra, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

We recall and improve our 2019 concepts of n-Power Set of a Set, n-SuperHyperGraph, Plithogenic n-SuperHyperGraph, and n-ary HyperAlgebra, n-ary NeutroHyperAlgebra, n-ary AntiHyperAlgebra respectively, and we present several properties and examples connected with the real world.

Neutro-Bck-Algebra, Florentin Smarandache, Mohammad Hamidi

Branch Mathematics and Statistics Faculty and Staff Publications

This paper introduces the novel concept of Neutro-BCK-algebra. In Neutro-BCK-algebra, the outcome of any given two elements under an underlying operation (neutro-sophication procedure) has three cases, such as: appurtenance, non-appurtenance, or indeterminate. While for an axiom: equal, non-equal, or indeterminate. This study investigates the Neutro-BCK-algebra and shows that Neutro-BCK-algebra are different from BCK-algebra. The notation of Neutro-BCK-algebra generates a new concept of NeutroPoset and Neutro-Hass-diagram for NeutroPosets. Finally, we consider an instance of applications of the Neutro-BCK-algebra.

Exact Sequences Of Inner Automorphisms Of Tensors, Peter A. Brooksbank

Faculty Journal Articles

We produce a long exact sequence whose terms are unit groups of associative algebras that behave as inner automorphisms of a given tensor. Our sequence generalizes known sequences for associative and non-associative algebras. In a manner similar to those, our sequence facilitates inductive reasoning about, and calculation of the groups of symmetries of a tensor. The new insights these methods afford can be applied to problems ranging from understanding algebraic structures to distinguishing entangled states in particle physics.

The Neutrosophic Triplet Of ����-Algebras, Florentin Smarandache, Akbar Rezaei

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, the concepts of a Neutro-����-algebra and Anti-����-algebra are introduced, and some related properties are investigated. We show that the class of Neutro-����-algebra is an alternative of the class of ����-algebras.

A New Trend To Extensions Of Ci-Algebras, Florentin Smarandache, Akbar Rezaei, Hee Sik Kim

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, as an extension of CI-algebras, we discuss the new notions of Neutro-CI-algebras and Anti-CI-algebras. First, some examples are given to show that these definitions are different. We prove that any proper CI-algebra is a Neutro-BE-algebra or Anti-BE-algebra. Also, we show that any NeutroSelf-distributive and AntiCommutative CI-algebras are not BE-algebras.

On Neutro-Be-Algebras And Anti-Be-Algebras, Florentin Smarandache, Akbar Rezaei

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, the concepts of Neutro-BE-algebra and Anti-BE-algebra are introduced, and some related properties and four theorems are investigated. We show that the classes of Neutro-BE-algebra and Anti-BE-algebras are alternatives of the class of BE-algebras.

Generalizations And Alternatives Of Classical Algebraic Structures To Neutroalgebraic Structures And Antialgebraic Structures, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we present the development from paradoxism to neutrosophy, which gave birth to neutrosophic set and logic and especially to NeutroAlgebraic Structures (or NeutroAlgebras) and AntiAlgebraic Structures (or AntiAlgebras) that are generalizations and alternatives of the classical algebraic structures.

New Challenges In Neutrosophic Theory And Applications, Florentin Smarandache, Stefan Vladutescu, Miihaela Colhon, Wadei Al-Omeri, Saeid Jafari, Muhammad Zahir Khan, Muhammad Farid Khan, Muhammad Aslam, Abdur Razzaque Mughal

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic theory has representatives on all continents and, therefore, it can be said to be a universal theory. On the other hand, according to the three volumes of “The Encyclopedia of Neutrosophic Researchers” (2016, 2018, 2019), plus numerous others not yet included in Encyclopedia book series, about 1200 researchers from 73 countries have applied both the neutrosophic theory and method. Neutrosophic theory was founded by Professor Florentin Smarandache in 1998; it constitutes further generalization of fuzzy and intuitionistic fuzzy theories. The key distinction between the neutrosophic set/logic and other types of sets/logics lies in the introduction of the degree of …

Stationary Distribution Of Recombination On 4x4 Grid Graph As It Relates To Gerrymandering, Camryn Hollarsmith

Scripps Senior Theses

A gerrymandered political districting plan is used to benefit a group seeking to elect more of their own officials into office. This practice happens at the city, county and state level. A gerrymandered plan can be strategically designed based on partisanship, race, and other factors. Gerrymandering poses a contradiction to the idea of “one person, one vote” ruled by the United States Supreme Court case Reynolds v. Sims (1964) because it values one demographic’s votes more than another’s, thus creating an unfair advantage and compromising American democracy. To prevent the practice of gerrymandering, we must know how to detect a …

Algebra I Topics Using Geogebra, Matthew Rancourt

Masters Essays

No abstract provided.

On The Ranks Of String C-Group Representations For Symplectic And Orthogonal Groups, Peter A. Brooksbank

Faculty Journal Articles

We determine the ranks of string C-group representations of 4-dimensional projective symplectic groups over a finite field, and comment on those of higher-dimensional symplectic and orthogonal groups.

Orthogonal Groups In Characteristic 2 Acting On Polytopes Of High Rank, Peter A. Brooksbank, Dimitri Leemans, John T. Ferrara

Faculty Journal Articles

No abstract provided.

Codes, Cryptography, And The Mceliece Cryptosystem, Bethany Matsick

Senior Honors Theses

Over the past several decades, technology has continued to develop at an incredible rate, and the importance of properly securing information has increased significantly. While a variety of encryption schemes currently exist for this purpose, a number of them rely on problems, such as integer factorization, that are not resistant to quantum algorithms. With the reality of quantum computers approaching, it is critical that a quantum-resistant method of protecting information is found. After developing the proper background, we evaluate the potential of the McEliece cryptosystem for use in the post-quantum era by examining families of algebraic geometry codes that allow …