 Membership
 MAA Press
 Meetings
 Competitions
 Community
 Programs
 Students
 High School Teachers
 Faculty and Departments
 Underrepresented Groups
 MAA Awards
 MAA Grants
 News
 About MAA
Group Explorer has done two things here that make Figure 17 extremely helpful for visualizing the quotient group. First, it put translucent gray boxes around the cosets of H so that you can more easily think of them as single units, which is the first step in understanding a quotient group. Second, it brought the arrowheads on the red arrows near to one another so that they cluster nicely. This demonstrates that the red generator operates uniformly on each coset.
At this stage you can see that the red arrows that leave the top coset (the four yellow nodes) all move to the (blue) coset at the right. That is, the red arrows take the four yellow nodes to the four blue nodes. Similarly, they take the blue coset to the green coset, and then the green coset back to the yellow coset.
Now you can see the quotient group A_{4}/V_{4} by mentally taking a few steps back from the image in Figure 17, viewing each coset as a unit and each bundle of arrows as a single arrow. There are three cosets and the bundles of arrows march through the cosets in a cyclic fashion. So we can see that the quotient group is isomorphic to the cyclic group Z_{3}.
Figure 18. Organization by a

Here we notice that the right cosets are grouped together as before. However, the red edges do not move uniformly from one coset to another, but rather they head off in different directions. For example, if we follow the red arrow from the top element of the yellow coset, we end up at the green coset. If we follow it from the middle element of the yellow coset, we end up at the blue coset. And if we follow the red arrow from the bottom element, we end up at the purple coset. This demonstrates a fundamental feature of normal subgroups: the operation on cosets is welldefined if and only if the subgroup is normal.
Instructors will appreciate how the dynamic nature of Group Explorer can help students gain a fuller appreciation of a concept in just a few minutes of class time that would take significantly longer without the software. On your own, consider inspecting a few more subgroups and using the visual techniques introduced here to determine which are normal. A classic example is to compare two subgroups in S_{3}, the subgroup generated by (1 2) and the subgroup generated by (0 1 2).
Nathan Carter and Brad Emmons, "Group Visualization with [i]Group Explorer[/i]  Exhibiting Quotient Group Structure," Convergence (December 2005)
Journal of Online Mathematics and its Applications