Mathematics Commons^™

Ádám's Conjecture And Arc Reversal Problems, Claudio D. Salas

Electronic Theses, Projects, and Dissertations

A. Ádám conjectured that for any non-acyclic digraph D, there exists an arc whose reversal reduces the total number of cycles in D. In this thesis we characterize and identify structure common to all digraphs for which Ádám's conjecture holds. We investigate quasi-acyclic digraphs and verify that Ádám's conjecture holds for such digraphs. We develop the notions of arc-cycle transversals and reversal sets to classify and quantify this structure. It is known that Ádám's conjecture does not hold for certain infinite families of digraphs. We provide constructions for such counterexamples to Ádám's conjecture. Finally, we address a conjecture …

Geodesics In Lorentzian Manifolds, Amir A. Botros

Electronic Theses, Projects, and Dissertations

We present an extension of Geodesics in Lorentzian Manifolds (Semi-Riemannian Manifolds or pseudo-Riemannian Manifolds ). A geodesic on a Riemannian manifold is, locally, a length minimizing curve. On the other hand, geodesics in Lorentzian manifolds can be viewed as a distance between ``events''. They are no longer distance minimizing (instead, some are distance maximizing) and our goal is to illustrate over what time parameter geodesics in Lorentzian manifolds are defined. If all geodesics in timelike or spacelike or lightlike are defined for infinite time, then the manifold is called ``geodesically complete'', or simply, ``complete''. It is easy to show that …

Constructions And Isomorphism Types Of Images, Jessica Luna Ramirez

Electronic Theses, Projects, and Dissertations

In this thesis, we have presented our discovery of true finite homomorphic images of various permutation and monomial progenitors, such as 2^*7: D₁₄, 2^*7 : (7 : 2), 2^*6 : S₃ x 2, 2^*8: S₄, 2*⁷²: (3²:(2S₄)), and 11^*2 :_m D₁₀. We have given delightful symmetric presentations and very nice permutation representations of these images which include, the Mathieu groups M₁₁, M₁₂, the 4-fold cover of the Mathieu group M₂₂, 2 x …

Apply Data Clustering To Gene Expression Data, Abdullah Jameel Abualhamayl Mr.

Electronic Theses, Projects, and Dissertations

Data clustering plays an important role in effective analysis of gene expression. Although DNA microarray technology facilitates expression monitoring, several challenges arise when dealing with gene expression datasets. Some of these challenges are the enormous number of genes, the dimensionality of the data, and the change of data over time. The genetic groups which are biologically interlinked can be identified through clustering. This project aims to clarify the steps to apply clustering analysis of genes involved in a published dataset. The methodology for this project includes the selection of the dataset representation, the selection of gene datasets, Similarity Matrix Selection, …

Hilbert Spaces And Fourier Series, Terri Joan Harris Mrs.

Electronic Theses, Projects, and Dissertations

I give an overview of the basic theory of Hilbert spaces necessary to understand the convergence of the Fourier series for square integrable functions. I state the necessary theorems and definitions to understand the formulations of the problem in a Hilbert space framework, and then I give some applications of the theory along the way.

Geometric Constructions From An Algebraic Perspective, Betzabe Bojorquez

Electronic Theses, Projects, and Dissertations

Many topics that mathematicians study at times seem so unrelated such as Geometry and Abstract Algebra. These two branches of math would seem unrelated at first glance. I will try to bridge Geometry and Abstract Algebra just a bit with the following topics. We can be sure that after we construct our basic parallel and perpendicular lines, bisected angles, regular polygons, and other basic geometric figures, we are actually constructing what in geometry is simply stated and accepted, because it will be proven using abstract algebra. Also we will look at many classic problems in Geometry that are not possible …

Elliptic Curves, Trinity Mecklenburg

Electronic Theses, Projects, and Dissertations

The main focus of this paper is the study of elliptic curves, non-singular projective curves of genus 1. Under a geometric operation, the rational points E(Q) of an elliptic curve E form a group, which is a finitely-generated abelian group by Mordell’s theorem. Thus, this group can be expressed as the finite direct sum of copies of Z and finite cyclic groups. The number of finite copies of Z is called the rank of E(Q).

From John Tate and Joseph Silverman we have a formula to compute the rank of curves of the form …

Symmetric Presentations And Generation, Dustin J. Grindstaff

Electronic Theses, Projects, and Dissertations

The aim of this thesis is to generate original symmetric presentations for finite non-abelian simple groups. We will discuss many permutation progenitors, including but not limited to 2^*14 : D₂₈, 2^∗9 : 3^•(3²), 3^∗9 : 3^•(3²), 2^∗21 : (7X3) : 2 as well as monomial progenitors, including 7^∗5 :_m A₅, 3^∗5 :_m S₅. We have included their homomorphic images which include the Mathieu group M₁₂, 2^•J_{2 …}

Unique Prime Factorization Of Ideals In The Ring Of Algebraic Integers Of An Imaginary Quadratic Number Field, Nolberto Rezola

Electronic Theses, Projects, and Dissertations

The ring of integers is a very interesting ring, it has the amazing property that each of its elements may be expressed uniquely, up to order, as a product of prime elements. Unfortunately, not every ring possesses this property for its elements. The work of mathematicians like Kummer and Dedekind lead to the study of a special type of ring, which we now call a Dedekind domain, where even though unique prime factorization of elements may fail, the ideals of a Dedekind domain still enjoy the property of unique prime factorization into a product of prime ideals, up to order …

Algebra 1 Students’ Ability To Relate The Definition Of A Function To Its Representations, Sarah A. Thomson

Electronic Theses, Projects, and Dissertations

One hundred high school Algebra students from a southern California school participated in this study to provide information on students’ ability to relate the definition of function to its representations. The goals of the study were (1) to explore the extent to which students are able to distinguish between representations of functions/non-functions; (2) to compare students’ ability to distinguish between familiar/unfamiliar representations of functions/non-functions; (3) to explore the extent to which students are able to apply the definition of function to verify function representations; and (4) to explore the extent to which students are able to provide an adequate definition …

Symmetric Presentations Of Non-Abelian Simple Groups, Leonard B. Lamp

Electronic Theses, Projects, and Dissertations

The goal of this thesis is to show constructions of some of the sporadic groups such as the Mathieu group, M₁₂, J₁, Projective Special Linear groups, PSL(2,8), and PSL(2,11), Unitary group U(3,3) and many other non-abelian simple groups. Our purpose is to find all simple non-abelian groups as homomorphic images of permutation or monomial progenitors, as well grasping a deep understanding of group theory and extension theory to determine groups up to isomorphisms. The progenitor, developed by Robert T. Curtis, is a semi-direct product of the following form: P≅2*ⁿ: N = {πw | π …

Homomorphic Images And Related Topics, Kevin J. Baccari

Electronic Theses, Projects, and Dissertations

We will explore progenitors extensively throughout this project. The progenitor, developed by Robert T Curtis, is a special type of infinite group formed by a semi-direct product of a free group m^*n and a transitive permutation group of degree n. Since progenitors are infinite, we add necessary relations to produce finite homomorphic images. Curtis found that any non-abelian simple group is a homomorphic image of a progenitor of the form 2^*n: N. In particular, we will investigate progenitors that generate two of the Mathieu sporadic groups, M₁₁ and M₁₁, as well as …

Progenitors Related To Simple Groups, Elissa Marie Valencia

Electronic Theses, Projects, and Dissertations

This thesis contains methods of finding new presentations of finite groups, particularly nonabelian simple groups. We have presented several progenitors such as 2^{*8}:Z_4 wr Z_2, 3^{*3}:_m L(2,7), 2^{*4}:[2:2^2], 2^{*11}:D_{11} and many more on which we've found the mathieu group M12 and 2*[M21:2^2] among their homomorphic images. We give the full monomial automorphism groups of Aut(3^{*2}), Aut(3^{*3}), and Aut(5^{*2}). Included is a proof showing that the full monomial automorphism group of Aut(m^{*n}) is isomorphic to U(m) wr S_n. In addition we have constructed the Cayley Diagrams of PGL(2,7), [3 x A_5]:2, 3:[A_6:2], and 2 x [(3 x L(2,11)):2] using the process …

Symmetric Presentations And Related Topics, Mashael U. Alharbi

Electronic Theses, Projects, and Dissertations

In this thesis, we have presented our discovery of symmetric presentations of a number of non-abelian simple groups, including the Mathieu group M₁₂. We have given several progenitors, permutation and monomial, including 2*⁴:(2²:3), 2*⁵:D₁₀, 2*⁸:((4X2).D₄), 3*⁷:_m L₂(7), 2*⁶:(Z₃ wr Z₂), and 2*²⁴: (2^. A₅) and their homomorphic images which include 4.(M₁₂:2), the group of automorphisms of M₁₂ and several classical groups. We have given the isomorphism type of …

A Fundamental Unit Of O_K, Susana L. Munoz

Electronic Theses, Projects, and Dissertations

In the classical case we make use of Pells equation to compute units in the ring O_F. Consider the parallel to the classical case and the quadratic field extension that creates the ring O_K. We use the generalized Pell's equation to find the units in this ring since they are solutions. Through the use of continued fractions we may further characterize this ring and compute its units.

Radio Number For Fourth Power Paths, Linda V. Alegria

Electronic Theses, Projects, and Dissertations

A path on n vertices, denoted by Pn, is a simple graph whose vertices can be ordered so that two vertices are adjacent if and only if they are consecutive in the order. A fourth power path, Pn4, is obtained from Pn by adding edges between any two vertices, u and v, whose distance in Pn, denoted by dPn(u,v), is less than or equal to four. The diameter of a graph G, denoted diam(G) is the greatest distance between any two distinct vertices of G. A radio labeling of a graph G is a function f that assigns to each …

A Kleinian Approach To Fundamental Regions, Joshua L. Hidalgo

Electronic Theses, Projects, and Dissertations

This thesis takes a Kleinian approach to hyperbolic geometry in order to illustrate the importance of discrete subgroups and their fundamental domains (fundamental regions). A brief history of Euclids Parallel Postulate and its relation to the discovery of hyperbolic geometry be given first. We will explore two models of hyperbolic $n$-space: $U^n$ and $B^n$. Points, lines, distances, and spheres of these two models will be defined and examples in $U^2$, $U^3$, and $B^2$ will be given. We will then discuss the isometries of $U^n$ and $B^n$. These isometries, known as M\"obius transformations, have special properties and turn out to be …

The Linear Cutwidth And Cyclic Cutwidth Of Complete N-Partite Graphs, Stephanie A. Creswell

Electronic Theses, Projects, and Dissertations

The cutwidth of different graphs is a topic that has been extensively studied. The basis of this paper is the cutwidth of complete n-partite graphs. While looking at the cutwidth of complete n-partite graphs, we strictly consider the linear embedding and cyclic embedding. The relationship between the linear cutwidth and the cyclic cutwidth is discussed and used throughout multiple proofs of different cases for the cyclic cutwidth. All the known cases for the linear and cyclic cutwidth of complete bipartite, complete tripartite, and complete n-partite graphs are highlighted.

The main focus of this paper is to expand …

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.

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.

The Irreducible Representations Of D2n, Melissa Soto

Electronic Theses, Projects, and Dissertations

Irreducible representations of a finite group over a field are important because all representations of a group are direct sums of irreducible representations. Maschke tells us that if φ is a representation of the finite group G of order n on the m-dimensional space V over the field K of complex numbers and if U is an invariant subspace of φ, then U has a complementary reducing subspace W .

The objective of this thesis is to find all irreducible representations of the dihedral group D2n. The reason we will work with the dihedral group is because it is one …

The Complexity Of Linear Algebra, Leann Kay Christensen

Theses Digitization Project

This study examines the complexity of linear algebra. Complexity means how much work, or the number of calculations or time it takes to perform a task. As linear algebra is used more and more in different fields, it becomes useful to study ways of reducing the amount of work required to complete basic procedures.

A Study Of Finite Symmetrical Groups, May Majid

Theses Digitization Project

This study investigated finite homomorphic images of several progenitors, including 2*⁵ : S₅, 2*⁶ : A₆, and 3*⁵ : C₅ The technique of manual of double coset enumeration is used to construct several groups by hand and computer-based proofs are given for the isomorphism types of the groups that are not constructed.

Enumeration And Symmetric Presentations Of Groups, With Music Theory Applications, Jesse Graham Train

Theses Digitization Project

The purpose of this project is to construct groups as finite homomorphic images of infinite semi-direct products. In particular, we will construct certain classical groups and subgroups of sporadic groups, as well groups with applications to the field of music theory.

Plasma Confinement: Mathematical Modeling Of A Fusion Reactor, James Scott Jones

Theses Digitization Project

This study will discuss currently used power sources and their drawbacks, leading to covering fusion as an energy source and its potential. Fusion has three significant important advantages: Fuel reserves, safety, and environment. A significant amount of fuel reserves comes from the natural occurrence in ocean water of deuterium at a 1 to 6700 ratio, accounting for the energy supply being on the order of 2 billion years. Fusion does not produce any greenhouse gases and its only 'exhaust' is that of harmless inert helium.

Hyperbolicity Equations For Knot Complements, Christopher Martin Jacinto

Theses Digitization Project

This study analyzes Carlo Petronio's paper, An Algorithm Producing Hyperbolicity Equations for a Link Complement in S³. Using the figure eight knot as an example, we will explain how Petronio's algorithm was able to decompose the knot complement of an alternating knot into tetrahedra. Then, using the vertex invariants of these tetrahedra, we will explain how Petronio was able to create hyperbolicity equations.

The Fibonacci Sequence And Hosoya's Triangle, Jeffrey Lee Smith

Theses Digitization Project

The purpose of this thesis is to study the Fibonacci sequence in a context many are unfamiliar with. A triangular array of numbers, similar looking to Pascal's triangle, was constructed a few decades ago and is called Hosoya's triangle. Each element within the triangle is created using Fibonacci numbers.

Whitney's 2-Isomorphism Theorem For Hypergraphs, Eric Anthony Taylor

Theses Digitization Project

This study will examine a fundamental theorem from graph theory: Whitney's 2-Isomorphism Theorem. Whitney's 2-Isomorphism theorem characterizes when two graphs have isomorphic cycle matroids.

Comparing The Algebraic And Analytical Properties Of P-Adic Numbers With Real Numbers, Joseph Colton Wilson

Theses Digitization Project

This study will provide a glimpse into the world of p-adic numbers, which encompasses a different way to measure the distance between rational numbers. Simple calculations and surprising results are examined to help familiarize the reader to the new space.

A Study Of Finite Symmetrical Groups, Patrick Kevin Martinez

Theses Digitization Project

This study discovered several important groups that involve the classical and sporadic groups. These groups appeared as finite homomorphic images of the progenitors 3*8 : PGL₂(7), 2*¹⁴ : L₃ (2), 5*³ : S₃ and 7*2 : m S₃.