Algebra Commons^™

Universal Centralizers, Morita Abelianization, And Wonderful Models In Lie Theory, Peter Crooks

Funded Research Records

No abstract provided.

Career: Algebra And Representation Theory For Non-Semisimple Topological Field Theory, Matthew Young

Funded Research Records

No abstract provided.

Geometric Algebra For Field Theory In Curved Spacetime, Kevin Rhine

All Graduate Reports and Creative Projects, Fall 2023 to Present

Physics seeks to understand the universe by uncovering the fundamental laws that govern matter, energy, space, and time. At its heart lies the challenge of unification: finding a mathematical framework that consistently describes these interactions across all scales, from the subatomic to the cosmological.

This thesis explores geometric algebra, a mathematical language that unifies algebra and geometry, as a tool for advancing this understanding. By extending this framework to curved spacetimes, where gravity influences the structure of space and time, we investigate its ability to describe physical phenomena such as electromagnetism and general relativity. A notable contribution includes the geometric …

Tasks For Learning Trigonometry, Sydnee Andreasen

All Graduate Reports and Creative Projects, Fall 2023 to Present

Many studies have been done using task-based learning within different mathematics courses. Within the field of trigonometry, task-based learning is lacking. The following research aimed to create engaging, mathematically rich tasks that meet the standards for the current trigonometry course at Utah State University and align with the State of Utah Core Standards for 7th through 12th grades. Four lessons were selected and developed based on the alignment of standards, the relevance to the remainder of the trigonometry course, and the relevance to courses beyond trigonometry. The four lessons that were chosen and developed were related to trigonometric ratios, graphing …

The Differentialgeometry Package, Ian M. Anderson, Charles G. Torre

Downloads

This is the entire DifferentialGeometry package, a zip file (DifferentialGeometry.zip) containing (1) a Maple Library file, DifferentialGeometryUSU.mla, (2) a Maple help file DifferentialGeometry.help, (3) a Maple Library file, DGApplicatons.mla. This is the latest version of the DifferentialGeometry software; it supersedes what is released with Maple.

Installation instructions

What's New In Differentialgeometry Release Dg2022, Ian M. Anderson, Charles G. Torre

Tutorials on... in 1 hour or less

This Maple worksheet demonstrates the salient new features and functionalities of the 2022 release of the DifferentialGeometry software package.

Universal Localizations Of Certain Noncommutative Rings, Tyler B. Bowles

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

A common theme throughout algebra is the extension of arithmetic systems to ones over which new equations can be solved. For instance, someone who knows only positive numbers might think that there is no solution to x + 3 = 0, yet later learns x = -3 to be a feasible solution. Likewise, when faced with the equation 2x = 3, someone familiar only with integers may declare that there is no solution, but may later learn that x = 3/2 is a reasonable answer. Many eventually learn that the extension of real numbers to complex numbers unlocks solutions …

A Re-Emergent Analysis Of Early Algebraic Learning, Steven Boyce, Diana Moss

Extension Research

In this paper, we discuss a novel approach for collaborative retrospective analysis. One researcher was directly involved in a classroom teaching experiment, adopting an emergent perspective as an interpreter-witness of classroom interactions during a four-week algebra instructional unit with sixth-grade students. The other researcher experienced and analyzed the data in reverse chronological order. We describe how this re-emergent perspective revealed aspects of students’ early algebraic reasoning.

Spacetime Groups, Ian M. Anderson, Charles G. Torre

Publications

A spacetime group is a connected 4-dimensional Lie group G endowed with a left invariant Lorentz metric h and such that the connected component of the isometry group of h is G itself. The Newman-Penrose formalism is used to give an algebraic classification of spacetime groups, that is, we determine a complete list of inequivalent spacetime Lie algebras, which are pairs (g,η), with g being a 4-dimensional Lie algebra and η being a Lorentzian inner product on g. A full analysis of the equivalence problem for spacetime Lie algebras is given which leads to a completely algorithmic solution to the …

Efficiently Representing The Integer Factorization Problem Using Binary Decision Diagrams, David Skidmore

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

Let p be a prime positive integer and let α be a positive integer greater than 1. A method is given to reduce the problem of finding a nontrivial factorization of α to the problem of finding a solution to a system of modulo p polynomial congruences where each variable in the system is constrained to the set {0,...,p − 1}. In the case that p = 2 it is shown that each polynomial in the system can be represented by an ordered binary decision diagram with size less than 20.25log₂(α)³ + 16.5log₂(α)² + …

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-Isomorphic Real Simple Lie Algebras Of The Same Complex Type And Character, Ian M. Anderson

Tutorials on... in 1 hour or less

Complex simple Lie algebras are classified by their root types. The type of a real simple Lie algebra is the root type of the associated complex algebra. The character of a real simple Lie algebra is the signature of its Killing form.

For many root types, the character is sufficient to uniquely classify the corresponding real Lie algebras. However, one should not take this statement to be literally true – there are a few cases where the character does not suffice to distinguish all possible real forms.

In this worksheet we will show that the 2 real non-isomorphic Lie algebras …

A Rank 7 Pfaffian System On A 15-Dimensional Manifold With F4 Symmetry Algebra, Ian M. Anderson

Tutorials on... in 1 hour or less

Let I be a differential system on a manifold M. The infinitesimal symmetry algebra of I is the set of all vectors fields X on M such that preserve I. In this worksheet we present an example, due to E. Cartan of a rank 7 Pfaffian system on a 15-dimensional manifold whose infinitesimal symmetry algebra is the split real form of the exceptional Lie algebra f4 .

Cartan Involutions And Cartan Decompositions Of A Semi-Simple Lie Algebra, Ian M. Anderson

Tutorials on... in 1 hour or less

In this worksheet we shall review the basic definitions and properties of Cartan involutions and Cartan decompositions and illustrate these using the DifferentialGeometry software package for Lie algebras.

Cartan Subalgebras, Compact Roots And The Satake Diagram For Su(2, 2), Ian M. Anderson

Tutorials on... in 1 hour or less

In this worksheet we use the 15-dimensional real Lie algebra su(2, 2) to illustrate some important points regarding the general structure theory and classification of real semi-simple Lie algebras.

1. Recall that a real semi-simple Lie algebra g is called a compact Lie algebra if the Killing form is negative definite. The Lie algebra g is compact if and only if all the root vectors for any Cartan subalgebra are purely imaginary. However, if the root vectors are purely imaginary for some choice of Cartan subalgebra it is not necessarily true that the Lie algebra is compact.

2. A real …

Jordan Algebras And The Exceptional Lie Algebra F4, Ian M. Anderson

Tutorials on... in 1 hour or less

This worksheet analyzes the structure of the Jordan algebra J(3, O) and its split and exceptional versions. The algebra of derivations is related to the exceptional Lie algebra f4.

How To Find A Levi Decomposition Of A Lie Algebra, Ian M. Anderson

How to... in 10 minutes or less

We show how to compute the Levi decomposition of a Lie algebra in Maple using the command LeviDecomposition. A worksheet and corresponding PDF can be found below.

How To Create A Jordan Algebra, Ian M. Anderson, Thomas J. Apedaile

How to... in 10 minutes or less

We show how to create a Jordan algebra in Maple using the commands AlgebraLibraryData and AlgebraData.

How To Create The Quaternion & Octonion Algebras, Ian M. Anderson, Thomas J. Apedaile

How to... in 10 minutes or less

We show how to create the quaternion and octonion algebras with the DifferentialGeometry software. For each algebra, there is a split-form also available.

How To Create A Lie Algebra, Ian M. Anderson

How to... in 10 minutes or less

We show how to create a Lie algebra in Maple using three of the most common approaches: matrices, vector fields and structure equations. PDF and Maple worksheets can be downloaded from the links below.

A Comparison Theorem For The Topological And Algebraic Classification Of Quaternionic Toric 8-Manifolds, Piotr Runge

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

In order to discuss topological properties of quaternionic toric 8-manifolds, we introduce the notion of an algebraic morphism in the category of toric spaces. We show that the classification of quaternionic toric 8-manifolds with respect to an algebraic isomorphism is finer than the oriented topological classification. We construct infinite families of quaternionic toric 8-manifolds in the same oriented homeomorphism type but algebraically distinct. To prove that the elements within each family are of the same oriented homeomorphism type, and that we have representatives of all such types of a quaternionic toric 8-manifold, we present and use a method of evaluating …

An Investigation Of The Range Of A Boolean Function, Norman H. Eggert, Jr.

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The purpose of this section is to define a boolean algebra and to determine some of the important properties of it.

A boolean algebra is a set B with two binary operations, join and meet, denoted by + and juxtaposition respectively, and a unary operation, complementation, denoted by ', which satisfy the following axioms:

(1) for all a,b ∑ B (that is, for all a,b elements of B) a + b = b + a and a b = b a, (the commutative laws),

(2) for all a,b,c ∑ B, a + b c =(a + b) (a + b) …