Group Explorer Data File Generator
In Group Explorer, you can see definitions of groups, which list a set of generators, and relations among them. Such definitions can be viewed as quotients of a free group on the generators. However, Group Explorer does not let you go in the other direction: take such definitions and produce a group.
So Yuichiro Urata has written a Java program to fill that need. He has given me permission to distribute it on this website, under the GNU General Public License. The directions below describe its use.
Download the .jar file from the link above. Ensure you have a working Java
installation on your system (and in your path). Run the program using a command like
the following, issued in the same folder as the .jar file. This example will create the
% java -jar multitable.jar D_5
Then a prompt like the following asks you to input generators.
You provide a list of elements, such as
You provide a list of relations, such as
It then produces a file named
You can also input a list of permutations as generators instead, and then it will not ask you for relations among them, but simply compute the group.
% java -jar multitable.jar A_7 generators = (1,2,3),(1,3,4),(1,4,5),(1,5,6),(1,6,7)
|Contact Nathan Carter|