Finite Groups are groups which act on finite sets. They occour in many areas of computer science.
There are many way to define a group such as
- defining the undelying set, the group operation, the neutral element and the inverse operation
- Representation theory of finite groups
- group generators
- building groups from existing groups
- defining groups via orbits
What file formats are there for storing machine-readable descriptions of finite group?
What advantages or disadvantages do these formats have?
In what software are they supported?
