Algebra Commons^™

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 …

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.

Closure And Homological Properties Of (Auto)Stackable Groups, Ashley Johnson

Department of Mathematics: Dissertations, Theses, and Student Research

Let G be a finitely presented group with Cayley graph Γ. Roughly, G is a stackable group if there is a maximal tree T in Γ and a function φ, defined on the edges in Γ, for which there is a natural ‘flow’ on the edges in Γ\T towards the identity. Additionally, if graph (φ), which consists of pairs (e; φ(e)) for e an edge in Γ, forms a regular language, then G is autostackable. In 2011, Brittenham and Hermiller introduced stackable groups in [4], in part, as a means …

Embedding And Nonembedding Results For R. Thompson's Group V And Related Groups, Nathan Corwin

Department of Mathematics: Dissertations, Theses, and Student Research

We study Richard Thompson's group V, and some generalizations of this group. V was one of the first two examples of a finitely presented, infinite, simple group. Since being discovered in 1965, V has appeared in a wide range of mathematical subjects. Despite many years of study, much of the structure of V remains unclear. Part of the difficulty is that the standard presentation for V is complicated, hence most algebraic techniques have yet to prove fruitful.

This thesis obtains some further understanding of the structure of V by showing the nonexistence of the wreath product Z wr Z^2 as …

On Contemplation In Mathematics, Frank Lucas Wolcott

Journal of Humanistic Mathematics

In a section about research, we make the case that intentional, structured reflection on the mathematical research process, by mathematical researchers themselves, would result in better mathematicians doing better mathematics. As supporting evidence, we describe the Flavors and Seasons project. In a section about teaching, we describe the contemplative education movement and share personal experiences using meditation in the math classroom. We conclude with an explicit proposal for elucidating the experiential context of mathematics, in both research and teaching environments.

Polynomial Knot And Link Invariants From The Virtual Biquandle, Alissa S. Crans, Allison Henrich, Sam Nelson

Mathematics, Statistics and Data Science Faculty Works

The Alexander biquandle of a virtual knot or link is a module over a 2-variable Laurent polynomial ring which is an invariant of virtual knots and links. The elementary ideals of this module are then invariants of virtual isotopy which determine both the generalized Alexander polynomial (also known as the Sawollek polynomial) for virtual knots and the classical Alexander polynomial for classical knots. For a fixed monomial ordering <, the Gr\"obner bases for these ideals are computable, comparable invariants which fully determine the elementary ideals and which generalize and unify the classical and generalized Alexander polynomials. We provide examples to illustrate the usefulness of these invariants and propose questions for future work.

How To Create A Lie Algebra, Ian M. Anderson

How to... in 10 minutes or less

We show how to create a Lie algebra in Maple using three of the most common approaches: matrices, vector fields and structure equations. PDF and Maple worksheets can be downloaded from the links below.

Session D-3: Discrete Mathematics: A Great Curriculum Connector, Donald Porzio

Professional Learning Day

Many topics that fall under the umbrella of Discrete Mathematics cut across the traditional high school curriculum areas of algebra, geometry, and pre-calculus. Come try some classroom-ready hands-on Discrete Mathematics activities that illustrate the true interconnectedness of mathematics.

Quasi Set Topological Vector Subspaces, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduce four types of topological vector subspaces. All topological vector subspaces are defined depending on a set. We define a quasi set topological vector subspace of a vector space depending on the subset S contained in the field F over which the vector space V is defined. These quasi set topological vector subspaces defined over a subset can be of finite or infinite dimension. An interesting feature about these spaces is that there can be several quasi set topological vector subspaces of a given vector space. This property helps one to construct several spaces with …

Centric Cardinal Sine Function, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

According to any standard dictionary, the word "cardinal" is synonymous with "principal", "essential", "fundamental". In centric mathematics (CM), or ordinary mathematics, cardinal is, on the one hand, a number equal to a number of finite aggregate, called the power of the aggregate, and on the other hand, known as the sine cardinal sinc(x) or cosine cardinal cosc(x), is a special function defined by the centric circular function (CCF). sin(x) and cos(x) are commonly used in undulatory physics (see Figure 1) and whose graph, the graph of cardinal sine, which is called as "Mexican hat" (sombrero) because of its shape.

Odd Or Even: Uncovering Parity Of Rank In A Family Of Rational Elliptic Curves, Anika Lindemann

Honors Theses

Puzzled by equations in multiple variables for centuries, mathematicians have made relatively few strides in solving these seemingly friendly, but unruly beasts. Currently, there is no systematic method for finding all rational values, that satisfy any equation with degree higher than a quadratic. This is bizarre. Solving these has preoccupied great minds since before the formal notion of an equation existed. Before any sort of mathematical formality, these questions were nested in plucky riddles and folded into folk tales. Because they are so simple to state, these equations are accessible to a very general audience. Yet an astounding amount of …

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 …

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 …

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 …

Continuous Trace C*-Algebras, Gauge Groups And Rationalization, John R. Klein, Claude Schochet, Samuel B. Smith

Mathematics Faculty Research Publications

Let ζ be an n-dimensional complex matrix bundle over a compact metric space X and let A_ζ denote the C*-algebra of sections of this bundle. We determine the rational homotopy type as an H-space of UA_ζ, the group of unitaries of A_ζ. The answer turns out to be independent of the bundle ζ and depends only upon n and the rational cohomology of X. We prove analogous results for the gauge group and the projective gauge group of a principal bundle over a compact metric space X.

Fan Cohomology And Its Application To Equivariant K-Theory Of Toric Varieties, Suanne Au

Department of Mathematics: Dissertations, Theses, and Student Research

Mu-Wan Huang, Mark Walker and I established an explicit formula for the equivariant K-groups of affine toric varieties. We also recovered a result due to Vezzosi and Vistoli, which expresses the equivariant K-groups of a smooth toric variety in terms of the K-groups of its maximal open affine toric subvarieties. This dissertation investigates the situation when the toric variety X is neither affine nor smooth. In many cases, we compute the Čech cohomology groups of the presheaf K_q^T on X endowed with a topology. Using these calculations and Walker's Localization Theorem for equivariant K-theory, we give explicit formulas …

Banach Algebras And Rational Homotopy Theory, Gregory Lupton, N. Christopher Phillips, Claude Schochet, Samuel B. Smith

Mathematics Faculty Research Publications

Let A be a unital commutative Banach algebra with maximal ideal space Max(A). We determine the rational H-type of GL_n(A), the group of invertible n x n matrices with coefficients in A, in terms of the rational cohomology of Max(A). We also address an old problem of J. L. Taylor. Let Lc_n(A) denote the space of "last columns" of GL_n(A). We construct a natural isomorphism

Ȟ^s(Max(A);ℚ) ≅ π_2n-1-s(Lc_n(A)) ⊗ ℚ …

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 …

Musical Actions Of Dihedral Groups, Alissa S. Crans, Thomas M. Fiore, Ramon Satyendra

Mathematics, Statistics and Data Science Faculty Works

The sequence of pitches which form a musical melody can be transposed or inverted. Since the 1970s, music theorists have modeled musical transposition and inversion in terms of an action of the dihedral group of order 24. More recently music theorists have found an intriguing second way that the dihedral group of order 24 acts on the set of major and minor chords. We illustrate both geometrically and algebraically how these two actions are {\it dual}. Both actions and their duality have been used to analyze works of music as diverse as Hindemith and the Beatles.

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.

Orthogonal Curvilinear Coordinates, Lindsey J. Bromenshenkel

Honors Capstones

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

From Loop Groups To 2-Groups, John C. Baez, Danny Stevenson, Alissa S. Crans, Urs Schreiber

Mathematics, Statistics and Data Science Faculty Works

We describe an interesting relation between Lie 2-algebras, the Kac-Moody central extensions of loop groups, and the group String(n). A Lie 2-algebra is a categorified version of a Lie algebra where the Jacobi identity holds up to a natural isomorphism called the "Jacobiator". Similarly, a Lie 2-group is a categorified version of a Lie group. If G is a simply-connected compact simple Lie group, there is a 1-parameter family of Lie 2-algebras g_k each having Lie(G) as its Lie algebra of objects, but with a Jacobiator built from the canonical 3-form on G. There appears to be no Lie 2-group …

Tilings Of Low-Genus Surfaces By Quadrilaterals, John Gregoire, Isabel Averil

Mathematical Sciences Technical Reports (MSTR)

In contribution to the classification of all tilings of low-genus surfaces, the kaleidoscopic and non-kaleidoscopic tilings by quadrilaterals are given up to genus 12. As part of their classification, the algebraic structure of the conformal tiling groups and the geometric structure of the tiles are specified. In addition, several infinite classes of tilings and tiling groups are presented.

A Density Property Of The Tori And Duality, Peter Loth

Mathematics Faculty Publications

In this note, a short proof of a recent theorem of D. Dikranjan and M. Tkachenko is given, and their result is extended.

Triangular Surface Tiling Groups For Low Genus, Sean A. Broughton, Robert M. Dirks, Maria Sloughter, C. Ryan Vinroot

Mathematical Sciences Technical Reports (MSTR)

Consider a surface, S, with a kaleidoscopic tiling by non-obtuse triangles (tiles), i.e., each local reflection in a side of a triangle extends to an isometry of the surface, preserving the tiling. The tiling is geodesic if the side of each triangle extends to a closed geodesic on the surface consisting of edges of tiles. The reflection group G*, generated by these reflections, is called the tiling group of the surface. This paper classifies, up to isometry, all geodesic, kaleidoscopic tilings by triangles, of hyperbolic surfaces of genus up to 13. As a part of this classification the tiling groups …

Quest For Tilings On Riemann Surfaces Of Genus Six And Seven, Robert Dirks, Maria Sloughter

Mathematical Sciences Technical Reports (MSTR)

The problem of kaleidoscopically tiling a surface by congruent triangles is equivalent to finding groups generated in certain ways. In order to admit a tiling, a group must have a specific set of generators as well as an involutary automorphism, T, that acts to reverse the orientation of the tiles. The purpose of this paper is to explore group theoretic and computational methods for determining the existence of symmetry groups and tiling groups, as well as to classify the symmetry and tiling groups on hyperbolic Riemann surfaces of genus 6 and 7.

A Look At Biseparating Maps From An Algebraic Point Of View, Melvin Henriksen, Frank A. Smith

All HMC Faculty Publications and Research

In [ABN], Araujo, Beckenstein, and Narici add the capstone to a series of papers by several groups of authors by showing that if ρ is a biseparating map between two algebras of all real or complex-valued functions on realcompact spaces, then it is a continuous multiple of an isomorphism between these rings. Their proof uses relatively powerful analytic and topological techniques. In what follows, the extent to which such a result can be generalized to a wider class of algebras using algebraic techniques is investigated. We are unable, however to obtain the main result of [ABN] using these techniques.

Splitting Tiled Surfaces With Abelian Conformal Tiling Group, Sean A. Broughton

Mathematical Sciences Technical Reports (MSTR)

Let p be a reflection on a closed Riemann Surface S, i.e., an anti-conformal involutary isometry of S with a non-empty fixed point subset. Let Sp denote the fixed point subset of p, which is also called the mirror of p. If S −Sp has two components, then p is called separating and we say that S splits at the mirror Sp. Otherwise p is called non-separating. We assume that the system of mirrors, Sq, as q varies over all reflections in the isometry group Aut*(S) defines a tiling of the surface, consisting of triangles. In turn, the tiling determines …

Divisible Tilings In The Hyperbolic Plane, Sean A. Broughton, Dawn M. Haney, Lori T. Mckeough, Brandy M. Smith

Mathematical Sciences Technical Reports (MSTR)

We consider triangle-quadrilateral pairs in the hyperbolic plane which "kaleidoscopically" tile the plane simultaneously. In this case the tiling by quadrilaterals is called a divisible tiling. All possible such divisible tilings are classified. There are a finite number of 1,2, and 3 parameter families as well as a finite number of exceptional cases.

Tilings Which Split A Mirror, Jim Belk

Mathematical Sciences Technical Reports (MSTR)

We consider the mirror of a reflection which consists of its subset of fixed points. We investigate a number of conditions on the tiling that guarantee that the surface splits at a mirror.