Changes in the GAP Character Table Library



This list contains the changes in the GAP character table library since the official upgrade for GAP 3.4 in October 1996. We denote mathematical errors by *** and new information by NEW. We use C to denote changes that are not obviously corrections; the number of these changes is kept small.



Release of GAP 4.1 in July 1999



Brauer Tables

Changes are assigned to the simple group involved, and shown in alphabetical order.


***   2E6(2)   :   
The faithful characters of 2.2E6(2) and 2.2E6(2).2 mod 19 were corrected (contributed by Jürgen Müller).
NEW   A13   :   
Indicators of A13 and S13 mod 2 are now known.
NEW   A14   :   
The tables of A14 mod 2, 11, 13 and tables of S14 mod 3, 5, 7 are now known.
NEW   A15   :   
All Brauer tables of S15 are now known (contributed by Jürgen Müller).
NEW   A16   :   
All Brauer tables of S16 are now known (contributed by Jürgen Müller).
NEW   A17   :   
All Brauer tables except the 3-modular one of S17 are now known (contributed by Jürgen Müller).
NEW   Co2   :   
The degree 156 538 character of Co2 mod 2 is now proved.
NEW   Co3   :   
One more indicator of Co3 mod 2 is now known.
***   Fi22   :   
The faithful characters of 6.Fi22 and 6.Fi22.2 mod 5 were corrected.
***   L3(4)   :   
The faithful characters of 122.L3(4) mod 7 were corrected.
NEW   O8+(3)   :   
The degree 50 596 characters of O8+(3) mod 2 are now proved. Consequently, also the degree 101 192 of O8+(3).21 mod 2, the degrees 50 596 and 101 192 of O8+(3).22 mod 2, the degrees 50 596 and 151 288 of O8+(3).3 mod 2, and the degree 202 384 of O8+(3).4 mod 2 are now proved.
C   ON   :   
The tables of ON and ON.2 mod 19 were changed in order to respect the choice of classes in Robert Wilson's ``Atlas of Group Representations''.
NEW   ON   :   
The tables of ON mod 11 and mod 31 are now known (contributed by Markus Ottensmann), as well as two new indicator values for ON mod 2.
C   Ru   :   
The tables of Ru and 2.Ru mod 5 and mod 7 were changed in order to respect the choice of classes in Robert Wilson's ``Atlas of Group Representations''.
NEW   Ru   :   
The tables of Ru and 2.Ru mod 13 and 29 are now known (contributed by Frank Röhr), as well as all indicator values of Ru mod 2.
***   S6(3)   :   
The characters of S6(3) and 2.S6(3) mod 7 were corrected; these changes do not affect the tables of S6(3).2 and 2.S6(3).2 mod 7 (contributed by Jürgen Müller).
***   Suz   :   
The faithful characters of 6.Suz and 6.Suz.2 mod 7 were corrected (contributed by Jürgen Müller).
NEW   Th   :   
The table of Th mod 19 is now known.



Ordinary Tables

The following changes affect several ordinary tables.


C   
Whitespace at the end of InfoText strings was removed.
NEW   
Various class fusions were added.
NEW   
Components tomidentifier and tomfusion were added in order to provide a (preliminary) interface to the library of tables of marks.
C   
In the library tables of alternating and symmetric groups, the classtext components (partitions parametrizing the conjugacy classes; in some cases, this had been hidden inside the CAS component of the table) were replaced by values of the attribute ClassParameters.
NEW   
The tables of L2(q) were added for those values of q for which the table of marks of L2(q) is now contained in the GAP library.
NEW   
In the library tables of symmetric groups, the partitions parametrizing the irreducible characters are stored on the tables, as value of the attribute CharacterParameters.
C   
The Identifier values of a few tables have been changed. For example, the table of L4(3).2^2 was previously known only as psl(4,3).v4. The old names are still valid.
***   
The character tables with identifiers iu332, D2MJ4, and P4L82 were removed. The former two tables were incomplete, the latter one was wrong.
NEW   
The ordinary tables of all maximal subgroups (and their class fusions) are now available for the groups G2(3), J3.2, 2.M12, M12.2, M22.2, and O8+(3).


The following changes are assigned to specific simple groups, and shown in alphabetical order.


***   A6   :   
The table automorphisms of 4.A6.23 were corrected.
NEW   Fi22   :   
The table of the maximal subgroup 27:S6(2) of Fi22.2 was added (contributed by E. Mpono).
NEW   Fi22   :   
The table of the maximal subgroup 26:U4(2).2 of the maximal subgroup 26:S6(2) of Fi22 was added (contributed by E. Mpono).
NEW   HS   :   
The tables (and fusions) of several normalizers of chains of p-subgroups were added.
C   J4   :   
The classes and the characters of the maximal subgroup of type 210:L5(2) were reordered, and the identifier was changed from l52m10 (from the CAS library) to 2^10:L5(2).
NEW   McL   :   
The table of the seventh maximal subgroup of McL.2 was added.
C   O8+(2)   :   
The classes and the characters of the maximal subgroup of type 26:A8 were reordered, and the identifier was changed from mo81p (from the CAS library) to 2^6:A8.
C   O8+(3)   :   
The fusions from O7(3) and 36:L4(3) were changed to the ones listed in the Atlas of Finite Groups.
NEW   O10+(2)   :   
The table of the maximal subgroup 28:O8+(2) was added.
NEW   S10(2)   :   
The table of the subgroup 28:S8(2) was added.
NEW   U4(3)   :   
The tables of 2.U4(3).(22)122 and 62.U4(3).23¢ were added.



Release of GAP 4.2 in March 2000



Brauer Tables

Changes are assigned to the simple group involved, and shown in alphabetical order.


NEW   A14   :   
Table of S14 mod 2 is now known (contributed by Dave Benson, added by Jürgen Müller).
***   A16   :   
Corrected principal block of the table of S16 mod 2.
NEW   ON   :   
The tables of 3.ON mod 11 and 31 are now known.
C   ON   :   
The tables of 3.ON and 3.ON.2 mod 19 were changed in order to respect the choice of classes in Robert Wilson's ``Atlas of Group Representations''. (This affects only the irreducibles of 3.ON of degrees 45090 and 77670.)



Ordinary Tables

The following changes affect several ordinary tables.


NEW   
Various class fusions were added.
C   
The galomorphisms components which had been contained in only a few tables were removed.
***   
The tomfusion values of L2(25) and 25:S6 were corrected.
***   
Element orders and power maps in the table with identifier s61p were corrected.
***   
The table with identifier 2.cenc1 was removed because it was inconsistent.
C   
Two instances of the table of (A6 ×A6):22 were unified.
C   
The tables with identifiers J2.2M4, 2^(2+4):(3x3):2^2, and 2^(2+4):(S3xS3) were unified; the identifiers J2.2M5 and 2^(2+4):(S3xS3) can be used to access the table.
NEW   
The ordinary tables of all maximal subgroups (and their class fusions) are now available for the groups S6, J2.2, McL.2, Suz.2, 3.Suz, 3.Suz.2, Sz(32).


The following changes are assigned to specific simple groups, and shown in alphabetical order.


NEW   A6   :   
The table of 12.A6.23 is now available.
***   Fi22   :   
The name of the table of the 7-th maximal subgroup of Fi22 was corrected from (2x2^(1+8):U4(2)):2 to (2x2^(1+8)):U4(2):2; similarly, (2x2^(1+8):U4(2):2):2 was corrected to (2x2^(1+8)):(U4(2):2x2).
NEW   Fi22   :   
The tables of the maximal subgroups 210:M22:2 of Fi22.2 and 211.M22 of 2.Fi22 are now available via the names Fi22.2M6 and 2.Fi22M5, respectively.
C   U3(5)   :   
The table with identifier U3(5).S3 was removed; it is replaced by the table with identifier U3(5).3.2 whose cosets of the outer automorphism group are ordered as in the Atlas of Finite Groups. The identifier U3(5).S3 is now admissible for the table with identifier U3(5).3.2.
***   U4(3)   :   
The table with identifier u4q3c was removed; characters and power maps of this table were erroneous. Apparently the table was thought to be that of 32.U4(3).23¢, which can be accessed with the name 3_2.U4(3).2_3'.
NEW   U4(3)   :   
The tables of 32.U4(3).(22)133 and U4(3).(22)133 are now available.



Since the Release of GAP 4.2



Brauer Tables

Changes are assigned to the simple group involved, and shown in alphabetical order.


NEW   A14   :   
The tables of A14 mod 3, 5, 7 and of S14 mod 11, 13 are now known (contributed by Jürgen Müller, using MOC and the GAP package specht).
NEW   A17   :   
The table of A17 mod 3 is now known (contributed by Jürgen Müller).
NEW   F3+   :   
All Brauer tables of the maximal subgroup 37.O7(3), and the 2-modular table of the maximal subgroup (3 ×O8+(3):3):2 are available (contributed by Gerhard Hiß).
NEW   L4(4)   :   
The tables of L4(4) mod 3, 5, 7, 17 are now known (contributed by Gerhard Hiß).
NEW   Ly   :   
The tables of Ly mod 37 and 67 are now known (contributed by Jürgen Müller, Max Neunhöffer, Frank Röhr, Robert Wilson).
NEW   O8+(3)   :   
The table of O8+(3).S3 mod 2 is available.
NEW         
The table of O8+(3).S3 mod 2 is available.
NEW   S10(2)   :   
The tables of S10(2) mod 7, 11, 17, 31 are now known (contributed by Gerhard Hiß).



Ordinary Tables

The following changes affect several ordinary tables.


NEW   
The ordinary tables of the Schur covers of the symmetric groups S14, S15, S16, S17, and S18 are now available (contributed by Gunter Malle).
NEW   
The ordinary tables of all maximal subgroups (and their class fusions) are now available for the group 2.HS (contributed by Ulrike Muthmann, Markus Ottensmann, and Frank Röhr).
NEW   
The ordinary tables of all maximal subgroups (and their class fusions) are now available for the groups 2.Suz and 6.Suz (contributed by Thomas Breuer and Frank Himstedt).
NEW   
The ordinary tables of all maximal subgroups (and their class fusions) are now available for the group S6(3).


The following changes are assigned to specific simple groups, and shown in alphabetical order.


NEW   E6(2)   :   
The table of the Chevalley group E6(2) is now available (contributed by B. Fischer).
NEW   F3+   :   
The table of the maximal subgroup 21+12.31.U4(3).22¢ of F3+ is now available via the names 2^(1+12).3_1.U4(3).2_2', F3+M9, and F3+C2B.
         
The table of the maximal subgroup 33.[310].GL3(3) of F3+ is now available via the name 3^3.[3^10].GL3(3).
NEW   F3+.2   :   
The table of the maximal subgroup 37.O7(3):2 of F3+.2 is now available (contributed by Faryad Ali).
***   HS   :   
The earlier (since CAS times) stored fusion of 2 ×A6.22 into HS did not lift to 2.HS and therefore was replaced by a compatible map.
NEW   L3(4)   :   
The table of 22.L3(4).22 is now available.
NEW   L4(9)   :   
The table of L4(9) is now available.
NEW   M   :   
The table of the maximal subgroup 21+24.Co1 is now available (contributed by Simon Norton).
NEW   S4(7)   :   
The tables of S4(7) and S4(7).2 are now available.
NEW   S6(2)   :   
The table of the maximal subgroup 26:S8 of 26:S6(2) (which is maximal in Fi22) is now available (contributed by Faryad Ali).
NEW   S6(5)   :   
The table of S6(4) is now available.
NEW   S6(5)   :   
The table of S6(5) is now available.
NEW   S12(2)   :   
The table of S12(2) is now available (contributed by Christoph Köhler).
***   Suz   :   
The earlier (since CAS times) stored fusion of (32 :4 ×A6).2 into Suz did not lift to 3.Suz and therefore was replaced by a compatible map.
NEW   U4(3)   :   
The table of 31.U4(3).22¢ was added.
NEW   U4(4)   :   
The table of U4(4) is now available.
NEW   U6(2)   :   
The table of the Schur cover (22 ×3).U6(2) is now available.



Last update December 21st, 2001.




File translated from TEX by TTH, version 3.01.
On 21 Jan 2002, 17:20.