Eine aufbereitete Darstellung der Quelle

 
     
 
 
 
 
 
 

Benutzer

Impressum ctblm.htm   Interaktion und
PortierbarkeitHTML

 

 products/Sources/formale Sprachen/GAP/pkg/ctbllib/htm/ctblm.htm


<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
        "http://www.w3.org/TR/html4/loose.dtd">
<html>
<meta name="GENERATOR" content="TtH 3.59">
 <style type="text/css"> div.p { margin-top: 7pt;}</style>
 <style type="text/css"><!--
 td div.comp { margin-top: -0.6ex; margin-bottom: -1ex;}
 td div.comb { margin-top: -0.6ex; margin-bottom: -.6ex;}
 td div.hrcomp { line-height: 0.9; margin-top: -0.8ex; margin-bottom: -1ex;}
 td div.norm {line-height:normal;}
 span.roman {font-family: serif; font-style: normal; font-weight: normal;} 
 span.overacc2 {position: relative;  left: .8em; top: -1.2ex;}
 span.overacc1 {position: relative;  left: .6em; top: -1.2ex;} -->
</style>
 

             <title>Some steps in the verification of the ordinary character table of the Monster group</title>
<h1 align="center">Some steps in the verification of the ordinary character table of the Monster group</h1>
  <body bgcolor="FFFFFF"> 

<div class="p"><!----></div>

<h3 align="center"> T<font size="-2">HOMAS</font> B<font size="-2">REUER</font>, K<font size="-2">AY</font> M<font size="-2">AGAARD</font>, R<font size="-2">OBERT</font> A. W<font size="-2">ILSON</font> </h3>

<div class="p"><!----></div>

<h3 align="center">December 12th, 2024 </h3>

<div class="p"><!----></div>


<div class="p"><!----></div>
We show the details of certain computations that are used in [<a href="#Mverify" name="CITEMverify">BMW24</a>].

<div class="p"><!----></div>



<div class="p"><!----></div>

<h1>Contents </h1><a href="#tth_sEc1"
>1  Overview</a><br /><a href="#tth_sEc2"
>2  Some restrictions of the natural character of <font size="+0">M</font></a><br /><a href="#tth_sEc3"
>3  The permutation character (1<sub>2.<font size="+0">B</font></sub><sup><font size="+0">M</font></sup>)<sub>2.<font size="+0">B</font></sub></a><br /><a href="#tth_sEc4"
>4  The conjugacy classes of <font size="+0">M</font></a><br />    <a href="#tth_sEc4.1"
>4.1  Our strategy to describe the conjugacy classes of <font size="+0">M</font></a><br />    <a href="#tth_sEc4.2"
>4.2  Utility functions</a><br />    <a href="#tth_sEc4.3"
>4.3  Classes of elements of even order</a><br />    <a href="#tth_sEc4.4"
>4.4  Classes of elements of order divisible by 3</a><br />    <a href="#tth_sEc4.5"
>4.5  Classes of elements of order divisible by 5</a><br />    <a href="#tth_sEc4.6"
>4.6  Classes of elements of order divisible by 11</a><br />    <a href="#tth_sEc4.7"
>4.7  Classes of elements of the orders 17, 19, 23, 31, 47</a><br />    <a href="#tth_sEc4.8"
>4.8  Classes of elements of order 13</a><br />    <a href="#tth_sEc4.9"
>4.9  Classes of elements of order divisible by 29</a><br />    <a href="#tth_sEc4.10"
>4.10  Classes of elements of order divisible by 41</a><br />    <a href="#tth_sEc4.11"
>4.11  Classes of elements of order divisible by 59</a><br />    <a href="#tth_sEc4.12"
>4.12  Classes of elements of order divisible by 71</a><br />    <a href="#tth_sEc4.13"
>4.13  Classes of elements of order divisible by 7</a><br /><a href="#tth_sEc5"
>5  The power maps of <font size="+0">M</font></a><br /><a href="#tth_sEc6"
>6  The degree 196 883 character &#967; of <font size="+0">M</font></a><br /><a href="#tth_sEc7"
>7  The irreducible characters of <font size="+0">M</font></a><br /><a href="#tth_sEc8"
>8  Appendix: The character table of 2<sup>1+24</sup><sub>+</sub>.<span class="roman">Co</span><sub>1</sub></a><br /><a href="#tth_sEc9"
>9  Appendix: The character table of 3<sup>1+12</sup><sub>+</sub>:6.<span class="roman">Suz</span>.2</a><br />    <a href="#tth_sEc9.1"
>9.1  Overview</a><br />    <a href="#tth_sEc9.2"
>9.2  A permutation representation of H / X</a><br />    <a href="#tth_sEc9.3"
>9.3  A permutation representation of H</a><br />    <a href="#tth_sEc9.4"
>9.4  Compute the character table of H</a><br /><a href="#tth_sEc10"
>10  Appendix: The character table of 5<sup>1+6</sup><sub>+</sub>.4.<span class="roman">J</span><sub>2</sub>.2</a><br />

<div class="p"><!----></div>

<div class="p"><!----></div>

 <h2><a name="tth_sEc1">
1</a>  Overview</h2>

<div class="p"><!----></div>
The aim of [<a href="#Mverify" name="CITEMverify">BMW24</a>] is to verify the ordinary character table
of the Monster group <font size="+0">M</font>.
Here we collect,
in the form of an explicit and reproducible
<font face="helvetica">GAP</font> [<a href="#GAP" name="CITEGAP">GAP24</a>] session protocol,
the relevant computations that are needed in that paper.

<div class="p"><!----></div>
We proceed as follows.

<div class="p"><!----></div>
Section <a href="#natural">2</a> verifies the decomposition of the restrictions of the
ordinary irreducible character of degree 196 883 of <font size="+0">M</font>
to the subgroups 2.<font size="+0">B</font> and 3.<span class="roman">Fi</span><sub>24</sub><sup>&# style='color: green'>8242;</sup> (and 3.<span class="roman">Fi</span><sub>24</sub>),
as stated in [<a href="#Mverify" name="CITEMverify">BMW24</a>,Lemma 1].

<div class="p"><!----></div>
Section <a href="#suborbits">3</a> verifies the decompositions of
the transitive constituents of the permutation character
of the action of C<sub><font size="+0">M</font></sub>(a)  &#8773; 2.<font size="+0">B</font> on the conjugacy class a<sup><font size="+0">M</font></sup>,
where a is a <tt>2A</tt> involution in <font size="+0">M</font>.

<div class="p"><!----></div>
Sections <a href="#Mclasses">4</a> and <a href="#Mpowermaps">5</a> construct the
character table head of <font size="+0">M</font>, that is,
the lists of conjugacy class lengths, element orders, and power maps.

<div class="p"><!----></div>
Section <a href="#sect:natcharM">6</a> constructs the values of the irreducible
degree 196 883 character of <font size="+0">M</font>
and decides the isomorphism type of the <tt>3B</tt> normalizer in <font size="+0">M</font>.

<div class="p"><!----></div>
With this information and with the (already verified) character tables
of the subgroups 2.<font size="+0">B</font>, 2<sup>1+24</sup><sub>+</sub>.<span class="roman">Co</span><sub>1</sub>, 3.<span class="roman">Fi</span><sub>24</sub>, and
3<sup>1+12</sup><sub>+</sub>.2.<span class="roman">Suz</span>.2 of <font size="+0">M</font>,
computing the irreducible characters of <font size="+0">M</font> is then easy;
this corresponds to [<a href="#Mverify" name="CITEMverify">BMW24</a>,Section 5]
and is done in Section <a href="#sect:irreduciblesM">7</a>.

<div class="p"><!----></div>
The final sections <a href="#sect:table_c2b">8</a>,
<a href="#sect:norm3B">9</a>, <a href="#sect:table_N5B">10</a> document the constructions of three
character tables of subgroups of <font size="+0">M</font>.

<div class="p"><!----></div>
We will use the <font face="helvetica">GAP</font> Character Table Library
and the interface to the  A<font size="-2">TLAS</font> of Group Representations [<a href="#AGRv3" name="CITEAGRv3">WWT<sup>+</sup></a>],
thus we load these <font face="helvetica">GAP</font> packages.

<div class="p"><!----></div>

<pre>
    gap&#62; LoadPackage( "ctbllib", false );
    true
    gap&#62; LoadPackage( "atlasrep", false );
    true

</pre>

<div class="p"><!----></div>
The <font face="helvetica">MAGMA</font> system [<a href="#Magma" name="CITEMagma">BCP97</a>] will be needed
for computing some character tables
and for many conjugacy tests.
If the following command returns <tt>false</tt>
then these steps will not work.

<div class="p"><!----></div>

<pre>
    gap&#62; CTblLib.IsMagmaAvailable();
    true

</pre>

<div class="p"><!----></div>
We set the line length to 72, like in other standard testfiles.

<div class="p"><!----></div>

<pre>
    gap&#62; SizeScreen( [ 72 ] );;

</pre>

<div class="p"><!----></div>

 <h2><a name="tth_sEc2">
2</a>  Some restrictions of the natural character of <font size="+0">M</font></h2><a name="natural">
</a>

<div class="p"><!----></div>
We assume the existence of an ordinary irreducible character &#967;
of degree 196 883 of the Monster group <font size="+0">M</font>,
and that <font size="+0">M</font> has only two conjugacy classes of involutions.

<div class="p"><!----></div>
First we compute the restriction of &#967; to 2.<font size="+0">B</font>.

<div class="p"><!----></div>
The only faithful degree 196 883 character of 2.<font size="+0">B</font>
that has at most two different values on involutions is
1a + 4371a + 96255a + 96256a, as claimed in [<a href="#Mverify" name="CITEMverify">BMW24</a>,Lemma 1].
This follows from the following data about 2.<font size="+0">B</font>.

<div class="p"><!----></div>

<pre>
    gap&#62; table2B:= CharacterTable( "2.B" );;
    gap&#62; cand:= Filtered( Irr( table2B ), x -&#62; x[1] <= 196883 );;
    gap&#62; List( cand, x -&#62; x[1] );
    [ 1, 4371, 96255, 96256 ]
    gap&#62; inv:= Positions( OrdersClassRepresentatives( table2B ), 2 );
    [ 2, 3, 4, 5, 7 ]
    gap&#62; PrintArray( List( cand, x -&#>62; x{ Concatenation( [ 1 ], inv ) } ) );
    [ [       1,       1,       1,       1,       1,       1 ],
      [    4371,    4371,    -493,     275,     275,      19 ],
      [   96255,   96255,    4863,    2047,    2047,     255 ],
      [   96256,  -96256,       0,    2048,   -2048,       0 ] ]

</pre>

<div class="p"><!----></div>
Note that 96256a must occur as a constituent
because it is the only faithful candidate,
and it can occur only once because otherwise only 4371a + 2 &#183;96256a
or 4371 &#183;1a + 2 &#183;96256a would be possible decompositions,
which have more than two values on involution classes.
Thus the values of &#967;<sub>2.<font size="+0">B</font></sub> on the classes 4 and 5 differ by 4096.

<div class="p"><!----></div>
If 96255a would <b>not</b> occur then the values of &#967;<sub>2.<font size="+0">B</font></sub>
on the classes 3 and 7 would differ by 512 times the multiplicity of 4371,
but 65659 &#183;1a + 8 &#183;4371a + 96256a is not a solution.
Thus 96255a must occur exactly once.

<div class="p"><!----></div>
The sum of 96255a and 96256a has four different values
on involutions, hence also 4371a must occur.

<div class="p"><!----></div>
We see that the values of &#967; on the classes of involutions are
4371 and 275, respectively.

<div class="p"><!----></div>

<pre>
    gap&#62; Sum( cand ){ inv };
    [ 4371, 4371, 4371, 275, 275 ]

</pre>

<div class="p"><!----></div>
The restriction of &#967; to 3.<span class="roman">Fi</span><sub>24</sub><sup>&#8242;</sup> is computed similarly,
as follows.

<div class="p"><!----></div>
Exactly seven irreducible characters of 3.<span class="roman">Fi</span><sub>24</sub><sup>&#yle='color: green'>8242;</sup> can occur as
constituents of the restriction of &#967;.

<div class="p"><!----></div>

<pre>
    gap&#62; table3Fi24prime:= CharacterTable( "3.Fi24'" );;
    gap&#62; cand:= Filtered( Irr( table3Fi24prime ), x -&#='color: green'>62; x[1] <= 196883 );;
    gap&#62; inv:= Positions( OrdersClassRepresentatives( table3Fi24prime ), 2 );
    [ 4, 7 ]
    gap&#62; mat:= List( cand, x -&#62; x{ Concatenation([1], inv)});;
    gap&#62; PrintArray( mat );
    [ [      1,      1,      1 ],
      [   8671,    351,    -33 ],
      [  57477,   1157,    133 ],
      [    783,     79,     15 ],
      [    783,     79,     15 ],
      [  64584,   1352,     72 ],
      [  64584,   1352,     72 ] ]

</pre>

<div class="p"><!----></div>
Since &#967; is rational, we need to consider only rationally irreducible
characters, that is, the possible constituents are 1a, 8671a, 57377a,
783ab, and 64584ab.

<div class="p"><!----></div>

<pre>
    gap&#62; List( cand, x -&#62; x[2] );
    [ 1, 8671, 57477, 783*E(3), 783*E(3)^2, 64584*E(3), 64584*E(3)^2 ]

</pre>

<div class="p"><!----></div>
We see that the value on the first class of involutions must be 4371,
since all values of the possible constituents are positive
and too large for the other possible value 275.

<div class="p"><!----></div>
Since the values of all possible constituents on the second class of
involutions are at most equal to the values on the first class,
and equal only for 1a,
we conclude that the value on the second class of involutions is 275.

<div class="p"><!----></div>
We see from the ratio of the value on the identity element
and on the first class of involutions
that constituents of degree 57477 or 2 &#183;64584 exist.

<div class="p"><!----></div>

<pre>
    gap&#62; Float( 196883 / 4371 );
    45.043
    gap&#62; List( mat, v -&#62; Float( v[1] / v[2] ) );
    [ 1., 24.7037, 49.6776, 9.91139, 9.91139, 47.7692, 47.7692 ]
    gap&#62; Float( ( 196883 - 2 * 64584 ) / ( 4371 - 2 * 1352 ) );
    40.6209
    gap&#62; Float( ( 196883 - 57477 ) / ( 4371 - 1157 ) );
    43.3746
    gap&#62; Float( ( 196883 - 2*57477 ) / ( 4371 - 2*1157 ) );
    39.8294
    gap&#62; Float( ( 196883 - 3*57477 ) / ( 4371 - 3*1157 ) );
    27.1689

</pre>

<div class="p"><!----></div>
First suppose that 64584ab is not a constituent.
The above ratios imply that (at least) three constituents of degree 57477
must occur.

<div class="p"><!----></div>
However, then the degree admits at most two constituents of degree 8671,
hence the value on the second class of involutions cannot be 275,
a contradiction.

<div class="p"><!----></div>
This means that both 64584ab and 57477a occur with multiplicity one.

<div class="p"><!----></div>

<pre>
    gap&#62; mat[3] + mat[6] + mat[7];
    [ 186645, 3861, 277 ]

</pre>

<div class="p"><!----></div>
The second involution class forces one constituent of degree 8671
(which is the only candidate that can contribute a negative value),
and then a character of degree 1567 remains to be decomposed.
The only solution for the degrees of its constituents is 1 + 1566.
We get the decomposition
1a + 8671a + 57477a + 783ab + 64584ab,
as claimed in [<a href="#Mverify" name="CITEMverify">BMW24</a>,Lemma 2].

<div class="p"><!----></div>

<pre>
    gap&#62; Sum( mat );
    [ 196883, 4371, 275 ]

</pre>

<div class="p"><!----></div>
The characters of the degrees 1, 8671, and 57477 extend two-fold
from 3.<span class="roman">Fi</span><sub>24</sub><sup>&#8242;</sup> to 3.<span class="roman">Fi</span><sub>24</sub>.
In order to decompose the restriction of &#967; to 3.<span class="roman">Fi</span><sub>24</sub>,
we have to determine which extensions from 3.<span class="roman">Fi</span><sub>24</sub><sup>&#tyle='color: green'>8242;</sup> occur.
The following irreducible characters of 3.<span class="roman">Fi</span><sub>24</sub> can occur as
constituents of the restriction of &#967;.

<div class="p"><!----></div>

<pre>
    gap&#62; table3Fi24:= CharacterTable( "3.Fi24" );;
    gap&#62; cand:= Filtered( Irr( table3Fi24 ), x -&#62; x[1] <= 196883 );;
    gap&#62; inv:= Positions( OrdersClassRepresentatives( table3Fi24 ), 2 );
    [ 3, 5, 172, 173 ]
    gap&#62; mat:= List( cand, x -&#62; x{ Concatenation([1], inv)});;
    gap&#62; PrintArray( mat );
    [ [       1,       1,       1,       1,       1 ],
      [       1,       1,       1,      -1,      -1 ],
      [    8671,     351,     -33,    1495,     -41 ],
      [    8671,     351,     -33,   -1495,      41 ],
      [   57477,    1157,     133,    5865,     233 ],
      [   57477,    1157,     133,   -5865,    -233 ],
      [    1566,     158,      30,       0,       0 ],
      [  129168,    2704,     144,       0,       0 ] ]

</pre>

<div class="p"><!----></div>
We get the decomposition
1a + 8671b + 57477a + 1566a + 129168a claimed in [<a href="#Mverify" name="CITEMverify">BMW24</a>,Lemma 2].

<div class="p"><!----></div>

<pre>
    gap&#62; Sum( mat{ [ 1, 4, 5, 7, 8 ] } );
    [ 196883, 4371, 275, 4371, 275 ]

</pre>

<div class="p"><!----></div>

 <h2><a name="tth_sEc3">
3</a>  The permutation character (1<sub>2.<font size="+0">B</font></sub><sup><font size="+0">M</font></sup>)<sub>2.<font size="+0">B</font></sub></h2><a name="suborbits">
</a>

<div class="p"><!----></div>
According to [<a href="#GMS89" name="CITEGMS89">GMS89</a>,Tables VII, IX],
the restriction of the permutation character 1<sub>2.<font size="+0">B</font></sub><sup><font size="+0">M</font></sup> to 2.<font size="+0">B</font>
decomposes into nine transitive permutation characters 1<sub>U</sub><sup>2.<font size="+0">B</font></sup>,
with the point stabilizers U listed in Table <a href="#suborbitsTable">1</a>.

<div class="p"><!----></div>

<div class="p"><!----></div>
<a name="tth_tAb1">
</a> <center>Table 1: Suborbit information</center><a name="suborbitsTable">
</a>

<center>

<table>
<tr><td>a c  &#8712;     </td><td>G<sub>a,c</sub>  </td><td align="right">&#e='color: green'>124;c<sup>G<sub>a</sub></sup>&#124; </td></tr>
<tr><td><tt>1A</tt> </td><td>2.<font size="+0">B</font>            </td><td align="right">1 </td></tr>
<tr><td><tt>2A</tt> </td><td>2<sup>2</sup>.<sup>2</sup><span class="roman">E</span><sub>6</sub>(2) </td><td align="right">27143910000 </td></tr>
<tr><td><tt>2B</tt> </td><td>2<sup>2+22</sup>.<span class="roman">Co</span><sub>2</sub>  </td><td align="right">11707448673375 </td></tr>
<tr><td><tt>3A</tt> </td><td><span class="roman">Fi</span><sub>23</sub>        </td><td align="right">2031941058560000 </td></tr>
<tr><td><tt>3C</tt> </td><td><span class="roman">Th</span>             </td><td align="right">91569524834304000 </td></tr>
<tr><td><tt>4A</tt> </td><td>2<sup>1+22</sup>.<span class="roman">McL</span>   </td><td align="right">1102935324621312000 </td></tr>
<tr><td><tt>4B</tt> </td><td>2.<span class="roman">F</span><sub>4</sub>(2)       </td><td align="right">1254793905192960000 </td></tr>
<tr><td><tt>5A</tt> </td><td><span class="roman">HN</span>             </td><td align="right">30434513446055706624 </td></tr>
<tr><td><tt>6A</tt> </td><td>2.<span class="roman">Fi</span><sub>22</sub>      </td><td align="right">64353605265653760000 </td></tr></table>

</center>

<div class="p"><!----></div>
Here a denotes the central involution in 2.<font size="+0">B</font>,
the action is that on the <font size="+0">M</font>-conjugacy class of a,
and c  &#8712; a<sup><font size="+0">M</font></sup> is a representative of the orbit in question.

<div class="p"><!----></div>
In this section, we compute the nine characters 1<sub>U</sub><sup>2.<font size="+0">B</font></sup>,
where U is one of the above point stabilizers G<sub>a,c</sub>.
Note that a  &#8712; G<sub>a,c</sub> holds
(and thus the character is an inflated character of <font size="+0">B</font>)
if and only if a and c commute;
this happens exactly for the first three orbits.

<div class="p"><!----></div>
All subgroups U except 2<sup>2+22</sup>.<span class="roman">Co</span><sub>2</sub> and 2<sup>1+22</sup>.<span class="roman">McL</span>
are  A<font size="-2">TLAS</font> groups whose character tables have been verified.
The subgroup 2<sup>2+22</sup>.<span class="roman">Co</span><sub>2</sub> is the preimage of a maximal subgroup
2<sup>1+22</sup>.<span class="roman">Co</span><sub>2</sub> of <font size="+0">B</font> under the natural epimorphism from 2.<font size="+0">B</font>,
and the computation/verification of the character table of 2<sup>1+22</sup>.<span class="roman">Co</span><sub>2</sub>
has been described in [<a href="#BMverify" name="CITEBMverify">BMW20</a>].
It will turn out that we do not need the character table of 2<sup>1+22</sup>.<span class="roman">McL</span>.

<div class="p"><!----></div>
The nine characters will be stored in the variables
<tt>pi1</tt>, <tt>pi2</tt>, ..., <tt>pi9</tt>.

<div class="p"><!----></div>
For U = 2.<font size="+0">B</font>,
we have 1<sub>U</sub><sup>2.<font size="+0">B</font></sup> = 1<sub>2.<font size="+0">B</font></sub>.

<div class="p"><!----></div>

<pre>
    gap&#62; pi1:= TrivialCharacter( table2B );;

</pre>

<div class="p"><!----></div>
For U = 2<sup>2</sup>.<sup>2</sup><span class="roman">E</span><sub>6</sub>(2),
the character 1<sub>U</sub><sup>2.<font size="+0">B</font></sup> is the inflation of 1<sub>[&#='color: green'>63717;U]</sub><sup><font size="+0">B</font></sup>
from <font size="+0">B</font> to 2.<font size="+0">B</font>,
for [&#63717;U] = U / &#9001;a &#yle='color: green'>9002; =  2.<sup>2</sup><span class="roman">E</span><sub>6</sub>(2).
(Note that the class fusion from [&#63717;U] to <font size="+0">B</font> is not uniquely
determined by the character tables of the two groups,
but the permutation character is unique.)

<div class="p"><!----></div>

<pre>
    gap&#62; tableB:= CharacterTable( "B" );;   
    gap&#62; tableUbar:= CharacterTable( "2.2E6(2)" );;
    gap&#62; fus:= PossibleClassFusions( tableUbar, tableB );;
    gap&#62; pi:= Set( fus,
    &#62;              map -&#62; InducedClassFunctionsByFusionMap( tableUbar, tableB,
    &#62;                         [ TrivialCharacter( tableUbar ) ], map )[1] );;
    gap&#62; Length( pi );
    1
    gap&#62; pi2:= Inflated( tableB, table2B, pi )[1];;
    gap&#62; mult:= List( Irr( table2B ),
    &#62;                 chi -&#62; ScalarProduct( table2B, chi, pi2 ) );;
    gap&#62; Maximum( mult );
    1
    gap&#62; Positions( mult, 1 );
    [ 1, 2, 3, 5, 7, 13, 15, 17 ]

</pre>

<div class="p"><!----></div>
For U = 2<sup>2+22</sup>.<span class="roman">Co</span><sub>2</sub>,
the character 1<sub>U</sub><sup>2.<font size="+0">B</font></sup> is the inflation of 1<sub>[&#='color: green'>63717;U]</sub><sup><font size="+0">B</font></sup>
from <font size="+0">B</font> to 2.<font size="+0">B</font>,
for [&#63717;U] = U / &#9001;a &#yle='color: green'>9002; =  2<sup>1+22</sup>.<span class="roman">Co</span><sub>2</sub>,
a maximal subgroup of <font size="+0">B</font>.

<div class="p"><!----></div>

<pre>
    gap&#62; tableUbar:= CharacterTable( "BN2B" );
    CharacterTable( "2^(1+22).Co2" )
    gap&#62; fus:= PossibleClassFusions( tableUbar, tableB );;
    gap&#62; pi:= Set( fus,
    &#62;              map -&#62; InducedClassFunctionsByFusionMap( tableUbar, tableB,
    &#62;                         [ TrivialCharacter( tableUbar ) ], map )[1] );;
    gap&#62; Length( pi );
    1
    gap&#62; pi3:= Inflated( tableB, table2B, pi )[1];;
    gap&#62; mult:= List( Irr( table2B ),
    &#62;                 chi -&#62; ScalarProduct( table2B, chi, pi3 ) );;
    gap&#62; Maximum( mult );
    1
    gap&#62; Positions( mult, 1 );
    [ 1, 3, 5, 8, 13, 15, 28, 30, 37, 40 ]

</pre>

<div class="p"><!----></div>
Next we consider U = <span class="roman">Fi</span><sub>23</sub>.

<div class="p"><!----></div>

<pre>
    gap&#62; tableU:= CharacterTable( "Fi23" );;
    gap&#62; fus:= PossibleClassFusions( tableU, table2B );;
    gap&#62; pi:= Set( fus,
    &#62;              map -&#62; InducedClassFunctionsByFusionMap( tableU, table2B,
    &#62;                         [ TrivialCharacter( tableU ) ], map )[1] );;
    gap&#62; Length( pi );
    1
    gap&#62; pi4:= pi[1];;
    gap&#62; mult:= List( Irr( table2B ),
    &#62;                 chi -&#62; ScalarProduct( table2B, chi, pi4 ) );;
    gap&#62; Maximum( mult );
    1
    gap&#62; Positions( mult, 1 );
    [ 1, 2, 3, 5, 7, 8, 9, 12, 13, 15, 17, 23, 27, 30, 32, 40, 41, 54, 
      63, 68, 77, 81, 83, 185, 186, 187, 188, 189, 194, 195, 196, 203, 
      208, 220 ]

</pre>

<div class="p"><!----></div>
Next we consider U = <span class="roman">Th</span>.

<div class="p"><!----></div>

<pre>
    gap&#62; tableU:= CharacterTable( "Th" );;
    gap&#62; fus:= PossibleClassFusions( tableU, table2B );;
    gap&#62; pi:= Set( fus,
    &#62;              map -&#62; InducedClassFunctionsByFusionMap( tableU, table2B,
    &#62;                         [ TrivialCharacter( tableU ) ], map )[1] );;
    gap&#62; Length( pi );
    1
    gap&#62; pi5:= pi[1];;
    gap&#62; mult:= List( Irr( table2B ),
    &#62;                 chi -&#62; ScalarProduct( table2B, chi, pi5 ) );;
    gap&#62; Maximum( mult );
    2
    gap&#62; Positions( mult, 1 );
    [ 1, 3, 7, 8, 12, 13, 16, 19, 27, 28, 34, 38, 41, 57, 68, 70, 77, 78, 
      85, 89, 113, 114, 116, 129, 133, 142, 143, 145, 155, 156, 185, 187, 
      188, 193, 195, 196, 201, 208, 216, 219, 225, 232, 233, 235, 236, 
      237, 242 ]
    gap&#62; Positions( mult, 2 );
    [ 62 ]

</pre>

<div class="p"><!----></div>
For U = 2<sup>1+22</sup>.<span class="roman">McL</span>, we carry out the computations described in
[<a href="#ctblpope" name="CITEctblpope">Breb</a>,Section "A permutation character of 2.<font size="+0">B</font>"].
We know that U is a subgroup of 2<sup>2+22</sup>.<span class="roman">Co</span><sub>2</sub>,
ndjava.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 95

<div class="p"><!----></div>
As a first step, we induce the trivial character of &#9001;U, a &# style='color: green'>9002;
to 2.<font size="+0">B</font>,
which can be performed by inducing the trivial character of <span class="roman">McL</span> to <span class="roman">Co</span><sub>2</tddiv.comb{: -. - -ex}
then to inflate this character to 2<sup>1+22</sup>.<span class="roman">Co</span><sub>2</sub>,
then to induce this character to <font size="+0">B</font>,
and this character to .font "0"B/font>,

<div class="p"><!----></div>

<pre>
    gap&#62; mcl:= CharacterTable( "McL" );;
    gap&#62; co2:= CharacterTable( "Co2" );;
    gap&#62; fus:= PossibleClassFusions( mcl, co2 );;       
    gap&#62; Length( fus );
    4
    gap&#62; ind:= Set( fus, map -&#62; InducedClassFunctionsByFusionMap( mcl, co2,     
    &#62;                               [ TrivialCharacter( mcl ) ], map )[1] );;
    gap&#62; Length( ind );
    1
    gap&#62; bm2:= CharacterTable( "BM2" );
    CharacterTable("^(+22)Co2" )
    gap&#62; infl:= Inflated( co2, bm2, ind );;
    gap&#62; ind:= Induced( bm2, tableB, infl );;
    gap&#62; infl:= Inflated( tableB, table2B, ind )[1];;

</pre>


As a second step,
we compute 1<sub>U</sub><sup>2.<font size="+0">B</span.overacc1 {position/style
 java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 60
thecharacter  from closure  U
the  #001; &9002;of2.font=+"B/font>

<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
(We are
There java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<div class="p"><!----></div>

<pre>
    gap&#62; centre:= ClassPositionsOfCentre( table2B );
    [ 1, 2 ]
    .2 /< /&;n;&;href"java.lang.StringIndexOutOfBoundsException: Range [81, 80) out of bounds for length 83
    &62                             =,
    &#62;                             nonfaithful:= infl ) );;
    gap#;Length(pi )
    >6n;  of  of orderdivisible 11<>< >&;n;;n;< href"tth_sEc4.7java.lang.StringIndexOutOfBoundsException: Index 110 out of bounds for length 110
    gap&#62; pi6:= pi[1];;
    gap&#62; List( Irr( table2B ), chi -&#62; ScalarProduct( >8n;Classeselements  13/a />;nbsp &;a="#9
    [ 1, 1, 2, 1, 2, 0, 2, 3, 2, 0, 0, 1, 4, 1, 2, 0, 3, 2, 0, 2, 0, 0, 
      2, 2, 0, 0, 2, 3, 1, 5>.&java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 84
, 0 5 ,0 ,2 0,0 4 ,0 ,
      0, 4, 2, 4, 4, 3, 0, 2, 4, 2, 4,java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 92
      0, 1, 1, 2, 5, 3, 1, 1, 4, 5, 1, 1, 0, 3, 0, 0, 3, 2, 1, 1, 2, 1, 
      1, 4, 0, 3, 2, 3, 1, 3, 0, 1, 3, 0, 2, 2, 1, 3, 3, 0, 0, 2, 0, 0, 
0,,,0,3 , ,1 ,,0 ,0 ,0 , ,0,,2 ,0, 
      2, 1, 1, 0, 0, 0, 0, 1, 2, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 2, 1, 
      1, 3, 3, 0, 0, 0, 1, 1, 1, 1, 2, 3, 2, 0, 0, 2, 2, 4, 3, 5, 2, 4, 
      0, 0, 0, 0, 5, 2, 0, 0, 0, 1, 1, 0 java.lang.StringIndexOutOfBoundsException: Range [5, 4) out of bounds for length 16
      7,""!-->>
      2, 2, 5, 0, 1 ]

</pre>

<div class="p"><!----></div>
>(2).
Wejava.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 70

<div class="p"><!----></div>

<pre>
    &;=java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 51
    &62 :=PossibleClassFusions ,  );
    gap&#62; pi:= Set( fus, map -&#62; InducedClassFunctionsByFusionMapthe lists java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 69
    &#62;             [ TrivialCharacter( tableU ) ], map )[1] );;
    gap&#62; Length( pi );
    2
    gap&#62; pi:= Filtered( pi, x -&#62;ofthe subgroupsfont =+"B</font>2<sup>+24/up>sub><sub.class="oman"Co</span><sub1</ub, 3.span class="roman">Fi</span><sub>24</sub>, and
    gap&#62; Length( pi );
    1
    gap&#62; pi7:= pi[1];;
    gap&#62; List( Irr( table2B ), chi -&#62; ScalarProduct( table2B, chi, pi7 ) );
    [ 1, 1, 2, 0, 2, a"sect:>8/a,
      2, 1, 0, 0, 2, 2, 1, 4, 0, 2, 1, 2, 0, 0, 3, 2, 0, 4, 4, 0, 0, 0, 
      0, 0, 1, 0, 0,character  of subgroupsof <ontsize"0><font>.
      , 4, 1, 4, 2, 6, 1, 4, 0<div
      0, 3, 2, 1, 3, 2, 0, 0, 4, 5, 3, 1, 0, 3, 0, 0, 1, 1, 2, 0, 0, 2, 
      0, 2,, 0,3, 3, 3,0, 4 1, 0, 4, 1,1, 1,1 1,2 1,2,,0,
       &62;LoadPackage"atlasrep",false;
      2, 3, 1, 0, 2
           1,4 4 0,0,0,3,1  ,2 2, 2 0 0,1 2, 3 ,3, 1,2,java.lang.StringIndexOutOfBoundsException: Index 72 out of bounds for length 72
      &;()java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
,4,4 ,0, 3, ,1 , 0,0 ,1, 1,5,7 , 
      2, 5, 5, 0, 1 ]

<62 SizeScreen 72]);

<""<!----></div>
NextweconsiderU=<spanclass"roman"HN<span>.

<div class="p"><!----></div>


    #;tableU= ( "" ;
    gap&#62; fus:=  we compute the restriction# 2<size"+0"B/>
    gap&#62; pi:= Set( fus, map -&#62; InducedClassFunctionsByFusionMap( tableU, table2B,
    &#62;              TrivialCharacter( tableU ) ], map )[1] );;
    gap&62;Length(pi );
    1
    gap&62; pi8:= pi[1];
    gap&62;List(Irr(table2B ), chi -&#62; ScalarProduct( table2B, chi, pi8 ) );
    [1, 1,2,1, 2, 0,3, 4,2, 1,1 4 4,2 1, 1,3 3,1 3 0 0 
      5 3, 0 ,6 4,5 6,1 7 4 7 0, ,3,8 2 6 11 ,5 5, 
      0, 0, 2, 1, 3, 4, 7, 0, 0, 7, 3, 9, 5, 0, 0, 6, 4, 2, 13, 6, 0, 4, 
      4,>
      10, 7, 19, 7, 7, 8, 10, 14, 18, 19, 5, 10, 12, 23, 7, 12, 6, 24, 6, 
      4, ,16,8,9 17, 11,24,,26, 21,29 10,18 31 
      10, 24, 21, 17, 27, 35, 13, 14, 29, 19, 12, 7>> classes5 4096
      35, 20, 14, 36, 14, 39, 8, 29, 24, 15, 40, 13on the classes 3 and 7 would differ by 512 times the multiplicity of 4371,
      32, 26, 26, 24, 22, 17, 31, 39, 29, 30, 30, 19,        96255a 96256  java.lang.StringIndexOutOfBoundsException: Range [48, 47) out of bounds for length 54
      31, 29, 42, 40, [4371 4371,4371, ,275java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
     ,4,6 10, 10 12,8 12,0 ,2 4 16 , 0,0,2 12,10 0, 
      0, 0, 0, 0, 0, 28, 0, 0, 14, 34, 40, 2, 10, 10, 22, 40, 44, 44, 8, 
,,  , ,46   58 ,,70 ,104, 56 
      90 ]

</pre>

classp>!---<>
  consider =2< =roman>Fispansub22sub.
There are two [   8671,    351java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
accordingpre>
One of<ivclass="">!--
of 2.<font size="+0">B</font>, the other is not.
We know that U does not contain the central involution of 2.<font size783, 
ence decide   java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47

<div class="p"><!----></div>

<
    gap
# :  )java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 60
    gap&#2;pi:=Set(, -#; InducedClassFunctionsByFusionMap, table2Bjava.lang.StringIndexOutOfBoundsException: Index 89 out of bounds for length 89
    
    gap#;( ;
    2
    gap&#62; pi:= Filtered( pi, x -&#62; java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 0
    gap&#62; Length( pi );
    1
    gap&#62; pi9:= pi[1];;
    gap&#62; List( Irr( table2B ), chi -&#62; ScalarProduct)
    [ 1, 2,     #;(   57477)      ;
,10, ,,5,,,14,19,
      6, 6, 5, 0, 0, 0,398294
      23, 11, 1, 8, 7, 23, 18, 27, 18, 12java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
      22 ,33 3,19, , 10,34,12, 12,15,, 17 ,34 34,7, 20 , 
      40, 15, 25, 3, 40, 9, 6, 34, 25, 18, 21, 30, 21, java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 16
      39, 49, 38, 51, 18  ,, 77 ]
      29, 19
      75, 29, 24,72,50, 41 72 68,58, 52 , ,64,75 58 69,
      65, 49, 85, 75, 75, 63, 68, 65, 63, 90java.lang.StringIndexOutOfBoundsException: Range [54, 53) out of bounds for length 66
      90, 109, 109, 2, 3, 6, 9, 8, java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 24
      2, 6, 28>-->/>
      76, 11, 18, 18, 39, 77, 80, 77, 22, 22, 66, 27, 27, 33, 20, 3< class"oman>Fi/<>24<>sup>&;/>to 3.<span java.lang.StringIndexOutOfBoundsException: Range [85, 84) out of bounds for length 116
      60 60,103,175,148,152 187,215,140,201]

</pre>

<div class="p"><!----></div>
Now we can form the restriction of (1<sub>2.<font size="+0">B</font></sub>)<sup><font size="+0">M</font></sup> to 2.<font size="+0">B</font>.

<div class="p"><!----></div>

<pre>
    gap&#62; constit:= [ pi1, pi2, pi3, pi4, pi5, pi6, pi7, pi8, pi9 ];;
    gap&#62; pi:= Sum( constit );;

</pre>

<div class="p"><!----></div>

 <h2><a    ,158      30,       0,       0 ],
4</a>  The conjugacy classes of <font size="+0">M</fontjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<a>

<div class="p"><!----></div>

     <h3><a name="tth_sEc4.1">
4.1<>
</a>

<div class="p"><!----></div>
We know the order of <font size="+0">M</font> and its prime divisors.
Let us check whether this fits to our data computed up to now.

<div class="p"><!----></div>

<
    gap&#62; sizeM  ofthepermutation  1sub< size=+"B<font>/>font =0></font></sup>to2.size=+"B/
    808017424794512875886459904961710757005754368000000000
    gap&#62; StringPP( sizeM );
    "2^46*3^20*5^9*7^6*11^2*13^3*17*19*23*29*31*41*47*59*71"
    gap&#62; sizeM = Sizejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    true

</pre> </< name""

<div class="p"><!----></div>
For>td> c&8712;</><>G<>a</>  />tdalign=right>#124c>Gsuba/sub>/up>&#le='color: green'>124; </td></tr>
we classify the conjugacy classes of elements of order p in <font size="+0">M</font>
and use the facts that for each such class representative x,
the classes of roots of x in the centralizer/normalizer of x
are inbijection with the corresponding classes in <font size="+0">M</font>,
and that this <tr><td><tt>2B</tt>><td2sup+22<sup.<span class="roman"Cospan><sub>2</ub  /td><dalignright"11707448673375/td></r>

<div class="p"><!----></div>

div""<!----></div>
For each element x  &#8712; <font size="+0">M</font> of order p  &#yle='color: green'>8712; { 2, 3, 5 },
will   tableofN<><ontsize=+0>M</font></sub>(&#9001;x &#9002;)
to establish <font size="+0"<tr><td<tt4B</t</td><d2.spanclass/><sub4</>td="ight"1254793905192960000 /<tr>
In order not to count the same class several times,
we proceed<r>td<tt>6A/tt> </td>td2.spanclass"roman"Fispan>sub>2<sub>      /d<align=right">64353605265653760000><tr><>
andcollectonlythoseclasses of roots of x for pisthe smallest
prime divisor of the the action is that on the <font size="+0">M</font>-conjugacy class of a,

<div class="p"><!----></div>
For elements x  &#8712; <font size="+0">M</font> of prime order p  &In this,wecompute ninecharacters<>U>sup.font ="0"Bfont<sup>
it is not thata;c 
we will use the permutation character values ( java.lang.StringIndexOutOfBoundsException: Range [7, 6) out of bounds for length 31
ad hocjava.lang.StringIndexOutOfBoundsException: Range [21, 20) out of bounds for length 21

<div class="p"><!----></div>

     <h3><a name="tth_sEc4.2">
4./>&;nbsp; functions<h3<a name="">
</a>

<div class="p"><!----></div>
During the process of finding the conjugacy classes of andthe computation//verification ofthe character tableof 2sup>1+22/up.<pan ="oman>Co<>
we record our knowledgeItwillturn  that wedo notneed the character table 2<sup>1+22</sup>.<span class"roman"McL/span>.
in a global <font face="helvetica">GAP</font> variable <ttThe ninecharactersbe in variables
which is a record with the following components.

<div class="p"><!----></div>

<dl compact="compact">
 <dt><b><tt>Size</tt></b></dt>
 <dd>  <br /
    the group order &
 <dt><b><tt>SizesCentralizers</tt></b></dt>
 <dd>  <br />
    the  of   java.lang.StringIndexOutOfBoundsException: Range [52, 51) out of bounds for length 59
    established up &;]&; #;  2>/> =java.lang.StringIndexOutOfBoundsException: Range [75, 74) out of bounds for length 100
 <dt><b><tt>OrdersClassRepresentatives</tt></b></dt>
 <dd>  <br />
    the list of corresponding representative orders,</dd>
 <dt><b><tt>fusions</tt></b></dt>
 <dd>  <br />
    a list that collects the currently known partial class fusions into <font java.lang.StringIndexOutOfBoundsException: Range [4, 1) out of bounds for length 55
    each entry is    62map# java.lang.StringIndexOutOfBoundsException: Range [67, 66) out of bounds for length 86
    <tt>subtable</tt> (the character table of java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 26
;
    unknown positions are unbound).</dd>
</dlgap#;Maximum  )

<div class="p"><!----></div>
We initialize this variablejava.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 6
and that there is an identity For U = 2<sup>2+22</sup>.<span class="roman">Co</span><sub>2</sub>,

<div class="p"><!----></div>

<re>
    gap&#62; head:= rec( Size:= sizeM,
    &#62;                
    
    &#62;                fusions:= [],
    &#62;              );;

e

    &#62 ()
The function <tt>ExtendTableHeadByRootClasses</tt> takes
the object <tt>head</tt>,
the character table <tt>s</tt> of a subgroup H of <font size="+0">M</font>,
and an integer <tt>pos</tt> as its arguments,
where it is assumed that the <tt>pos</tt>-th class of <tt>s</tt>
contains an element x of prime order p
such that N<sub><font size="+0">M</fontjava.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
and such that <
   +0">M</font> whose elements have order divisible bya
that

<""

<pre>
    gap62 ExtendTableHeadByRootClasses=function(head ,pos 
 cents, oldnumber, i,ord;
    &#62; 
    &#62;    # Initialize the fusion gap&62;pi4=pi[1];
    &
    &#62;    Add( head&#62;                 chi-&#='color: green'>62;ScalarProduct(table2B chi,pi4 ));;
&
   # #Compute  ofroot  of ''
    &#62;    orders:= java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 28
    &#62;    p:= orders[ pos ];
    62    :  )
    &62    :=LengthheadOrdersClassRepresentatives;
    &#62; 
    &;Length  )
eady head
    #62     iin[1 .. NrConjugacyClassess) ]
    &#62;      ord:= orders[i];
    &#62;      if ord mod p = 0 and
    #;         Minimum(PrimeDivisors(ord  )=p and
62;         (, /pi   java.lang.StringIndexOutOfBoundsException: Range [50, 49) out of bounds for length 54
    now thatU asubgroupof 2sup222/>.class"oman><<></sub>,
    &, cents[i ;
    &#62;        Add( head.OrdersClassRepresentatives, orders[i] );
    &#62;        java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 0
    &#62;      to 2.<font size="><font>
    &#62;    od;
    &#62; 
    ;     "#after ", Identifier( s ), ": found ",
   #           (headO
    &62            classes,,now have ",
    &#62;           Length( head.OrdersClassRepresentatives ), "\n" );
    &;   end;

</pre>

<div class="p"><!----></div>
In several cases, we will establish a conjugacy class g<sup><font size="+0">M</font></sup> without
java.lang.StringIndexOutOfBoundsException: Range [43, 3) out of bounds for length 67
> applied g
rootclasses.
That is, we may know just element order <tt>s</tt>
and centralizer order <tt>cent</tt>.

<div class="p"><!----></div>
We are a java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
of a subgroup of <font size="+0">M</font> and the list <tt>poss</tt#;normalsubgroup=centre
in this table which fuse to the class g<java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 26
store this information in the partial class fusion from <tt>s</tt>
that is stored in <tt>head</tt>.

<div class="p"><!----></div>

<prejava.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
    gap&#62; ExtendTableHeadByCentralizerOrder:= function( head, s, cent, poss )
    #62;    local ord, fus, i;
    &#62; 
    &#62;    if IsCharacterTable( s ) then
    &#62;      ord:= Set( OrdersClassRepresentatives( s ){ poss } );
    &#62;      if Length( ord ) <&#62; 1 then
    &62;;Error( "lasses cannotfuse" );
    &#62;      fi;
    &#62;      ord:= ord[1];
    &#62;    elif IsInt( s ) then
    &#62;      ord:= s;
    &#62;    fi;
    &#62;    Add( head.SizesCentralizers, cent );
    &#62;    Add( head.OrdersClassRepresentatives, ord );
    &#62; 
    &#62;    Print( "#I  after order ", ord, " element" );
    &#62;    if IsCharacterTable( s ) then
    &#62;      # extend the stored fusion from s
    &#62;      fus:= First( head.fusions,
    &#62;                   r -&#62; Identifier( r.subtable ) = Identifier( s ) );
    &#62;      for i in poss do
    &#62;        fus.map[i]:= Length( head.SizesCentralizers );
    &#62;      od;
    &#62;      Print( " from ", Identifier( s ) );
    &#62;    fi;
    &#62;    Print( ": have ",
    &#62;           Length( head.OrdersClassRepresentatives ), " classes\n" );
    &#62;    end;;

</pre>

<div class="p"><!----></div>
The permutation character 1<sub>H</sub><sup>G</sup>, where H  &#8804; G are two groups,
has the property 1<sub>H</sub><sup>G</sup>(g) = &#124;C<sub>G</sub>(g)&#n style='color: green'>124; &#183;&#124;g<sup>G</sup> &#8745;H&#124; / &#n style='color: green'>124;H&#124;.
For g  &#8712; H,
this implies that &#124;C<sub>G</sub>(g)&#124; = 1<sub>H</sub><sup>G</sup>(g) &#183;&#124;H&#124; / &#124;g<sup>G</sup> &#n style='color: green'>8745;H&#124;
can be computed from the character (1<sub>H</sub><sup>G</sup>)<sub>H</sub> and the class lengths in H,
provided that we know which classes of H fuse into g<sup>G</sup>.
The function <tt>java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
in <tt>head</tt> by the data for the class g<sup><font size="+0">M</font></sup>,
where <tt>s</tt> is the character table of H,
<tt>pi_rest_to_s</tt> is (1<sub>H</sub><sup>G</sup>)<sub
 <>poss/ttlist java.lang.StringIndexOutOfBoundsException: Range [43, 42) out of bounds for length 73
that fuse to g<sup><font size="+0">java.lang.StringIndexOutOfBoundsException: Range [4, 2) out of bounds for length 26

<div&;;

<pre>
    gap&#62; ExtendTableHeadByPermCharValue:= function( head, s, pi_rest_to_s, poss )
    &#62;    local pival, cent;
    &#62; 
    &#62;    pival:= Set( pi_rest_to_s{ poss } );
    &#62;    if Length( pival ) <&#62; 1 then

    &#62;    fi;
    &#62; 
    &#62;    cent:= pival[1] * Size( s ) / Sum( SizesConjugacyClasses( s ){ poss } );
    &#62;    ExtendTableHeadByCentralizerOrder( head, s, cent, poss );
    &#62;    end;;

</pre>

<div class="p"><!----></div>

     <h30  0  3 0 ,,0 , ,,1 ,,,1 , 2 ,0 
4.3</a>  Classes of elements of even order</h3><a name="elements_2">
</a>

<div class="p"><!----></div>
By [<a href="#Mverify" name="CITEMverify">BMW24</a>],
we know that <font size="+0">M</font> has exactly two conjugacy classes of involutions,
and that the involution centralizers have the structures
2.<font size="+0">B</font> (for the class <tt>2A</tt>) and
2<sup>1+24</sup><sub>+</sub>.<span class="roman">Co</span><sub>1</sub> (for the class <tt>2B</tt>), respectively.

<div class="p"><!----></div>
Moreover, the character tables of these subgroups that are
stored in the <font face="helvetica">GAP</font> Character Table Library are correct.
For 2.<font size="+0">B</font>, this follows from the correctness of the java.lang.StringIndexOutOfBoundsException: Index 79 out of bounds for length 0
as shown in [<a href="#BMverify" name="CITEBMverify">BMW20</a>
in [].
For 2<sup>1+24</sup><sub>+</sub>.<span class="roman">Co</span><sub>
in Section <a href="#sect:table_c2b">8</a>.

<div class="p"><!----></div>
huscandetermine < =+"M/>conjugacy classesof elements ofeven order
sfollows

<div class="p"><!----></div>

<>
    gap&#624,12, 11,16,9 7 3,11 13,12 20,5 10 6, ,17,4,
    gap&#62; ClassPositionsOfCentre( s );
          ,17, 16, 8 9,17 11,12 ,8,24 18 26 21,29,10, , ,
    gap&#62; ExtendTableHeadByRootClasses( head, s, 2 );
    #I  after 2.B: found 42 classes, now have 43
    gap&#62; s:= CharacterTable( "MN2B" );;
    gap&#62; ClassPositionsOfCentre( s );
     ,2 ]
head,s  ;
    #I  after 2^1+24.Co1: found 91 classes, now have 134



<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

     <h3><a name="tth_sEc4.4">
4.4</a>  Classes of elements of java.lang.StringIndexOutOfBoundsException: Range [0, 47) out of bounds for length 40
</a>

<class">--<
We knowdiv="<java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
of order 3,
that normalizershave the structures
3.<span class="roman">Fi</span><sub>24</sub> (for the class <tt>3A</tt>),
3<>+"oman">Suz</span for java.lang.StringIndexOutOfBoundsException: Range [79, 78) out of bounds for length 92
and S<sub>3</sub> ×<span class="roman">Th</span> (for the class <tt>3C</tt>),    &62;pi9:=pi1;java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26

<div class="p"><!----></div>
java.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 9
the <font face="helvetica">GAP</font> character tables of 3.<span class="roman">Fi</span><sub>24</sub> and <span class="roman">Th</span> are  A<font size="-2">TLAS</font> tables
and have been verified, see [<a href="#BMO17" name="CITEBMO17">BMO17</a>].

<div class="p"><!----></div>
We  the < size"">/java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 84
that are roots of <tt>3A</tt      39,49,38, 51,18,32,, 19, 42, 41 33 48,64, 27 29, 52,, 38 

<div class="p"><!----></div>

<pre>
    gap&#62; s:= CharacterTable( "3.Fi24" );;
    gap&#62; ClassPositionsOfPCore      65,49,8575,75 63, 68,65 ,90,87,83,118,118,74 ,
    [ 1, 2 ]
    gap&#62; ExtendTableHeadByRootClasses( head, s, 2 );
    #I  after 3.F3+.2: found 12 classes, now 0 0,,52, ,,,59,
    gap&#62; s:= CharacterTableDirectProduct( CharacterTable( "Th" ),
    &#62;                                     CharacterTable( "Symmetric"div="p"<!----></div>
    gap&62;ClassPositionsOfPCore( s, 3 );
    [ 1, 3 ]
gap;  ,s  ;
    #I  after ThxSym(3): found 7 classes, now have 153

</pre>

<div class="p"><!----></div>
The situation with the <tt>3B</tt> normalizer is more involved.
Section <a href="#sect:norm3B">9</a> documents the construction of the character table
of a downward extension of the structure 3<sup>1+12</sup><sub>+</sub>:6.<span class="roman">Suz</span>.2
of the <tt>3B</tt> normalizer, and gives two
candidates for the character table of the <tt>3B</tt> normalizer.

<div class="p"><!----></div>
It will turn out that each of these candidates leads to "the same"
root classes,
in the sense that the number of these classes, their element orders,
and their centralizer orders are equal.
Note that the 3-core of H = 3<sup>1+12</sup><sub>+</sub>:6.<span class="roman">Suz</span>.2 has the structure
X ×N,
where X has order 3
and N  &#8773; 3<sup>1+12</sup><sub>+</sub> such that H / N  &#8773; 6.<span class="roman">Suz</span>.2 holds.
We are interested in the two "diagonal" factors, that is,
the factors of H by the one of the two normal subgroups of order 3 in H
that are not equal to X or Z(N).
(See the picture in Section <a href="#sect:norm3B">9</a> for the details.)

<div class="p"><!----></div>
First we exclude the normal subgroup of order 3 that is contained in the
unique normal subgroup N of order 3<sup>13</sup>.

<div class="p"><!----></div>

<pre>
    gap&#62; exts:= CharacterTable( "3^(1+12):6.Suz.2" );;
    gap&#62; kernels:= Positions( SizesConjugacyClasses( exts ), 2 );
    [ 2, 18, 19, 20 ]
    gap&#62; order3_13:= Filtered( ClassPositionsOfNormalSubgroups( exts ),
    &#62;        l -&#62; Sum( SizesConjugacyClasses( exts ){ l } ) = 3^13 );
    [ [ 1 .. 4 ] ]
    gap&#62; kernels:= Difference( kernels, order3_13[1] );
    [ 18, 19, 20 ]

</pre>

<div class="p"><!----></div>
The classes in the subgroup X can be identified by the fact that
exactly one factor of H by a normal subgroup of order 3 admits a
class fusion from 2.<span class="roman">Suz</span>.2, and hence this must be the split extension
of 3<sup>1+12</sup><sub>+</sub> with 2.<span class="roman">Suz</span>.2.

<div class="p"><!----></div>

<div class="p"><!----></div>

<pre>
    gap&#62; facts:= List( kernels, i -&#62; exts / [ 1, i ] );
    [ CharacterTable( "3^(1+12):6.Suz.2/[ 1, 18 ]" ), 
      CharacterTable( "3^(1+12):6.Suz.2/[ 1, 19 ]" ), 
      CharacterTable( "3^(1+12):6.Suz.2/[ 1, 20 ]" ) ]
    gap&#62; f:= CharacterTable( "2.Suz.2" );;
    gap&#62; facts:= Filtered( facts,
    &#62;        x -&#62; Length( PossibleClassFusions( f, x ) ) = 0 );
    [ CharacterTable( "3^(1+12):6.Suz.2/[ 1, 19 ]" ), 
      CharacterTable( "3^(1+12):6.Suz.2/[ 1, 20 ]" ) ]

</pre>

<div class="p"><!----></div>
We compute the root classes for both candidates.
For that,
we first create a copy <tt>head2</tt> of the information in <tt>head</tt>.

<div class="p"><!----></div>

<pre>
    gap&#62; kernels:= List( facts,
    &;         -#;java.lang.StringIndexOutOfBoundsException: Range [60, 58) out of bounds for length 71
    [ [ 2 ], [ 2 ] ]
    gap&<pre>
    gap&#62; ExtendTableHeadByRootClasses( head, facts[1], 2 );
    #I  after 3^(1+12):6.Suz.2/[ 1, 19 ]: found 12 classes, now have 165
    gap&#62; ExtendTableHeadByRootClasses( head2, facts[2], 2 );
    #I  after 3^(1+12):6.div class">

</pre>

<div class=p"<!----></div>
We observe that <tt>head</tt> and <tt>head2</tt> differ only by the
two character tables in the last fusion record.

<div class""<!----></div>

<pre>
    gap&#62; nams:= RecNames( head );
tives", "izesCentralizers" 
      " ]
    gap&62; ForAll(Difference(nams,["usions ])java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
    &62;            nam -&#62;head.  ) =head2.( nam ) );
    true
    gap&#62; Length( head.fusions );
    5
    gap&#62; ForAll( [ 1 .. 4 ], i -&#62; head.fusions[i] = head2.fusions[i] );
    true
    gap&;headfusions[]map=.fusions[]map;
    true

</pre>

<div class="p"><!----></div>.<a&bsp&U functions/>a =functions"
We continue with establishing the conjugacy classes java.lang.StringIndexOutOfBoundsException: Range [0, 54) out of bounds for length 0
The question whichofthe two above candidate tables belongs to a subgroup
of <font size="+0">M</font> will  record our knowledge about the character knowledgeabout  charactertableof< size0>/

<div classwhichis arecordwiththefollowingcomponents.

     <h3><a name="tth_sEc4.5">
4.<l =c>
</a>

<div class="p"><!----></div>
The group 2.<font size="+0">B</font> contains two rational conjugacy classes of elementsdt<>ttSizesCentralizers>/<dtjava.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
of order 5,
<dt>>rdersClassRepresentatives</t<b<java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52

<div class="p"><!----></div>

<pre>
    gap&#62; s:= CharacterTable( "2.B" );;
    gap&#62; pos:= Positions( OrdersClassRepresentatives( s ), 5 );
    [ 23, 25 ]
    gap&#62; pi{ pos };
    [ 1539000, 7875 ]

</pre>

<div class="p"><!----></div>
This establishes two classes <tt>5A< >
of elements of order 5 in <font size="+0">M</font>,
with="roman">HN</span>&124 and 5<sup7</sup> &#124;"roman"J/>sub>2/sub>&124,respectively.

<div class="p"><!----></div><ttsubtable</tt> (the character table of the subgroup)

<pre>
    gap&#62; cents:= List( pos,
    &#62;      i -&#62; pi[i] * Size( s ) / SizesConjugacyClasses( s )[i] );
    [ 1365154560000000, 94500000000 ]
    gap&62 cents = [5  *Size(CharacterTable( "HN" ) ),
    &#62;              5^7 * Size( CharacterTable( "2.J2" ) ) ];
    true

</pre>

<div class="p"><!----></div>

<div class="p"><!----></div>
By [<a href="Mverify"name=CITEMverify">BMW24</a>],
we know that <font size="+0">M</font> contains exactly two conjugacy classes of elements
of order 5,
<tt>5A</tt> with centralizer
</span>.,
and <tt>5Btheobject tthead<tt>java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
5<sup>1+6</sup><sub>+</sub>.4.<span class="roman">J</span><sub>2</sub>.2.

<div class="p"><!----></div>
The two classes are rational
because this is the case already for their intersections with 2.<font size="+0">B</font>.

<div class="p"><!----></div>

<pre>
    gap&#62; s:= > ExtendTableHeadByRootClasses(head,s,  java.lang.StringIndexOutOfBoundsException: Index 68 out of bounds for length 68
    CharacterTable( "(D10xHN
    gap&#62;  &62 #Initialize information.
    [ 1, 45 ]
    gap&#62; ExtendTableHeadByRootClasses( head, s, 45 );
    #I  after (D10xHN).2: found 5 classes, now have 170

</pre>

<div class="p"><!----></div>
The     #;   #   theclasses  ''
with <font face="helvetica">MAGMA</font>, see Section <a href="#sect:table_N5B">10</a>,
  arealloweduse the character table from
the <font face="helvetica">GAP</font> character table java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 35

<div class="p"><!----></div>

<pre>
    gap&#62; s:= CharacterTable( "MN5B" );
    CharacterTable( "5^(1+6):2.J2.4" )
    gap&#62; 5core:= ClassPositionsOfPCore;fus.api:LengthSizesCentralizers;
   [1. 4 ]
    gap&#62; SizesConjugacyClasses( s ){ 5core };
    [ &62 " ( ) :  "
    gap&#62;     >           Length.OrdersClassRepresentatives ) - oldnumber,
    #I  after 5^(1+6):2.J2.4: found 3 classes, now have 173

</pre>

<java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

     <h3><a name="tth_sEc4.6">
4.6</a>  Classes of elements of order divisible by 11</h3><a name="elements_11">
</a>

<div class"p"><!----></div>
The group 2.<font size="+0">B</font> contains a rational class of elements of order 11.
The permutation character (1<sub>2.<font size="+0">B</font></sub><sup><font size="+0">M</java.lang.StringIndexOutOfBoundsException: Index 91 out of bounds for length 17
of order 11 with centralizer order 11 &#124;M<sub>12</sub>&#e='color: green'>124; 

< class=p"<!----></div>

<pre
    gap&#62; s:= CharacterTable( "2.B" );;
    gap&#62; pos:= Positions( OrdersClassRepresentatives( s ), 11 );
    [ 71 ]

</pre>

<div class="p"><!----></div>
By the arguments in [<a href="#Mverify" name="CITEMverify">BMW24</a>],
<font size="+0">M</font> has no other classes of element order 11.

<div class="p"><!----></div>

<pre>
    gap&#62; ExtendTableHeadByPermCharValue( head, s, pi, pos );
    #I  after order 11 element from 2.B: have 174 classes

</pre>

<div class="&62      := ((s )   )

     <h3><a name="tth_sEc4.7">
4.7</a> &>      ord[1]
</a>

<div class="p"><!----></div>
The elements of the orders 17, 19, 23, 31, 47 in <font size    &62;java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
Sylow subgroups that appear already in 2.<font;     : java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 41

< class""<!----></div>
The elements of order 17 and 19 are rational in 2.<font size="+0">B</font>
and hence also in <font size="+0">M</font>.

<div class="p"><!----></div>

<pre>
    gap&#62; s:= CharacterTable( "2.B" );;
    gap&#62; pos:= Positions( OrdersClassRepresentatives( s ), 17 );
    [ 118 ]
    gap&#62; ExtendTableHeadByPermCharValue( head, s, pi, pos );
    #java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
    gap&#62; pos:= Positions( OrdersClassRepresentatives( s ), 19 );
    [ 128 ]
    gap&#62; ExtendTableHeadByPermCharValue( head, s, pi, pos );
    Iafter  19 element  2.: have 176 

</pre>

<div class="p"><!----></div>
For elements g of order p  &#8712; { 23, 31, 47 },
the classes that contain
the nonidentity powers of g,
  [>2.java.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 140
The equation &#124;C<sub><font size="+0">M</font></sub>(g)&#e='color: green'>124; = &#124;2.<font size="+0">B</font>&#le='color: green'>124; &#183;&#960;(g) / &#124;g<sup><font size="+0">M</font></sup> &#8745;2.<font size="+0">B</font>&#124;
implies

<br clear="all" /><table border="0" width="100%"><tr><td>
table align="cellspacing="0" cellpadding=""<tr><nowrap="nowrap" align="center">
 &#124;N<sub><font size="+0">M</font></sub>(&#9001;g &#9002;)&#124; = [N<sub><font size="+0">M</font></sub>(&#9001;g &#9002;):C<sub><font size="+0">M</font></sub>(g)] &#183;&#124;2.<font java.lang.StringIndexOutOfBoundsException: Index 189 out of bounds for length 31
</td></tr></table>


Note that either the two(head,s,cent  ;
fuse in <font size="+0">M</font> or not;
in the former case,
we have [N<sub><font size="+0">M</font></sub>(&#9001;g &#9002;):C<sub><font size="+0">M</font></sub>(g)] = p&#8722;1 and
&#124;g<sup><font size="+0">M</font></sup> &#8745;2.<font size="+0">B</font>&#124; = 2 &#124;g<sup>2.<font size="+0">B</font></sup>&#124;,
whereas we have
[N<sub><font size="+0">M</font></sub>(&#9001;g &#9002;):C<sub><font size="+0">M</font></sub>(g)] = (p&#8722;1)/2 and
&#124;g</pre
Thus we can compute &#124;N<sub><font size="+0">M</font></sub>(&#tyle='color: green'>9001;g &#9002;)&#124; in each case,
and we can then find arguments why the two Galois conjugate classes
do not fuse.

<div class="p"><!----></div>
First we deal with p = 23.

<div class="p"><!----></div>

<pre>
    gap&#62; s:= CharacterTable( "2.B" );
    CharacterTable( "2.B" )
    gap&#62; ord:= OrdersClassRepresentatives( s );;
    gap&#62; classes:= SizesConjugacyClasses( s );;
    gap&#62; p:= 23;;
    gap&#62; pos:= Positions( ord, p );
    [ 147, 149 ]
    gap&#62; n:= (p-1)/2 * Size( s ) * pi[ pos[1] ] / classes[ pos[1] ];
    6072
    gap&#62; Collected( Factors( n
    [ [ 2, 3 ], [ 3, 1 ], [ 11, 1 ], [ 23, 1 ] ]

</pre>

<div class="p"><!----></div>
In order to prove that the two classes of elements of order 23 in 2.<font size="+0">B</font>
  fuse in < ="0"></> tojava.lang.StringIndexOutOfBoundsException: Range [66, 65) out of bounds for length 90
divisible by 2<sup>3</sup>.
We see that this is the case java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 0

<div class="p"><!----></div>

<pre>
    gap&#62; u:= CharacterTable( "MN2B" );
    CharacterTable( "2^1+24.Co1" )
    gap&#62; upos:= Positions( OrdersClassRepresentatives( u )    gap#62;s=CharacterTable( "2.B" );;
    [ 289, 294 ]
    gap&#62; java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 12
    [ 23, 23 ]

</pre>

<div class="p"    [1  java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
Thus we have established two classes of element order 23 in <font size="+0">java.lang.StringIndexOutOfBoundsException: Range [4, 1) out of bounds for length 56

<div class="p"><!----></div>

<pre>
    gap&#62; ExtendTableHeadByPermCharValue( head, s, pi, pos{ [1] } );
    #I  after order 23 element from 2.B: .<a&n    >
    gap&#62; ExtendTableHeadByPermCharValue( head, s, pi, pos{ [2] } );
    #I  after order 23 element from 2.B: have 178 java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 0

</pre>

<div class="p"><!----></div>
The case p = 31 is done analogously.
Here the necessary 2-part of the centralizer occurs already in 2.<font size="+0">B</font>.

<div class="p"><!----></div>

<pre>
    gap&#62; p:= 31;;
    gap&#62; pos:= Positions( OrdersClassRepresentatives( s ), p );
    [ 190, 192 ]
    gap&#62; n:= (p-1)/2 * Size( s ) * pi[ pos[1] ] / classes[ pos[1] ];
    2790
    gap&#62; Collected( Factors( n ) );
    [ [ 2, 1 ], [ 3, 2 ], [ 5, 1 ], [ 31, 1 ] ]
    gap&#62; SizesCentralizers( s ){ pos };
    [ 62, 62 ]
    gap&#62; ExtendTableHeadByPermCharValue( head, s, pi, pos{ [1] } );
    #I  after order 31 element from 2.B: have 179 classes
    gap&#62; ExtendTableHeadByPermCharValue( head, s, pi, pos{ [2] } );
    #I  after order 31 It will turn out that eachjava.lang.StringIndexOutOfBoundsException: Range [47, 46) out of bounds for length 66

</pre>

<div class="p"><!----></div>
Finally, we deal with p = 47.

<div class="p"> gap#;facts:=Filtered java.lang.StringIndexOutOfBoundsException: Range [71, 37) out of bounds for length 71

<pre>
    gap&#62; p:= 47;;
    gap&#62; pos:= Positions( OrdersClassRepresentatives <3>a name=tth_sEc45>
    [
    gap&#62; n:= (p-1)/2 * Size( s ) * pi[ pos[1] ] / classes[ pos[1] ];
    2162
    gap&#62; Collected( Factors( n ) );
    2,
    gap&#62; SizesCentralizers( s ){ pos };
    [ 94, 94 ]
    gap&#62; ExtendTableHeadByPermCharValue( head, s, pi, pos{ [1] } );
    #I  after order 47 element from 2.    gap&#2 pi{pos}java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
    gap&#62; ExtendTableHeadByPermCharValue( head, s, pi, pos{ [2] } );
    #I  after order 47 element from 2.B: have 182 classes

</pre>

<div class="p"><!----></div>

     <h3><a name="tth_sEc4.8">
4.8</a>  Classes of elements of order 13</h3><a name="elements_13">
</a>

<div class="p"><!----></div>
The class <tt>13A</tt> of <font size="+0">M</font> arises from the rational class of elements
of order 13 in 2.<font size="+0">B</font>.
We use the permutation character to enter the information about
the class <tt>13A</tt>.

<div class="p"><!----></div>

<pre>
    gap&#62; p:= 13;;
    gap&#62; pos:= CharacterTable( "(D10xHN).2" )
    [ 97 ]
    gap&#62; c:= Size( s ) * pi[ pos[1] ] / classes[ pos[1] ];
    73008
    gap&#62; Factors( c );
    [ 2, 2, 2, 2, 3, 3, 3, 13, 13 ]
    gap&#62; ExtendTableHeadByPermCharValue( head, s, pi, pos );
    #I  after order 13 element from 2.B: have 183 classes

</pre>

<div class="p"><!----></div>
The class <tt>13B</tt> intersects the <tt>2B</tt> centralizer.
Here we just know the centralizer order 13<sup>3</sup> &#183;2<sup>3</sup> &#183;3.

<div class="p"><!----></div>

<pre>
    gap&#62; c2b:= CharacterTable( "MN2B" );;
    gap&#62; pos:= Positions( OrdersClassRepresentatives( c2b ), 13 );
    [ 220 ]
    gap&#62; ExtendTableHeadByCentralizerOrder( head, c2b, 13^3 * 24, pos );
    #I  after order 13 element from 2^1+24.Co1: have 184 classes

</pre>

<div class="p"><!----></div>

     <h3><a name="tth_sEc4.9">
4.9</a>  Classes of elements of order divisible by 29</h3><a name="elements_29">
</a>

<div class="p"><!----></div>
The group 3.<span class="roman">Fi</span><sub>24</sub> contains a rational class of elements of order 29,
with centralizer order 3 &#183;29.

<div class="p"><!----></div>

<pre>
    gap&#62; u:= CharacterTable( "3.Fi24" );;
    gap&#62; pos:= Positions( OrdersClassRepresentatives( u ), 29 );
    [ 142 ]
    gap&#62; SizesCentralizers( u ){ pos };
    [ 87 ]

</pre>

<div class="p"><!----></div>
The list of classes of <font size="+0">M</font> collected up to now covers all roots of
elements of the orders 2, 3, 5, 11, 13, 17, 19, 23, 31, 47,
and 29 occurs as a factor of the centralizer order only for the
classes <tt>1A</tt>, <tt>3A</tt>, <tt>87A</tt>, and <tt>87B</tt>.

<div class="p"><!----></div>

<pre>
    gap&#62; poss:= PositionsProperty( head.SizesCentralizers,
    &#62;                              x -&#62; x mod 29 = 0 );
    [ 1, 135, 144, 145 ]
    gap&#62; head.OrdersClassRepresentatives{ poss };
    [ 1, 3, 87, 87 ]
    gap&#62; head.SizesCentralizers{ poss };
    [ 808017424794512875886459904961710757005754368000000000, 
      3765617127571985163878400, 87, 87 ]

</pre>

<div class="p"><!----></div>
Thus the only possible additional prime divisors of the centralizer order
in <font size="+0">M</font> of an element x of order 29 are 7, 41, 59, and 71.

<div class="p"><!----></div>

<pre>
    gap&#62; candprimes:= Difference( PrimeDivisors( head.Size ),
    &#62;                     [ 2, 3, 5, 11, 13, 17, 19, 23, 29, 31, 47 ] );
    [ 7, 41, 59, 71 ]

</pre>

<div class="p"><!----></div>
The centralizer order of x has the form
3 &#183;29 &#183;7<sup>i</sup> &#le='color: green'>183;41<sup>j</sup> &#183;59<sup>k</sup> &#e='color: green'>183;71<sup>l</sup>,
with  0  &#8804; i  &#8804; 6 and j, k, l  &#n style='color: green'>8712; { 0, 1 }.

<div class="p"><!----></div>

<pre>
    gap&#62; parts:= Filtered( Collected( Factors( head.Size ) ),
    &#62;                      x -&#62; x[1] in candprimes );
    [ [ 7, 6 ], [ 41, 1 ], [ 59, 1 ], [ 71, 1 ] ]
    gap&#62; poss:= List( parts, l -&#62; List( [ 0 .. l[2] ], i -&#62; l[1]^i ) );;
    gap&#62; cart:= Cartesian( poss );;
    gap&#62; possord:= 3 * 29 * List( cart, Product );;

</pre>

<div class="p"><!----></div>
Only 3 &#183;29 and 3 &#183;29 &#yle='color: green'>183;59 satisfy Sylow's theorem,
that is, &#124;<font size="+0">M</font>&#124; / &#124;N<sub><font size="+0">M</font></sub>(&#9001;x &#9002;)&#124;  &#n style='color: green'>8801; 1  mod 29.
Note that we have [N<sub><font size="+0">M</font></sub>(&#9001;x &#style='color: green'>9002;):C<sub><font size="+0">M</font></sub>(x)] = 28.

<div class="p"><!----></div>

<pre>
    gap&#62; good:= Filtered( possord,
    &#62;                     x -&#62; ( head.Size / ( 28 * x ) ) mod 29 = 1 );
    [ 87, 5133 ]
    gap&#62; List( good, Factors );
    [ [ 3, 29 ], [ 3, 29, 59 ] ]

</pre>

<div class="p"><!----></div>
Now we can exclude the possible centralizer order 3 &#183;29 &#style='color: green'>183;59
by the fact that the Sylow 59 subgroup would be normal
and thus would be normalized and hence centralized by an element of
order 3, a contradiction.

<div class="p"><!----></div>

<pre>
    gap&#62; Filtered( DivisorsInt( 5133 ), x -&#62; x mod 59 = 1 );
    [ 1 ]

</pre>

<div class="p"><!----></div>
Thus we have established a rational class of elements of order 29,
with centralizer of order 3 &#183;29.

<div class="p"><!----></div>

<pre>
    gap&#62; ExtendTableHeadByCentralizerOrder( head, u, 3 * 29, pos );
    #I  after order 29 element from 3.F3+.2: have 185 classes

<>

<div class="p"><!----></div>

     <h3><a name="tth_sEc4.10">
4.10</a>  Classes of elements of order divisible by 41</h3><a name="elements_41">
</a>

<div class="p"><!----></div>
 <size+>< a   <>8sup><></ubsup&8722<sup>3.
The fact div"p"><!----></div>
by an element of order 4 can be read off from the factor group
O<sub>8</sub><sup>&#8722;</sup>(3).

<div class="p"><!----></div>

<pre>
    gap&#62; t:= CharacterTable( "O8-(3)" );
    CharacterTable( "O8-(3)" )
    gap#;Length(Positions(OrdersClassRepresentatives , 41 ))
10

</pre>

< classp>!--</div>
By the above arguments, the java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 10
&#124;N<sub><font size="+0">M</font></sub>(&#9001;x &#9002;)&#124;/41 are 5, 7, 59, 71,
where 5 cannot divide the By the arguments in [<a href=" =>/>]java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75
As in the case of p = 29, we apply Sylow's theorem,
and get
&#124;N<sub><font size="+0">M</font></sub>(&#9001;x &#9002;)&#124;  &#e='color: green'>8712; { java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<div class="p"><!----></div>

p>
    gap&#62; possord:= 2^2 * 41 * DivisorsInt( 2 * 5 * 7^6 * 59 * 71 );;
   #;good: (,
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    [ 1640, 163016 ]
    gap&#62; List( good, Factors );
    [ [ 2, 2, 2, 5, 41 ], [ 2, 2, 2, 7, 41, 71 ] ]

Telements  orders 17,,23 31, in< size="+0">M</>lie in 

<div java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 0
Suppose that 71 divides &#124;N<sub><font size=" order17and 19are   2<font ="0"B<font>
Then the 71 Sylow subgroup of N<sub><font size="+0">M</font></sub>(&#9001;x &#9002;) is normal
thus normalized by an element of order 8,
and thus centralized by an involution,

<div class="p"><!---->    gap&#2; pos Positions OrdersClassRepresentatives )java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11

<pre>
    gap&#62; Filtered( DivisorsInt( good[2] ), x -&#62; x mod 71 = 1 );
    [ 1 ]

</pre>

<div class="p"><!----></div>
Thus we have established a rational class of self-centralizing elements
of order 41.

<div class="p"><!----></div>

p>
    gap&#62; ExtendTableHeadByCentralizerOrder( head, 41, 41, fail );
    #I  after order 41 element: have 186 classes

</pre>

<div class="p"><!----></div>

     <h3><a name="tth_sEc4.11">
4.11</a>  Classes of elements of order divisible by 59</h3><a the group 2.<font size="+0">B</font> contains exactly two Galois conjugate classes+>/>java.lang.StringIndexOutOfBoundsException: Range [54, 53) out of bounds for length 95
/>

d java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 28
By the above arguments,
the normalizer order of an element of order 59 divides
58 &#183;7<sup>6</sup> &#183;59 &#yle='color: green'>183;71.
Sylow's theorem admits just the normalizer order 59 ·29.

d =<--<

<pre>
    gap&#62; possord:= 59 * Note that  twoof  2< +"<java.lang.StringIndexOutOfBoundsException: Range [85, 84) out of bounds for length 85
    gap&#62; good:= Filtered( possord,
    &#62;                     x -&#62; ( head.Size / x ) mod 59 = 1 );
    [ 1711 ]
gap#  ,)
    [ [ 29, 59 ] ]

</pre>

<div class="p"><!----></div>
Thus we have established a pair of Galois conjugate classes of
self-centralizing elements of order 59.

<div class="p"><!----></div>

<pre>
    gap&#62; ExtendTableHeadByCentralizerOrder( head, 59, 59, fail );
    #I  after order 59 element: have 187 classes
    gap&#62; ExtendTableHeadByCentralizerOrder( head, 59, 59, fail );
    #I  after order 59 element: have 188 classes

</pre>

<div class="p"><!----></div>

     <h3><a name="tth_sEc4.12">
4.12</a>  Classes of elements of order divisible by 71</h3><a name="elements_71">
</a>

<div class="p"><!----></div>
By the above arguments, 
the normalizer order of an element of order 71 divides
70 &#183;7<sup>5</sup> &#183;71.
Sylow' theoremadmits just the normalizer order 71 ·35.

<div class=" we   23java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26

<pre>
    gap&#62; possord:= 71 * DivisorsInt( 70*7^5 );;
    gap&#62; good:= Filtered( possord,
    &#62;                     x -&#62; ( head.Size / x ) mod 71 = 1 );
    [ 2485 ]
    gap&#62; List( good, Factors );
    [ [ 5, 7, 71 ] ]

</pre>

<div class="p"><!----></div>
    &62;=SizesConjugacyClasses ;java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
self-centralizing elements of order 71.

<div class="p"><!----></div>

<pre>
    java.lang.StringIndexOutOfBoundsException: Range [39, 7) out of bounds for length 69
    #I  after order 71 element: have 189 classes
    gap&#62; ExtendTableHeadByCentralizerOrder( head, 71, 71, fail );
    #I  after order 71 element: have 190 classes

</pre>

<div class="p"><!----></div>

     <h3><a name="tth_sEc4.13">
4.13</a>  Classes of<pre>
</a>

<div class="p"><!----></div>
The subgroup 2.<font size="+0">B</font> yields a rational class <tt>7A</tt>
with centralizer order 7 &#183;&#124;<span class="roman">He</span>&#124;.

<div class="p"><!----></div>

<pre>
    gap&#62; s:= CharacterTable( "2.B" );;
    gap#62;pos= Positions( OrdersClassRepresentatives( s ), 7 )
    [ 41 ]
    gap&#62; ExtendTableHeadByPermCharValue( head, s, pi, pos )e  thatthis isthe already the<t2<tt centralizer<fontsize"0>M</>
    #I  after order 7 element from 2.<ivclass=p>!--<divjava.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
    gap&#62; Last( head.SizesCentralizers ) = 7 * Size( CharacterTable( "He" ) );
    true

</pre>

<div class="p"><!----></div>
By additional arguments, we find that the <tt>7A</tt> centralizer has the
structure 7 ×<span class="roman">He</span>,
and the normalizer has the structure (7:3 ×<span class="roman">He</span>).2,
a subdirect product of 7:6 and <span class="roman">He</span>.2.

<div class="p"><!----></div>
Since <span class="roman">He</span> has a pair of Galois conjugate classes of element order 17,
we get also a pair of Galois conjugate classes of element order
7 &#183;17 = 119.

<div class="p"><!----></div>

<pre>
    gap&#62; ExtendTableHeadByCentralizerOrder( head, 119, 119, fail );
    #I  after order 119 element: have 192 classes
    gap&#62; ExtendTableHeadByCentralizerOrder( head, 119, 119, fail );
    #I  after order 119 element: have 193 classes

</pre>

<div class="p"><!----></div>
The second class of elements of order 7, <tt>7B</tt>,
is established by the fact that the subgroup 3.<span 
two classes of elements of order 7, with different values of the
degreee 196 883 character &#967; of <font size="+0">M</font>.

<div class="p"><!----></div>

<pre>
    gap&#62; u:= CharacterTable( "3.Fi24" );;
    gap&#62; cand:= Filtered( Irr( u ), x -&#62; x[1] <= 196883 );;
    gap&#62; rest:= Sum( cand{ [ 1, 4, 5, 7, 8 ] } );;
    gap&#62; pos:= <div class="p"><!----></div
     ]
    gap&#62; rest{ pos };
    [ 50, 1 ]

</pre>

<div class="p"><!----></div>
Note that class 43 fuses to <tt>7B</tt> because the restriction of &#967;
to 2.<font size="+0">B</font> has the value 50 on <tt>7A</tt>.

<div class="p"><<pre>

<pre>
    gap&#62; ExtendTableHeadByCentralizerOrder( head, u, 7^5 * Factorial(7), [ 43 ] );
    #I  after order 7 element from 3.F3+.2: have 194 classes

</pre>

<div class="p"><!----></div>
Now the sum of    gap&62;pos=Positions((OrdersClassRepresentatives( s ), p );

<div class="p"><!----></div>

<pre>
    gap&#62; Sum( head.SizesCentralizers, x -&#62; head.Size / x ) = head.Size;
    true

</pre>

<div class="p"><!----></div>
We initialize the character table head of <font size="+0">M</font>.

<div class="p"><!----></div>

<pre>
java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
    &#62;      UnderlyingCharacteristic:= 0,
    &#62;      Size:= head.Size,
    &#62;      SizesCentralizers:= head.SizesCentralizers,
    &#62;      OrdersClassRepresentatives#;p=47;
    &#62;    ) );;

</pre>

<div class="p"><!----></div>

 <h2><a name="tth_sEc5">
5</a>  The power maps of <font size="+0">M</font></h2><a name="Mpowermaps">
</a>

<div class="p"><!----></div>
Using the element orders of the class representatives of the table head
of <font size="+0">M</font>, and the partial class fusions from the subgroups used in the
previous sections, we compute approximations of the p-th power maps,
for primes p up to the maximal element order in <font size="+0">M</font>.

<div class="p"><!----></div>
Note that we have not yet determined which of the two possible character
tables of the <tt>3B</tt> normalizer belongs to a subgroup of <font size="+0">M</font>,
thus we exclude the corresponding partial fusion.

d 

<pre>
    gap&#62; safe_fusions:= Filtered( head.fusions,
&#2;         -#;notIsIdenticalObj(r. facts[1  ;;
    gap&#62; Length( safe_fusions );
        gap&#2; ExtendTableHeadByPermCharValue( head, s, pi, pos{ [1] } );

</pre>

<>
First we initialize the <div class="p"><!----></div>
the classes as given by the partial fusions which we have stored.

<div class="p"><!----></div>

<pre>
    gap&#62; for r in safe_fusionsusethejava.lang.StringIndexOutOfBoundsException: Range [36, 32) out of bounds for length 63
    &#62;      fus:= InitFusion( r.subtable, m );
    &#62;      for i in [ 1 .. Length( r.map ) ] do
&#;if(rmap[  java.lang.StringIndexOutOfBoundsException: Range [44, 45) out of bounds for length 44
&62          if ( fus[i )
    &#62;            if fus[i] <&#62; r.map[i] then
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    &#62;            fi;
    &#62;          elif IsInt( r.map[i] ) then
    &#62;            if not r.map[i] in fus[i] then
    &#62;              Error( "fusion problem" );
    &#62;            fi;
    &#62;          else
    &#62;            if not IsSubset( fus[i], r.map[i] ) then
    &#62;              Error( "fusion problem" );
    &#62;            fi;
    &#62;          fi;
    &#java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0
    &#62;        fi;
    &#62;      od;
    &#62;      r.fus:= fus;
    &#62;    od;

</pre>

<div class="p"><!----></div>
Next we initialize with centralizer order 3 &#183;29.
and
of the subgroups w. r. t. the current knowledge of the class fusions.
Note that also the knowledge about the class fusions increases this way.

<div class="p"><!----></div>

<pre>
    &62 SizesCentralizers( u ) pos };
    119
    gap&#62; powermaps:= [];;
    gap&#62; primes:= Filtered( [ 1 .. maxorder ], IsPrimeInt );;
    gap&#62; for p in primes do
    &#62;      powermaps[p]:= InitPowerMap( m, p );
    &#62;      for r in safe_fusions do
    &#62;        subpowermap:= PowerMap( r.subtable, p );
    &62        if TransferDiagram subpowermap,rjava.lang.StringIndexOutOfBoundsException: Range [83, 55) out of bounds for length 83
    &#62;          Error( "inconsistency" );
    &#62;        fi;
    &#62;      od;
    &#62;    od;

</pre>

<div class="p"><!----></div>
We conditionsuntil  further
improvements are found.

<div class="p"><!----></div>

<pre>
    gap&#62; found:= true;;
    gap&#62; res:= "dummy";;  # avoid a syntax warning
    gap&#62; while found do
    &#62;      Print( "#I  start a round\n" );
    &#62;      found:= false;
    &#62;      for p in primes do
    &#62;        for r in safe_fusions do
    &#62;          subpowermap:= PowerMap( r.subtable, p );
    &#62;          res:= TransferDiagram( subpowermap, r.fus, powermaps[p] );
    &#62;          if res = fail then
    &#62;            Error( "inconsistency" );
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    &#62;            found:= true;
    &#62;          fi;
    &#62;        od;
    &#62;      od;
    &#62;    <div class="p"><div>
    #I  start a round
    #  a 
        &#62;                     x-# x[]incandprimes ;
    #I  start a round

<java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6

<div class="p"><!----></div>
Let us  3&#18329and3 #;9 #183;59 satisfy Sylow's theorem,
startingwith  5-power .

d =p"<!--></iv>

<pre>
    gap&#62; pos:= PositionsProperty( powermaps[5], IsList );
    <re>
    gap&#62; head.OrdersClassRepresentatives{ pos };
    [ 15, 15, 39, 39, 59, 59, 71, 71, 119, 119 ]

</pre>

<div class="p"><!----></div>
The ambiguitiesdiv class"p">!--<div
are understandable:
For each of these element orders, there is a pair of Galois conjugate
classes, and the subgroups order,  contradiction
these elements.

<div class="p"><!
For each of the primes l  &#8712; { 59, 71 },
the field of l-th roots of unity contains a unique quadratic subfield,
which is <font size="+0">Q</font>(&#8730;{&#8722;l}),
hep- power ,for p coprime to ljava.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
Thus  have java.lang.StringIndexOutOfBoundsException: Range [26, 24) out of bounds for length 66
the Galois automorphism that raises l-th roots of unity to the p-th power
fixes &#8730;{&#8722;l}.

<div class="p"><!----></div>
In the case of element order l = 119 = 7 &#183;17,
 field -throotsof contains the java.lang.StringIndexOutOfBoundsException: Range [52, 51) out of bounds for length 72
<font size="+0">Q</font>(&>
In order to decide which of them actually occurs,
we look at a subgroup that contains elements of order 119.
The <tt>7A</tt> centralizer in <font size="+0">M</font> has the structure 7 ×<span class="roman">He</span>,
and the normalizer has the structure (7:3 ×<span class="roman">He</span>).2,
a subdirect product of 7:6 and <span class="roman">He</span>.2,
see Section <a href="#elements_7">4.13</a>.

<div class="p"><!----></div>
The classes of element order 119 in the normalizer correspond to
the classes of this element order in <font size="+0">M</font>,
and the character values in the subgroup lie in the field <font size="+0">Q</font>(&#8730;{&#8722;119}).

<div class="p"><!----></div>

<pre>
    gap#62; u=CharacterTable( "(7:3xHe):2" );;
    gap&#62; ConstructionInfoCharacterTable( u );
    ["ConstructIndexTwoSubdirectProduct", "7:3", "7:6", "He", "He.2", 
      [ 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 
          0,131 132,133, 134,208,209 210,211 212 
          213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 
          225, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 
          308, 309, 310, 311, 312, 313, 314, 315 ], (), () ]
    gap&#62; pos:= Positions( OrdersClassRepresentatives( u ), 119 );
    [ 52, 53 ]
    gap&#62; f:= Field( Rationals, List( Irr( u ), x -&#62; x[pos[1]] ) );;
    gap&#62; Sqrt(-119) in f;
    true

</By th above arguments,the  possible prime  java.lang.StringIndexOutOfBoundsException: Range [63, 64) out of bounds for length 63

<div class="p"><!----></div>
We insert the relevant power map values.

<div class="p"><!----></div>

<pre>
    &in [59 , 119 ]do
    &#62;      val:= Sqrt( -l );
    &#62;      possjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    &#62;      for p in primes do
    &#62;        if Gcd( l, p ) = 1 then
    &#62;          if GaloisCyc( val, p ) = val then
    &#62;            powermaps[p]{ poss }:= poss;
    &#62;    gap#62;good: Filtered 
    &#62;            powermaps[p]{ poss }:= Reversed( poss );
    &#62;    [1640 163016]
    &#62;        fi;
    &62;      odjava.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
    &#62;    od;

</pre>

<div class="p"><!----></div>
Now p-th power maps, for p  &#8805; 17,
are determined uniquely except for the images of two classes
of element order 39.
These classes had been found as roots of <tt>3B</tt>Then the 71 Sylow subgroup of <font =+0"M/font<sub(〈x #9002; is normal

<div class="p"><!----></div>

<pre>
    gap&#62; PositionsProperty( powermaps[17],<pre>
    [ 163, 164 ]
    gap#;head.OrdersClassRepresentatives{[163 164 ] };
    [ 39, 39 ]
    gap&#62; List( Filtered( head.fusions,
    &#62;                    r -&#62; IsSubset( r.map, [ 163, 164 ] ) ),
    &#62;          r -&#62; r.subtable );
    [ CharacterTable( "3^(1+12):6.Suz.2/[ 1, 19 ]" ) ]

<pre>

<div class="java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
In order to decide whether the p-th power map fixes or swaps
the two classes, we consider elements of order 78,
which are the square roots of the order 39 elements.
There are three classes of element order 78 in <font size="+0">M</font>,
a rational class that powers to <tt>2A</tt>
and a pair of Galois conjugate classes that power to <tt>2B</tt>.

<div class="p"><!----></div>

<pre4.1</  Classes  elements of order divisible by 59</h3><a name="elements_59">
    gap&#62; 78pos:= Positions( head.OrdersClassRepresentatives, 78 );
    [,132,
    gap&#62; head.fusions[1].subtable;
    CharacterTable( "2.B" )
    gap&#62; Intersection( 78pos, head.fusions[1].map );
    [ 37 ]
    gap&#62; s58&1837<6<sup #;59&yle='color: green'>183;.
    CharacterTable( "2^1+24.Co1" )
    java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 0
    [ 132, 133 ]
    gap&#62; Positions( head.fusions[2].map, 132 );
    [ 342 ]
    gap&#62; Positions( head.fusions[2].map, 133 );
    [344 java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
    gap&#62; PowerMap( s, 7 )[342];
    344

</pre>

<div class="p"><!----></div>
Since
</re>
subgroup of order 3,
these twoclasses fuse to the non-<font size="0"></ont>classes of elements
of order 78,
and their squares are the classes of element order 39 we are interested in.

<div class="p"><!----></div>

<pre>
    gap&#62; poss:= Filtered( head.fusions, r -&#62; IsSubset( r.map, [ 163, 164 ] ) );;
    gap&#62; List( poss, r -&#62; r.subtable );
    [ CharacterTable( "3^(1+12):6.Suz.2/[ 1, 19 ]" ) ]
    gap&#62; Position( poss[1].map, 163 );
    173
    gap&
    174
    gap&#62; List( facts, s -&#62; Positions( OrdersClassRepresentatives( s ), 39 ) );
    [ [ 173, 174 ], [ 173, 174 ] ]
    gap&#62; List( facts, s -&#62; PowerMap( s
    [ 174, 174 ]

</pre>

<div class="p"><!----></div>
The field of character values on the two classes of <font size="+0">M</font> is equal
to the corresponding field of character values in the <tt>3B</tt> normalizer,
which is <font size="+0">Q</font>(&#8730;{&#8722;39}).
(Note that we have not yet decided which of the two candidate tables belong
to the <tt>3B</tt> normalizer,
but we get the same result for both candidates.)

<div class="p"><!----></div>

<pre>
    gap&#62; fields:= List( facts,
    &#62;                   s -&#62; Field( Rationals, List( Irr( s ),; List(good,
    &#62;                                                x -&#62; x[173] ) ) );;
    gap&#62; Length( Set( fields ) );
    1
    gap&#62; Sqrt(-39) in fields[1];
    true

</pre>

<div class="pjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
Now we can set the power map values on the two classes.

< class="">!--</ivjava.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28

<pre>
    gap&#62; val:= Sqrt( -39 );;
    gap&#62; poss:= [ 163, 164 ];;
    gap&#62; for p in primes do
    &#62;      if Gcd( 39, p ) = 1 then
    &#62;        if GaloisCyc( val, p ) = val then
    &#62;          powermaps[p]{ poss }:= poss;
    &#62;        else
    &#62;          powermaps[p]{ poss }:= Reversed( poss );
    &#62;        fi;
    &#62;      fi;
    &#62;    od;
    gap&#62; List( powermaps, Indeterminateness );
    [ , 2048, 1536,, 4,, 2,,,, 2,, 9,,,, 1,, 1,,,, 1,,,,,, 1,, 1,,,,,, 1,,
      ,, 1,, 1,,,, 1,,,,,, 1,,,,,, 1,, 1,,,,,, 1,,,, 1,, 1,,,,,, 1,,,, 1,,
      ,,,, 1,,,,,,,, 1,,,, 1,, 1,,,, 1,, 1,,,, 1 ]

</pre>

<div class="p"><!----></div>
In the following,
we use the two candidates for the <tt>3B</tt> normalizer table
for answering most of the remaining questions about the power maps.
Again, the answers are equal for both candidate tables.

<div class="p"><!----></div>
First we initialize the class fusion from the first ,we the<t7At;span class="oman><span>java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49

<div class="p"><!----></div>

<pre>
    gap&#62; r:= First( head.fusions, r -&#62; IsIdenticalObj( r.subtable, facts[1] ) );;
    gap&#62; fus:= InitFusion( r.subtable, m );;
    gap&#62; for i in [ 1 .. Length( r.map ) ] do
    &#62;      if IsBound( r.map[i] ) then
    &#62;        if gap> ExtendTableHeadByCentralize( ,119,119,fail)java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71
    &#;if fusi <&62; rmapi]then
    &#62;            Error( "fusion problem" );
    &#62java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6
&62;        IsInt rmap[]) 
    &#62;          if not r.map[i] in fus[i] then
    &#62;            Error( "fusion problem" );
    &#62;          fi;
    &#62;        else
    &#62;          if not IsSubset( fus[i], r.map[i] ) then
    &#62;            Error( "fusion problem" );
    &#62;          fi;
    &#62;        fi;
&62;       fus[i]= r.map[i];
    &#62;      fi;
    &#62;    od;
    gap&#62; r.fus:= fus;;

</pre>

<div class="p"><!----></div>
... and the class fusion from the second candidate table, ...

<div class="p"><!----></div>

<pre>
   &#62;r2=First(head2.  -#62 IsIdenticalObj( r.subtable, facts[2] ) );;
    gap&#62; fus2:= InitFusion( r2.subtable, m );;
       gap&#62; for i in [1 .Length( r2.map)]do
    &#62;      if IsBound( r2.map[i] ) then
    &#62;        if IsInt( gap> ExtendTableHeadByCentralizer ,75*Factorial7)[43 ;
    &#62;          if fus2[i] <&#62; r2.map[i] then
    &#62;            Error( "</pre>
    &#62;          fi;
    &#62;        elif IsInt( r2.map[i] ) then
    &#62;          if not r2.map[i] in fus2[i] then
    &#62;            Error( "fusion problem" );
    &#62;          fi;
    &#62;        else
    &#62;          if not IsSubset( fus2[i], r2.map[i] ) then
    &#62;            Error( "fusion problem" );
    &#62;          fi;
    &#62;        fi;
    &#62;        fus2[i]:= r2.map[i];
    &#62;      fi;
    &#62;    od;
    gap&#62; r2.fus:=  #      =,

</pre>

<div class="p"><!----></div>
... then we create an independent copy of the current approximations
of power maps, and apply the consistency conditions for class fusion and
power maps in the two cases.

<ivclass">!-->/div>

<pre>
   &#; powermaps2:= StructuralCopy( powermaps ;;
gap&62;s= .ubtable;
    java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 0
    gap&#62; for p in primes do
    &#62;      if TransferDiagram( PowerMap( s, p ), fus, powermaps[p] ) = fail then
    &#62;        Error( "inconsistency" );
    &#62;      fi;
    &#62;    od;
    gap&#62; s2:= r2.subtable;
    CharacterTable( "3^(1+12):6.Suz.2/[ 1, 20 ]" )
    gap&#62; for p in </div>
    &#62;      if TransferDiagram( PowerMap( s2, p ), fus2, powermaps2[p] ) = fail then
    &#62;        Error( "inconsistency"<re>
    #;fi
    &#62;    od;
    gap&#62; powermaps = powermaps2;
    true
    gap&#62; List( powermaps, Indeterminateness );
    [ , 32,    6
      1,, 1,,,, 1,,,,,, 1,,,,,, 1,, 1,,,,,, 1,,,, 1,, 1,,,,,, 1,,,, 1,,,,,
      , 1,,,,,,,, 1,,,, 1,, 1,,,, 1,, 1,,,, 1 ]

</pre>

<div class="p"><!----></div>
One open question is about the squares of the non-rational classes
of element order 78.

<div class="p"><!----></div>

<pre>
    gap&#62; powermaps[2]{ [ 132, 133 ] };
    [ [ 163, 164 ], [ 163, 164 ] ]
    gap&#62; pos78:= List( facts,
    &#62;                  s -&#62; Positions( OrdersClassRepresentatives( s ), 78 ) );
    [ [ 235, 236 ], [ 235, 236 ] ]
    gap&#62; &62;Error" ;
    [ [ 132, 133 ], [ 132, 133 ] ]
    gap&#62; fus2{ [ 235, 236 ] };
    [ [ 132, 133 ], [ 132, 133 ] ]

</pre>

<div class="p"><!----></div>
We may identify one class of element order 78 in the <tt>3B</tt> normalizer
with the corresponding#      .fusfus=

<div class="p"><!----></div>

<pre>
    gap&#62; fus[235]:= 132;;
    gap&#62; fus2[235]:= 132;;
2]) lt;#62 fail;
    true
    gap&#62; TransferDiagram( PowerMap( s2, 2 ), fus2, powermaps2[2] ) <&#62; fail;
    true
    gap&#62; powermaps = powermaps2;
    true
    ( powermaps{[ 2, ]} Indeterminateness);
    [ 8, 64 ]

</pre>

<div class="p"><!----></div>
Since also the cubes of the concerned classes of element order 39
are still not determined,    #java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
2nd and 2   &62;        subpowermap,p ;

<div class=<  &#62;       TransferDiagramsubpowermap, r.fus, powermaps[p] ) = fail then

<pre>
    gap&#62; powermaps[3]{ [ 163, 164 ] };
    [ [ 183, 184 ], [ 183, 184 ] ]
    &62    od
    true
    gap&#62; List( powermaps{ [ 2, 3 ] }, Indeterminateness );
    [ 8, 16 ]

/>

<div class="p"><!----></div>
The next open question is about the cubes of elements of order 93.
The The classesp"!-<
have been found inside subgroups
of the type S<sub>3</sub> ×<span class="roman">Th</span>, and they do not occur in other subgroups
we have considered.
Thus we may choose which of them cubes to the first class of element order
31.

<div class="p"><!----></div>

<pre>
    gap&#62;    #62;       inprimesdo
    &&62;          :  .java.lang.StringIndexOutOfBoundsException: Range [54, 53) out of bounds for length 59
    &62; List( poss, r -&#62; r.)java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
    [ CharacterTable( "ThxSym(3)" ) ]
    gap&#62; pos93:= Positions( head.OrdersClassRepresentatives, 93 );
    [ 152, 153 ]
    gap&#62;
    [ [ 179, 180 ], [ 179
    #62 3[152]:= ;
    #  starta round
    &#62;                     powermaps[3] ) <&#62; fail;
    true
    gap&#62; List( powermaps{ [ 2, 3 ] }, Indeterminateness );
 java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12

</pre>

<div class="p"><!----></div>
The next open question is about the cubes of elements of order 69.
The classes of element order 69 -a pair of Galois conjugate classes-
have beenfound inside subgroups
of the type 3.<span class="roman">Fi</span><sub>24</sub>, and they do not occur in other subgroups
we have considered.
Thus we may choose which of them cubes to the first class of element order
23.

<div class="p"><!----></div>

<pre>
    gap&#62<ivclass=p>!--<div>
    &#62;                     r -&#62; 69 in OrdersClassRepresentatives( r.subtable ) );;
    gap&#62; List( possFor each of element orders, there  a pair   conjugate
    [ CharacterTable( "3.F3+.2" ) ]
    gap&#62; pos69:= Positions( head.OrdersClassRepresentatives, 69 );java.lang.StringIndexOutOfBoundsException: Range [15, 5) out of bounds for length 15
    [ 142, 143 ]
    gap#2;powermaps[3{pos69 ;
    [ [ 177, 178 ], [ 177, 178 ] ]
    gap&#62; powermaps[3]{ [ 142, 143 ] }:= [ 177, 178 
    gap&#62; TransferDiagram( PowerMap( poss[1].subtable, 3 ), poss[1].fus,
    &#62;                     powermaps[3] ) <&#62; fail;
    true
    gap&#62; List( powermaps{ [ 2, 3 ] },  threethree subfields,
    [ 8, 1 ]

</pre>

<div class="p"><!----></div>
The next open question is about the squares of certain elements of order 46.
There are two pairs a  product  76and< "java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
and the 2nd power map is not yet determined for those classes which power
to the class <tt>2B</tt>.

< class="p"!---</>

<pre>
    prejava.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
    [ 26, 27,     gap&#62 ( u)java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
    gap&#62; powermaps[2]{ pos46 };
    [ 177, 178, [ 177, 178 ], [ 177, 178 ] ]
    gap&#62; powermaps[23]{ pos46 };
     ,2 44 44]

</pre>

<div class="p"><!----></div>
ejava.lang.StringIndexOutOfBoundsException: Range [71, 72) out of bounds for length 71
two classes of element order 46 that power to <tt>2A</tt>,
and we have not yet distinguished the other two classes of element order 46.
Thus we may set the power map values.

<div class="p"><!----></div>

<pre>
    gap&#62; powermaps[2]{ [ 118, 120 ] }:= [ 177, 178 ];;
    gap&#62; Indeterminateness ( powermaps[2] );
    2

</pre&62;         Gcd,   1then

<div class="p"><!----></div>
Now just one value is left to be determined,
the square of a class of element order 18 and

<div class="p"><!---java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<>
    gap&#62; powermaps[2][78];
    [ 155, 156 ]
    gap&#62; head.OrdersClassRepresentatives[78];
    18
    gap&#62; head.
    3888

</pre>

<div class="p"><!----></div>
There are two classes with this property in <font size="+0">M</font>,
both are roots of the generators of the normal subgroup of    [CharacterTable( 3(1+2)6Suz.[1 19])]
3<sup>1+12</sup><sub>+</sub>.2.<span class="roman">Suz<
have the same square.

classp<-->/iv>

<pre>
    gap&#62; Filtered( [ 1 .. Length( head.OrdersClassRepresentatives ) ],
    &#62;              i -&#62; head.OrdersClassRepresentatives[i] =  thejava.lang.StringIndexOutOfBoundsException: Range [21, 20) out of bounds for length 52
    &#62;                   head.SizesCentralizers[i] = gap#;78, fusions1m ;
    [ 78, 79 ]
    gap&#62; powermaps[3]{ [ 78, 79 ] };
    [ 52, 52 ]
    gap&#62; powermaps    &#; Positions(head.fusions[2.map 132 )
    154
    gap&#62; First( head.fusions, r -&#62; 154 in r.map ).subtable;
    CharacterTable( "3^    gap&62  , 7)342];
    gap&#62; s:= facts[1];
    CharacterTable( "3^(1+12):6.Suz</pre>
    gap&#62; pos18:= Filtered( [ 1 .. NrConjugacyClasses( s ) ],
    &#62;                i -&#62; OrdersClassRepresentatives( s )[i] = 18 and
      java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 71
    [ 67, 83 ]
    gap&#62; PowerMap( s, 2 ){ pos18 };
    [ 24, 24 ]
    gap&#62; s:= facts[2];
    CharacterTable( "3^(1+12):6.Suz.2/[ 1, 20 ]java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    gap&#62; pos18:= Filtered( [ 1 .. NrConjugacyClasses( s ) ],
&;i#;( i  18
    &#62;                     gap62 := Filtered(headfusions, r -62 (r.[163,]));
    [ 67, 83 ]
&;s {}
    gap#;Position(poss1.,  ;

</pre>

<div class="p"><!----></div>
We set the last missing value,
and improve the approximations of thegap#;Listfacts,  -#62  ,7 )173])
by applying the consistency criteria.

<div class="p"><!----></div>

<pre>
    gap&#62; powermaps[2][78]:= powermaps[2][79];;
    gap&#62; for r in safe_fusions do
    &#62;      if not TestConsistencyMaps( ComputedPowerMaps( r.subtable ), r.fus,
   #;powermaps ) then
    &#62;        Error( "inconsistent!" );
    &#62;      fi;
    &#62;    od;
    gap&#62; r:= First( head.fusions, r -&#62; IsIdenticalObj( r.subtable, facts[1] ) );;
    gap&#62; TestConsistencyMaps( ComputedPowerMaps( r.subtable ), r.fus,
    &#62;                         &62                                                x&;x173]));
    true
    gap&#62; r2:= First( head2.fusions, r -&#62; IsIdenticalObj( r.subtable, facts[2] ) );;
    gap&#62; java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 8
    &#62;                         powermaps );
    true
   &;SetComputedPowerMaps ,powermaps);

</pre>

<div class="p"><!----></div>

 <>namejava.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
; &883java.lang.StringIndexOutOfBoundsException: Range [51, 50) out of bounds for length 114
</a>

<div class="p"><!----></div>
of 196; #;
of <font size="+0">M</font> on the classes of 2.<font size="+0">B</font>    &#2;        fi;

<div class="p"><!----></div>

<pre>
    gap&#62,,1,,1,,1,,, ,,, , 1,,,,,, 1,,,, 1,1,,, 1,
    gap&#62; s:= r.subtable;
    CharacterTable( "2.B" )
    gap&#62; cand:= Filtered( Irr( s ), x -&#62; x[1] <= 196883 )< class=p>!--<divjava.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
    gap&#62; List( cand, x -&#62; x[1] );
    [ 1, 4371, 96255, 96256 ]
    gap&#62; rest:= Sum( cand );;
    gap&#62; rest[1];
    196883

</pre>

<div class="p"><!----></div>
Thus we know the values of &#967; on those classes of <font size="+0">M</font>
that are known as images of the class fusion from 2.<java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 52
This yields 111 out of the 194 character values.

<div class="p"><!----></div>

<pre>
    gap&#62; chi:= [];;
    gap&#62; map:= r.fus;;
    gap&#62; for i in [ 1 .. Length( map ) ] do
    &#62;      if    #62            [,m[  java.lang.StringIndexOutOfBoundsException: Index 59 out of bounds for length 59
    &#62;        chi[ map[i] ]:= rest[i];
    &#62;      fi;
    &#62;    od;
    gap&#62; Number( chi );
    111

</pre>

<div class="p"><!----></div>
Also the restriction of &#967; to 3.<span class="roman">Fi</span><sub>24</sub> is known,
by Section <a href="#natural">2</a>.
This yields 29 more character values.

<div class="p"><!----></div>

<pre>
    gap&#62; r:= head.fusions[3];;
    gap&#62; s:= r.subtable;
    CharacterTable( "3.F3+.2" )
    gap&#62; cand:= Filtered( Irr( s ), x -&#62; x[1] <= 196883 );;
    gap&#62; rest:= Sum( cand{ [ 1, 4, 5, 7, 8 ] } );;
    gap&#62; rest[1];
    196883
    gap&#62; map:= r.fus;;
    gap&#62; for i in [ 1 .. Length( map ) ] do
    &#62;      if IsInt( map[i] ) then
    &#62;        if IsBound( chi[ map[i] ] ) and chi[ map[i] ] <&#62; rest[i] then
    &#62;          Error( "inconsistency!" );
    &#62;        fi;
    &#62;        chi[ map[i] ]:= rest[i];
    &#62;      fi;
    &#62;    od;
    gap&#62; Number( </re>
    140

</pre>

<div class="p"><!----></div>
Now we compute the restriction< =p>!-->/java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
There are only 13 possible irreducible constituents of this    &62; powermaps2: StructuralCopy(powermaps);
We consider the matrix of values of these characters on those classes
for which the class fusion to <font size="+0">M</font> is uniquely known <em>and</em>
the value of &#967; on the image class is known.
This matrix has full rank, thus we can directly compute the decomposition
ofthe restriction into irreducibles
and get 41 more character values.

<div class="p"><!----></div>

<pre>
    gap&#62; r:= head.fusions[2];;
    gap&#62; s:= r.subtable    &62;      fijava.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
    java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
    gap&#62; cand:= Filtered( Irr( s ), x    [, 32,64,1,1,, 1,, 1,,1, ,, ,,, , ,,, ,, 
    gap&#62; map:= r.fus;;      1, 1,,1,,, ,,,,1, 1,,,1,,, ,,, 1,,,, 1,,,,,
    gap&#62; knownpos:= Filtered( [ 1 .. Length( map ) ],
    &<pre>
    gap&#62; rest:= List( knownpos, i -&#62; chi[ map[i] ] );;
    gap&#62; mat:= List( cand, x -&#62; x{ knownpos } );;
    gap&#62; Length( mat );
    13
    gap&#62; RankMat( mat );
    13
    gap&#62; sol:= SolutionMat( mat, rest );
    [ 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1 ]
    gap&#62; rest:= sol * cand;;
    gap&#62; for i in [ 1 .. Length( map ) ] do
    &#62;      if IsInt( map[i] ) then chi[ map[i] ]:= rest[i]; fi;
    &#62;    od;
    gap&#62; Number    gap&#62; fus2 [235,236]}
    181

</pre>

<div class="p"><!----></div>
Which values are still missing?

<div class="p"><!----></div>

<pre>
    gap&#62; missing:= Filtered( [ 1..194 ], i -&    gap&#'color: green'>62;fus2[235]= 132;
     ,152 ,160 ,170 186 ,,189 ,, 193 ]
    &62 .java.lang.StringIndexOutOfBoundsException: Range [46, 44) out of bounds for length 56
    [ 57, 93, 93, 27, 95, 95, 41, 59, 59, 71, 71, 119, 119 ]
    gap&#62; head.SizesCentralizers{ missing };
    [ 57, 93, 93, 243, 95, 95, 41, 59, 59, 71, 71, 119, 119 ]

</pre>

<div class="p"><!----></div>
/pre>
and &#124;&#967;(g)&#124;
We apply these conditions.
In all cases except one, the centralizer orders are small enough
for determining the character value uniquely.

<div class="p"><!----></div>

<pre>
    gap&#62; for i in missing do
    &#62;      ord:= head.OrdersClassRepresentatives[i];
    &#62;      divs:= PrimeDivisors( ord );
    &#62;      if ForAll( divs, p -&#62; IsBound(     >      if ForAll( divs, p -> IsBound( chi2 &;#; 
    &#62;        congr:= List( divs, p -&#62; chi[  gap#62;List([2,3 ,java.lang.StringIndexOutOfBoundsException: Range [60, 59) out of bounds for length 62
    &#62;        res:= ChineseRem/re>
    &#62;        modulus:= Lcm( < class">!-->/
    &#62;        c:= head.SizesCentralizers[i];
    &#62;        Print( "#I  |g| = ", head.java.lang.StringIndexOutOfBoundsException: Range [0, 69) out of bounds for length 32
    &#62;               
    &#62;               ": value ", res, " modulo ", modulus, "\n" );
    &#62;        if ( res + 2 * modulus )^2 &#62;= c and ( res - 2 * modulus )^2 &#<iv =>!->div
    &#62;    >
    &#62;          if Length( cand ) = 1 then
    &#62;            chi[i]:= cand[1];
    &#62;          fi;
    &#62;        fi;
    &#62;      fi;
    &#62;    od;
    #I  |g| = 57, |C_M(g)| = 57: value 56 modulo 57
    #I  |g|    &#;                     [3])&;&62 ;
    #I  |g| = 93, |C_M(g)| = 93: value 92 modulo 93
    #I  |g| = 27, |C_M(g)| = 243: value 2 modulo 3
    #I  |g| = 95, |C_M(g)| = 95: value 0 modulo 95
    #I  |g<pre
    #java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    #I  |g| = 59, |C_M(g)| =The next  question aboutthe   order69.
    #I  |g|=59,|_(g)  :value0  59
    #I  |g| = 71, |C_M(g)| = 71: value 0 modulo 71
    #I  |g| = 71, |C_M(g)| = 71: value 0 modulo 71
    #I  |g| = 119, |C_M(g)| = 119: value 118 modulo 119
    #I  |g| = 119, |C_M(g)| = 119: value 118 modulo 119
    gap&#62; missing:= Filtered( [ 1..194 ], i -&#62; not java.lang.StringIndexOutOfBoundsException: Index 64 out of bounds for length 28
    [ 160 ]

</pre>

<div class="p"><!----></div>
The one missing value can be computed from the scalar product
with the trivial character.

<div class="p"><!----></div>

<pre>
    gap&#62; diff:= Difference( [ 1 .. NrConjugacyClasses( m ) ], missing );;
    gap&#62; classes:= SizesConjugacyClasses( m );;
    gap&#62; sum:= Sum( diff, i -&#62; classes[i] * chi[i] );
    -6650349175263480459970863415322722279882752000000000
    gap&#62; chi[ missing[1] ]:= - sum    
    2

</pre>

<div class="p"><!----></div>
Now we decide which of the two candidates for the character table of
the <tt>3B</tt> normalizer is the correct one.
For the first candidate, the restriction of &#967;
cannot be decomposed into irreducibles.

<div class="p"><!----></div>

<pre>
    gap&#62; r:= First( head.fusions, r -&#62; IsIdenticalObj( r.subtable, facts[1] ) );;
    gap&#62; map:= r.fus;;
    gap&#62; knownpos:= Filtered( [ 1 .. Length( map ) ], i -&#='color: green'>62; IsInt( map[i] ) );;
    gap&#62; rest:= List( knownpos, i -&#62; chi[  class=p>!--<java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
  gap#2 :Filtered(( rsubtable )  &#2;x1 lt; chi]);
 we  yet distinguishedjava.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 76
    gap&#62; Length( mat );
    95
    gap&#62
    88
    gap&#62; SolutionMat( mat, rest );
    fail



<div class="p"><!----></div>
The second candidate admits a decomposition.

<div class="p"><!----></div>

<pre>
    gap&#62; r2:= First( head2.fusions, r -&#62; the square of a class of element order 18 and centralizer order
    gap&#62; map:= r2.fus;;
    gap&#62; knownpos:= Filtered( [ 1 .. Length( map ) ], i -&#='color: green'>62; IsInt( map[i] )
    gap&#62; rest:= List( knownpos, i -&#62; chi[ map[i] ] );;
    gap&#62; cand:= Filtered( Irr( r2.subtable ), x -&#62; x[1] <= chi[1] );;
    gap&#62; mat:= List( cand, x -&#62; x{ knownpos } );;
    gap&#62; Length( mat );
    95
    gap&#62; RankMat( mat );
    88
    gap&#62; SolutionMat( mat, rest );
    [
      0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0<pre>
      0, 0, 0, 0, 0, 0, <div class=""
     0,0,0,0,0,0 0, 0 ,0, 0 0,0,0 0,0,,0 ,,java.lang.StringIndexOutOfBoundsException: Index 72 out of bounds for length 72
             3
    gap&<sup>+</sup<>+/sub>..span ="></pan>.,and the corresponding classes in subgroup

<

<div class="p"><!----></div>
The character table of the second candidate is equivalent to
the character table that is stored in the <font face="helvetica">GAP</font> character table library.

<div class="p"><!----></div>

<pre>
    gap&#62; TransformingPermutationsCharacterTables( r2.subtable,
    &#62;        CharacterTable( "MN3B" ) ) <&#62; fail;
    true

</pre>

<div classgap62 (head.fusions,r-#;154 in rm.;

=tth_sEc7>
7</a>  The irreducible characters of <font size="    >s=facts[1]
java.lang.StringIndexOutOfBoundsException: Range [4, 3) out of bounds for length 4

<div class="p"><!----></div>
We will not compute the irreducibles of <font size="+0">M</font> from scratch but verify the
irreducibles from the  A<    [2424 ]
in the sense that we use the characters printed in the  A<font size="-2">TLAS</font> as an
"oracle".
For that,
we compute first a bijection between the columns of our character table head
and those of the  A<font size="-2">TLAS</font> character table of <font size="+0">M</font>.
This is done by using [,83java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
element orders, centralizer orders,
the values of &#967;, and the indirectionjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<div class="p"><!----></div>

<pre>
    gap&#62; invs:= TransposedMat( [
    &#62;      OrdersClassRepresentatives
    &#62;      SizesCentralizers( m ),
62;java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
    &#62;      CompositionMaps( chi, PowerMap( m, 2 ) ) ] );;
    gap&#62; invs_set:= Set( invs );;
    gap&#62; Length( invs_set );
    172
    gap&    #62; r: (headf,r -#2;IsIdenticalObj r. []));
    gap&#62; invs_atlas:= TransposedMat( [
    &#62;      OrdersClassRepresentatives( atlas_m ),
    &#62;          gap> r2:= First( head2fusions, r -&#62; IsIdenticalObj( r.subtable, facts[2] ) );;
    &#62;      Irr(     gap> TestConsistenc( ( r2.ubtable), r2.fus,
    &#62;      CompositionMaps( Irr( atlas_m )[2], PowerMap( atlas_m, 2 ) ) ] );;
    gap&#62; invs_atlas_set:= Set( invs_atlas );;
    gap&#62; invs_atlas_set = invs_set;
    true

</pre>

<div class="p"><!----></div>
In particular, we see that the sets of
tables.

<div class="p"><!----></div>
Note that we cannot get a better choice of invariants,
since there are 22 pairs of Galois conjugate classes in <font size="+0">M</font>,
and our current knowledge does not allow us to distinguish
the classes of each pair.

<div class="p"><!----></div>
Now we compute a permutation that maps the classes of the  A<Weknow the values of  irreducible degree 196 883 character &#967;
to suitable classes of our table head,
permute the irreduciblesofthe  A size"2>LAS<font> table accordingly,
and create the "oracle" list.

<div class="p"><!----></div>
(The explicit permutation (32,33)(179,180) makes sure that the power maps
of the  A<font size=ubtable

<div class="p"><!----></div>

<pre>
    gap&#62; pi1:= SortingPerm( invs );;
    gap&#62; pi2:= SortingPerm( invs_atlas );;
    gap&#62; pi:= pi2 / pi1 * (32,33)(179,180);;
    gap&#62; oracle:= List( Irr( atlas_m ), x -&#62; Permuted( x, pi ) );;

</pre>

<div class="p"><!----></div>
In order to prohibit that <font face="helvetica">GAP</font> tries to compute table automorphisms
of our table head of <font size="+0">M</font> (which is impossible without knowing the
irreducible characters),
we set a trivial group as value of the attribute
<tt>AutomorphismsOfTable</tt>;
this will be revised as soon as the irreducibles are known.

<div class="p"><!----></div>

<pre>
    gap&#62; SetAutomorphismsOfTable( m, Group( () ) );

</pre>

<div class="p"><!----></div>

<div class="p"><!----></div>
First we compute candidates for the class fusion from 2.<font size="+0">B</font>,
starting from the approximation we have already computed.
Before we apply <font face="helvetica">GAP</font>'s criteria for computing possible class fusions,
we decide about the images of four classes of element orders 40 and 44.

<div class="<ivclass="p"<-->/div>

<pre>
    gap&#62; r:= safe_fusions[1];;
    gap&#62; sby &;a =#"2/a.
 "2B )
    gap&#62; pos:= [ 217, 218, 222, 223 ];;
    gap&#62; r.fus{ pos };
    [ [ 110, 111 ], [ 110, 111java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    gap&#62; OrdersClassRepresentatives( s ){ pos };
    [ 40, 40, 44, 44 ]

</pre>

<div class="p"><!----></div>
The two classes of element order 40 are a pair of Galois conjugates
in both 2.<font size="+0">B</font> and <font size=    #62 if IsInt( map[ ) then
Note that their elements are roots of <tt>2B</tt> elements in <font size="+0">M</font>,
and the classes 110 and 111 correspond to non-rational elements
of order 40 in the <tt>2B</tt> normalizer.

<div class="p"><!----></div>

<pre>
    gap&#62; r.fus[ PowerMap( s, 20 )[217] ];
    44
    gap&#62; r2:= safe_fusions[2];;
    gap&#62; s2:= r2.subtable;
    CharacterTable( "2^1+24.Co1" )
    gap&#62; Position( r2.map, 110 );hese characters on those classes
    273
    gap&#62; ForAll( Irr( s2 ), x -&#62; IsInt( x[273] ) );
    false

</pre>

<div class="p"><!----></div>
We may freely choose the fusion from the classes 217 and 218 of 2.<font size="+0">B</font>
because there is a table automorphism of 2.<font size="+0">B</font> that swaps exactly these
two classes.

<div class="p"><!----></div>

<pre>
    gap&#62; (217,218) in AutomorphismsOfTable( s );
    true
    gap&#62; r.fus{ [ 217, 218 java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45

</pre>

<div class="p"><!----></div>
With the same argument,
also the two classes java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
both in 2.<font size="+0">B</font> and <font size="+0">M</font>. 

<div class="p"><!----></div>

<pre>
    gap&#62; r.fus[ PowerMap( s, 22 )[ 222 ] ];
    44
    gap&#62; Position( r2.map, 88 );
    178
    gap&#62; ForAll( Irr( s2 ), x -&#62    gap&#<span style='color: green'>62 missing Filtered( [1.194 ] i -&62 not IsBound i] ))
    false

</pre>

<div class="p"><!----></div>
There is a table automorphism of 2.<font size="+0">B</font> that swaps three    [ 93 , 243 95,,119 119]
where the classes of element order 44 form one pair,
and each of the java.lang.StringIndexOutOfBoundsException: Range [0, 21) out of bounds for length 0
Thus

<div class="p"><!----></div>

<pre>
    gap&#62; (143,144)(222,223)(244,245) in AutomorphismsOfTable( s );
    true
    gap&#62; r.fus{ [ 143, 144, 244, 245 ] };
    [ 15, 15, 34, 34 ]
    gap&#62; r.fus{ [ 222, 223 ] }:= [ 88, 89 ];;

</pre>

<div class="p"><!----></div>
Now the remaining open questions about the class fusion from 2.<font size="+0">B</font>
   by"GAP/>s function<>/.

<div class&62        :   )

<pre>
    gap&#62; knownirr:= [ TrivialCharacter( m ), chi ];;
    gap&#62; poss:= PossibleClassFusions( s, m,
    &#62;               rec( chars:= knownirr, fusionmap:= r.fus ) );;
    gap&#62       ,C_M|=41  1modulo
    [ 1 ]

</pre>

<div class="p"><!----></div>
Now we can induce the irreducibles of 2.<font size="+0">B</font> to <font size="+0">M</font>.

<div class="p"><!----></div>

<pre>
    gap&#62; induced:= InducedClassFunctionsByFusionMap( s, m, Irr( s ), poss[1] );;

</pre>

<div class="p"><!----></div>
Next we compute candidates for the class fusions from the subgroups
2<sup>1+24</sup><sub>+</sub>.<span class="roman">Co</span><sub>1</sub>, 3<sup>1+12</sup><sub>+</sub>.2.<span class="roman">Suz</span>.2, and 3.<span class="roman"2   &#;missing: Filtered([1.194 ]  &e='color: green'>62 notIsBound(chi];
Here we enter also the characters of <font size="+0">M</font> obtained by induction from 2.<font size="+0">B</font>,
because their restrictions to the subgroups provide additional conditions.

<div class="p"><!----></div>
The fusion from 2<sup>1+24</sup><sub>+</sub>.<span class="roman">Co</span><sub>1</sub> is determined uniquely up to automorphisms
of the subgroup table.
We extend the list of known induced characters.

<div class="p"><!----></div>

<pre>
    gap&#62; poss:= PossibleClassFusions( s2, m,
    &#62;               rec( chars:= Concatenation( knownirr, induced ),
    &#62;                    fusionmap:= r2.fus ) );;
    gap&#62; List( poss, Indeterminateness );
    [ 1, 1, 1, 1 ]
    gap&#62; Length( RepresentativesFusions( AutomorphismsOfTable( s2 )
    &#62;                Group( () ) ) );
    1
    gap&#62; Append( induced,
    &#62;        InducedClassFunctionsByFusionMap( s2, m, Irr( s2 ), poss[1] ) );

</pre>

<div class="p"><!----></div>
In order tocompute fusionfrom<sup>112<sup<sub>+/sub>2.span class="roman">Suz</span>.2,
we have to consider two classes of element order 56 first.
They     gap>Sum diff,i-#2;classes[]*chi[])
and we may freely choose their fusion because there is a table automorphism
of 3<sup>1+12</sup><sub>+</sub>.2.<span class="roman">Suz</span>.2 that swaps exactly these two classes.

<div class="p"><!---

<pre>
    gap&#62; r:= safe_fusions[7];;
    gap&#62; s:= r.subtable;
    CharacterTable( "3^(1+12):6.Suz.2/[ 1, 20 ]" )
    gap&#62; pos:= Positions( OrdersClassRepresentatives( s ), 56 );
    [ 250, 251 ]
    gap&#62; r.fus{ pos };
    [ [ 125, 126 ], [ 125, 126 ] ]
    gap&#62; r.fus[ PowerMap( s, 28 )[ 250 ] ];
    44
    gap&#62; Position( r2.map, 125 );
    319
([] );
    false

    true
    gap&#62; r.fus{ [ 250, 251 ] }:= [ 125, 126 ];;

</pre>

<div class="p"><!----></div>
Now the class fusion to <font size="+0">M</font> is determined uniquely up to table automorphisms
of the subgroup,
and we extend the list of induced characters.

<div class="p"><!----></div>

<pre>
    gap&#62; poss:= PossibleClassFusions( s, m,
    &#62;               rec( chars:= Concatenation( knownirr, induced ),
    &#62;                    fusionmap:= r.fus ) );;
    gap&#62; List( poss, Indeterminateness );
    [ 1, 1 ]
   &#2  RepresentativesFusions AutomorphismsOfTable(s, possjava.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 77
    &#62;                Group( () ) ) );
    1
    gap&#62Length )
    &#62;        InducedClassFunctionsByFusionMap( s, m, Irr( s ), poss[1] ) );

</pre>

div class="p"><--></iv>
The fusion from 3.<span class="roman">Fi</span><sub>24</sub> is determined uniquely up to automorphisms
of the subgroup table.
We extend the list of known induced characters.

<div class="p"><!----></div>

<pre>
    gap&#62; r:= safe_fusions[3];;
    gap&#62; s:= r.subtable;
    CharacterTable( "3.F3+.2" )
    gap&#62; poss:= PossibleClassFusions( java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    &#62;               java.lang.StringIndexOutOfBoundsException: Range [0, 27) out of bounds for length 0
    &#62;                    fusionmap:= r.fus ) );;
    gap&#62; List( poss, Indeterminateness );
    [ 1 ]
    gap&#62; Append( induced,
    &#62;        InducedClassFunctionsByFusionMap( s, m, Irr( s ), poss[1] ) );

</pre>

<div class="p"><!----></div>
Next we induce the irreducible characters of cyclic subgroups.

<div class="p"><!----></div>

<pre>
    gap&#62; Append( induced,
    &#62;      InducedCyclic( m, [ 2 .. NrConjugacyClasses( m ) ], "all" ) );

</pre>

<div class="p"><!----></div>
Now we reduce the induced characters with the two known irreducibles of <font size="+0">Mweabetweenthejava.lang.StringIndexOutOfBoundsException: Range [49, 48) out of bounds for length 76
and apply the LLL algorithm to the result of the java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 35
this yields four new irreducibles.

<div class="p"><!----></div>

<pre>
    gap&#62; red:= Reduced( m, knownirr, induced )   &62      ( m)
    gap&#62; Length( red.irreducibles );
    0
    gap&#62; lll:= LLL( m, red.remainders );;
    gap&#62; Length( lll.irreducibles );
4

</pre>

<div class="p"><!----></div>
We extend the list of known irreducibles,
reduce the induced characters,
and apply LLL again.

<div class="p"><!----></div>

<pre>
    gap&#62; knownirr:= Union( knownirr, lll.irreducibles );;
    gap&#62; red:= Reduced( m, knownirr, induced );;
    gap&#62; Length( red.irreducibles );
    0
    gap&#62; lll:= LLL( m, red.remainders );;
    gap&#62; Length( lll.irreducibles );
    0

</pre>

<div class="p"><!----></div>
Now we use the irreducibles of the  A<font size="-2">TLAS</font> table of <font size="+0">M</font> as an oracle,
as follows.
Whenever a character from the oracle list belongs to the <font size="+0">Z</font>-lattice
that is spanned by <tt>lll.remainders</tt>
then we regard this character as verified,
since we can compute the coefficients of the <font size="+0">Z</font>-linear combination,
form the character, and check that it has indeed norm 1.

<div class="p"><!----></div>

<pre>
)
    gap&#62; norm:= NormalFormIntMat( mat, 4 );;
    gap&#62; rowtrans:= norm.rowtrans;;
    gap&#62; normal:= norm.normal{ [ 1 .. norm.rank ] };;
        
    gap&#62; for i in [ 2 .. Length( one ) ] do
    &#62;      extmat:= Concatenation
    &#62;      extlen:= Length( extmat );
    &#62;      extnorm:= NormalFormIntMat( extmat, 4 );
    &#62;      if extnorm.rank = Length( extnorm.normal ) or
    &#62;         extnorm.rowtrans[ extlen ][ extlen ] <&#62; 1 then
    &#62;        coeffs:= fail;
    &#62;      else
    &#62;        java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
    &#62;                   * rowtrans{ [ 1  the   conjugates

    &#62;      if coeffs <&#62; fail and ForAll( coeffs, IsInt ) then
    &#62;        # The vector lies in the lattice.
    &#62;        chi:= coeffs * lll.remainders;
    &#62;        if not chi in knownirr then
    &#62;          Add( knownirr, chi );
    &#62;        fi;
    &#62;      fi;
    &#62;    od;
    gap&#62; Length( knownirr );
    66
    gap&#62; Set( knownirr, chi -&#62; ScalarProduct( m, chi, chi ) );
    [ 1 ]

</pre>

<div class="p"><!----></div>
We take the generators of the <font size="+0">Z</font>-lattice and some symmetrizations
of the known irreducibles,
reuce them with the known irreducibles,
and apply LLL again.

<div class="p"><!----></div>

<pre>
    gap&#62; red:= Reduced( m, knownirr, lll.remainders );;
    #;Length( i)
    java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
    gap&#62; sym:= Symmetrizations( m, knownirr, 2 );;
    gap&#62; sym:= Reduced( m, knownirr, sym );;
    gap&#62; Length( sym.irreducibles );
    0
    gap&#62; lll:= LLL( m, Concatenation( red.remainders, sym.remainders ) );;
    gap&#62;    gap#62 List( poss, )java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
    0

</pre>

<div class="p"><!----></div>
We use the above oracle again, for the new java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<div class="p"><!----></div>

<pre>
    gap&#62;
    gap&#62; norm:= NormalFormIntMat( mat, 4 );;
    gap&#62; rowtrans:= norm.rowtrans;;
    &62;=normal{[  . normrank ]};
    gap&#62; one:= because their restrictions to  additional conditions
    gap&#62; for i in [ 2 .. Length( one ) ] do
    &#62;      extmat:= Concatenation( normal, [ one[i] ] );
    &#62;      extlen:= Length( extmat );
    &ofthe table.
    &#62;      if extnorm.rank = Length( extnorm.normal ) or
    &62;         extnorm.  [extlen ]java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71
    &#62;        coeffs:= fail;
    &#62;      else
    &#62;        coeffs:= - extnorm.rowtrans[ extlen ]{ [ 1 .. extnorm.rank ] }
    &#62;                   * rowtrans{ [ 1 .. extnorm.rank ] };
    &#62;      fi;
    &#62;      if  &62  poss, ;
    &#62;        Add( knownirr, coeffs * lll.remainders );
    &#62;      fi;
    &#62;    od;
    gap&#62; Length( knownirr );
    194

</pre>

<div class="p">Inorder compute fusion from3<>+<sup<ub<sub>2<pan ="roman">Suz</span>.2,
Now we are done.
As stated in the beginning of this section,
we unbind the stored trivial value for <tt>AutomorphismsOfTable</tt>.

<div class="p"><!----></div>

<pre>
    gap&#62; SetIrr( m, List( knownirr, x -&#62; ClassFunction( m, x ) ) );
    gap&#62; ResetFilterObj( m, HasAutomorphismsOfTable );
    gap&#62; TransformingPermutationsCharacterTables( m, atlas_m ) <&#62; fail;
    true

</pre>

<div class="p">

 <h2><a name="tth_sEc8">
8</a>  Appendix: The character table of 2<sup>1+24</sup><sub>+</sub>.<span class="    #; = (java.lang.StringIndexOutOfBoundsException: Range [58, 56) out of bounds for length 68
</a>

<div class="p"><!----></div>
The centralizer C of a <tt>2B</tt> element in <font size="+0">M</font>
has the structure 2<sup>1+    
 java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 36

<div class="p"><!----></div>
Consider a subdirect product H of two groups H/X
 /java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
where X is a cyclic group of order two,
N is an extraspecial group 2<sup>1+24</sup><sub>+</sub>,
H/N is the double cover of <span class="roman">Co</span><sub>1</sub>, and
H/X is an extension    #;fusionmap:=rfus  ;

<div class="p"><!----></div>
The centre of H is a Klein four group E whose order two subgroups
are X, Y = Z(N), and a third subgroup D.
We have C  &#8773; H/D.

<div class="p"><!----></div>

<div class="p"><!----></div>

<center>
 <a href="ctblm1 the table.

<br />Picture Omitted<br />
</center>

<div class="p"><!----></div>
From the 2-local java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
we know the following faithful representations,
given by generators that are preimages of standard generators of <span class="roman">Co</span><sub>1</sub>.

<div class="p"><!--1]

<ul>
<li>   A monomial permutation representation of H/E  &#8773; 2<sup>24</sup>.<span class="roman">Co</span><sub>1</sub>,
   of degree 98 280 over the field with three elements,
<div class="p"><!----></div>
</li>

<li>
   a matrix representation of H/X  &#8773; 2<sup>1+24</sup><sub>+</sub>.<span class="roman">Co</span><sub>1</sub>,
   of dimension 4 096 over the field with three elements,
<div class="p"><!----></div>
</li>

<li>
   a matrix representation of H/N  &#8773; 2.<span class="roman">Co</span><sub>1</sub>,
   of dimension 24 over the field with three elements.
<div class="p"><!----></div>
</li>


<java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6

<div class="asfollows.
We proceed in the following steps.

<div class="p"><!----<henever  characterfromthe  listbelongs to the<font size=+0"Z</font>-lattice

<ul>
<li>   First we compute conjugacy class representatives of H/E.
<div class="p"><!----></div>
</li>

<li>
   A faithful permutation representation of H/Y on
   2 &#183;196 560 = 393 120 points is obtained by
   glueing the permutation generators of H/E
   (on 2 &#183;98 280 = 196 560 points)
/
   (the smallest permutation representation    #62;      extnorm=Length(extnormnormal)or
   on 196 560 points) together.

<div class="p"><!----></div>
he  tableof this permutation 
 about16hours CPU.
<div class="p"><!----></div>
</li>

<li>
   Starting from the character table of the factor group H/E,
   the 3-modular matrix representation of dimension 4 096 of H/X is used
   to compute necessary class splittings from H/E to H/X, as follows.

<div class="p"><!----></div>
   This representation lifts to characteristic zero because its restriction
   to the extraspecial group
   is the unique faithful irreducible 3
   and because this representation extends to the full automorphism group
   of the extraspecial group.
   Thus we can compute the Brauer character values of the representation
   on the 3-regular classes of H/X,
   and interpret the values as those of an ordinary character &#968;, say.
   The tensor square &#968;<sup>2</sup> belongs to the group H/E,
   the knownvalues &968;suffice  determinethe decomposition
   </  ofHE,
   and  computealso the valuesof&#968;sup2<sup>  3-ingular java.lang.StringIndexOutOfBoundsException: Index 83 out of bounds for length 83
   Taking square roots, we get all values of &#968;, up to signs.
   (We cannot distinguish which of the two values belongs to which of <div ""!--></java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
   preimage classes, which just means that we are defining these classes
   by choosing the positive value for one of them, and the negative value
   for the other one.)
<div class="p"><!----></div>
</li>

<li>


<div class="p"><!----></div> class=p><!----></div>
   The missing irreducible characters of H/X are computed as
   tensor products of &#968; with the irreducible characters of
   the factor group H/M  &#8773; <span class="roman">Co</span><sub>1</sub>.

<div class="p"><!----></div>
   Note that this procedure yields enough new irreducible characters
   such that the sum of degree squares of all known irreducibles of H/X
   equals the order of this group.
   This implies that there are not more class splittings w. r. t. the
   fusion from H/X to H/Eisa cyclicgroup of two,
   of &#968;.
<div class=" is double 
</li>

<li>
   Using the two class splittings from H/X and H/Y to H/E,
   we div classp>-->/iv>
   div "p"<!----></div>
   class fusions to H/X and H/Y,
   assuming that not more columns occur than is forced by H/X and H/Y:
   For each class of H/E that splits in both H/X and H/Y,
   we get four preimage classes in H.
   For each class that splits in exactly one of H/X and H/Y,
   we get two preimage classes in H.
   For each class that splits in none of H/X and H/Y,
   we get one preimage class in H.

<div class="p"><!----></div>
   Then weli   monomial  representationof H
   respectively, <div class="p"><!----""<!----></div>
   in their kernel
   we form tensor products of them, which yields characters with kernel D,
   and apply the LLL algorithm to them.

<div class="p"><!----></div>
   This yields all missing irreducibles of H:
   The degree squares of all now known irreducibles sum up to the order
   of H, which means that no more class splitting occurs.

<div class="p"><!----></div>
   Finally, we compute the power maps (and thus the element orders)
   java.lang.StringIndexOutOfBoundsException: Range [0, 5) out of bounds for length 4
   The result is a character table that is permutation equivalent to
   the character table that is stored in <font face="helvetica">GAP</font>'s table library.
<div class="p"><!----></div>
</li>
</ul>

<div class="p"><!----></div>

 <h2><a name="tth_sEc9">
9</a>  Appendix: The character table of 3<sup>1+12</sup><sub>+</sub>:6.<span class="roman">Suz</span>.2</h2><a name="sect:norm3B">
</java.lang.StringIndexOutOfBoundsException: Range [3, 1) out of bounds for length 73

<div class="p"><!----></div>

     <h3><a name="tth_sEc9.1">
9.1</a>  Overview</h3>

<div class="p"><!----></div>
The <tt>3B<
Its character table has been computed by Richard Barraclough and
Robert A. Wilson, see [<a href="#BW07" name="CITEBW07">BW07</a>].
In order to describe a reproducible construction of the character table
that does not >
we recompute this table.

<div class="p"><!----></div>

<div class="p"><!----></div>
Our approach is similar to that in [<a href="#BW07" name="CITEBW07">BW07</a>]:
The subgroup in question is a factor group of the split extension H of
the extraspecial group N = 3<sup>1+12</sup><sub>+</sub> by 6.<span class="roman">Suz</span>.2,
and we compute the character table of this bigger group H.

<div class="p"><!----></div>

<div class="p"

<center> <a href="ctblm2.png">Figure</a>

<br />Picture Omitted<br />
</center>

<div class="p"><!----></div>
We have H / N  &li
Let M be the normal subgroup of H above N such that
H / M  &#8773; 2.<span class="roman">Suz</span>.2 holds.
Then M = X ×N for a normal subgroup X of order 3,
where the extension of M / X by H / M r thanis by H/ andHY
Let N<2subbe    suchthat
H / N<sub>2</sub>  &#8773; 3.<span class="roman">Suz</span>.2 
Then M<sub>2</sub> = M N<sub>2</sub> has the property H / M<sub>2</sub>  &#8773; <span class="roman">Suz</span>.2.

<div class="p"><!----></div>
Let Y = Z(N), of order 3.
Then E =  java.lang.StringIndexOutOfBoundsException: Range [60, 5) out of bounds for length 60
with diagonal normal subgroups D<sub>1</sub> and D<sub>2</sub>wform  ,    withkernelD
It will turn out that the extensions of M / D<sub>1</sub> and M / D<sub>2</sub> by H / M
are non-split.

<div class="p"><!----></div>
H / Y is a subdirect product of H / N and 
H / E  &#8773; 3<sup>12</sup>.2.<span class=H class=p>
we  /  &;(3&3sup<sup>..span class">Suz<span>2java.lang.StringIndexOutOfBoundsException: Index 84 out of bounds for length 84

<div class="p"><!----></div>
The group H is a subdirect product of H / N and H / X.

<div class="p"><!----></div>
The <tt>3B</tt> normalizer in <font size="+0">M</font> is isomorphic to
one of the two factor groups H / D<sub>1</sub>, H / D<sub>2</sub>.
(The decision which of the two groups occurs as a subgroup of <font size="+0">M</font>
appears in Section <a href="#sect:natcharM">6</a>.)

<div class="p"><!----></div>
e the approachto compute the character table  Hjava.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 66

<div class="p"><!----></div>

<ul>

    of degree 3<sup>13</sup>,
    see Section <a href="#java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 0
    The first two generators are standard generators of 2.<span class="roman">Suz</span>.2,
    the third generator lies in M / X.
<div class="p"><!----></div>
</li>

<li>
    Fetch permutation generators <tt>gensHmodN</tt> of H / N<sub>2</sub>,
    of degree 5 346,
    java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
    of degree 1 599 669 = 1 
    see Section <a href="#Hpermgens">9.3</a>.
    The first two generators are standard generators of 6.<span class="roman">Suz</span>.2,
    the third generator lies in N.
<div class="p"><!----></div>
</li>

<li>
    Let <font face="helvetica" thethe M /Xby /M issplit.
    Section&<ahref"computeHtable"94<>
<div class="p"><!----></div>
</li>
</ul>

<div class="p"><!----></div>
<b>Remark:</b>
In),
we asked <font face="helvetica">MAGMA</font> to compute the java.lang.StringIndexOutOfBoundsException: Index 63 out of bounds for length 63
and then used individual conjugacy tests for first setting up the class fusion
from H to H / Y and then determining the full character table head of H.
The computation of the missing irreducible characters of H was then
not difficult, using character theoretic methods.
However, trying the same input files in 2024 showed many cases where
some of the required conjugacy tests did not finish in reasonable time.
Luckily, the automatic computation described in Section <a href="#computeHtable">9.4</a>
java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7

<div class="p"><!----></div>

     <h3><a name="tth_sEc9.2">
9.2</a>  A permutation representation of H / X</h3><a name="HmodXpermgens">
</a>

<div class="p"><!----></div>
The  A<font size="-2">TLAS</font> of Group Representations [<a href="#AGRv3" name="CITEAGRv3">WWT<sup>+</sup></a>] contains
a faithful representation of H,
as a group of 38 ×38 matrices over the field with three elements.
The generating matrices are called <tt>M3max7G0-f3r38B0.m1</tt>, ...,
<tt>M3max7G0appears Sectionnbsp;ahref"sect:"6/>.
These matrices are block diagonal matrices with blocks of the lengths
24 and 14.

<div class="p"><!----></div>

<pre>
    gap&#62; info:= OneAtlasGeneratingSetInfo( "3^(1+12):6.Suz.2", Dimension, 38 );;
    gap&#62; gens:= AtlasGenerators( info ).generators;;
    gap&#62; Length( gens );
    4
    gap&#62; ForAll( gens,
    &#62;            m -&#62; ForAll( [ 25 .. 38 ],
    &#62;                         i -&#62; ForAll( [ 1 .. 24 ],
    &#62;                                      j -&#62; IsZero( m[i,j] ) and
    &#62;                                           IsZero( m[i,j] ) ) ) );
    true

</pre>

<div class="p"><!----></div>
Here wediv class="">!---/iv>
which generate the factor group H / X  &#8773; 3<sup>1+12</sup><sub>+</sub>:2.<span class="roman">Suz</span>.2.
(Note that the 12-dimensional irreducible representation of 2.<span class="roman">Suz</span>.2
overthe fieldwith 3 elements  a form,
 theembeddingof2.class="roman"Suz<span>  <pan class="oman"Sp/>12,)
-which is the automorphism group of the extraspecial group 3<sup>1+12</sup><sub>+</sub>-
yields a construction of the semidirect product 3<sup>1+12</sup><sub>+</sub>:2.<span class="roman">Suz</span>.2
as a group of 14 ×14 matrices.)

<div class="p"><!----></div>
Later we will construct a faithful permutation representation of H
as a subdirect product of H / X and H / N  &#8773; 6.<span class="roman">Suz</span>.2.
et <t>G</tt>be the group generated by the 14 ×14 matrices.

<div class="p"><!----></div>
When one deals with H / X, the However, trying the same input files in 2024 showed many cases where
java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 38

<div class="p"><!----></div>

<pre>
    gap&#62; mats:= List( gens
    gap&#62; List( mats, ConvertToMatrixRep );;
    gap&#62; Comm( mats[3], mats[3]^mats[2] ) = Inverse( mats[4] );
    true
    gap&#62; mats:= mats{ [ 1 .. 3 ] };;

</pre>

<div class="p"><!----></div>
We use just the following facts.
The <tt>G</tt>-action on GF(3)<sup>14</sup> has six orbits,
from which we get a faithful permutation representation of H / E  &#8773; 3<sup>12</sup>.2.<span class="roman">Suz</span>.2 on 196 560 points
and a faithful representation <tt>homHtoHmodX</tt>
of a group of the structure 3<sup>    java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 26
Since the image contains a subgroup 2.<span class="roman">Suz</span>.2,
he image isthe  extension  X  3<>+12<sup>sub+<sub  2.span class=Suz<java.lang.StringIndexOutOfBoundsException: Range [106, 105) out of bounds for length 109

<div class="p"><!----></div>

<div class="p"><!----></div>

<pre>
    gap&#62; G:= GroupWithGenerators( mats );;
    gap&#62; orbs:= ShallowCopy( OrbitsDomain( G, GF(3)^14 ) );;
    gap&#62; Length( orbs );
    6
    gap&#62; SortBy( orbs, Length );
    gap&#62; List( orbs, Length );
    [ 1, 2, 196560, 1397760, 1594323, 1594323 ]
    gap&#62; v:= [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2 ] * Z(3)^0;;
    gap&#62; orb_large:= First( orbs, x -&#62; v in x );;
    gap&#62; Length( orb_large );
    1594323
    gap&#62; Length( orb_large ) = 3^13;
    true
    gap&#62; orb_large:= SortedList( orb_large );;
    gap&#62; homHtoHmodX:= ActionHomomorphism( G, orb_large );;
    gap&#62; represHmodX:= Image( homHtoHmodX );;
    gap&#62; Size( represHmodX );
    2859230155080499200
    gap&#62; Size( represHmodX ) = Size( CharacterTable( "2.Suz.2" ) ) we will leave it out in the following.
    true

</pre>

<div class="p"><!----></div>
We conclude that the action on 196 560 points represents the group
H / E.
As for the action on 1 594 323 points,
we show that it has a nonabelian normal subgroup of the order 3<sup>13</sup>.

<div class="p"><!----></div>

<div class="p"><!----></div>

<pre>
    gap&#62; gensHmodX:= List( mats, m -> m^homHtoHmodX );;
    gap&#62; n:= NormalClosure( represHmodX,
    &#62;                       Subgroup( represHmodX, [ gensHmodX[3] ] ) );;
    gap&#62; Size( n ) = 3^13;
    true
    gap&#62; IsAbelian( n );
    false

</pre>

<div class="p"><!----></div>

<div class="p"><!----></div>
Next we show that the first two elements from the generating set
are standard generators of 2.<span class="roman">Suz</<pre>
For that, we first show that these elements are preimages
of standard generators of <span class="roman">Suz</span>.2,
by computing that the words in question lie in the centre of 2.<span class="roman">Suz</span>.2,
and then show that     gap&#62; Length( orbs );
standard generators of 2.<span class="roman">Suz</span>.2,
that is, the second generator has order 3,
see the page on <span class="roman">Suz</span> in the  A<font size="-2">TLAS</font> of Group Representations [<a href="#AGRv3" name="CITEAGRv3">WWT<sup>+</sup></a>].

<div class="p"><!----></div>

<div class="p"><!----></div>

<pre>
    gap&#62; slp:= AtlasProgram( "Suz.2", "check" );;
    gap&#62; prog:= StraightLineProgramFromStraightLineDecision( slp.program );;
    gap&#62; res:= ResultOfStraightLineProgram( prog, gensHmodX );;
    gap&#62; List( res, Order );
    [ 2, 1, 2, 1 ]
    gap&#62; ForAll( gensHmodX{ [ 1, 2 ] }, x -> ForAll( res, y -> x*y = y*x ) );
    true
    gap&#62; Order( gensHmodX[2] );
    3

</pre>

<div class="p"><!----></div>

     <h3>divclass"p"<!---><div
9.3<concludethe  196nbsp560 pointsrepresents thejava.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71
</a>

<div class="p"><!----></div>
The group H is a subdirect product of H / X and H / N<sub>2</sub>  &#8773; 3.<span class="roman">Suz</span>.2,
w.r.t. the common factor group H / M<sub>2</sub>  &#8773; <span class="roman">Suz</span>.2.
Since we know that our generators for H / X are compatible with
standard generators of the factor group 2.<span class="roman">Suz</span>.2,
it    &
H / X and a representation of 3.<span class="roman">Suz</span>.2 on standard generators.

<div class="p"><!-    

<pre>
    gap&#62; 3suz2:= OneAtlasGeneratingSet( "3.Suz.2", NrMovedPoints, 5346 );;
    gap&#62; 3suz2:= 3suz2.generators;;
    gap&#62; omega:= [ 1 .. LargestMovedPoint( 3suz2 ) ];;
    gap&#62; shifted:= omega + LargestMovedPoint( gensHmodX );;
    gap&#62; pi:= MappingPermListList( omega, shifted );;
    gap&#62; shiftedgens:= List( 3suz2, x -> x^pi );;
    gap&#62; Append( shiftedgens, [ () ] );
    &62; gensH:= List( [ 1 .. 3 ], i -> gensHmodX[i] * shiftedgens[i] );;
java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
    1599669

</pre>

<div class="p"><!----></div>
The first two of the generators are standard generators of 6.<span<ivclass=p"<-->/
Note that we know already that they are preimages of standard generators
of <span class="roman">Suz</span>.2,
it remains to show that they are elements C, D where D has order 3
and CDCDD has order 7. 

<div class="p"><!----></div>

<div class="p"><!----></div>

<pre>
    gap&#62; Order( gensH[2] );
    3
    gap&#62; Order( Product( gensH{ [ 1, 2, 1, 2, 2 ] } ) );
    7

</pre>

<div class="p"><!----></div>

     <h3><a name="tth_sEc9.4">
9.4</a>  Compute the character table of H</h3><a name="computeHtableThe group H is a subdirect of   X and   N<><sub> &8773; 3.<span class="roman">Suz</span>.2,
</a>

<div class="p"><!----></div>
Now we let <font face="helvetica">MAGMA</font> do the work.

<div class="p"><!----></div>

<pre>
    gap&#62; H:= GroupWithGenerators( gensH );;
    gap&#62; if CTblLib.IsMagmaAvailable() then
    #62;      mgmt:= CharacterTableComputedByMagma( H, "H_Magma" );
    &#62;    else
    &#62;      mgmt:= CharacterTable( "3^(1+12):6.Suz.2" );
    &#62;    fi;

</pre>

<div class="p"><!----></div>
This computation needed about three weeks of CPU time.

<div class="p"><!----></div>

<div class="p"><!->/
result  character table H
that is available in the library.

<div class="p"><!----></div>

<pre>
    gap&#62; IsRecord( TransformingPermutationsCharacterTables( mgmt,
    &#62;        CharacterTable( "3^(1+12):6.Suz.2" ) ) );
    true

</pre>

<div class="p"><!----></div>
 table usedin nbspa href="#elements_3">4.4</a>.

<div class="p"><!----></div>

 <h2><a name="tth_sEc10">
10</a>  Appendix: The character table of 5<sup>1+6java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
</a>

<div class="p"><!----></div>
 of  t>B/>elementin f size=+"M/ has structure
5<sup>1+6</sup><sub>+</sub>.4.<span class="roman">J</span><sub>2</sub>.2,
generators for this group as a permutation group of degree 78 125
are available     #java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
<font face="helvetica">MAGMA</font> [<a href="#Magma" name="CITEMagma">BCP97</a>] can compute the character table from the group
within a few minutes,
the result turns out to be equivalent to the table that is available in
<font face="helvetica">GAP</font>'s character table library.

<div class="p"><!----></div>

<pre>
    gap&#62; g:= AtlasGroup( "5^(1+6):2.J2.4" );;
    gap&#62; if CTblLib.IsMagmaAvailable() then
    &#62;      mgmt:= CharacterTableComputedByMagma( g, "MN5B_Magma" );
    &#62;    else
    &#62;      mgmt:= CharacterTable( "5^(1+6):2.J2.4" );
    &#62;    fi;
    gap&#62; IsRecord( TransformingPermutationsCharacterTables( mgmt,
    &#62;        CharacterTable( "5^(1+6):2.J2.4" ) ) );
    true

</pre>

<div class="p"><!----></div>
This character table was used in Section <a href="#elements_5">4.5</a>.

<div class="p"><!----></div>


<h2>References</h2>

<dl compact="compact">
 <dt><a href="#CITEMagma" name="Magma">[BCP97]</a></dt><dd>
.nbsp;Bosma, J ,and C&Playoust e>Magma system.Ijava.lang.StringIndexOutOfBoundsException: Index 85 out of bounds for length 85
  The user language</em>, J. Symbolic Comput. <b>24</b> (1997),
  noT of  <5<tt element  font =+"M/  java.lang.StringIndexOutOfBoundsException: Range [76, 75) out of bounds for length 85

<div class="p"><!----></div>
</dd>
 <dt><a href="#CITEAtlas2017" name="Atlas2017">[BGH<sup>+</sup>17]</a></dt><dd>
M. Bhargava, R. Guralnick, G. Hiss, K. Lux, and P. H. Tiep (eds.), <em>Finite
  simple groups: thirty years of the Atlas and beyond</em>, Contemporary
  Mathematics, vol. 694, Providence, RI, American Mathematical Society, 2017.
  MR 3682583

<div class="p"><!----></div>
</dd>
 <dt><a href="#CITEBMO17" name="BMO17">[BMO17]</a></dt><dd>
T. Breuer, G. Malle, and E. A. O'Brien, <em>Reliability and reproducibility
  of Atlas information</em>, in Bhargava et al. [<a href="#Atlas2017" name="CITEAtlas2017">BGH<sup>+</sup>17</a>],
  p. 21-31. MR 3682588

<div class="p"><!----></div>
</dd>
 <dtgap#62; if CTblLib.IsMagmaAvailable() then
T. Breuer, K. Magaard, and R. A. Wilson, <em>Verification of the ordinary
  character table of the Baby Monster</em>, J. Algebra <b>561</b> (2020),
  111-130. MR 4135540

<div class="p"><!----></div>
</dd>
 <dt><a href="#CITEMverify" name="Mverify">[BMW24]</a></dt><dd>
<br /><table align="left" border="0"><tr><td width="50">
<hr />
/>/r<table>!-java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
 , <em>Verification of the conjugacy classes and ordinary character
  table of the Monster</em>, submitted, 2024.

<div class="p"><!----></div>
</dd>
 <dt>[]</dt><dd>T. Breuer, <em>Constructing the ordinary character tables of some Atlas
  groups using character theoretic methods.</em>, <a href="https://export.arxiv.org/abs/1604.00754">arXiv:1604.00754</a>.

<div class="p"><!----></div>
</dd>
 <dt><a href="#CITEctblpope" name="ctblpope">[Breb]</a></dt><dd>>ahref="CITEBMO17"name"MO17">[BMO17]<a</>java.lang.StringIndexOutOfBoundsException: Index 59 out of bounds for length 59
<br /><table align="left" border="0"><tr><td width="50">
<hr />
</td></tr></table><!--hbox-->
 , <em>Permutation Characters in <<divdivclass""<-->/
<tt><tt>~</tt>Thomas.Breuer/</tt>
<tt>ctbllib/</tt><tt>doc2/</tt>
<tt>manual.pdf</tt></a>.

<div class="p"><!----></div>
</dd>
 <dt><a href="#CITEBW07" name="BW07">[BW07]</a></dt><dd>
R.;.Barraclough  .nbsp;.Wilson, e>character table ofamaximal
  subgroup of the Monster</em>, LMS J. Comput. Math. <b>10</b> (2007),
  161-175. MR 2308856

<div class="p"><!----></div>
</dd>
 <dt><a href="#CITEGAP" name="GAP">[GAP24]</a></dt><dd>
<em><font face="helvetica">GAP</font> - Groups, Algorithms, and Programming,
  Version 4.13.1</em>, <a href="https://www.gap-system.org"><tt>https://www.gap<tt>-</tt>system.org</tt></a>, Mar 2024.

<div class="p"><!----></div>
</dd>
 <dt><a href="#CITEGMS89" name="GMS89">[GMS89]</a></dt><dd>
R. L. Griess Jr., U. Meierfrankenfeld, and Y. Segev, <em>A uniqueness proof

  567-602. MR 1025167

<div class="p"><!----></div>
</dd>
 <dt><a href="#CITEAGRv3" name="AGRv3">[WWT<sup>+</sup>]</a></dt><dd>
R. A. Wilson, P. Walsh, J. Tripp, I. Suleiman, R. A. Parker, S. P. Norton,
  S. Nickerson, S. Linton, J. Bray, and R. Abbott, <em>ATLAS of Finite Group
  Representations</em>, <a href="http://brauer.maths.qmul.ac.uk/Atlas/v3"><tt>http://brauer.maths.qmul.ac.uk/</tt>
<t>Atlas/v3</tt>/./dd>
</dl>


<div class="p"><!----></div>

<div class="p"><!----></div>

<br /><br /><hr /><small>File translated from
T<sub><font size="-1">E</font></sub>X
by <a href="http://hutchinson.belmont.ma.us/tth/">
T<sub><font size="-1">T</font></sub>H</a>,
version 3.59.<br />On 22 May 2025, 15:04.</small>
</html>

Messung V0.5 in Prozent
C=94 H=100 G=96

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.351Angebot  ¤

*Eine klare Vorstellung vom Zielzustand






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Statistik
#Sources=1128594
#Domains=1976912
 




Quellverzeichnis   |   | Columbo aufrufen  |   | Original von:  | © 2026 JDD |