What is group?group is a small software intented to illustrate the theory of finite groups. This is a UNIX command (or DOS for Windows) which must be ran from any shell window. Give your operation table and group will test it for you and will return all subgroups with their properties. That's all! group is a free software distributed under the GNU general public licence. You can freely download, use, modify and re-distribute it. ⁂ Goup theoryDefinition of group
A group is a set G in which an operation has been defined (noted * by
convention). The couple (G,*) must verify the following axioms: Abelian group
A group (G,*) is an Abelian group if the commutativity axiom is verified: Subgroup
A subgroup H is a non-empty subset of G such that: For any a,b in H, a*b^{-1} belongs to H Normal subgroup
A subgroup H of G is a normal subgroup if: For any a in G and for any h in H, a*h*a^{-1} belongs to H Indeed, the mathematical theory of groups is much larger than the above summary. It exists many extended books and internet sites in which you can find all details and comments on the theory. But, we have limited the summary to the only definitions implemented in the software group. ⁂ ExampleHere is an example of use of group. In books of mathematics devoted theory of groups; first exercices on groups are sometimes based on the explicit construction of groups by giving algebraic relationships on elements. For example,
Construct a group generated by two elements i and j such as
What do we have to do? The first step is to construct the operation table of the group by applying the algebraic relationships. We get,
The problem is now to check if axioms (A1) - (A5) apply. Indeed, for such an example, it can be done by hands. But you can imagine that the exercice becomes tedious (especially to check associativity) for larger groups. The other solution is to write a text file named for instance
# Input file to solve my exercice This is the imput file for group. It contains four fields which are,
Then run group by typing
Operation table You can observe that all elements of the group are the product of elements of normal subgroups {e,i} and {e,j} which are cyclic of order 2 and whose intersection is {e}. The group is therefore Z/2Z X Z/2Z that is Klein's group. ⁂ DownloadHistory of releases
10 january 2010, release 0.1
Compiling group
To compile the source of group on Unix/Linux systems, download the tarball group-0.1.tar.gz and untar it with
⁂ ContactGroup is developed by Alain Le Bot . But other developers are welcome.Bug report and requirements to alain.le-bot@ec-lyon.fr |