# 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.