Mathematics Commons^™

Verifying Sudoku Puzzles, Chelsea Schweer

Electronic Theses, Projects, and Dissertations

Sudoku puzzles, created by Meki Kaji around 1983, consist of a square 9 by 9 grid made up of 9 rows, 9 columns, and nine 3 by 3 square sub-grids called blocks. The goal of the puzzle is to be able to place the numbers 1 through 9 in every row, column, and block where no number is repeated in each row, column, and block. Imagine being given a completed Sudoku puzzle and having to check that it was solved correctly. You could just check all the rows columns and blocks (27 items), but is there a smaller number of …

Symmetric Generations And An Algorithm To Prove Relations, Diddier Andrade

Electronic Theses, Projects, and Dissertations

In this thesis we have discovered homomorphic images of several progenitors such as 3^(*56):(23:(3:7), 3^(*14):(23:(3:7)), 5^(∗24) : S5, 2^(∗10) : (10 : 2), 56^(∗24) : (A5 : 2), and 11^(∗12) :m L2(11). We give isomorphism types of each image that we have found.
We then create a monomial representation of L2(11) by lifting 5:11 onto it.
We manually perform Double Coset Enumeration of 3:(2×S5) over D12
to create its Cayley graph. This is achieved by solving many word problems. The
Cayley graph is used to find a permutation representation of 3:(2×S5). We also
perform Double Coset Enumeration S3 × A5 …

Symmetric Presentations Of Finite Groups And Related Topics, Samar Mikhail Kasouha

Electronic Theses, Projects, and Dissertations

A progenitor is an infinite semi-direct product of the form m∗n : N, where N ≤ Sn and m∗n : N is a free product of n copies of a cyclic group of order m. A progenitor of this type, in particular 2∗n : N, gives finite non-abelian simple groups and groups involving these, including alternating groups, classical groups, and the sporadic group. We have conducted a systematic search of finite homomorphic images of numerous progenitors. In this thesis we have presented original symmetric presentations of the sporadic simple groups, M12, J1 as homomorphic images of the progenitor 2∗12 : …

An Exposition Of Elliptic Curve Cryptography, Travis Severns

Electronic Theses, Projects, and Dissertations

Protecting information that is being communicated between two parties over
unsecured channels is of huge importance in today’s world. The use of mathematical concepts to achieve high levels of security when communicating over these unsecured platforms is cryptography. The world of cryptography is always expanding and growing. In this paper, we set out to explore the use of elliptic curves in the cryptography of today, as well as the cryptography of the future.
We also offer our own original cryptosystem, CSDH. This system on its own
offers some moderate level of security. It shares many similarities to the post-quantum, SIDH …

Homomorphic Images And Related Topics, Alejandro Martinez

Electronic Theses, Projects, and Dissertations

In this thesis, we have demonstrated our method of writing symmetric presentations of permutation progenitors, finding monomial representations and symmetric presentations of monomial progenitors. We have also explained how various types of additional relations are found. We have discovered original symmetric presentations and original constructions of numerous groups.

De Rham Cohomology, Homotopy Invariance And The Mayer-Vietoris Sequence, Stacey Elizabeth Cox

Electronic Theses, Projects, and Dissertations

This thesis will discuss the de Rham cohomology, homotopy invariance and the Mayer-Vietoris sequence. First the necessary information for this thesis is discussed such as differential p-forms, the exterior derivative as well as pull back of a map. The de Rham cohomology is defined explicitly, some properties of the de Rham cohomology will also be discussed. It will be shown that the de Rham cohomology is in fact a homotopy invariant as well as some examples using homotopy invariance are provided. Finally the Mayer-Vietoris sequence will be established, an example of using the Mayer-Vietoris sequence to compute the de …

Error Terms For The Trapezoid, Midpoint, And Simpson's Rules, Jessica E. Coen

Electronic Theses, Projects, and Dissertations

When it is not possible to integrate a function we resort to Numerical Integration. For example the ubiquitous Normal curve tables are obtained using Numerical Integration. The antiderivative of the defining function for the normal curve involves the formula for antiderivative of e^{-x^2} which can't be expressed in the terms of basic functions.

Simpson's rule is studied in most Calculus books, and in all undergraduate Numerical Analysis books, but proofs are not provided. Hence if one is interested in a proof of Simpson's rule, either it can be found in advanced Numerical Analysis books as a special case …

Symmetric Generation, Ana Gonzalez

Electronic Theses, Projects, and Dissertations

We will examine progenitors. We start with progenitors of the form $m^{*n} : N$ where $m^{*n}$ is a free group and $N$ is a permutation group of degree $n$. But, $m^{*n} : N$ is a group of infinite order so we will factor by the necessary relations to get finite homomorphic images. These groups are constructed through the manual double coset enumeration method. We will examine how to construct progenitors for wreath products.

Lattice Reduction Algorithms, Juan Ortega

Electronic Theses, Projects, and Dissertations

The purpose of this thesis is to propose and analyze an algorithm that follows
similar steps of Guassian Lattice Reduction Algorithm in two-dimensions and applying
them to three-dimensions. We start off by discussing the importance of cryptography in
our day to day lives. Then we dive into some linear algebra and discuss specific topics that
will later help us in understanding lattice reduction algorithms. We discuss two lattice
problems: the shortest vector problem and the closest vector problem. Then we introduce
two types of lattice reduction algorithms: Guassian Lattice Reduction in two-dimensions
and the LLL Algortihm. We illustrate how both …

The Decomposition Of The Space Of Algebraic Curvature Tensors, Katelyn Sage Risinger

Electronic Theses, Projects, and Dissertations

We decompose the space of algebraic curvature tensors (ACTs) on a finite dimensional, real inner product space under the action of the orthogonal group into three inequivalent and irreducible subspaces: the real numbers, the space of trace-free symmetric bilinear forms, and the space of Weyl tensors. First, we decompose the space of ACTs using two short exact sequences and a key result, Lemma 3.5, which allows us to express one vector space as the direct sum of the others. This gives us a decomposition of the space of ACTs as the direct sum of three subspaces, which at this point …

Simple Groups And Related Topics, Simrandeep Kaur

Electronic Theses, Projects, and Dissertations

Since every nonabelian simple group is a homomorphic image of an involutory progenitor 2^(*n):N where N ≤ S_n is transitive, our motivation for the thesis has been to seek finite homomorphic images of such progenitors and construct them using our technique of double coset enumeration. We have constructed U_3 (3):2 over 5^2:S_3, 2x(A_5 x A_5) over D_5 x D_5, S_6 over S_5, 2^5:S_5 over S_5, and 3^3: 2^3 over 3^2:2 . We have discovered original symmetric presentations numerous group as homomorphic images various progenitors. We have also found new monomial representations of groups and given monomial progenitors. We have given …

The Examination Of The Arithmetic Surface (3, 5) Over Q, Rachel J. Arguelles

Electronic Theses, Projects, and Dissertations

This thesis is centered around the construction and analysis of the principal arithmetic surface (3, 5) over Q. By adjoining the two symbols i,j, where i² = 3, j² = 5, such that ij = -ji, I can produce a quaternion algebra over Q. I use this quaternion algebra to find a discrete subgroup of SL₂(R), which I identify with isometries of the hyperbolic plane. From this quaternion algebra, I produce a large list of matrices and apply them via Mobius transformations to the point (0, 2), which is the center of my Dirichlet domain. This …