Algebra Commons^™

Concurrent Kleene Algebra With Tests And Branching Automata, Peter Jipsen, M. Andrew Moshier

Mathematics, Physics, and Computer Science Faculty Articles and Research

We introduce concurrent Kleene algebra with tests (CKAT) as a combination of Kleene algebra with tests (KAT) of Kozen and Smith with concurrent Kleene algebras (CKA), introduced by Hoare, Möller, Struth and Wehrman. CKAT provides a relatively simple algebraic model for reasoning about semantics of concurrent programs. We generalize guarded strings to guarded series-parallel strings , or gsp-strings, to give a concrete language model for CKAT. Combining nondeterministic guarded automata of Kozen with branching automata of Lodaya and Weil one obtains a model for processing gsp-strings in parallel. To ensure that the model satisfies the weak exchange law (x‖y)(z‖w)≤(xz)‖(yw) of …

On The Construction Of Simply Connected Solvable Lie Groups, Mark E. Fels

Research Vignettes

This worksheet contains the implementation of Theorems 4.2, 5.4 and 5.7 in the paper On the Construction of Solvable Lie Groups. All the examples in the paper are demonstrated here, along with one in Section 6 that was too long to include in the article.

Non-Commutative Holomorphic Functions On Operator Domains, Jim Agler, John E. Mccarthy

Mathematics Faculty Research

We characterize functions of d-tuples of bounded operators on a Hilbert space that are uniformly approximable by free polynomials on balanced open sets.

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 …

Review: The Classical Hom-Yang-Baxter Equation And Hom-Lie Bialgebras, Gizem Karaali

Pomona Faculty Publications and Research

No abstract provided.

Generating All Finite Modular Lattices Of A Given Size, Peter Jipsen, Nathan Lawless

Mathematics, Physics, and Computer Science Faculty Articles and Research

Modular lattices, introduced by R. Dedekind, are an important subvariety of lattices that includes all distributive lattices. Heitzig and Reinhold [8] developed an algorithm to enumerate, up to isomorphism, all finite lattices up to size 18. Here we adapt and improve this algorithm to construct and count modular lattices up to size 24, semimodular lattices up to size 22, and lattices of size 19. We also show that 2 ⁿ⁻³ is a lower bound for the number of nonisomorphic modular lattices of size n.

College Algebra (University Of North Georgia), Michael Goodroe, Berhanu Kidane, Julian Allagan, John Williams

Mathematics Grants Collections

This Grants Collection Open Textbook for College Algebra was created under a Round Two ALG Textbook Transformation Grant.

Affordable Learning Georgia Grants Collections are intended to provide faculty with the frameworks to quickly implement or revise the same materials as a Textbook Transformation Grants team, along with the aims and lessons learned from project teams during the implementation process.

Documents are in .pdf format, with a separate .docx (Word) version available for download. Each collection contains the following materials:

• Linked Syllabus
• Initial Proposal
• Final Report

Foundations For College Algebra, Michael Goodroe, Berhanu Kidane, Julian Allagan, John Williams

Mathematics Grants Collections

This Grants Collection for Foundations for College Algebra was created under a Round Two ALG Textbook Transformation Grant.

Affordable Learning Georgia Grants Collections are intended to provide faculty with the frameworks to quickly implement or revise the same materials as a Textbook Transformation Grants team, along with the aims and lessons learned from project teams during the implementation process.

Documents are in .pdf format, with a separate .docx (Word) version available for download. Each collection contains the following materials:

• Linked Syllabus
• Initial Proposal
• Final Report

Support For College Algebra, Michael Goodroe, Berhanu Kidane, Julian Allagan, John Williams

Mathematics Grants Collections

This Grants Collection for Support for College Algebra was created under a Round Two ALG Textbook Transformation Grant.

Affordable Learning Georgia Grants Collections are intended to provide faculty with the frameworks to quickly implement or revise the same materials as a Textbook Transformation Grants team, along with the aims and lessons learned from project teams during the implementation process.

Documents are in .pdf format, with a separate .docx (Word) version available for download. Each collection contains the following materials:

• Linked Syllabus
• Initial Proposal
• Final Report

Intermediate Algebra, Michael Goodroe, Berhanu Kidane, Julian Allagan, John Williams

Mathematics Grants Collections

This Grants Collection for Intermediate Algebra was created under a Round Two ALG Textbook Transformation Grant.

Affordable Learning Georgia Grants Collections are intended to provide faculty with the frameworks to quickly implement or revise the same materials as a Textbook Transformation Grants team, along with the aims and lessons learned from project teams during the implementation process.

Documents are in .pdf format, with a separate .docx (Word) version available for download. Each collection contains the following materials:

• Linked Syllabus
• Initial Proposal
• Final Report

Candy Crush Combinatorics, Dana Rowland

Mathematics Faculty Publications

In the popular game Candy Crush, differently colored candies are arranged in a grid and a player swaps adjacent candies in order to crush them by lining up three or more of the same color. At the beginning of each game, the grid cannot have three consecutive candies of the same color in a row or column, but it must be possible to swap two adjacent candies in order to get at least three consecutive candies of the same color. How many starting configurations are there? We derive recurrence relations to answer this question for a single line of candy, …

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 …

The Design And Validation Of A Group Theory Concept Inventory, Kathleen Mary Melhuish

Dissertations and Theses

Within undergraduate mathematics education, there are few validated instruments designed for large-scale usage. The Group Concept Inventory (GCI) was created as an instrument to evaluate student conceptions related to introductory group theory topics. The inventory was created in three phases: domain analysis, question creation, and field-testing. The domain analysis phase included using an expert consensus protocol to arrive at the topics to be assessed, analyzing curriculum, and reviewing literature. From this analysis, items were created, evaluated, and field-tested. First, 383 students answered open-ended versions of the question set. The questions were converted to multiple-choice format from these responses and disseminated …

Systems Of Parameters And The Cohen–Macaulay Property, Katharine Shultis

Department of Mathematics: Dissertations, Theses, and Student Research

Let R be a commutative, Noetherian, local ring and M a finitely generated R-module. Consider the module of homomorphisms Hom_R(R/a,M/bM) where b [subset of] a are parameter ideals of M. When M = R and R is Cohen-Macaulay, Rees showed that this module of homomorphisms is isomorphic to R/a, and in particular, a free module over R/a of rank one. In this work, we study the structure of such modules of homomorphisms for a not necessarily Cohen-Macaulay R-module M.

The Impact Of A Quantitative Reasoning Instructional Approach To Linear Equations In Two Variables On Student Achievement And Student Thinking About Linearity, Paul Thomas Belue

Boise State University Theses and Dissertations

A control group and an experimental group of college students at a community college in the Pacific Northwest were taught a unit on linear equations in two variables. The control group was taught using a traditional instructional approach that focused on learning procedures and the experimental group was taught using a quantitative reasoning instructional approach that focused on learning proportional and functional reasoning. Both groups were then given the same unit assessment that had 10 procedural understanding items and 10 conceptual understanding items related to linear equations in two variables. The assessment was given to determine the impact of the …

A System Of Equations: Mathematics Lessons In Classical Literature, Valery F. Ochkov, Andreas Look

Journal of Humanistic Mathematics

The aim of this paper is to showcase a handful of mathematical challenges found in classical literature and to offer possible ways of integrating classical literature in mathematics lessons. We analyze works from a range of authors such as Jules Verne, Anton Chekhov, and others. We also propose ideas for further tasks. Most of the problems can be restated in terms of simple mathematical equations, and they can often be solved without a computer. Nevertheless, we use the computer program Mathcad to solve the problems and to illustrate the solutions to enhance the reader’s mathematical experience.

Tame Filling Functions And Closure Properties, Anisah Nu'man

Department of Mathematics: Dissertations, Theses, and Student Research

Let G be a group with a finite presentation P = such that A is inverse- closed. Let f : N[1/4] → N[1/4] be a nondecreasing function. Loosely, f is an intrinsic tame filling function for (G;P) if for every word w over A* that represents the identity element in G, there exists a van Kampen diagram Δ for w over P and a continuous choice of paths from the basepoint * of Δ to points on the boundary of Δ such that the paths are steadily moving outward as measured by f. The isodiametric function (or intrinsic diameter function) …

Expectation Numbers Of Cyclic Groups, Miriam Mahannah El-Farrah

Masters Theses & Specialist Projects

When choosing k random elements from a group the kth expectation number is the expected size of the subgroup generated by those specific elements. The main purpose of this thesis is to study the asymptotic properties for the first and second expectation numbers of large cyclic groups. The first chapter introduces the kth expectation number. This formula allows us to determine the expected size of any group. Explicit examples and computations of the first and second expectation number are given in the second chapter. Here we show example of both cyclic and dihedral groups. In chapter three we discuss arithmetic …

Generalizations And Algebraic Structures Of The Grøstl-Based Primitives, Dmitriy Khripkov, Nicholas Lacasse, Bai Lin, Michelle Mastrianni, Liljana Babinkostova (Mentor)

Idaho Conference on Undergraduate Research

With the large scale proliferation of networked devices ranging from medical implants like pacemakers and insulin pumps, to corporate information assets, secure authentication, data integrity and confidentiality have become some of the central goals for cybersecurity. Cryptographic hash functions have many applications in information security and are commonly used to verify data authenticity. Our research focuses on the study of the properties that dictate the security of a cryptographic hash functions that use Even-Mansour type of ciphers in their underlying structure. In particular, we investigate the algebraic design requirements of the Grøstl hash function and its generalizations. Grøstl is an …

Spacetime Algebra As A Powerful Tool For Electromagnetism, Justin Dressel, Konstantin Y. Bliokh, Franco Nori

Mathematics, Physics, and Computer Science Faculty Articles and Research

We present a comprehensive introduction to spacetime algebra that emphasizes its practicality and power as a tool for the study of electromagnetism. We carefully develop this natural (Clifford) algebra of the Minkowski spacetime geometry, with a particular focus on its intrinsic (and often overlooked) complex structure. Notably, the scalar imaginary that appears throughout the electromagnetic theory properly corresponds to the unit 4-volume of spacetime itself, and thus has physical meaning. The electric and magnetic fields are combined into a single complex and frame-independent bivector field, which generalizes the Riemann-Silberstein complex vector that has recently resurfaced in studies of the single …

Characterization Of Gamma Hemirings By Generalized Fuzzy Gamma Ideals, Muhammad Gulistan, Muhammad Shahzad, Sarfraz Ahmed, Mehwish Ilyas

Applications and Applied Mathematics: An International Journal (AAM)

This paper has explored theoretical methods of evaluation in the identification of the boundedness of the generalized fuzzy gamma ideals. A functional approach was used to undertake a characterization of this structure leading to a determination of some interesting gamma hemirings theoretic properties of the generated structures. Gamma hemirings are the generalization of the classical agebraic structure of hemirings. Our aim is to extend this idea and, to introduce the concept of generalized fuzzy gamma ideals, generalized fuzzy prime (semiprime) gamma ideals, generalized fuzzy h -gamma ideals and generalized fuzzy k - gamma ideals of gamma hemirings and related properties …

On Factorization Of A Special Type Of Vandermonde Rhotrix, P. L. Sharma, Satish Kumar, Mansi Rehan

Applications and Applied Mathematics: An International Journal (AAM)

Vandermonde matrices have important role in many branches of applied mathematics such as combinatorics, coding theory and cryptography. Some authors discuss the Vandermonde rhotrices in the literature for its mathematical enrichment. Here, we introduce a special type of Vandermonde rhotrix and obtain its LR factorization namely left and right triangular factorization, which is further used to obtain the inverse of the rhotrix.

Dihedral-Like Constructions Of Automorphic Loops, Mouna Ramadan Aboras

Electronic Theses and Dissertations

In this dissertation we study dihedral-like constructions of automorphic loops. Automorphic loops are loops in which all inner mappings are automorphisms. We start by describing a generalization of the dihedral construction for groups. Namely, if (G , +) is an abelian group, m > 1 and α ∈2 Aut(G ), let Dih(m, G, α) on Z_m × G be defined by

(i, u )(j, v ) = (i + j , ((-1)^j u + v )α^ij ).

We prove that the resulting loop is automorphic if and only if m = 2 …

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 …

Commutative N-Ary Arithmetic, Aram Bingham

LSU New Orleans Theses and Dissertations

Motivated by primality and integer factorization, this thesis introduces generalizations of standard binary multiplication to commutative n-ary operations based upon geometric construction and representation. This class of operations are constructed to preserve commutativity and identity so that binary multiplication is included as a special case, in order to preserve relationships with ordinary multiplicative number theory. This leads to a study of their expression in terms of elementary symmetric polynomials, and connections are made to results from the theory of polyadic (n-ary) groups. Higher order operations yield wider factorization and representation possibilities which correspond to reductions in the set of primes …