Creating a dynamic database of finite groups (Q7286271)

This article describes the abstract finite groups database added to the \(L\)-functions and Modular Forms Database (LMFDB). The database contains data for over \(540,000\) finite groups, \(275\) million subgroups and almost \(40\) million irreducible complex characters. It is dynamically searchable: many invariants and properties are precomputed, so that users can search by structural properties, subgroup data, character data, and related constructions without carrying out the corresponding computations directly in GAP or Magma.\N\NThe data come from several sources, including the Small Groups library, the transitive groups database, classical groups, matrix groups, perfect groups, sporadic groups, and automorphism groups of curves. The authors compute, when feasible, subgroup lattices up to conjugacy or automorphism, conjugacy classes, character tables, special subgroups such as the centre, commutator subgroup, Frattini subgroup and Fitting subgroup, as well as series, presentations, and representations. For solvable groups, they discuss methods for producing more human-readable polycyclic presentations.\N\NThe article also explains the labeling of groups, conjugacy classes, divisions, characters, and subgroups. These labels are intended to give permanent identifiers, compatible with GAP Small Groups labels when the ranges overlap. The final part describes links between the abstract groups database and other parts of the LMFDB, including Galois groups, number fields, \(p\)-adic fields, Artin representations, modular curves, Sato-Tate groups and automorphism groups of curves.\N\NFor the entire collection see [Zbl 08203827].