Algebra Commons^™

Harmonious Labelings Via Cosets And Subcosets, Jared L. Painter, Holleigh C. Landers, Walker M. Mattox

Theory and Applications of Graphs

In [Abueida, A. and Roblee, K., More harmonious labelings of families of disjoint unions of an odd cycle and certain trees, J. Combin. Math. Combin. Comput., 115 (2020), 61-68] it is shown that the disjoint union of an odd cycle and certain paths is harmonious, and that certain starlike trees are harmonious using properties of cosets for a particular subgroup of the integers modulo m, where m is the number of edges of the graph. We expand upon these results by first exploring the numerical properties when adding values from cosets and subcosets in the integers modulo m. …

An Overview Of Monstrous Moonshine, Catherine E. Riley

Channels: Where Disciplines Meet

The Conway-Norton monstrous moonshine conjecture set off a quest to discover the connection between the Monster and the J-function. The goal of this paper is to give an overview of the components of the conjecture, the conjecture itself, and some of the ideas that led to its solution. Special focus is given to Klein's J-function.

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 …

On The Hamiltonicity Of Subgroup Lattices, Nicholas Charles Fleece

MSU Graduate Theses

In this paper we discuss the Hamiltonicity of the subgroup lattices of

different classes of groups. We provide sufficient conditions for the

Hamiltonicity of the subgroup lattices of cube-free abelian groups. We also

prove the non-Hamiltonicity of the subgroup lattices of dihedral and

dicyclic groups. We disprove a conjecture on non-abelian p-groups by

producing an infinite family of non-abelian p-groups with Hamiltonian

subgroup lattices. Finally, we provide a list of the Hamiltonicity of the

subgroup lattices of every finite group up to order 35 barring two groups.

Some Model Theory Of Free Groups, Christopher James Natoli

Dissertations, Theses, and Capstone Projects

There are two main sets of results, both pertaining to the model theory of free groups. In the first set of results, we prove that non-abelian free groups of finite rank at least 3 or of countable rank are not A-homogeneous. We then build on the proof of this result to show that two classes of groups, namely finitely generated free groups and finitely generated elementary free groups, fail to form A-Fraisse classes and that the class of non-abelian limit groups fails to form a strong A-Fraisse class.

The second main result is that if a countable group is elementarily …

Cayley Map Embeddings Of Complete Graphs, Miriam Scheinblum

Honors Program Theses

This paper looks at Cayley map embeddings of complete graphs on orientable surfaces. Cayley maps constrain graph embeddings to those with cyclical edge rotations, so optimal embeddings on surfaces with the minimum genus may not always be possible. We explore instances when Cayley maps succeed at optimally embedding complete graphs, and when optimal embeddings are not possible, we determine how close to optimal they can get by finding vertex rotations that result in the smallest possible genus. Many of the complete graphs we consider have prime numbers of vertices, so for each complete graph Kn we focus on mappings with …

New Theorems For The Digraphs Of Commutative Rings, Morgan Bounds

Rose-Hulman Undergraduate Mathematics Journal

The digraphs of commutative rings under modular arithmetic reveal intriguing cycle patterns, many of which have yet to be explained. To help illuminate these patterns, we establish a set of new theorems. Rings with relatively prime moduli a and b are used to predict cycles in the digraph of the ring with modulus ab. Rings that use Pythagorean primes as their modulus are shown to always have a cycle in common. Rings with perfect square moduli have cycles that relate to their square root.

Symmetric Presentations, Representations, And Related Topics, Adam Manriquez

Electronic Theses, Projects, and Dissertations

The purpose of this thesis is to develop original symmetric presentations of finite non-abelian simple groups, particularly the sporadic simple groups. We have found original symmetric presentations for the Janko group J₁, the Mathieu group M₁₂, the Symplectic groups S(3,4) and S(4,5), a Lie type group Suz(8), and the automorphism group of the Unitary group U(3,5) as homomorphic images of the progenitors 2^*60 : (2 x A₅), 2^{*60 :} A₅, 2^*56 : (2³ : 7), and 2^*28 : (PGL(2,7):2), respectively. We have also discovered the groups 2 …

Cayley Graphs Of Groups And Their Applications, Anna Tripi

MSU Graduate Theses

Cayley graphs are graphs associated to a group and a set of generators for that group (there is also an associated directed graph). The purpose of this study was to examine multiple examples of Cayley graphs through group theory, graph theory, and applications. We gave background material on groups and graphs and gave numerous examples of Cayley graphs and digraphs. This helped investigate the conjecture that the Cayley graph of any group (except Z_2) is hamiltonian. We found the conjecture to still be open. We found Cayley graphs and hamiltonian cycles could be applied to campanology (in particular, to the …

Solving Algorithmic Problems In Finitely Presented Groups Via Machine Learning, Jonathan Gryak

Dissertations, Theses, and Capstone Projects

Machine learning and pattern recognition techniques have been successfully applied to algorithmic problems in free groups. In this dissertation, we seek to extend these techniques to finitely presented non-free groups, in particular to polycyclic and metabelian groups that are of interest to non-commutative cryptography.

As a prototypical example, we utilize supervised learning methods to construct classifiers that can solve the conjugacy decision problem, i.e., determine whether or not a pair of elements from a specified group are conjugate. The accuracies of classifiers created using decision trees, random forests, and N-tuple neural network models are evaluated for several non-free groups. …

Normal Subgroups Of Wreath Product 3-Groups, Ryan Gopp

Williams Honors College, Honors Research Projects

Consider the regular wreath product group P of Z₉ with (Z₃ x Z₃). The problem of determining all normal subgroups of P that are contained in its base subgroup is equivalent to determining the subgroups of a certain matrix group M that are invariant under two particular endomorphisms of M. This thesis is a partial solution to the latter. We use concepts from linear algebra and group theory to find and count so-called doubly-invariant subgroups of M.

The Automorphism Group Of The Halved Cube, Benjamin B. Mackinnon

Theses and Dissertations

An n-dimensional halved cube is a graph whose vertices are the binary strings of length n, where two vertices are adjacent if and only if they differ in exactly two positions. It can be regarded as the graph whose vertex set is one partite set of the n-dimensional hypercube, with an edge joining vertices at hamming distance two. In this thesis we compute the automorphism groups of the halved cubes by embedding them in R n and realizing the automorphism group as a subgroup of GLn(R). As an application we show that a halved cube is a circulant graph if …

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 …

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 …

Convexity Properties Of The Diestel-Leader Group Γ_3(2), Peter J. Davids

Honors Projects

The Diestel-Leader groups are a family of groups first introduced in 2001 by Diestel and Leader in [7]. In this paper, we demonstrate that the Diestel-Leader group Γ₃(2) is not almost convex with respect to a particular generating set S. Almost convexity is a geometric property that has been shown by Cannon [3] to guarantee a solvable word problem (that is, in any almost convex group there is a finite-step algorithm to determine if two strings of generators, or “words”, represent the same group element). Our proof relies on the word length formula given by Stein and Taback …

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 …

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₃.

Abelian Groups With Partial Decomposition Bases In LΔ∞Ω, Part Ii, Carol Jacoby, Peter Loth

Mathematics Faculty Publications

We consider abelian groups with partial decomposition bases in L^δ_∞ω for ordinals δ. Jacoby, Leistner, Loth and Str¨ungmann developed a numerical invariant deduced from the classical global Warfield invariant and proved that if two groups have identical modified Warfield invariants and Ulm-Kaplansky invariants up to ωδ for some ordinal δ, then they are equivalent in L^δ_∞ω. Here we prove that the modified Warfield invariant is expressible in L^δ_∞ω and hence the converse is true for appropriate δ.

The Probabilistic Zeta Function, Bret Benesh

Mathematics Faculty Publications

This paper is a summary of results on the P_G(s) function, which is the reciprocal of the probabilistic zeta function for finite groups. This function gives the probability that s randomly chosen elements generate a group G, and information about the structure of the group G is embedded in it.

Pure Extensions Of Locally Compact Abelian Groups, Peter Loth

Mathematics Faculty Publications

In this paper, we study the group Pext(C,A) for locally compact abelian (LCA) groups A and C. Sufficient conditions are established for Pext(C,A) to coincide with the first Ulm subgroup of Ext(C,A). Some structural information on pure injectives in the category of LCA groups is obtained. Letting K denote the class of LCA groups which can be written as the topological direct sum of a compactly generated group and a discrete group, we determine the groups G in K which are pure injective in the category of LCA groups. Finally we describe those groups G in K such that every …

Presentations Of Direct Products Of Metacyclic Groups, Jared Everett Derksen

Theses Digitization Project

No abstract provided.

Commutator Identities Obtained By The Magnus Algebra, Anthony M. Gaglione, Dennis Spellman

Mathematics Faculty Publications

In this paper, two related commutator identities are established through the use of the Magnus Algebra (the algebra of noncommutative formal power series with integral coefficients).