Mathematics Commons^™

Algebraic Problems And Exercises For High School, Florentin Smarandache, Ion Goian, Raisa Grigor, Vasila Marin

Branch Mathematics and Statistics Faculty and Staff Publications

In this book, you will find algebraic exercises and problems, grouped by chapters, intended for higher grades in high schools or middle schools of general education. Its purpose is to facilitate training in mathematics for students in all high school categories, but can be equally helpful in a standalone work. The book can also be used as an extracurricular source, as the reader shall find enclosed important theorems and formulas, standard definitions and notions that are not always included in school textbooks.

255 Compiled And Solved Problems In Geometry And Trigonometry, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Positive Fragments Of Coalgebraic Logics, Adriana Balan, Alexander Kurz, Jirí Velebil

Engineering Faculty Articles and Research

Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide a coalgebraic analysis of this theorem, which not only gives a conceptual proof based on duality theory, but also generalizes Dunn's result from Kripke frames to coalgebras for weak-pullback preserving functors. To facilitate this analysis we prove a number of category theoretic results on …

Extensions Of Functors From Set To V-Cat, Adriana Balan, Alexander Kurz, Jirí Velebil

Engineering Faculty Articles and Research

We show that for a commutative quantale V every functor Set --> V-cat has an enriched left- Kan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V-cat. Moreover, one can build functors on V-cat by equipping Set-functors with a metric.

An Extension Of Herglotz's Theorem To The Quaternions, Daniel Alpay, Fabrizio Colombo, David P. Kimsey, Irene Sabadini, David P. Kimsey

Mathematics, Physics, and Computer Science Faculty Articles and Research

A classical theorem of Herglotz states that a function n↦r(n) from Z into Cs×s is positive definite if and only there exists a Cs×s-valued positive measure dμ on [0,2π] such that r(n)=∫2π0eintdμ(t)for n∈Z. We prove a quaternionic analogue of this result when the function is allowed to have a number of negative squares. A key tool in the argument is the theory of slice hyperholomorphic functions, and the representation of such functions which have a positive real part in the unit ball of the quaternions. We study in great detail the case of positive definite functions.

Boundary Interpolation For Slice Hyperholomorphic Schur Functions, Khaled Abu-Ghanem, Daniel Alpay, Fabrizio Colombo, David P. Kimsey, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

A boundary Nevanlinna-Pick interpolation problem is posed and solved in the quaternionic setting. Given nonnegative real numbers κ1,…,κN, quaternions p1,…,pN all of modulus 1, so that the 2-spheres determined by each point do not intersect and pu≠1 for u=1,…,N, and quaternions s1,…,sN, we wish to find a slice hyperholomorphic Schur function s so that
limr→1r∈(0,1)s(rpu)=suforu=1,…,N,
and
limr→1r∈(0,1)1−s(rpu)su¯¯¯¯¯1−r≤κu,foru=1,…,N.
Our arguments relies on the theory of slice hyperholomorphic functions and reproducing kernel Hilbert spaces.

Inner Product Spaces And Krein Spaces In The Quaternionic Setting, Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we provide a study of quaternionic inner product spaces. This includes ortho-complemented subspaces, fundamental decompositions as well as a number of results of topological nature. Our main purpose is to show that a closed uniformly positive subspace in a quaternionic Krein space is ortho-complemented, and this leads to our choice of the results presented in the paper.

Realizations Of Infinite Products, Ruelle Operators And Wavelet Filters, Daniel Alpay, Palle Jorgensen, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using the system theory notion of state-space realization of matrix-valued rational functions, we describe the Ruelle operator associated with wavelet filters. The resulting realization of infinite products of rational functions have the following four features: 1) It is defined in an infinite-dimensional complex domain. 2) Starting with a realization of a single rational matrix-function M, we show that a resulting infinite product realization obtained from M takes the form of an (infinitedimensional) Toeplitz operator with the symbol that is a reflection of the initial realization for M. 3) Starting with a subclass of rational matrix functions, including scalar-valued ones corresponding …

On Algebras Which Are Inductive Limits Of Banach Spaces, Daniel Alpay, Guy Salomon

Mathematics, Physics, and Computer Science Faculty Articles and Research

We introduce algebras which are inductive limits of Banach spaces and carry inequalities which are counterparts of the inequality for the norm in a Banach algebra. We then define an associated Wiener algebra, and prove the corresponding version of the well-known Wiener theorem. Finally, we consider factorization theory in these algebra, and in particular, in the associated Wiener algebra.

Wiener-Chaos Approach To Optimal Prediction, Daniel Alpay, Alon Kipnis

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this work we combine Wiener chaos expansion approach to study the dynamics of a stochastic system with the classical problem of the prediction of a Gaussian process based on part of its sample path. This is done by considering special bases for the Gaussian space G generated by the process, which allows us to obtain an orthogonal basis for the Fock space of G such that each basis element is either measurable or independent with respect to the given samples. This allows us to easily derive the chaos expansion of a random variable conditioned on part of the sample …

The Module Isomorphism Problem Reconsidered, Peter A. Brooksbank

Faculty Journal Articles

Algorithms to decide isomorphism of modules have been honed continually over the last 30 years, and their range of applicability has been extended to include modules over a wide range of rings. Highly efficient computer implementations of these algorithms form the bedrock of systems such as GAP and MAGMA, at least in regard to computations with groups and algebras. By contrast, the fundamental problem of testing for isomorphism between other types of algebraic structures -- such as groups, and almost any type of algebra -- seems today as intractable as ever. What explains the vastly different complexity status of the …

Cartan Subalgebras, Compact Roots And The Satake Diagram For Su(2, 2), Ian M. Anderson

Tutorials on... in 1 hour or less

In this worksheet we use the 15-dimensional real Lie algebra su(2, 2) to illustrate some important points regarding the general structure theory and classification of real semi-simple Lie algebras.

1. Recall that a real semi-simple Lie algebra g is called a compact Lie algebra if the Killing form is negative definite. The Lie algebra g is compact if and only if all the root vectors for any Cartan subalgebra are purely imaginary. However, if the root vectors are purely imaginary for some choice of Cartan subalgebra it is not necessarily true that the Lie algebra is compact.

2. A real …

Jordan Algebras And The Exceptional Lie Algebra F4, Ian M. Anderson

Tutorials on... in 1 hour or less

This worksheet analyzes the structure of the Jordan algebra J(3, O) and its split and exceptional versions. The algebra of derivations is related to the exceptional Lie algebra f4.

Long Wavelength Analysis Of A Model For The Geographic Spread Of A Disease, Layachi Hadji

Applications and Applied Mathematics: An International Journal (AAM)

We investigate the temporal and spatial evolution of the spread of an infectious disease by performing a long-wavelength analysis of a classical model for the geographic spread of a rabies epidemic in a population of foxes subject to idealized boundary conditions. We consider twodimensional and three-dimensional landscapes consisting of an infinite horizontal strip bounded by two walls a finite distance apart and a horizontal region bounded above and below by horizontal walls, respectively. A nonlinear partial differential evolution Equation for the leading order of infectives is derived. The Equation captures the space and time variations of the spread of the …

Learning Style Relationship To Motivation And Success In The Flipped Vs Non-Flipped Classroom, Shannon Seaver

Mathematics Graduate Theses

This research paper will provide a brief overview of what a “flipped classroom” is and the variations of it. It will address whether a flipped classroom is a possible way of addressing students of all learning styles and if all learning styles are motivated in a flipped classroom. The VARK learning style inventory will be given to all students in four College Algebra Prep classes. Two classes will be the flipped “inverted” style of classroom and the other two will be the traditional (control) style of classroom. All students in both formats will also be given a periodic survey to …

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

Mathematics Faculty Publications

Since the 1970’s, great interest has been taken in the study of pure O-sequences, which are in bijective correspondence to the Hilbert functions of Artinian level monomial algebras. Much progress has been made in classifying these by their shape. It has been shown that all monomial complete intersections, Artinian algebras in two variables and Artinian level monomial algebras with type two in both three and four variables have unimodal Hilbert functions. This paper proves that Artinian level monomial algebras of type three in three variables have unimodal Hilbert functions. We will also discuss the licciness of these algebras.

Continuous Dependence Of Solutions Of Equations On Parameters, Sean A. Broughton

Mathematical Sciences Technical Reports (MSTR)

It is shown under very general conditions that the solutions of equations depend continuously on the coefficients or parameters of the equations. The standard examples are solutions of monic polynomial equations and the eigenvalues of a matrix. However, the proof methods apply to any finite map T : Cⁿ -> Cⁿ.

Review: Crystal Bases Of Q-Deformed Kac Modules Over The Quantum Superalgebras Uq(Gl(Mln)), Gizem Karaali

Pomona Faculty Publications and Research

No abstract provided.

On Sign-Solvable Linear Systems And Their Applications In Economics, Eric Hanson

Journal of Undergraduate Research at Minnesota State University, Mankato

Sign-solvable linear systems are part of a branch of mathematics called qualitative matrix theory. Qualitative matrix theory is a development of matrix theory based on the sign (¡; 0; +) of the entries of a matrix. Sign-solvable linear systems are useful in analyzing situations in which quantitative data is unknown or had to measure, but qualitative information is known. These situations arise frequently in a variety of disciplines outside of mathematics, including economics and biology. The applications of sign-solvable linear systems in economics are documented and the development of new examples is formalized mathematically. Additionally, recent mathematical developments about sign-solvable …

Calculation Of The Killing Form Of A Simple Lie Group, Sean A. Broughton

Mathematical Sciences Technical Reports (MSTR)

The Killing form of a simple Lie Algebra is determined from invariants of the extended root diagrams of the Lie algebra.

Algebraic Properties Of Ext-Modules Over Complete Intersections, Jason Hardin

Department of Mathematics: Dissertations, Theses, and Student Research

We investigate two algebraic properties of Ext-modules over a complete intersection R of codimension c. Given an R-module M, Ext(M,k) can be viewed as a graded module over a polynomial ring in c variables with an action given by the Eisenbud operators. We provide an upper bound on the degrees of the generators of this graded module in terms of the regularities of two associated coherent sheaves. In the codimension two case, our bound recovers a bound of Avramov and Buchweitz in terms of the Betti numbers of M. We also provide a description of the differential graded (DG) R-module …

Implementation Of Statway For Non-Stem Majors At Two-Year Community Colleges With Focus On The Teacher’S Experience, Joan Carter

Mathematics Graduate Theses

"A Research Paper Submitted to the Faculty of the DEPARTMENT OF MATHEMATICS & COMPUTER SCIENCES In Partial Fulfillment of the Requirements For the Degree of MASTER OF SCIENCE IN MATHEMATICS"

Isotopic Form Of M-Rings, M. R. Molaei, A. Keyhaninejad

Applications and Applied Mathematics: An International Journal (AAM)

The aim of this work is to generalize the notion of isofields by presenting the notion of Misorings. A method for constructing new M-isorings is presented. It is proved that an M-isoring for which its isounit is the fixed point of its identity function is an M-ring. Two methods for constructing new M-rings are presented.

Monoid Rings And Strongly Two-Generated Ideals, Brittney M. Salt

Electronic Theses, Projects, and Dissertations

This paper determines whether monoid rings with the two-generator property have the strong two-generator property. Dedekind domains have both the two-generator and strong two-generator properties. How common is this? Two cases are considered here: the zero-dimensional case and the one-dimensional case for monoid rings. Each case is looked at to determine if monoid rings that are not PIRs but are two-generated have the strong two-generator property. Full results are given in the zero-dimensional case, however only partial results have been found for the one-dimensional case.

Homormophic Images And Their Isomorphism Types, Diana Herrera

Electronic Theses, Projects, and Dissertations

In this thesis we have presented original homomorphic images of permutations and monomial progenitors. In some cases we have used the double coset enumeration tech- nique to construct the images and for all of the homomorphic images that we have discovered, the isomorphism type of each group is given. The homomorphic images discovered include Linear groups, Alternating groups, and two sporadic simple groups J₁ and J₂X2 where J₁ is the smallest Janko group and J₂ is the second Janko sporadic group.

The Tame-Wild Principle For Discriminant Relations For Number Fields, John W. Jones, David P. Roberts

Mathematics Publications

Consider tuples ( K₁ , … , K_r ) of separable algebras over a common local or global number field F₁, with the K_i related to each other by specified resolvent constructions. Under the assumption that all ramification is tame, simple group-theoretic calculations give best possible divisibility relations among the discriminants of K_i ∕ F . We show that for many resolvent constructions, these divisibility relations continue to hold even in the presence of wild ramification.

Calculator Usage In Secondary Level Classrooms: The Ongoing Debate, Nicole Plummer

Honors College Theses

With technology becoming more prevalent every day, it is imperative that students gain enough experience with different technological tools in order to be successful in the “real-world”. This thesis will discuss the debate and overall support for an increased usage of calculators as tools in the secondary level classroom. When the idea of calculators in the classroom first came to life, many educators were very apprehensive and quite hesitant of this change. Unfortunately, more than 40 years later, there is still hesitation for their usage; and rightfully so. While there are plenty of advantages of calculator use in the classroom, …

Polynomial Factoring Algorithms And Their Computational Complexity, Nicholas Cavanna

Honors Scholar Theses

Finite fields, and the polynomial rings over them, have many neat algebraic properties and identities that are very convenient to work with. In this paper we will start by exploring said properties with the goal in mind of being able to use said properties to efficiently irreducibly factorize polynomials over these fields, an important action in the fields of discrete mathematics and computer science. Necessarily, we must also introduce the concept of an algorithm’s speed as well as particularly speeds of basic modular and integral arithmetic opera- tions. Outlining these concepts will have laid the groundwork for us to introduce …

Permutation Groups And Puzzle Tile Configurations Of Instant Insanity Ii, Amanda N. Justus

Electronic Theses and Dissertations

The manufacturer claims that there is only one solution to the puzzle Instant Insanity II. However, a recent paper shows that there are two solutions. Our goal is to find ways in which we only have one solution. We examine the permutation groups of the puzzle and use modern algebra to attempt to fix the puzzle. First, we find the permutation group for the case when there is only one empty slot at the top. We then examine the scenario when we add an extra column or an extra row to make the game a 4 × 5 puzzle or …

Review: The Relationships Among Multiplicities Of A J-Self-Adjoint Differential Operator's Eigenvalue, Stephan Ramon Garcia

Pomona Faculty Publications and Research

No abstract provided.