# 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.2M4` 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.

Release of CTblLib 1.0 in January 2002
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.

Release of CTblLib 1.1 in February 2004
Brauer Tables
The following changes affect several Brauer tables.

NEW |  |
| The p-modular tables of G.S3 are available for all prime divisors p of |G|, for G one of L3(7), 3.L3(7), U3(5), 3.U3(5), U3(8), 3.U3(8), U3(11), and 3.U3(11).

The following changes are assigned to the simple group involved, and shown in alphabetical order.

NEW | Co2 | : |  |
| The indicators of the 36938 and 83948 in Co2 mod 2 are + (contributed by Jon Thackray).
NEW | Co3 | : |  |
| The indicator of the 88000 in Co3 mod 2 is + (contributed by Jon Thackray).
NEW | J4 | : |  |
| The tables of J4M1 mod 3 and 11 are available (contributed by Christoph Jansen).
NEW | O8+(3) | : |  |
| The tables of O8+(3).S4 mod 2, 5, and 7 are available (contributed by Christoph Jansen).
NEW | ON | : |  |
| The tables of ON.2 and 3.ON.2 mod 11 and 31 are available (contributed by Jürgen Müller).
NEW | ON | : |  |
| The indicator of the 25916 in ON mod 2 is + (contributed by Jon Thackray).
NEW | Suz | : |  |
| The indicators of 10504 in Suz mod 2 and Suz.2 mod 2 are + (contributed by Jon Thackray).

Ordinary Tables
The following changes affect several ordinary tables.

*** |  |
| The table automorphisms were corrected for the tables with the identifiers `A17`, `2.A4xS3`, `4.M22M6`, `3.2^(2+4):(3x3):2`, `3^(1+6):2^(3+4):3^2:2`, `5:4x2.A5`, `D8xV4`, `3.3^5.U4(2)`, `3^5.U4(2)`, `group3`, `s61p`, `2.(A4xA4)`, `3^3:A4`, `3^7.O7(3)`, `ThN2`, and `2^2.2E6(2).2`; one reason for these errors were missing power maps.
C |  |
| The formerly admissible names `c1`, `c2`, `c3` for the groups Co1, Co2, Co3 have been removed, because these names are now admissible names of cyclic groups. The names `c1m1`, `c1m4`, `c1m5`, `c1m24`, `c1n3`, `c2m1`, `c2m2`, `c2m3`, `c2m4`, `c2m5`, `c2m6`, `c2m7`, `c2m8`, `c2m9`, `c2m10`, `c2m11`, `c2m22`, (now called `M22C2A`), `c2m24` (now called `M24C2B`), `c3m1`, `c3m2`, `c3m3`, `c3m4`, `c3m5`, `c3m6`, `c3m7`, `c3m8`, `c3m9`, `c3m10`, `c3m11`, `c3m12`, `c3m13`, `c3m14`, `c3n2`, `c3n3`, `c3n5`, `mcn2`, `mcn3`, `mcn5`, `om83`, `o8m2`, `o8m2.2`, `o10m2`, `o10m2c`, `o12m2`, `rvn2`, `s2m11`, `s2m12`, `s2m21`, `s2m23`, and `s2m24` (now called `M24C2A`) were removed because they would refer to maximal subgroups of other groups or of groups with nonadmissible names. The names `u4q3.s3` and `f22u3` were removed, the table is now available with the name `S3xU4(3)`.
C |  |
| The ordering of maximal subgroups was changed for A5.2, A6.21, J3.2, M12.2, and McL.2, in order to be compatible with the ATLAS of Group Representations.
*** |  |
| The following class fusions were corrected. 27:S6(2) onto S6(2) and into Fi22.2; 3.31+4:4S5 into 3.McL.2; D8 ×V4 into HS; 3.22+4:(3 ×3):2 into 3.McL, 3.24:A7, and 3.McLM10; 4.M22M6 into 4.M22; G2(3)M6 into G2(3); A5.2 into M12.2; A11Syl2 into A11.
NEW |  |
| Missing power maps were added for the tables `suzs2`, `Fi22N3`, `RuN2`, `SuzN2`, `ThN2`, for L2(q), for various values of q, and for `7:3`, `23:11`, `11:10`, due to the availability of power maps in the underlying generic character tables.
NEW |  |
| The tables of all maximal subgroups are available for A5, A6, A7, A7.2, G2(4), L2(11), L2(11).2, U3(3).2, U5(2).
NEW |  |
| Several ordinary tables were added for which the tables of marks of the underlying groups are available in the GAP Library of Tables of Marks; this includes direct products and tables of small groups that can be computed easily with standard methods. The other way round, each ordinary table in the library for which the table of marks is contained in the GAP Library of Tables of Marks stores a class fusion into the table of marks.
NEW |  |
| Several ordinary tables of Sylow normalizers in sporadic simple groups are available, including the normalizers of cyclic Sylow subgroups.
NEW |  |
| The ordinary tables of G.S3 are available for G one of 22.L3(4), L3(7), 3.L3(7), 22.O8+(2), 3.U3(5), U3(8), 3.U3(8), U3(11), 3.U3(11).
NEW |  |
| The ordinary tables of L4(5), O7(5), O7(5).2, O9(3), S4(8), S8(3), U4(5) are available.
NEW |  |
| Generic character tables are available for the double covers of alternating and symmetric groups (contributed by Felix Noeske).

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

C | A6 | : |  |
| The fusions of A6, A6.21, 2.A6 into the tables of marks were changed in order to make diagrams of fusions commutative.
NEW | B | : |  |
| The tables of the maximal subgroups of the types 31+8.21+6.U4(2).2 and (22 ×F4(2)):2, and the table of the Sylow 7 normalizer are available, as well as the table of the maximal subgroup of the type (S3 ×2.Fi22).2 in 2.B.
NEW | Co1 | : |  |
| The table of the Sylow 5 normalizer is available.
NEW | Co2 | : |  |
| The table of the Sylow 2, 3, and 7 normalizers are available.
NEW | Fi24′ | : |  |
| The tables of the maximal subgroups 32.34.38.(A5 ×2A4).2, 23+12.(L3(2) ×A6), and 26+8.(S3 ×A8) and their class fusions are now available (contributed by Alexander Hulpke).
NEW |  |  |  |
| The tables of the Sylow 5 and 7 normalizer are available.
NEW | HN | : |  |
| The table of the maximal subgroup 4.HS.2 of HN.2 is available.
C | HS | : |  |
| The class fusion of HS into Co3 was replaced by one that is compatible with the Brauer tables available.
C | J2 | : |  |
| The class fusion of 2.J2.2 into 2.Suz was replaced by one that is compatible with the Brauer tables available.
*** |  |  |  |
| The class fusion of 2.HS.2 into HN was corrected.
*** | J4 | : |  |
| The table with identifier `(3^(1+2)x2).SD16` is not that of the Sylow 3 normalizer in J4; the name `J4N3` is no longer admissible for this table (reported by G. Navarro and A. Moreto).
NEW |  |  |  |
| The table of the Sylow 3 normalizer in J4 is available, via the names `(2x3^(1+2)_+:8):2` and `J4N3`.
C | L2(11) | : |  |
| The class fusion of L2(11) into J1 was replaced by one that is compatible with the Brauer tables available.
C | L2(16) | : |  |
| The class fusions of L2(16).2 into J3 and of L2(16).4 into J3.2 were replaced by maps that are compatible with the Brauer tables available.
C | L2(19) | : |  |
| The class fusion of L2(19) into J3 was replaced by one that is compatible with the Brauer tables available.
C | L2(27) | : |  |
| The class fusion of L2(27).3 into S6(3) was replaced by one that is compatible with the Brauer tables available.
C | L3(3) | : |  |
| The class fusions of L3(3).2 into G2(3) and S6(3) were replaced by maps that are compatible with the Brauer tables available.
C | L3(4) | : |  |
| The class fusions of 42.L3(4).21 into ON and of 42.L3(4).23 into 4.U4(3).23 were replaced by maps that are compatible with the Brauer tables available.
NEW |  |  |  |
| The tables of 22.L3(4).23 and 22.L3(4).3 are available.
NEW | L3(11) | : |  |
| The table of L3(11) is available (contributed by Frank Lübeck, computed with a program written by Boris Hemkemeier and Ulf Jürgens).
C | L4(3) | : |  |
| The class fusion of L4(3).22 into O7(3) was replaced by one that is compatible with the Brauer tables available.
NEW | L8(2) | : |  |
| The table of L8(2) is available (contributed by Frank Lübeck, computed with a program written by Boris Hemkemeier and Ulf Jürgens).
NEW | M | : |  |
| The tables of the Sylow 11 and 13 normalizer in M are available, via the names `MN11` and `MN13`.
NEW |  |  |  |
| The tables with the names `4.2^2`, `(2^2x3).2`, `1/2(8xS3)`, `M12C4`, `7^1+2.6`, `2x3.A6`, `5^1+2.2A4`, `(4xA6).2^2`, `13^1+2.2A4`, `7^1+4.2A7` are available (contributed by Simon Norton).
C | M23 | : |  |
| The class fusion of M23 into Co3 was replaced by one that is compatible with the Brauer tables available.
C | M24 | : |  |
| The class fusion of 24:A8 into M24 was replaced by one that is compatible with the Brauer tables available.
C | McL | : |  |
| The class fusion of McL.2 into Co3 was replaced by one that is compatible with the Brauer tables available.
*** |  |  |  |
| The 2nd power map of the table of the maximal subgroup of type 3.31+4:4S5 of 3.McL.2 was corrected.
C | O8−(2) | : |  |
| The class fusion of O8−(2).2 into S8(2) was replaced by one that is compatible with the Brauer tables available.
NEW | O8+(2) | : |  |
| The tables of 22.O8+(2).2 and 22.O8+(2).3 are available, as well as the table of the maximal subgroup of the type 21+6+.A8 of 2.O8+(2).
NEW | O8+(3) | : |  |
| The table of O8+(3).D8 is available.
NEW |  |  |  |
| The tables of the maximal subgroup 22.(U3(3).2 ×S4) of O8+(3).S4 and of the maximal subgroups 33+6:(L3(3) ×D8) and 36.L4(3).D8 of O8+(3).D8 are available.
NEW | O8−(3) | : |  |
| The table of O8−(3).21 is available.
NeW | O9(3) | : |  |
| The table of the maximal subgroup of type 28.A9 is available.
C | S4(4) | : |  |
| The class fusion of S4(4).2 into S8(2) was replaced by one that is compatible with the Brauer tables available.
C | S6(3) | : |  |
| The class fusion of 36:L3(3) into S6(3) was replaced by one that is compatible with the Brauer tables available.
C | U3(5) | : |  |
| The class fusion of 3.U3(5) into 3.McL was replaced by one that is compatible with the Brauer tables available.
NEW | U4(3) | : |  |
| The table of 22.U4(3).(22)122 is available.

Last update November 12th, 2003.

File translated from TEX by TTH, version 3.55.
On 31 Mar 2004, 10:54.