Computing the character table of a finite group

Abstract Brauer’s theorem on induced characters is an invitation to an algorithm for computing the character table of a finite group. We describe an implementation of such an algorithm and report on its performance. The main ingredients of the algorithm are Brauer’s theorem, and lattice reduction by LLL. We report on the performance of the algorithm in computing character tables of various groups, including local subgroups of 3 F i 24 and maximal subgroups of the Monster. We find that for many interesting groups it performs far better than using the current standard method (Burnside–Dixon–Schneider).

[1]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[2]  John N. Bray,et al.  Explicit representations of maximal subgroups of the Monster , 2006 .

[3]  Jean-Pierre Serre,et al.  Linear representations of finite groups , 1977, Graduate texts in mathematics.

[4]  Herbert Pahlings,et al.  Computational aspects of representation theory of finite groups , 1991 .

[5]  John McKAY.  The construction of the character table of a finite group from generators and relations , 1970 .

[6]  Michael C. Slattery,et al.  Computing Character Degrees in p-Groups , 1986, J. Symb. Comput..

[7]  The Fischer-Clifford matrices of a maximal subgroup of ′₂₄ , 2003 .

[8]  H. Brown,et al.  Computational Problems in Abstract Algebra , 1971 .

[9]  Henri Cohen,et al.  A course in computational algebraic number theory , 1993, Graduate texts in mathematics.

[10]  G. Michler,et al.  The character values of the irreducible constituents of a transitive permutation representation , 2002 .

[11]  S. B. Conlon.  Computing Modular and Projective Character Degrees of Soluble Groups , 1990, J. Symb. Comput..

[12]  H. Pahlings.  Computing with characters of finite groups , 1990 .

[13]  Claus-Peter Schnorr,et al.  Lattice Basis Reduction: Improved Practical Algorithms and Solving Subset Sum Problems , 1991, FCT.

[14]  The Alperin and Uno Conjectures for the Fischer Simple Group Fi22 , 2005 .

[15]  I. Isaacs.  Character Theory of Finite Groups , 1976 .

[16]  W. Plesken.  Solving XXtr = A over the integers , 1995 .

[17]  John J. Cannon,et al.  The Magma Algebra System I: The User Language , 1997, J. Symb. Comput..

[18]  W. Burnside,et al.  Theory of Groups of Finite Order , 1909 .

[19]  S. B. Conlon.  Calculating Characters of p-Groups , 1990, J. Symb. Comput..

[20]  John D. Dixon.  High speed computation of group characters , 1967 .

[21]  Gerhard J. A. Schneider.  Dixon's Character Table Algorithm Revisited , 1990, J. Symb. Comput..