Algebra Commons^™

Homological Algebra With Filtered Modules, Raymond Edward Kremer

Theses and Dissertations--Mathematics

Classical homological algebra is done in a category of modules beginning with the study of projective and injective modules. This dissertation investigates analogous notions of projectivity and injectivity in a category of filtered modules. This category is similar to one studied by Sjödin, Nǎstǎsescu, and Van Oystaeyen. In particular, projective and injective objects with respect to the restricted class of strict morphisms are defined and characterized. Additionally, an analogue to the injective envelope is discussed with examples showing how this differs from the usual notion of an injective envelope.

Algebraic Properties Of Formal Power Series Composition, Thomas S. Brewer

Theses and Dissertations--Mathematics

The study of formal power series is an area of interest that spans many areas of mathematics. We begin by looking at single-variable formal power series with coefficients from a field. By restricting to those series which are invertible with respect to formal composition we form a group. Our focus on this group focuses on the classification of elements having finite order. The notion of a semi-cyclic group comes up in this context, leading to several interesting results about torsion subgroups of the group. We then expand our focus to the composition of multivariate formal power series, looking at similar …

Euler, Reader Of Newton: Mechanics And Algebraic Analysis, Sébastien Maronne, Marco Panza

MPP Published Research

We follow two of the many paths leading from Newton’s to Euler’s scientific productions, and give an account of Euler’s role in the reception of some of Newton’s ideas, as regards two major topics: mechanics and algebraic analysis. Euler contributed to a re-appropriation of Newtonian science, though transforming it in many relevant aspects. We study this re-appropriation with respect to the mentioned topics and show that it is grounded on the development of Newton’s conceptions within a new conceptual frame also influenced by Descartes’s views sand Leibniz’s formalism.

Finding Zeros Of Rational Quadratic Forms, John F. Shaughnessy

CMC Senior Theses

In this thesis, we introduce the notion of quadratic forms and provide motivation for their study. We begin by discussing Diophantine equations, the field of p-adic numbers, and the Hasse-Minkowski Theorem that allows us to use p-adic analysis determine whether a quadratic form has a rational root. We then discuss search bounds and state Cassels' Theorem for small-height zeros of rational quadratic forms. We end with a proof of Cassels' Theorem and suggestions for further reading.

C*-Algebras Generated By Truncated Toeplitz Operators, William T. Ross, Stephan Ramon Garcia, Warren R. Wogen

Department of Math & Statistics Faculty Publications

We obtain an analogue of Coburn’s description of the Toeplitz algebra in the setting of truncated Toeplitz operators. As a byproduct, we provide several examples of complex symmetric operators which are not unitarily equivalent to truncated Toeplitz operators having continuous symbols.

New Techniques To Analyse The Prediction Of Fuzzy Models, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

For the first time authors have ventured to study, analyse and investigate the properties of the fuzzy models, the experts opinion and so on. Here the concept of merged Fuzzy Cognitive Maps and Neutrosophic Cognitive Maps are carried out, which are based on merged graphs and merged matrices. This concept is better than the usual combined Fuzzy Cognitive Maps. Further by this new technique we are able to give equal importance to all the experts who work with the problem. Here the new concept of New Average Fuzzy Cognitive Maps and Neutrosophic Cognitive Maps is defined and described. This new …

New Research On Neutrosophic Algebraic Structures, Florentin Smarandache, Mumtaz Ali, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

In this book, we define several new neutrosophic algebraic structures and their related properties. The main focus of this book is to study the important class of neutrosophic rings such as neutrosophic LA-semigroup ring, neutrosophic loop ring, neutrosophic groupoid ring and so on. We also construct their generalization in each case to study these neutrosophic algebraic structures in a broader sense. The indeterminacy element “ I “ gives rise to a more bigger algebraic structure than the classical algebraic structures. It mainly classifies the algebraic structures in three categories: such as neutrosophic algebraic structures, strong neutrosophic algebraic structures, and classical …

Algebraic Structures On Fuzzy Unit Square And Neutrosophic Unit Square, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors build algebraic structures on fuzzy unit semi open square UF = {(a, b) | a, b  [0, 1)} and on the fuzzy neutrosophic unit semi open square UN = {a + bI | a, b  [0, 1)}. This study is new and we define, develop and describe several interesting and innovative theories about them. We cannot build ring on UN or UF. We have only pseudo rings of infinite order. We also build pseudo semirings using these semi open unit squares. We construct vector spaces, S-vector spaces and strong pseudo special vector space using …

Algebraic Structures On Real And Neutrosophic Semi Open Squares, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Here for the first time we introduce the semi open square using modulo integers. Authors introduce several algebraic structures on them. These squares under addition modulo ‘n’ is a group and however under product  this semi open square is only a semigroup as under  the square has infinite number of zero divisors. Apart from + and  we define min and max operation on this square. Under min and max operation this semi real open square is a semiring. It is interesting to note that this semi open square is not a ring under + and  since …

Algebraic Structures On The Fuzzy Interval [0, 1), Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we introduce several algebraic structures on the special fuzzy interval [0, 1). This study is different from that of the algebraic structures using the interval [0, n) n ≠ 1, as these structures on [0, 1) has no idempotents or zero divisors under ×. Further [0, 1) under product × is only a semigroup. However by defining min(or max) operation in [0, 1); [0, 1) is made into a semigroup. The semigroup under × has no finite subsemigroups but under min or max we have subsemigroups of order one, two and so on. [0, 1) under + …

Special Pseudo Linear Algebras Using [0,N), Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we introduce some special type of linear algebras called pseudo special linear algebras using the interval [0, n). These new types of special pseudo interval linear algebras has several interesting properties. Special pseudo interval linear algebras are built over the subfields in Zn where Zn is a S-ring. We study the substructures of them. The notion of Smarandache special interval pseudo linear algebras and Smarandache strong special pseudo interval linear algebras are introduced. The former Sspecial interval pseudo linear algebras are built over the Sring itself. Study in this direction has yielded several interesting results. S-strong special …

Groupoids Of Type I And Ii Using [0, N), Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Study of algebraic structures built using [0, n) happens to be one of an interesting and innovative research. Here in this book authors define non associative algebraic structures using the interval [0, n). Here we define two types of groupoids using [0, n) both of them are of infinite order. It is an open conjecture to find whether these new class of groupoids satisfy any of the special identities like Moufang identity or Bol identity or Bruck identity or so on. We know on [0, n) we cannot build rings only pseudo rings, however in this book we use these …

Soft Neutrosophic Algebraic Structures And Their Generalization - Vol. 2, Florentin Smarandache, Mumtaz Ali, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we define some new notions of soft neutrosophic algebraic structures over neutrosophic algebraic structures. We define some different soft neutrosophic algebraic structures but the main motivation is two-fold. Firstly the classes of soft neutrosophic group ring and soft neutrosophic semigroup ring defined in this book is basically the generalization of two classes of rings: neutrosophic group rings and neutrosophic semigroup rings. These soft neutrosophic group rings and soft neutrosophic semigroup rings are defined over neutrosophic group rings and neutrosophic semigroup rings respectively. This is basically the collection of parameterized subneutrosophic group ring and subneutrosophic semigroup ring of …

Soft Neutrosophic Algebraic Structures And Their Generalization - Vol. 1, Florentin Smarandache, Mumtaz Ali, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduced the notions of soft neutrosophic algebraic structures. These soft neutrosophic algebraic structures are basically defined over the neutrosophic algebraic structures which means a parameterized collection of subsets of the neutrosophic algebraic structure. For instance, the existence of a soft neutrosophic group over a neutrosophic group or a soft neutrosophic semigroup over a neutrosophic semigroup, or a soft neutrosophic field over a neutrosophic field, or a soft neutrosophic LA-semigroup over a neutrosophic LAsemigroup, or a soft neutosophic loop over a neutrosophic loop. It is interesting to note that these notions are defined over finite and …

Pseudo Lattice Graphs And Their Applications To Fuzzy And Neutrosophic Models, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book for the first time authors introduce the concept of merged lattice, which gives a lattice or a graph. The resultant lattice or graph is defined as the pseudo lattice graph of type I. Here we also merge a graph with a lattice or two or more graphs which call as the pseudo lattice graph of type II. We merge either edges or vertices or both of a lattice and a graph or a lattice and a lattice or graph with itself. Such study is innovative and these mergings are adopted on all fuzzy and neutrosophic models which …

Distance In Matrices And Their Applications To Fuzzy Models And Neutrosophic Models, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce the notion of distance between any two m  n matrices. If the distance is 0 or m  n there is nothing interesting. When the distance happens to be a value t; 0 < t < m  n the study is both innovating and interesting. The three cases of study which is carried out in this book are 1. If the difference between two square matrices is large, will it imply the eigen values and eigen vectors of those matrices are distinct? Several open conjectures in this direction are given. 2. The difference between parity check matrix and the generator matrix for the same C(n, k) code is studied. This will help in detecting errors in storage systems as well as in cryptography.

Algebraic Generalization Of Venn Diagram, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

It is easy to deal with a Venn Diagram for 1 ≤ n ≤ 3 sets. When n gets larger, the picture becomes more complicated, that's why we thought at the following codification. That’s why we propose an easy and systematic algebraic way of dealing with the representation of intersections and unions of many sets.

Further Generalization Of N-D Distance And N-D Dependent Function In Extenics, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Prof. Cai Wen [1] defined the 1-D Distance and 1-D Dependent Function in 1983. F. Smarandache [6] generalized them to n-D Distance and n-D Dependent Function respectively in 2012 during his postdoc research at Guangdong University of Technology in Guangzhou. O. I. Şandru [7] extended the last results in 2013. Now [2015], as a further generalization, we unify all these results into a single formula for the n-D Distance and respectively for the n-D Dependent Function.

Single Valued Neutrosophic Information Systems Based On Rough Set Theory, Said Broumi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

The theory of rough sets was firstly proposed by Pawlak. Later on, Smarandache introduced the concept of neutrosophic (NS) sets in 1998. In this paper based on the concept of rough neutrosohic set, we define the concept of single valued neutrosophic information systems. In addition, we will discuss the knowledge reduction and extension of the single valued neutrosophic information systems.

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

Mathematics, Statistics and Data Science Faculty Works

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.

Hom Quandles, Alissa S. Crans, Sam Nelson

Mathematics, Statistics and Data Science Faculty Works

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.

On Groups With A Class-Preserving Outer Automorphism, Peter A. Brooksbank

Faculty Journal Articles

Four infinite families of 2-groups are presented, all of whose members possess an outer automorphism that preserves conjugacy classes. The groups in these families are central extensions of their predecessors by a cyclic group of order 2. For each integer r>1, there is precisely one 2-group of nilpotency class r in each of the four families. All other known families of 2-groups possessing a class-preserving outer automorphism consist entirely of groups of nilpotency class 2.

Groups Acting On Tensor Products, Peter A. Brooksbank

Faculty Journal Articles

Groups preserving a distributive product are encountered often in mathematics. Examples include automorphism groups of associative and non associative rings, classical groups, and automorphisms of p-groups. While the great variety of such products precludes any realistic hope of describing the general structure of the groups that preserve them, it is reasonable to expect that insight may be gained from an examination of the universal distributive products: tensor products. We give a detailed description of the groups preserving such tensor products over semisimple and semi primary rings, and present effective algorithms to construct generators for these groups. We also discuss …

Interpolation By Polynomials With Symmetries, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

We here specialize the standard matrix-valued polynomial interpolation to the case where on the imaginary axis the interpolating polynomials admit various symmetries: Positive semidefinite, Skew-Hermitian, J- Hermitian, Hamiltonian and others.

The procedure is comprized of three stages, illustrated through the case where on $i\R$ the interpolating polynomials are to be positive semidefinite. We first, on the expense of doubling the degree, obtain a minimal degree interpolating polynomial P(s) which on $i\R$ is Hermitian. Then we find all polynomials Ψ(s), vanishing at the interpolation points which are positive semidefinite on $i\R$. Finally, using the fact that the set of positive semidefinite …

Krein-Langer Factorization And Related Topics In The Slice Hyperholomorphic Setting, Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

We study various aspects of Schur analysis in the slice hyperholomorphic setting. We present two sets of results: first, we give new results on the functional calculus for slice hyperholomorphic functions. In particular, we introduce and study some properties of the Riesz projectors. Then we prove a Beurling-Lax type theorem, the so-called structure theorem. A crucial fact which allows to prove our results, is the fact that the right spectrum of a quaternionic linear operator and the point S-spectrum coincide. Finally, we study the Krein-Langer factorization for slice hyperholomorphic generalized Schur functions. Both the Beurling-Lax type theorem and the Krein-Langer …

A Proof-Theoretic Semantic Analysis Of Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić

Engineering Faculty Articles and Research

The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems which have been successfully applied to diverse scientific disciplines, but the proof theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm which has been successfully employed to give a proof-theoretic semantic account of modal and substructural …

Culturally Relevant Pedagogy: Secondary Mathematics In An Urban Classroom, Julia Glissmann North

Honors Program Theses

Research and test scores have shown that African-American, Latino, Native American, and other minority students are underachieving in secondary mathematics. This is concerning not only to school personnel – who are under pressure to have students perform well on standardized tests – but also to the future of the country. When teachers adopt a culturally relevant pedagogy, diverse students will have a better opportunity to learn and retain mathematical content. When academic content is taught in a culturally relevant way, students are able to retain the information, improve their performance in school, and become more informed participants in society. Through …