Algebra Commons^™

Notes On Coalgebras, Cofibrations And Concurrency, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-deterministic coalgebras.

Algebra În Exercijii Şi Probleme Pentru Liceu, Florentin Smarandache, Ion Goian, Raisa Grigor, Vasila Marin

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Tight Bounds On The Algebraic Connectivity Of A Balanced Binary Tree, Jason J. Molitierno, Michael Neumann, Bryan L. Shader

Mathematics Faculty Publications

In this paper, quite tight lower and upper bounds are obtained on the algebraic connectivity, namely, the second-smallest eigenvalue of the Laplacian matrix, of an unweighted balanced binary tree with k levels and hence n = 2^k - 1 vertices. This is accomplished by considering the inverse of a matrix of order k - 1 readily obtained from the Laplacian matrix. It is shown that the algebraic connectivity is 1/(2^k - 2k + 3) + 0(1/2^2k).

Definitions, Solved And Unsolved Problems, Conjectures, And Theorems In Number Theory And Geometry, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Florentin Smarandache, an American mathematician of Romanian descent has generated a vast variety of mathematical problems. Some problems are easy, others medium, but many are interesting or unsolved and this is the reason why the present book appears. Here, of course, there are problems from various types. Solving these problems is addictive like eating pumpkin seed: having once started, one cannot help doing it over and over again.

On Strongly N-Regular And Strongly Regular Rings, Huey Voon Chen

Student Works (2000-2009)

Let R be an associative ring with identity 1 (not equal to) 0. An element x E R is said to be right (or left) regular if there exists yin R such that x² y = x (or y.x² = x). If x is both left and right regular, then it is said to be strongly regular. The ring R is said to be strongly regular if every element of R is strongly regular. We say that x is a left -π-regular element if there exist an integer n > 0 and an element y E R such that yx n+1 …

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.

Automorphic Subsets Of The N-Dimensional Cube Are Translations Of Cwatsets, Matthew Lepinski

Mathematical Sciences Technical Reports (MSTR)

It is known that automorphic subsets are generalizations of cwatsets. In this paper we show that an automorphic subset is the translation of some cwatset, and therefore that each automorphic subset is internally isomorphic to a cwatset.

The Topological Snake Lemma And Corona Algebras, Claude Schochet

Mathematics Faculty Research Publications

We establish versions of the Snake Lemma from homological algebra in the context of topological groups, Banach spaces, and operator algebras. We apply this tool to demonstrate that if ƒ : B → B′ is a quasi-unital C^*-map of separable C^*-algebras, so that it induces a map of Corona algebras ƒ̄ : QB → QB′, and if ƒ is mono, then the induced map ƒ̄ is also mono.

Asupra Unor Noi Functii În Teoria Numerelor, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Performantele matematicii actuale,ca si descoperirile din viitor isi au,desigur, inceputul in cea mai veche si mai aproape de filozofie ramura a matematicii, in teoria numerelor. Matematicienii din toate timpurile au fost, sunt si vor fi atrasi de frumusetea si varietatea problemelor specifice acestei ramuri a matematicii. Regina a matematicii, care la randul ei este regina a stiintelor, dupa cum spunea Gauss, teoria numerelor straluceste cu lumina si atractiile ei, fascinandu-ne si usurandu-ne drumul cunoasterii legitatilor ce guverneaza macrocosmosul si microcosmosul. De la etapa antichitatii, cand teoria numerelor era cuprinsa in aritmetica, la etapa aritmeticii superioare din perioada Renasterii, cand teoria …

(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz

Engineering Faculty Articles and Research

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.

Symmetry And Tiling Groups For Genus 4 And 5, C. Ryan Vinroot

Mathematical Sciences Technical Reports (MSTR)

All symmetry groups for surfaces of genus 2 and 3 are known. In this paper, we classify symmetry groups and tiling groups with three branch points for surfaces of genus 4 and 5. Also, a class of symmetry groups that are not tiling groups is presented, as well as a class of odd order non-abelian tiling groups.

Quadrilaterals Subdivided By Triangles In The Hyperbolic Plane, Dawn M. Haney, Lori T. Mckeough

Mathematical Sciences Technical Reports (MSTR)

In this paper, we consider triangle-quadrilateral pairs in the hyperbolic plane which “kaleidoscopically” tile the plane simultaneously. These tilings are called divisible tilings or subdivided tilings. We restrict our attention to the simplest case of divisible tilings, satisfying the corner condition, in which a single triangle occurs at each vertexof the quadrilateral. All possible such divisible tilings are catalogued as well as determining the minimal genus surface on which the divisible tiling exists. The tiling groups of these surfaces are also determined.

A Generalization Of Cayley Graphs For Finite Fields, Dawn M. Jones

Dissertations

A central question in the area of topological graph theory is to find the genus of a given graph. In particular, the genus parameter has been studied for Cayley graphs. A Cayley graph is a representation of a group and a fixed generating set for that group. A group is said to be planar if there is a generating set which produces a planar Cayley graph. We say that a group is toroidal if there is a generating set that produces a toroidal Cayley graph and if there are no generating sets which produce a planar Cayley graph. Characterizations for …

On Solving Equations, Negative Numbers, And Other Absurdities: Part I, Ralph A. Raimi

Humanistic Mathematics Network Journal

No abstract provided.

Chief Factors And The Principal Block Of A Restricted Lie Algebra, Jorg Feldvoss

University Faculty and Staff Publications

This paper is part of the conference proceedings from the conference titled The Monster and Lie Algebras that took place during a special research quarter at the Ohio State University in the spring of 1996. This conference was sponsored by the Ohio State University Mathematical Research Institute and the National Science Foundation. The focus of the conference was groups, Lie algebras, and the Monster, with emphasis on presenting the various aspects of group theory and Lie algebra theory from a modern perspective.

Pseudocontinuations And The Backward Shift, William T. Ross, Alexandru Aleman, Stefan Richter

Department of Math & Statistics Faculty Publications

In this paper, we will examine the backward shift operator Lf = (f −f(0))/z on certain Banach spaces of analytic functions on the open unit disk D. In particular, for a (closed) subspace M for which LM Ϲ M, we wish to determine the spectrum, the point spectrum, and the approximate point spectrum of L│M. In order to do this, we will use the concept of “pseudocontinuation" of functions across the unit circle T.

We will first discuss the backward shift on a general Banach space of analytic functions and then for the weighted …

Generalized Conjugacy Classes, Pramod N. Achar

Mathematical Sciences Technical Reports (MSTR)

Generalized conjugation is the action of a group on its underlying set given by (g,x) -> p(g)xg^-1, where p is some fixed endomorphism of G. Here we study combinatorial properties of the sizes of the orbits of the preceding action. In particular, we reduce the problem to a simpler case if p has nontrivial kernel, or if it is an inner automorphism, and we give a construction that allows a partial analysis in the general case.

Characterizing The Strong Two-Generators Of Certain Noetherian Domains, Ellen Yvonne Green

Theses Digitization Project

No abstract provided.

Presentations Of Direct Products Of Metacyclic Groups, Jared Everett Derksen

Theses Digitization Project

No abstract provided.

The Duals Of Warfield Groups, Peter Loth

Mathematics Faculty Publications

A Warfield group is a direct summand of a simply presented abelian group. In this paper, we describe the Pontrjagin dual groups of Warfield groups, both for the p-local and the general case. A variety of characterizations of these dual groups is obtained. In addition, numerical invariants are given that distinguish between two such groups which are not topologically isomorphic.

An Invariance Property Of Common Statistical Tests, N. Rao Chaganty, A. K. Vaish

Mathematics & Statistics Faculty Publications

Let A be a symmetric matrix and B be a nonnegative definite (nnd) matrix. We obtain a characterization of the class of nnd solutions Σ for the matrix equation AΣA = B. We then use the characterization to obtain all possible covariance structures under which the distributions of many common test statistics remain invariant, that is, the distributions remain the same except for a scale factor. Applications include a complete characterization of covariance structures such that the chisquaredness and independence of quadratic forms in ANOVA problems is preserved. The basic matrix theoretic theorem itself is useful in other characterizing …

Cwatsets: Weights, Cardinalities, And Generalizations, Richard Mohr

Mathematical Sciences Technical Reports (MSTR)

This report provides an upper bound on the average weight of an element in a cwatset and discusses the ratio of the cardinality of a cwatset to the cardinality of the group containing the cwatset. The concept of a generalized cwatset is also introduced.

A Prandial Dialogue On Abstract Algebra As An Introduction To The Discipline Of Mathematics For Liberal Arts Students, Margaret Holen

Humanistic Mathematics Network Journal

No abstract provided.

Homological Topics In The Representation Theory Of Restricted Lie Algebras, Jorg Feldvoss

University Faculty and Staff Publications

We present some recent developments in the application of homological methods to the representation theory of finite dimensional restricted Lie algebras.

Invariant Subspaces Of The Harmonic Dirichlet Space With Large Co-Dimension, William T. Ross

Department of Math & Statistics Faculty Publications

In this paper, we comment on the complexity of the invariant subspaces (under the bilateral Dirichlet shift f → ζf) of the harmonic Dirichlet space D. Using the sampling theory of Seip and some work on invariant subspaces of Bergman spaces, we will give examples of invariant subspaces F ⊂ D with dim(F/ζF) = n, n ∈ N ∪ {∞}. We will also generalize this to the Dirichlet classes Dα, 0 <α< ∞, as well as the Besov classes B^α _p , 1

The Backward Shift Of Weighted Bergman Spaces, William T. Ross, Alexandru Aleman

Department of Math & Statistics Faculty Publications

No abstract provided.

Rectangular Groups, Nick Fiala, Crystal Hanscom, Patrick Keenan, Tung Tran

Mathematical Sciences Technical Reports (MSTR)

We provide an overview of results and conjectures relating to rectangular groups.

Sensible Rules For Remembering Duals -- The S-O-B Method, Arthur T. Benjamin

All HMC Faculty Publications and Research

We present a natural motivation and simple mnemonic for creating the dual LP of any linear programing problem.