Mathematics Commons^™

N-Linear Algebra Of Type Ii, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

This book is a continuation of the book n-linear algebra of type I and its applications. Most of the properties that could not be derived or defined for n-linear algebra of type I is made possible in this new structure: n-linear algebra of type II which is introduced in this book. In case of n-linear algebra of type II, we are in a position to define linear functionals which is one of the marked difference between the n-vector spaces of type I and II. However all the applications mentioned in n-linear algebras of type I can be appropriately extended to …

Special Classes Of Set Codes And Their Applications, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduce the notion of set codes, set bicodes and set n-codes. These are the most generalized notions of semigroup n-codes and group n-codes. Several types of set ncodes are defined. Several examples are given to enable the reader to understand the concept. These new classes of codes will find applications in cryptography, computer networking (where fragmenting of codes is to be carried out) and data storage (where confidentiality is to be maintained). We also describe the error detection and error correction of these codes. The authors feel that these codes would be appropriate to the …

Algebraic And Combinatorial Properties Of Certain Toric Ideals In Theory And Applications, Sonja Petrovic

University of Kentucky Doctoral Dissertations

This work focuses on commutative algebra, its combinatorial and computational aspects, and its interactions with statistics. The main objects of interest are projective varieties in Pⁿ, algebraic properties of their coordinate rings, and the combinatorial invariants, such as Hilbert series and Gröbner fans, of their defining ideals. Specifically, the ideals in this work are all toric ideals, and they come in three flavors: they are defining ideals of a family of classical varieties called rational normal scrolls, cut ideals that can be associated to a graph, and phylogenetic ideals arising in a new and increasingly popular area of …

How Geometer’S Sketchpad Improves Student Learning, William George Awe

Mathematics Graduate Theses

This study investigated whether dynamic software improves learning and reviews different types of dynamic software. The study then narrows its focus to one type of dynamic software, Geometer’s Sketchpad and studies how Geometer’s Sketchpad, in itself, improves student learning. The researcher identified what dynamic software is, the importance of dynamic software and different types of dynamic software. The researcher also identifies how dynamic software is utilized in schools and researches how to improve the use of dynamic software in schools. Dynamic software, and Geometer’s Sketchpad, In particular, was found to improve learning across grade levels and with different levels of …

The Barycenter Of The Numerical Range Of A Matrix, Sean A. Broughton, Roger G. Lautzenheiser, Thomas Werne

Mathematical Sciences Technical Reports (MSTR)

The numerical range W(A) of an nxn matrix A is the totality of the scalar products <Ax,x> as x varies over all unit vectors in Cⁿ The barycenter (center of mass) of the numerical range is defined geometrically as the center of mass of W(A) considered as a planar lamina with variable density and also as a limit of sample averages (<Ax₁,x₁>+...+<Ax_N,x_N>)/N. Under a wide range the sampling schemes it is shown that the barycenter is the average of the spectrum …

Isomorphisms Of Elliptic Curves Over Extensions Of Finite Fields, Mathew Niemerg

Mathematical Sciences Technical Reports (MSTR)

Our main interest lies in exploring isomorphisms of elliptic curves. In particular, we focus on two curves defined over a base field and look at which extension fields the curves are isomorphic over. Elliptic curves have a fascinating structure behind them. This structure allows for much to be explored and studied.

Calculus Students’ Difficulties In Using Variables As Changing Quantities, Susan S. Gray, Barbara J. Loud, Carole Sokolowski

Mathematics Faculty Publications

The study of calculus requires an ability to understand algebraic variables as generalized numbers and as functionally-related quantities. These more advanced uses of variables are indicative of algebraic thinking as opposed to arithmetic thinking. This study reports on entering Calculus I students’ responses to a selection of test questions that required the use of variables in these advanced ways. On average, students’ success rates on these questions were less than 50%. An analysis of errors revealed students’ tendencies toward arithmetic thinking when they attempted to answer questions that required an ability to think of variables as changing quantities, a characteristic …

An Observation About Frostman Shifts, William T. Ross, Alec L. Matheson

Department of Math & Statistics Faculty Publications

A classical theorem of Frostman says that if B is a Blaschke product (or any inner function), then its Frostman shifts B_w = (B − w)(1 – w­­¯B)⁻¹ are Blaschke products for all |w| < 1 except possibly for w in a set of logarithmic capacity zero. If B is a Frostman Blaschke product, equivalently an inner multiplier for the space of Cauchy transforms of measures on the unit circle, we show that for all |w| < 1, B_w is indeed another Frostman Blaschke product.

On Groups Of Homological Dimension One, Jonathan Cornick

Publications and Research

It has been conjectured that the groups of homological dimension one are precisely the nontrivial locally free groups. Some algebraic, geometric and analytic properties of any potential counter example to the conjecture are discussed.

Pi-Calculus In Logical Form, Marcello M. Bonsangue, Alexander Kurz

Engineering Faculty Articles and Research

Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is done by defining a logical counterpart of categorical constructions including dynamic name allocation and name exponentiation, and showing that they are dual to standard constructs in functor categories. We show that initial algebras of functors defined in terms of these constructs give rise to a logic that is sound, complete, and characterises bisimilarity. The approach is modular, and we apply it to derive a logical formulation of pi-calculus. The resulting logic is a …

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

Mathematics, Statistics and Data Science Faculty Works

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.

Torsion-Free Groups And Modules With The Involution Property, Brendan Goldsmith, C. Meehan, S.L. Wallutis

Articles

An Abelian group or module is said to have the involution property if every endomorphism is the sum of two automorphisms, one of which is an involution. We investigate this property for completely decomposable torsion-free Abelian groups and modules over the ring of -adic integers.

Carathéodory Functions In The Banach Space Setting, Daniel Alpay, Olga Timoshenko, Dan Volok

Mathematics, Physics, and Computer Science Faculty Articles and Research

We prove representation theorems for Carathéodory functions in the setting of Banach spaces.

Special Fuzzy Matrices For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

This book is a continuation of the book, "Elementary fuzzy matrix and fuzzy models for socio-scientists" by the same authors. This book is a little advanced because we introduce a multi-expert fuzzy and neutrosophic models. It mainly tries to help social scientists to analyze any problem in which they need multi-expert systems with multi-models. To cater to this need, we have introduced new classes of fuzzy and neutrosophic special matrices. The first chapter is essentially spent on introducing the new notion of different types of special fuzzy and neutrosophic matrices, and the simple operations on them which are needed in …

A Unifying Field In Logics: Neutrosophic Logic. Neutrosophy, Neutrosophic Set, Neutrosophic Probability And Statistics - 6th Ed., Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

It was a surprise for me when in 1995 I received a manuscript from the mathematician, experimental writer and innovative painter Florentin Smarandache, especially because the treated subject was of philosophy - revealing paradoxes - and logics. He had generalized the fuzzy logic, and introduced two new concepts: a) “neutrosophy” – study of neutralities as an extension of dialectics; b) and its derivative “neutrosophic”, such as “neutrosophic logic”, “neutrosophic set”, “neutrosophic probability”, and “neutrosophic statistics” and thus opening new ways of research in four fields: philosophy, logics, set theory, and probability/statistics. It was known to me his setting up in …

Auxiliary Information And A Priori Values In Construction Of Improved Estimators, Florentin Smarandache, Rajesh Singh, Pankaj Chauhan, Nirmala Sawan

Branch Mathematics and Statistics Faculty and Staff Publications

This volume is a collection of six papers on the use of auxiliary information and a priori values in construction of improved estimators. The work included here will be of immense application for researchers and students who employ auxiliary information in any form. Below we discuss each paper: 1. Ratio estimators in simple random sampling using information on auxiliary attribute. Prior knowledge about population mean along with coefficient of variation of the population of an auxiliary variable is known to be very useful particularly when the ratio, product and regression estimators are used for estimation of population mean of a …

On T-Pure And Almost Pure Exact Sequences Of Lca Groups, Peter Loth

Mathematics Faculty Publications

A proper short exact sequence in the category of locally compact abelian groups is said to be t-pure if φ(A) is a topologically pure subgroup of B, that is, if for all positive integers n. We establish conditions under which t-pure exact sequences split and determine those locally compact abelian groups K ⊕ D (where K is compactly generated and D is discrete) which are t-pure injective or t-pure projective. Calling the extension (*) almost pure if for all positive integers n, we obtain a complete description of the almost pure injectives and almost pure projectives in the category of …

A Classification Of Certain Maximal Subgroups Of Symmetric Groups, Benjamin Newton, Bret Benesh

Mathematics Faculty Publications

Problem 12.82 of the Kourovka Notebook asks for all ordered pairs (n,m) such that the symmetric group Sn embeds in Sm as a maximal subgroup. One family of such pairs is obtained when m=n+1. Kalužnin and Klin [L.A. Kalužnin, M.H. Klin, Certain maximal subgroups of symmetric and alternating groups, Math. Sb. 87 (1972) 91–121] and Halberstadt [E. Halberstadt, On certain maximal subgroups of symmetric or alternating groups, Math. Z. 151 (1976) 117–125] provided an additional infinite family. This paper answers the Kourovka question by producing a third infinite family of ordered …

François Viète, Between Analysis And Cryptanalysis, Marco Panza

MPP Published Research

François Viète is considered the father both of modern algebra and of modern cryptanalysis. The paper outlines Viète's major contributions in these two mathematical fields and argues that, despite an obvious parallel between them, there is an essential difference. Viète's 'new algebra' relies on his reform of the classical method of analysis and synthesis, in particular on a new conception of analysis and the introduction of a new formalism. The procedures he suggests to decrypt coded messages are particular forms of analysis based on the use of formal methods. However, Viète's algebraic analysis is not an analysis in the same …

Matrices And The Game Of Chutes And Ladders, Katherine Jedlicka

Honors Capstones

Capstone submitted as a graduation requirement for the BSU Honors Program.

Super Solutions Of The Dynamical Yang-Baxter Equation, Gizem Karaali

Pomona Faculty Publications and Research

Solutions of the classical dynamical Yang-Baxter equation on a Lie superalgebra are called super dynamical r−matrices. A super dynamical r−matrix r satisfies the zero weight condition if

[h ⊗ 1 + 1 ⊗ h, r(λ)] = 0 for all h ∈ ɧ, λ ∈ ɧ ∗ .

In this paper we classify super dynamical r−matrices with zero weight.

Coalgebras And Their Logics, Alexander Kurz

Engineering Faculty Articles and Research

"Transition systems pervade much of computer science. This article outlines the beginnings of a general theory of specification languages for transition systems. More specifically, transition systems are generalised to coalgebras. Specification languages together with their proof systems, in the following called (logical or modal) calculi, are presented by the associated classes of algebras (e.g., classical propositional logic by Boolean algebras). Stone duality will be used to relate the logics and their coalgebraic semantics."

The Classical Dirichlet Space, William T. Ross

Department of Math & Statistics Faculty Publications

In this survey paper, we will present a selection of results concerning the class of analytic functions f on the open unit disk D := {z ϵ C : │z│ < 1} which have finite Dirichlet integral.

Injective Modules And Prime Ideals Of Universal Enveloping Algebras, Jorg Feldvoss

University Faculty and Staff Publications

In this paper we study injective modules over universal enveloping algebras of finite-dimensional Lie algebras over fields of arbitrary characteristic. Most of our results are dealing with fields of prime characteristic but we also elaborate on some of their analogues for solvable Lie algebras over fields of characteristic zero. It turns out that analogous results in both cases are often quite similar and resemble those familiar from commutative ring theory.

Matrix-J-Unitary Non-Commutative Rational Formal Power Series, Daniel Alpay, D. S. Kalyuzhnyi-Verbovetzkii

Mathematics, Physics, and Computer Science Faculty Articles and Research

Formal power series in N non-commuting indeterminates can be considered as a counterpart of functions of one variable holomorphic at 0, and some of their properties are described in terms of coefficients. However, really fruitful analysis begins when one considers for them evaluations on N-tuples of n × n matrices (with n = 1, 2, . . .) or operators on an infinite-dimensional separable Hilbert space. Moreover, such evaluations appear in control, optimization and stabilization problems of modern system engineering.

In this paper, a theory of realization and minimal factorization of rational matrix-valued functions which are J-unitary on the imaginary …

Pure Extensions Of Locally Compact Abelian Groups, Peter Loth

Mathematics Faculty Publications

In this paper, we study the group Pext(C,A) for locally compact abelian (LCA) groups A and C. Sufficient conditions are established for Pext(C,A) to coincide with the first Ulm subgroup of Ext(C,A). Some structural information on pure injectives in the category of LCA groups is obtained. Letting K denote the class of LCA groups which can be written as the topological direct sum of a compactly generated group and a discrete group, we determine the groups G in K which are pure injective in the category of LCA groups. Finally we describe those groups G in K such that every …

Writing Projective Representations Over Subfields, Stephen P. Glasby, C. R. Leedham-Green, E. A. O'Brien

All Faculty Scholarship for the College of the Sciences

Let G=〈X〉be an absolutely irreducible subgroup of GL(d, K), and let F be a proper subfield of the finite field K. We present a practical algorithm to decide constructively whether or not G is conjugate to a subgroup of GL(d, F).K×, where K× denotes the centre of GL(d, K). If the derived group of G also acts absolutely irreducibly, then the algorithm is Las Vegas and costs O(|X|d³+d²log|F|) arithmetic operations in K. This work forms part of a recognition project based on Aschbacher’s classification of maximal subgroups of GL(d, K).

Neutrosophic Rings, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we define the new notion of neutrosophic rings. The motivation for this study is two-fold. Firstly, the classes of neutrosophic rings defined in this book are generalization of the two well-known classes of rings: group rings and semigroup rings. The study of these generalized neutrosophic rings will give more results for researchers interested in group rings and semigroup rings. Secondly, the notion of neutrosophic polynomial rings will cause a paradigm shift in the general polynomial rings. This study has to make several changes in case of neutrosophic polynomial rings. This would give solutions to polynomial equations for …

Fuzzy Interval Matrices, Neutrosophic Interval Matrices And Their Applications, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The new concept of fuzzy interval matrices has been introduced in this book for the first time. The authors have not only introduced the notion of fuzzy interval matrices, interval neutrosophic matrices and fuzzy neutrosophic interval matrices but have also demonstrated some of its applications when the data under study is an unsupervised one and when several experts analyze the problem. Further, the authors have introduced in this book multiexpert models using these three new types of interval matrices. The new multi expert models dealt in this book are FCIMs, FRIMs, FCInMs, FRInMs, IBAMs, IBBAMs, nIBAMs, FAIMs, FAnIMS, etc. Illustrative …

Some Neutrosophic Algebraic Structures And Neutrosophic N-Algebraic Structures, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book, for the first time we introduce the notion of neutrosophic algebraic structures for groups, loops, semigroups and groupoids and also their neutrosophic N-algebraic structures. One is fully aware of the fact that many classical theorems like Lagrange, Sylow and Cauchy have been studied only in the context of finite groups. Here we try to shift the paradigm by studying and introducing these theorems to neutrosophic semigroups, neutrosophic groupoids, and neutrosophic loops. We have intentionally not given several theorems for semigroups and groupoid but have given several results with proof mainly in the case of neutrosophic loops, biloops …