Algebra Commons^™

Twisted Virtual Biracks, Jessica Ceniceros

CMC Senior Theses

This thesis will take a look at a branch of topology called knot theory. We will first look at what started the study of this field, classical knot theory. Knot invariants such as the Bracket polynomial and the Jones polynomial will be introduced and studied. We will then explore racks and biracks along with the axioms obtained from the Reidemeister moves. We will then move on to generalize classical knot theory to what is now known as virtual knot theory which was first introduced by Louis Kauffman. Finally, we take a look at a newer aspect of knot theory, twisted …

The Mathematical Landscape, Antonio Collazo

CMC Senior Theses

The intent of this paper is to present the reader will enough information to spark a curiosity in to the subject.  By no means is the following a complete formulation of any of the topics covered.  I want to give the reader a tour of the mathematical landscape.  There are plenty of further details to explore in each section, I have just touched the tip the iceberg.  The work is basically in four sections: Numbers, Geometry, Functions, Sets and Logic, which are the basic building blocks of Math.  The first sections are a exposition into the mathematical objects and their …

The Positive Real Lemma And Construction Of All Realizations Of Generalized Positive Rational Functions, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

We here extend the well known Positive Real Lemma (also known as the Kalman-Yakubovich-Popov Lemma) to complex matrix-valued generalized positive rational function, when non-minimal realizations are considered. All state space realizations are partitioned into subsets, each is identified with a set of matrices satisfying the same Lyapunov inclusion. Thus, each subset forms a convex invertible cone, cic in short, and is in fact is replica of all realizations of positive functions of the same dimensions. We then exploit this result to provide an easy construction procedure of all (not necessarily minimal) state space realizations of generalized positive functions. As a …

The Unimodality Of Pure O-Sequences Of Type Three In Three Variables, Bernadette Boyle

Mathematics Faculty Publications

We will give a positive answer for the unimodality of the Hilbert functions in the smallest open case, that of Artinian level monomial algebras of type three in three variables.

Inverse Limits With Set Valued Functions, Van C. Nall

Department of Math & Statistics Faculty Publications

We begin to answer the question of which continua can be homeomorphic to an inverse limit with a single upper semi-continuous bonding map from [O, 1) to 2^(O,l). Several continua including (0, 1) x (0, 1) and all compact manifolds with dimension greater than one cannot be homeomorphic to such an inverse limit. It is also shown that if the upper semi-continuous bonding maps have only zero dimensional point values, then the dimension of the inverse limit does not exceed the dimension of the factor spaces.

Neutrosophic Interval Bialgebraic Structures, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors for the first time introduce the notion of neutrosophic intervals and study the algebraic structures using them. Concepts like groups and fields using neutrosophic intervals are not possible. Pure neutrosophic intervals and mixed neutrosophic intervals are introduced and by the very structure of the interval one can understand the category to which it belongs. We in this book introduce the notion of pure (mixed) neutrosophic interval bisemigroups or neutrosophic biinterval semigroups. We derive results pertaining to them. The new notion of quasi bisubsemigroups and ideals are introduced. Smarandache interval neutrosophic bisemigroups are also introduced and …

Finite Neutrosophic Complex Numbers, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book for the first time the authors introduce the notion of real neutrosophic complex numbers. Further the new notion of finite complex modulo integers is defined. For every C(Zn) the complex modulo integer iF is such that 2 Fi = n – 1. Several algebraic structures on C(Zn) are introduced and studied. Further the notion of complex neutrosophic modulo integers is introduced. Vector spaces and linear algebras are constructed using these neutrosophic complex modulo integers. This book is organized into 5 chapters. The first chapter introduces real neutrosophic complex numbers. Chapter two introduces the notion of finite complex …

Interval Algebraic Bistructures, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Authors in this book construct interval bistructures using only interval groups, interval loops, interval semigroups and interval groupoids. Several results enjoyed by these interval bistructures are described. By this method, we obtain interval bistructures which are associative or non associative or quasi associative. The term quasi is used mainly in the interval bistructure B = B1 ∪ B2 (or in n-interval structure) if one of B1 (or B2) enjoys an algebraic property and the other does not enjoy that property (one section of interval structure satisfies an algebraic property and the remaining section does not satisfy that particular property). The …

Algebraic Structures Using Super Interval Matrices, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The advantage of using super interval matrices is that one can build only one vector space using m × n interval matrices, but in case of super interval matrices we can have several such spaces depending on the partition on the interval matrix.

This book has seven chapters. Chapter one is introductory in nature, just introducing the super interval matrices or interval super matrices. In chapter two essential operations on super interval matrices are defined. Further in this chapter algebraic structures are defined on these super interval matrices using these operation. Using these super interval matrices semirings and semivector spaces …

Studies In Sampling Techniques And Time Series Analysis, Florentin Smarandache, Rajesh Singh

Branch Mathematics and Statistics Faculty and Staff Publications

This book has been designed for students and researchers who are working in the field of time series analysis and estimation in finite population. There are papers by Rajesh Singh, Florentin Smarandache, Shweta Maurya, Ashish K. Singh, Manoj Kr. Chaudhary, V. K. Singh, Mukesh Kumar and Sachin Malik. First chapter deals with the problem of time series analysis and the rest of four chapters deal with the problems of estimation in finite population. The book is divided in five chapters as follows: Chapter 1. Water pollution is a major global problem. In this chapter, time series analysis is carried out …

Algebraic Structures Using Natural Class Of Intervals, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Authors in this book introduce a new class of intervals called the natural class of intervals, also known as the special class of intervals or as natural intervals. These intervals are built using increasing intervals, decreasing intervals and degenerate intervals. We say an interval [a, b] is an increasing interval if a < b for any a, b in the field of reals R. An interval [a, b] is a decreasing interval if a > b and the interval [a, b] is a degenerate interval if a = b for a, b in the field of reals R. The natural class of intervals consists of the collection of increasing intervals, decreasing intervals and the degenerate intervals. Clearly R is contained in the natural …

Study Of Natural Class Of Intervals Using (–∞,∞) And (∞, –∞), Florentin Smarandache, W.B. Vasantha Kandasamy, D. Datta, H.S. Kushwaha, P.A. Jadhav

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors study the properties of natural class of intervals built using (–∞, ∞) and (∞, –∞). These natural class of intervals behave like the reals R, as far as the operations of addition, multiplication, subtraction and division are concerned. Using these natural class of intervals we build interval row matrices, interval column matrices and m × n interval matrices. Several properties about them are defined and studied. Also all arithmetic operations are performed on them in the usual way. The authors by defining so have made it easier for operations like multiplication, addition, finding determinant and …

Interval Semirings, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the notion of interval semirings are introduced. The authors study and analyse semirings algebraically. Methods are given for the construction of non-associative semirings using loops and interval semirings or interval loops and semirings. Another type of non-associative semirings are introduced using groupoids and interval semirings or interval groupoids and semirings. Examples using integers and modulo integers are given. Also infinite semirings which are semifields are given using interval semigroups and semirings or semigroups and interval semirings or using groups and interval semirings. Interval groups are introduced to construct interval group interval semirings, and properties related with them …

Dsm Super Vector Space Of Refined Labels, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce the notion of supermatrices of refined labels. Authors prove super row matrix of refined labels form a group under addition. However super row matrix of refined labels do not form a group under product; it only forms a semigroup under multiplication. In this book super column matrix of refined labels and m × n matrix of refined labels are introduced and studied. We mainly study this to introduce to super vector space of refined labels using matrices. We in this book introduce the notion of semifield of refined labels using which …

Problems With And Without … Problems!, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

This book is addressed to College honor students, researchers, and professors. It contains 136 original problems published by the author in various scientific journals around the world. The problems could be used to preparing for courses, exams, and Olympiads in mathematics. Many of these have a generalized form. For each problem we provide a detailed solution.

I was a professeur coopérant between 1982-1984, teaching mathematics in French language at Lycée Sidi EL Hassan Lyoussi in Sefrou, Province de Fès, Morocco. I used many of these problems for selecting and training, together with other Moroccan professors, in Rabat city, of the …

Dsm Vector Spaces Of Refined Labels, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The study of DSm linear algebra of refined labels have been done by Florentin Smarandache, Jean Dezert, and Xinde Li.

In this book the authors introduce the notion of DSm vector spaces of refined labels. The reader is requested to refer the paper as the basic concepts are taken from that paper [35]. This book has six chapters. The first one is introductory in nature just giving only the needed concepts to make this book a self contained one. Chapter two introduces the notion of refined plane of labels, the three dimensional space of refined labels DSm vector spaces. Clearly …

G-Neutrosophic Space, Mumtaz Ali, Florentin Smarandache, Munazza Naz, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

The Concept of a G-space came into being as a consequence of Group action on an ordinary set. Over the history of Mathematics and Algebra, theory of group action has emerged and proven to be an applicable and effective framework for the study of different kinds of structures to make connection among them.

On The Betti Number Of Differential Modules, Justin Devries

Department of Mathematics: Dissertations, Theses, and Student Research

Let R = k[x₁, ..., x_n] with k a field. A multi-graded differential R-module is a multi-graded R-module D with an endomorphism d such that d² = 0. This dissertation establishes a lower bound on the rank of such a differential module when the underlying R-module is free. We define the Betti number of a differential module and use it to show that when the homology ker d/im d of D is non-zero and finite dimensional over k then there is an inequality rank_R D ≥ 2ⁿ. This …

A Class Of Gaussian Processes With Fractional Spectral Measures, Daniel Alpay, Palle Jorgensen, David Levanony

Mathematics, Physics, and Computer Science Faculty Articles and Research

We study a family of stationary increment Gaussian processes, indexed by time. These processes are determined by certain measures σ (generalized spectral measures), and our focus here is on the case when the measure σ is a singular measure. We characterize the processes arising from when σ is in one of the classes of affine self-similar measures. Our analysis makes use of Kondratiev-white noise spaces. With the use of a priori estimates and the Wick calculus, we extend and sharpen (see Theorem 7.1) earlier computations of Ito stochastic integration developed for the special case of stationary increment processes having absolutely …

Relation Liftings On Preorders And Posets, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jiří Velebil

Engineering Faculty Articles and Research

The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss’s coalgebraic over posets.

Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We introduce formal languages over infinite alphabets where words may contain binders.We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.

Generic Trace Logics, Christian Kissig, Alexander Kurz

Engineering Faculty Articles and Research

We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.

Information-Preserving Structures: A General Framework For Quantum Zero-Error Information, Robin Blume-Kohout, Hui Khoon Ng, David Poulin, Lorenza Viola

Dartmouth Scholarship

Quantum systems carry information. Quantum theory supports at least two distinct kinds of information (classical and quantum), and a variety of different ways to encode and preserve information in physical systems. A system’s ability to carry information is constrained and defined by the noise in its dynamics. This paper introduces an operational framework, using information-preserving structures, to classify all the kinds of information that can be perfectly (i.e., with zero error) preserved by quantum dynamics. We prove that every perfectly preserved code has the same structure as a matrix algebra, and that preserved information can always be corrected. We …

The Cohomology Of Modules Over A Complete Intersection Ring, Jesse Burke

Department of Mathematics: Dissertations, Theses, and Student Research

We investigate the cohomology of modules over commutative complete intersection rings. The first main result is that if M is an arbitrary module over a complete intersection ring R, and if one even self-extension module of M vanishes then M has finite projective dimension. The second main result gives a new proof of the fact that the support variety of a Cohen-Macaulay module whose completion is indecomposable is projectively connected.

Optimal Correction Of Infeasible System In Linear Equality Via Genetic Algorithm, S. Ketabchi, H. Moosaei, S. Fallahi

Applications and Applied Mathematics: An International Journal (AAM)

This work is focused on the optimal correction of infeasible system of linear equality. In this paper, for correcting this system, we will make the changes just in the coefficient matrix by using l 􀬶 norm and show that solving this problem is equivalent to solving a fractional quadratic problem. To solve this problem, we use the genetic algorithm. Some examples are provided to illustrate the efficiency and validity of the proposed method.

Manipulatives In The Secondary Mathematics Classroom Using A Traditional Algebra Text, Christina Mutnansky

Mathematics Graduate Theses

This paper is a review of the research available on manipulative use in the mathematics classroom. Mathematical manipulatives, objects that are used to aid a student in learning a mathematical concept, provide a way for students to learn abstract mathematical concepts in a non lecture situation through hands-on learning and discovery. It specifically focuses on the use of manipulatives in the secondary Algebra classroom and how they can be integrated into a traditional curriculum. It discusses the different types of manipulatives that are available as well as reasons why instructors do not use manipulatives. Guidelines are given for their proper …

Vanishing Of Ext And Tor Over Complete Intersections, Olgur Celikbas

Department of Mathematics: Dissertations, Theses, and Student Research

Let (R,m) be a local complete intersection, that is, a local ring whose m-adic completion is the quotient of a complete regular local ring by a regular sequence. Let M and N be finitely generated R-modules. This dissertation concerns the vanishing of Tor(M, N) and Ext(M, N). In this context, M satisfies Serre's condition (S_{n}) if and only if M is an nth syzygy. The complexity of M is the least nonnegative integer r such that the nth Betti number of M is bounded by a polynomial of degree r-1 for all sufficiently large n. We use this notion of …

Analyzing Fractals, Kara Mesznik

Renée Crown University Honors Thesis Projects - All

For my capstone project, I analyzed fractals. A fractal is a picture that is composed of smaller images of the larger picture. Each smaller picture is self- similar, meaning that each of these smaller pictures is actually the larger image just contracted in size through the use of the Contraction Mapping Theorem and shifted using linear and affine transformations.

Fractals live in something called a metric space. A metric space, denoted (X, d), is a space along with a distance formula used to measure the distance between elements in the space. When producing fractals …

Assessing The Impact Of A Computer-Based College Algebra Course, Ningjun Ye

Dissertations

USM piloted the Math Zone in Spring 2007, a computer-based program in teaching MAT 101and MAT 099 in order to improve student performance. This research determined the effect of the re-design of MAT 101 on student achievements in comparison to a traditional approach to the same course. Meanwhile, the study investigated possible effects of the Math Zone program on students’ attitude toward studying mathematics.

This study shows that there was no statistically significant difference on MAT101 final exam scores between the Math Zone students and the Classroom students in Fall 2007, Spring 2008 and Fall 2008. At the same time, …

The Life Of Evariste Galois And His Theory Of Field Extension, Felicia N. Adams

Senior Honors Theses

Evariste Galois made many important mathematical discoveries in his short lifetime, yet perhaps the most important are his studies in the realm of field extensions. Through his discoveries in field extensions, Galois determined the solvability of polynomials. Namely, given a polynomial P with coefficients is in the field F and such that the equation P(x) = 0 has no solution, one can extend F into a field L with α in L, such that P(α) = 0. Whereas Galois Theory has numerous practical applications, this thesis will conclude with the examination and proof of the fact that it is impossible …