Abstract algebra has traditionally been one of the most difficult and least visual subjects in the undergraduate mathematics curriculum. Often it is the least popular course in the minds of many mathematics majors by the time they finish their degree. Books in the newest generation of modern algebra textbooks include more emphasis on symmetry and applications such as coding theory, Cayley graphs, crystallography, boolean algebras, etc. to help “repair” the image problem that abstract algebra has had (see [3] for example). With the rise of computers in the classroom and computer algebra systems, there has also been an increased interest in computational techniques for polynomial rings and their applications to algebraic geometry at the undergraduate level (see [2]). With the increased emphasis on symmetry, algebraic geometry, etc., some students are starting to see a focus on more visual connections to abstract algebra. Currently we are engaged in an NSF funded project, The PascGalois project, to introduce a new class of examples for undergraduate algebra that will also focus on visualization. But we are not just focusing on objects related to algebra, we are also interested in providing ways to visualize fundamental algebraic concepts as well  notions such as closure, subgroups, and even quotient groups.
The PascGalois project has its origin in a simple exercise with Pascal’s triangle. Take each entry in the triangle and replace it with its congruent value mod n, where n is a positive integer larger than 1. By assigning each of the values 0,1,...,n1 a distinct color, patterns reminiscent of fractals appear. Our interest in this construction lies in the fact that addition mod n is the group multiplication of the cyclic group Z_{n} and the patterns seen in the triangles are related to the structure of these groups. These patterns have been studied in the literature where the triangles are often treated as a type of 1dimensional cellular automata (see [4] and [5]). A cellular automata consists of a discrete lattice of cells where each cell can take on values from some alphabet A. The cells are updated in discrete time steps according to some local rule  that is, the value of a given cell at time t is a function of the values of its neighboring cells at time t1. In the case of Pascal’s triangle mod n, each successive row corresponds to the next time frame. The local rule in this case is simply “add the two entries above” for the current cell value. We can think of all the cells outside the triangle as being zero.
Now let us generalize this construction using other groups. If G is a group with a and b elements of G, then a PascGalois triangle is formed by placing a down the left side of the triangle and b down the right. An entry in the interior of the triangle is determined by multiplying the two entries above it using the group multiplication. Of course, if G is nonabelian then one must specify a left or right multiplication. We denote this PascGalois triangle by (P_{G} , a, b). Like Pascal’s triangle mod n, PascGalois triangles can have selfsimilar properties. Furthermore, many of these properties can be described using subgroups, quotients, and automorphisms of the group G.



a 

b 














a 

ab 

b 












a 

aab 

abb 

b 










a 

aaab 
aababb 
abbb 

b 










PascGalois triangle generated by group elements a and b. 

To see how these structures can be used to visualize algebraic concepts, let us consider the triangle (P_{G}, a, b) where G=D_{3}, the symmetry group of an equilateral triangle, a corresponds to a reflection and b to a 120 degree rotation. If we form the quotient group modulo the rotational subgroup of order three, we obtain a group isomorphic to Z_{2}. We can visualize this by coloring all the rotations in the triangle one color and all the reflections a second color. This helps the student “see” how one can identify all the elements in a coset into a single point in a quotient group. Thinking of a composite structure such as an equivalence class as a point in a new abstract group can be difficult for many students. This exercise helps to visually reinforce the concept.
First 64 rows of the D3 (left) and Z2 (right) triangles. The Z2 triangle has 1 down the left side and 0 down the right. The quotient identification modulo the rotational subgroup of order 3 transforms the left triangle into the right triangle.As a third example let us consider PascGalois triangles generated by Z_{n} × Z_{m} where (0,1) is placed down the left and (1,0) is placed down the right. Students can reflect the images about the central vertical axis and examine what happens to each cell in the triangle.
The first 9 (left) and 16 (right) rows of triangles generated by
Z2 × Z2.
(0,1) is down the left side of the triangle and (1,0) down the right.
A related structure is a 2dimensional cellular automata generated by a group multiplication. 2D automata are rectangular grids of cells which take on various state values that change discretely over time according to some local rule. The 2D automata from this project are multistate variations of Conway’s Game of Life. The Game of Life is known to have interesting dynamical properties using two states (dead or alive) and using local rules to update the automata in the next time frame. Using groups as an alphabet and group multiplication for the various local rules, the long term behavior of these systems can often be understood in terms of the subgroup lattice of the underlying group and dimensions of the grid for the finite case.
The primary goal of this project is to develop exercises that will help undergraduate mathematics majors, including prospective secondary school teachers, to develop intuition about and visualize many of the fundamental concepts in Abstract Algebra. We are in the process of producing visualization materials that can be used for class demonstrations, student computer exercises, group projects, or even the starting point for an undergraduate research project. The focus will be on creating PascGalois triangles and other cellular automata generated using group and ring multiplication rules to aid in giving students a visual understanding of key concepts in abstract algebra. A secondary goal is to provide projects for undergraduate research.
Soon we will be adding Java run cellular automata. We hope to add visualization exercises for dynamical systems, number theory and mathematics enrichment in the not too distant future. Please contact us if you have any questions or would like preprints of articles in review.
References: