|
|
|
|
Quelle chap6_mj.html
Sprache: HTML
|
|
| products/Sources/formale Sprachen/GAP/pkg/ctbllib/doc2/chap6_mj.html |
 |
<?xml version= "1.0" encoding= "UTF-8"?>
<! DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
< html xmlns= "http://www.w3.org/1999/xhtml" xml:lang= "en">
< head>
< script type= "text/javascript"
src= "https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</ script>
< title>GAP (CTblLibXpls) - Chapter 6: Solvable Subgroups of Maximal Order in Sporadic Simple Gr oups</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap6" onload="jscontent()">
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chap6_mj.html">6</a> <a href="chap7_mj.html">7</a> <a href="chap8_mj.html">8</a> <a href="chap9_mj.html">9</a> <a href="chap10_mj.html">10</a> <a href="chap11_mj.html">11</a> <a href="chapBib_mj.html">Bib</a> <a href="chapInd_mj.html">Ind</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap5_mj.html">[Previous Chapter]</a> <a href="chap7_mj.html">[Next Chapter]</a> </div>
<p id="mathjaxlink" class="pcenter"><a href="chap6.html">[MathJax off]</a></p>
<p><a id="X7EF73AA88384B5F3" name="X7EF73AA88384B5F3"></a></p>
<div class="ChapSects"><a href="chap6_mj.html#X7EF73AA88384B5F3">6 <span class="Heading">Solvable Subgroups of Maximal Order in Sporadic Simple Groups</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X7F817DC57A69CF0D">6.1 <span class="Heading">The Result</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X876F77197B2FB84A">6.2 <span class="Heading">The Approach</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X792957AB7B24C5E0">6.2-1 <span class="Heading">Use the Table of Marks</span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7B39A4467A1CCF8A">6.2-2 <span class="Heading">Use Information from the Character Table Library</span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X834298A87BF43AAF">6.3 <span class="Heading">Cases where the Table of Marks is available in <strong class="pkg">GAP</strong></span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X85559C0F7AA73E48">6.4 <span class="Heading">Cases where the Table of Marks is not available in <strong class="pkg">GAP</strong></span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7E393459822E78B5">6.4-1 <span class="Heading"><span class="SimpleMath">\(G = Ru\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7AFF09337CCB7745">6.4-2 <span class="Heading"><span class="SimpleMath">\(G = Suz\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7969AE067D3862A3">6.4-3 <span class="Heading"><span class="SimpleMath">\(G = ON\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X84921B85845EDA31">6.4-4 <span class="Heading"><span class="SimpleMath">\(G = Co_2\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7D777A0D82BE8498">6.4-5 <span class="Heading"><span class="SimpleMath">\(G = Fi_{22}\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7D9DB76A861A6F62">6.4-6 <span class="Heading"><span class="SimpleMath">\(G = HN\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X83E6436678AF562C">6.4-7 <span class="Heading"><span class="SimpleMath">\(G = Ly\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7D6CF8EC812EF6FB">6.4-8 <span class="Heading"><span class="SimpleMath">\(G = Th\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7A07090483C935DC">6.4-9 <span class="Heading"><span class="SimpleMath">\(G = Fi_{23}\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7D028E9E7CB62A4F">6.4-10 <span class="Heading"><span class="SimpleMath">\(G = Co_1\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X84208AB781344A9D">6.4-11 <span class="Heading"><span class="SimpleMath">\(G = J_4\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7BC589718203F125">6.4-12 <span class="Heading"><span class="SimpleMath">\(G = Fi_{24}^{\prime}\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7EDF990985573EB6">6.4-13 <span class="Heading"><span class="SimpleMath">\(G = B\)</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X87D468D07D7237CB">6.4-14 <span class="Heading"><span class="SimpleMath">\(G = M\)</span></span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X7CD8E04C7F32AD56">6.5 <span class="Heading">Proof of the Corollary</span></a>
</span>
</div>
</div>
<h3>6 <span class="Heading">Solvable Subgroups of Maximal Order in Sporadic Simple Groups</span></h3>
<p>Date: May 14th, 2012</p>
<p>We determine the orders of solvable subgroups of maximal orders in sporadic simple groups and their automorphism groups, using the information in the <strong class="pkg">Atlas</strong> of Finite Groups <a href="chapBib_mj.html#biBCCN85">[CCN+85]</a> and the <strong class="pkg">GAP</strong> system <a href="chapBib_mj.html#biBGAP">[GAP24]</a>, in particular its Character Table Library <a href="chapBib_mj.html#biBCTblLib">[Bre25]</a> and its library of Tables of Marks <a href="chapBib_mj.html#biBTomLib">[MNP19]</a>.</p>
<p>We also determine the conjugacy classes of these solvable subgroups in the big group, and the maximal overgroups.</p>
<p>A first version of this document, which was based on <strong class="pkg">GAP</strong> 4.4.10, had been accessible in the web since August 2006. The differences to the current version are as follows.</p>
<ul>
<li><p>The format of the <strong class="pkg">GAP</strong> output was adjusted to the changed behaviour of <strong class="pkg">GAP</strong> 4.5.</p>
</li>
<li><p>The (too wide) table of results was split into two tables, the first one lists the orders and indices of the subgroups, the second one lists the structure of subgroups and the maximal overgroups.</p>
</li>
<li><p>The distribution of the solvable subgroups of maximal orders in the Baby Monster group and the Monster group to conjugacy classes is now proved.</p>
</li>
<li><p>The sporadic simple Monster group has exactly one class of maximal subgroups of the type PSL<span class="SimpleMath">\((2, 41)\)</span> (see <a href="chapBib_mj.html#biBNW12">[NW13]</a>), and has no maximal subgroups which have the socle PSL<span class="SimpleMath">\((2, 27)\)</span> (see <a href="chapBib_mj.html#biBWil10">[Wil10]</a>). This does not affect the arguments in Section <a href="chap6_mj.html#X87D468D07D7237CB"><span class="RefLink">6.4-14</span></a>, but some statements in this section had to be corrected.</p>
</li>
</ul>
<p><a id="X7F817DC57A69CF0D" name="X7F817DC57A69CF0D"></a></p>
<h4>6.1 <span class="Heading">The Result</span></h4>
<p>The tables I and II list information about solvable subgroups of maximal order in sporadic simple groups and their automorphism groups. The first column in each table gives the names of the almost simple groups <span class="SimpleMath">\(G\)</span>, in alphabetical order. The remaining columns of Table I contain the order and the index of a solvable subgroup <span class="SimpleMath">\(S\)</span> of maximal order in <span class="SimpleMath">\(G\)</span>, the value <span class="SimpleMath">\(\log_{|G|}(|S|)\)</span>, and the page number in the <strong class="pkg">Atlas</strong> <a href="chapBib_mj.html#biBCCN85">[CCN+85]</a> where the information about maximal subgroups of <span class="SimpleMath">\(G\)</span> is listed. The second and third columns of Table II show a structure description of <span class="SimpleMath">\(S\)</span> and the structures of the maximal subgroups that contain <span class="SimpleMath">\(S\)</span>; the value <q><span class="SimpleMath">\(S\)</span></q> in the third column means that <span class="SimpleMath">\(S\)</span> is itself maximal in <span class="SimpleMath">\(G\)</span>. The fourth and fifth columns list the pages in the <strong class="pkg">Atlas</strong> with the information about the maximal subgroups of <span class="SimpleMath">\(G\)</span> and the section in this note with the proof of the table row, respectively. In the fourth column, page numbers in brackets refer to the <strong class="pkg">Atlas</strong> pages with information about the maximal subgroups of nonsolvable quotients of the maximal subgroups of <span class="SimpleMath">\(G\)</span> listed in the third column.</p>
<p>Note that in the case of nonmaximal subgroups <span class="SimpleMath">\(S\)</span>, we do not claim to describe the <em>module</em> structure of <span class="SimpleMath">\(S\)</span> in the third column of the table; we have kept the <strong class="pkg">Atlas</strong> description of the normal subgroups of the maximal overgroups of <span class="SimpleMath">\(S\)</span>. For example, the subgroup <span class="SimpleMath">\(S\)</span> listed for <span class="SimpleMath">\(Co_2\)</span> is contained in maximal subgroups of the types <span class="SimpleMath">\(2^{1+8}_+:S_6(2)\)</span> and <span class="SimpleMath">\(2^{4+10}(S_4 \times S_3)\)</span>, so <span class="SimpleMath">\(S\)</span> has normal subgroups of the orders <span class="SimpleMath">\(2\)</span>, <span class="SimpleMath">\(2^4\)</span>, <span class="SimpleMath">\(2^9\)</span>, <span class="SimpleMath">\(2^{14}\)</span>, and <span class="SimpleMath">\(2^{16}\)</span>; more <strong class="pkg">Atlas</strong> conformal notations would be <span class="SimpleMath">\(2^{[14]}(S_4 \times S_3)\)</span> or <span class="SimpleMath">\(2^{[16]}(S_3 \times S_3)\)</span>.</p>
<p>As a corollary (see Section <a href="chap6_mj.html#X7CD8E04C7F32AD56"><span class="RefLink">6.5</span></a>), we read off the following.</p>
<p>Corollary:</p>
<p>Exactly the following almost simple groups <span class="SimpleMath">\(G\)</span> with sporadic simple socle contain a solvable subgroup <span class="SimpleMath">\(S\)</span> with the property <span class="SimpleMath">\(|S|^2 \geq |G|\)</span>.</p>
<p class="center">\[
Fi_{23}, J_2, J_2.2, M_{11}, M_{12}, M_{22}.2.
\]</p>
<p>The existence of the subgroups <span class="SimpleMath">\(S\)</span> of <span class="SimpleMath">\(G\)</span> with the structure and the order stated in Table I and II follows from the <strong class="pkg">Atlas</strong>: It is obvious in the cases where <span class="SimpleMath">\(S\)</span> is maximal in <span class="SimpleMath">\(G\)</span>, and in the other cases, the <strong class="pkg">Atlas</strong> information about a nonsolvable factor group of a maximal subgroup of <span class="SimpleMath">\(G\)</span> suffices.</p>
<p>In order to show that the table rows for the group <span class="SimpleMath">\(G\)</span> are correct, we have to show the following.</p>
<ul>
<li><p><span class="SimpleMath">\(G\)</span> does not contain solvable subgroups of order larger than <span class="SimpleMath">\(|S|\)</span>.</p>
</li>
<li><p><span class="SimpleMath">\(G\)</span> contain exactly the conjugacy classes of solvable subgroups of order <span class="SimpleMath">\(|S|\)</span> that are listed in the second column of Table II.</p>
</li>
<li><p><span class="SimpleMath">\(S\)</span> is contained exactly in the maximal subgroups listed in the third column of Table II.</p>
</li>
</ul>
<p><em>Remark:</em></p>
<ul>
<li><p>Each of the groups <span class="SimpleMath">\(M_{12}\)</span> and <span class="SimpleMath">\(He\)</span> contains two classes of isomorphic solvable subgroups of maximal order.</p>
</li>
<li><p>Each of the groups <span class="SimpleMath">\(Ru\)</span>, <span class="SimpleMath">\(Th\)</span>, and <span class="SimpleMath">\(M\)</span> contains two classes of nonisomorphic solvable subgroups of maximal order.</p>
</li>
<li><p>The solvable subgroups of maximal order in <span class="SimpleMath">\(McL.2\)</span> have the structure <span class="SimpleMath">\(3^{1+4}_+:4S_4\)</span>, the subgroups are maximal in the maximal subgroups of the structures <span class="SimpleMath">\(3^{1+4}_+:4S_5\)</span> and <span class="SimpleMath">\(U_4(3).2_3\)</span> in <span class="SimpleMath">\(McL.2\)</span>. Note that the <strong class="pkg">Atlas</strong> claims another structure for these maximal subgroups of <span class="SimpleMath">\(U_4(3).2_3\)</span>, see <a href="chapBib_mj.html#biBCCN85">[CCN+85, p. 52]</a>.</p>
</li>
<li><p>The solvable subgroups of maximal order in <span class="SimpleMath">\(Co_3\)</span> are the normalizers of Sylow <span class="SimpleMath">\(3\)</span>-subgroups of <span class="SimpleMath">\(Co_3\)</span>.</p>
</li>
</ul>
<div class="pcenter"><table class="GAPDocTable">
<caption class="GAPDocTable"><b>Table: </b>Table I: Solvable subgroups of maximal order – orders and indices</caption>
<tr>
<td class="tdleft"><span class="SimpleMath">\(G\)</span></td>
<td class="tdright"><span class="SimpleMath">\(|S|\)</span></td>
<td class="tdright"><span class="SimpleMath">\(|G/S|\)</span></td>
<td class="tdright"><span class="SimpleMath">\(\log_{|G|}(|S|)\)</span></td>
<td class="tdright">p.</td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{11}\)</span></td>
<td class="tdright"><span class="SimpleMath">\(144\)</span></td>
<td class="tdright"><span class="SimpleMath">\(55\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.5536\)</span></td>
<td class="tdright"><span class="SimpleMath">\(18\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{12}\)</span></td>
<td class="tdright"><span class="SimpleMath">\(432\)</span></td>
<td class="tdright"><span class="SimpleMath">\(220\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.5294\)</span></td>
<td class="tdright"><span class="SimpleMath">\(33\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{12}.2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(432\)</span></td>
<td class="tdright"><span class="SimpleMath">\(440\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4992\)</span></td>
<td class="tdright"><span class="SimpleMath">\(33\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(J_1\)</span></td>
<td class="tdright"><span class="SimpleMath">\(168\)</span></td>
<td class="tdright"><span class="SimpleMath">\(1\,045\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4243\)</span></td>
<td class="tdright"><span class="SimpleMath">\(36\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{22}\)</span></td>
<td class="tdright"><span class="SimpleMath">\(576\)</span></td>
<td class="tdright"><span class="SimpleMath">\(770\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4888\)</span></td>
<td class="tdright"><span class="SimpleMath">\(39\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{22}.2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(1\,152\)</span></td>
<td class="tdright"><span class="SimpleMath">\(770\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.5147\)</span></td>
<td class="tdright"><span class="SimpleMath">\(39\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(J_2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(1\,152\)</span></td>
<td class="tdright"><span class="SimpleMath">\(525\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.5295\)</span></td>
<td class="tdright"><span class="SimpleMath">\(42\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(J_2.2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(2\,304\)</span></td>
<td class="tdright"><span class="SimpleMath">\(525\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.5527\)</span></td>
<td class="tdright"><span class="SimpleMath">\(42\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{23}\)</span></td>
<td class="tdright"><span class="SimpleMath">\(1\,152\)</span></td>
<td class="tdright"><span class="SimpleMath">\(8\,855\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4368\)</span></td>
<td class="tdright"><span class="SimpleMath">\(71\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(HS\)</span></td>
<td class="tdright"><span class="SimpleMath">\(2\,000\)</span></td>
<td class="tdright"><span class="SimpleMath">\(22\,176\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4316\)</span></td>
<td class="tdright"><span class="SimpleMath">\(80\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(HS.2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(4\,000\)</span></td>
<td class="tdright"><span class="SimpleMath">\(22\,176\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4532\)</span></td>
<td class="tdright"><span class="SimpleMath">\(80\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(J_3\)</span></td>
<td class="tdright"><span class="SimpleMath">\(1\,944\)</span></td>
<td class="tdright"><span class="SimpleMath">\(25\,840\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4270\)</span></td>
<td class="tdright"><span class="SimpleMath">\(82\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(J_3.2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(3\,888\)</span></td>
<td class="tdright"><span class="SimpleMath">\(25\,840\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4486\)</span></td>
<td class="tdright"><span class="SimpleMath">\(82\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{24}\)</span></td>
<td class="tdright"><span class="SimpleMath">\(13\,824\)</span></td>
<td class="tdright"><span class="SimpleMath">\(17\,710\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4935\)</span></td>
<td class="tdright"><span class="SimpleMath">\(96\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(McL\)</span></td>
<td class="tdright"><span class="SimpleMath">\(11\,664\)</span></td>
<td class="tdright"><span class="SimpleMath">\(77\,000\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4542\)</span></td>
<td class="tdright"><span class="SimpleMath">\(100\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(McL.2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(23\,328\)</span></td>
<td class="tdright"><span class="SimpleMath">\(77\,000\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4719\)</span></td>
<td class="tdright"><span class="SimpleMath">\(100\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(He\)</span></td>
<td class="tdright"><span class="SimpleMath">\(13\,824\)</span></td>
<td class="tdright"><span class="SimpleMath">\(291\,550\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4310\)</span></td>
<td class="tdright"><span class="SimpleMath">\(104\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(He.2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(18\,432\)</span></td>
<td class="tdright"><span class="SimpleMath">\(437\,325\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4305\)</span></td>
<td class="tdright"><span class="SimpleMath">\(104\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Ru\)</span></td>
<td class="tdright"><span class="SimpleMath">\(49\,152\)</span></td>
<td class="tdright"><span class="SimpleMath">\(2\,968\,875\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4202\)</span></td>
<td class="tdright"><span class="SimpleMath">\(126\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Suz\)</span></td>
<td class="tdright"><span class="SimpleMath">\(139\,968\)</span></td>
<td class="tdright"><span class="SimpleMath">\(3\,203\,200\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4416\)</span></td>
<td class="tdright"><span class="SimpleMath">\(131\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Suz.2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(279\,936\)</span></td>
<td class="tdright"><span class="SimpleMath">\(3\,203\,200\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4557\)</span></td>
<td class="tdright"><span class="SimpleMath">\(131\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(O'N\)</span></td>
<td class="tdright"><span class="SimpleMath">\(25\,920\)</span></td>
<td class="tdright"><span class="SimpleMath">\(17\,778\,376\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.3784\)</span></td>
<td class="tdright"><span class="SimpleMath">\(132\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(O'N.2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(51\,840\)</span></td>
<td class="tdright"><span class="SimpleMath">\(17\,778\,376\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.3940\)</span></td>
<td class="tdright"><span class="SimpleMath">\(132\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Co_3\)</span></td>
<td class="tdright"><span class="SimpleMath">\(69\,984\)</span></td>
<td class="tdright"><span class="SimpleMath">\(7\,084\,000\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4142\)</span></td>
<td class="tdright"><span class="SimpleMath">\(134\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Co_2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(2\,359\,296\)</span></td>
<td class="tdright"><span class="SimpleMath">\(17\,931\,375\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4676\)</span></td>
<td class="tdright"><span class="SimpleMath">\(154\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Fi_{22}\)</span></td>
<td class="tdright"><span class="SimpleMath">\(5\,038\,848\)</span></td>
<td class="tdright"><span class="SimpleMath">\(12\,812\,800\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4853\)</span></td>
<td class="tdright"><span class="SimpleMath">\(163\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Fi_{22}.2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(10\,077\,696\)</span></td>
<td class="tdright"><span class="SimpleMath">\(12\,812\,800\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4963\)</span></td>
<td class="tdright"><span class="SimpleMath">\(163\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(HN\)</span></td>
<td class="tdright"><span class="SimpleMath">\(2\,000\,000\)</span></td>
<td class="tdright"><span class="SimpleMath">\(136\,515\,456\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4364\)</span></td>
<td class="tdright"><span class="SimpleMath">\(166\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(HN.2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(4\,000\,000\)</span></td>
<td class="tdright"><span class="SimpleMath">\(136\,515\,456\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4479\)</span></td>
<td class="tdright"><span class="SimpleMath">\(166\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Ly\)</span></td>
<td class="tdright"><span class="SimpleMath">\(900\,000\)</span></td>
<td class="tdright"><span class="SimpleMath">\(57\,516\,865\,560\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.3562\)</span></td>
<td class="tdright"><span class="SimpleMath">\(174\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Th\)</span></td>
<td class="tdright"><span class="SimpleMath">\(944\,784\)</span></td>
<td class="tdright"><span class="SimpleMath">\(96\,049\,408\,000\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.3523\)</span></td>
<td class="tdright"><span class="SimpleMath">\(177\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Fi_{23}\)</span></td>
<td class="tdright"><span class="SimpleMath">\(3\,265\,173\,504\)</span></td>
<td class="tdright"><span class="SimpleMath">\(1\,252\,451\,200\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.5111\)</span></td>
<td class="tdright"><span class="SimpleMath">\(177\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Co_1\)</span></td>
<td class="tdright"><span class="SimpleMath">\(84\,934\,656\)</span></td>
<td class="tdright"><span class="SimpleMath">\(48\,952\,653\,750\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4258\)</span></td>
<td class="tdright"><span class="SimpleMath">\(183\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(J_4\)</span></td>
<td class="tdright"><span class="SimpleMath">\(28\,311\,552\)</span></td>
<td class="tdright"><span class="SimpleMath">\(3\,065\,023\,459\,190\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.3737\)</span></td>
<td class="tdright"><span class="SimpleMath">\(190\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Fi_{24}'\)</span></td>
<td class="tdright"><span class="SimpleMath">\(29\,386\,561\,536\)</span></td>
<td class="tdright"><span class="SimpleMath">\(42\,713\,595\,724\,800\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4343\)</span></td>
<td class="tdright"><span class="SimpleMath">\(207\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Fi_{24}'.2\)</span></td>
<td class="tdright"><span class="SimpleMath">\(58\,773\,123\,072\)</span></td>
<td class="tdright"><span class="SimpleMath">\(42\,713\,595\,724\,800\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4413\)</span></td>
<td class="tdright"><span class="SimpleMath">\(207\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(B\)</span></td>
<td class="tdright"><span class="SimpleMath">\(29\,686\,813\,949\,952\)</span></td>
<td class="tdright"><span class="SimpleMath">\(139\,953\,768\,303\,693\,093\,750\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.4007\)</span></td>
<td class="tdright"><span class="SimpleMath">\(217\)</span></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M\)</span></td>
<td class="tdright"><span class="SimpleMath">\(2\,849\,934\,139\,195\,392\)</span></td>
<td class="tdright"><span class="SimpleMath">\(283\,521\,437\,805\,098\,363\,752\)</span></td>
<td class="tdright"></td>
<td class="tdright"></td>
<td> </td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdright"></td>
<td class="tdright"><span class="SimpleMath">\(344\,287\,234\,566\,406\,250\)</span></td>
<td class="tdright"><span class="SimpleMath">\(0.2866\)</span></td>
<td class="tdright"><span class="SimpleMath">\(234\)</span></td>
<td> </td>
</tr>
</table><br />
</div>
<div class="pcenter"><table class="GAPDocTable">
<caption class="GAPDocTable"><b>Table: </b>Table II: Solvable subgroups of maximal order – structures and overgroups</caption>
<tr>
<td class="tdleft"><span class="SimpleMath">\(G\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdleft">Max. overgroups</td>
<td class="tdright"><a href="chapBib_mj.html#biBCCN85">[CCN+85]</a></td>
<td class="tdleft"></td>
<td class="tdleft">see</td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{11}\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^2:Q_8.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">18</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{12}\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^2:2S_4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">33</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(3^2:2S_4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">33</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{12}.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^2:2S_4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(M_{12}\)</span></td>
<td class="tdright">33</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(J_1\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^3:7:3\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">36</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{22}\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^4:3^2:4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^4:A_6\)</span></td>
<td class="tdright">39</td>
<td class="tdleft">(4)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{22}.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^4:3^2:D_8\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^4:S_6\)</span></td>
<td class="tdright">39</td>
<td class="tdleft">(4)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(J_2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{2+4}:(3 \times S_3)\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">42</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(J_2.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{2+4}:(S_3 \times S_3)\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">42</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{23}\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^4:(3 \times A_4):2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^4:(3 \times A_5):2\)</span>,</td>
<td class="tdright">71</td>
<td class="tdleft">(2)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(2^4:A_7\)</span></td>
<td class="tdright"></td>
<td class="tdleft">(10)</td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(HS\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(5^{1+2}_+:8:2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(U_3(5).2\)</span></td>
<td class="tdright">80</td>
<td class="tdleft">(34)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(U_3(5).2\)</span></td>
<td class="tdright"></td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(HS.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(5^{1+2}_+:[2^5]\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">80</td>
<td class="tdleft">(34)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(J_3\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^2.3^{1+2}_+:8\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">82</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(J_3.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^2.3^{1+2}_+:QD_{16}\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">82</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M_{24}\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^6:3^{1+2}_+:D_8\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^6:3.S_6\)</span></td>
<td class="tdright">96</td>
<td class="tdleft">(4)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(McL\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+4}_+:2S_4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+4}_+:2S_5\)</span>,</td>
<td class="tdright">100</td>
<td class="tdleft">(2)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(U_4(3)\)</span></td>
<td class="tdright"></td>
<td class="tdleft">(52)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(McL.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+4}_+:4S_4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+4}_+:4S_5\)</span>,</td>
<td class="tdright">100</td>
<td class="tdleft">(2)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(U_4(3).2_3\)</span></td>
<td class="tdright"></td>
<td class="tdleft">(52)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(He\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^6:3^{1+2}_+:D_8\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^6:3.S_6\)</span></td>
<td class="tdright">104</td>
<td class="tdleft">(4)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(2^6:3^{1+2}_+:D_8\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^6:3.S_6\)</span></td>
<td class="tdright"></td>
<td class="tdleft">(4)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(He.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{4+4}.(S_3 \times S_3).2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">104</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Ru\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2.2^{4+6}:S_4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{3+8}:L_3(2)\)</span>,</td>
<td class="tdright">126</td>
<td class="tdleft">(3)</td>
<td class="tdleft"><a href="chap6_mj.html#X7E393459822E78B5"><span class="RefLink">6.4-1</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(2.2^{4+6}:S_5\)</span></td>
<td class="tdright"></td>
<td class="tdleft">(2)</td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(2^{3+8}:S_4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{3+8}:L_3(2)\)</span>,</td>
<td class="tdright"></td>
<td class="tdleft">(3)</td>
<td class="tdleft"><a href="chap6_mj.html#X7E393459822E78B5"><span class="RefLink">6.4-1</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Suz\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{2+4}:2(A_4 \times 2^2).2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">131</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X7AFF09337CCB7745"><span class="RefLink">6.4-2</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Suz.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{2+4}:2(S_4 \times D_8)\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">131</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X7AFF09337CCB7745"><span class="RefLink">6.4-2</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(O'N\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^4:2^{1+4}_-D_{10}\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">132</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X7969AE067D3862A3"><span class="RefLink">6.4-3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(O'N.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^4:2^{1+4}_-.(5:4)\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">132</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X7969AE067D3862A3"><span class="RefLink">6.4-3</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Co_3\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+4}_+:4.3^2:D_8\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+4}_+:4S_6\)</span></td>
<td class="tdright">134</td>
<td class="tdleft">(4)</td>
<td class="tdleft"><a href="chap6_mj.html#X834298A87BF43AAF"><span class="RefLink">6.3</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(3^5:(2 \times M_{11})\)</span></td>
<td class="tdright"></td>
<td class="tdleft">(18)</td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Co_2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{4+10}(S_4 \times S_3)\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{1+8}_+:S_6(2)\)</span>,</td>
<td class="tdright">154</td>
<td class="tdleft">(46)</td>
<td class="tdleft"><a href="chap6_mj.html#X84921B85845EDA31"><span class="RefLink">6.4-4</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(2^{4+10}(S_5 \times S_3)\)</span></td>
<td class="tdright"></td>
<td class="tdleft">(2)</td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Fi_{22}\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+6}_+:2^{3+4}:3^2:2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">163</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X7D777A0D82BE8498"><span class="RefLink">6.4-5</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Fi_{22}.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+6}_+:2^{3+4}:(S_3 \times S_3)\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">163</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X7D777A0D82BE8498"><span class="RefLink">6.4-5</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(HN\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(5^{1+4}_+:2^{1+4}_-.5.4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">166</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X7D9DB76A861A6F62"><span class="RefLink">6.4-6</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(HN.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(5^{1+4}_+:(4 Y 2^{1+4}_-.5.4)\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">166</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X7D9DB76A861A6F62"><span class="RefLink">6.4-6</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Ly\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(5^{1+4}_+:4.3^2:D_8\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(5^{1+4}_+:4S_6\)</span></td>
<td class="tdright">174</td>
<td class="tdleft">(4)</td>
<td class="tdleft"><a href="chap6_mj.html#X83E6436678AF562C"><span class="RefLink">6.4-7</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Th\)</span></td>
<td class="tdleft"><span class="SimpleMath">\([3^9].2S_4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">177</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X7D6CF8EC812EF6FB"><span class="RefLink">6.4-8</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(3^2.[3^7].2S_4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright"></td>
<td class="tdleft"></td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Fi_{23}\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+8}_+.2^{1+6}_-.3^{1+2}_+.2S_4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdright">177</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X7A07090483C935DC"><span class="RefLink">6.4-9</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Co_1\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{4+12}.(S_3 \times 3^{1+2}_+:D_8)\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{4+12}.(S_3 \times 3S_6)\)</span></td>
<td class="tdright">183</td>
<td class="tdleft"></td>
<td class="tdleft"><a href="chap6_mj.html#X7D028E9E7CB62A4F"><span class="RefLink">6.4-10</span></a></td>
</tr>
</table><br />
</div>
<div class="pcenter"><table class="GAPDocTable">
<caption class="GAPDocTable"><b>Table: </b>Table II: Solvable subgroups of maximal order – structures and overgroups (continued)</caption>
<tr>
<td class="tdleft"><span class="SimpleMath">\(G\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(S\)</span></td>
<td class="tdleft">Max. overgroups</td>
<td class="tdright"><a href="chapBib_mj.html#biBCCN85">[CCN+85]</a></td>
<td class="tdleft"></td>
<td class="tdleft">see</td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(J_4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{11}:2^6:3^{1+2}_+:D_8\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{11}:M_{24}\)</span>,</td>
<td class="tdright">190</td>
<td class="tdleft">(96)</td>
<td class="tdleft"><a href="chap6_mj.html#X84208AB781344A9D"><span class="RefLink">6.4-11</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(2^{1+12}_+.3M_{22}:2\)</span></td>
<td class="tdright"></td>
<td class="tdleft">(39)</td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Fi_{24}'\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+10}_+:2^{1+6}_-:3^{1+2}_+:2S_4\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+10}_+:U_5(2):2\)</span></td>
<td class="tdright">207</td>
<td class="tdleft">(73)</td>
<td class="tdleft"><a href="chap6_mj.html#X7BC589718203F125"><span class="RefLink">6.4-12</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(Fi_{24}'.2\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+10}_+:(2 \times 2^{1+6}_-:3^{1+2}_+:2S_4)\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(3^{1+10}_+:(2 \times U_5(2):2)\)</span></td>
<td class="tdright">207</td>
<td class="tdleft">(73)</td>
<td class="tdleft"><a href="chap6_mj.html#X7BC589718203F125"><span class="RefLink">6.4-12</span></a></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(B\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{2+10+20}(2^4:3^2:D_8 \times S_3)\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{2+10+20}(M_{22}:2 \times S_3)\)</span>,</td>
<td class="tdright">217</td>
<td class="tdleft">(39)</td>
<td class="tdleft"><a href="chap6_mj.html#X7EDF990985573EB6"><span class="RefLink">6.4-13</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(2^{9+16}S_8(2)\)</span></td>
<td class="tdright"></td>
<td class="tdleft">(123)</td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><span class="SimpleMath">\(M\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{1+2+6+12+18}.(S_4 \times 3^{1+2}_+:D_8)\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{[39]}.(L_3(2) \times 3S_6)\)</span>,</td>
<td class="tdright">234</td>
<td class="tdleft">(3, 4)</td>
<td class="tdleft"><a href="chap6_mj.html#X87D468D07D7237CB"><span class="RefLink">6.4-14</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(2^{1+24}_+.Co_1\)</span></td>
<td class="tdright"></td>
<td class="tdleft">(183)</td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(2^{2+1+6+12+18}.(S_4 \times 3^{1+2}_+:D_8)\)</span></td>
<td class="tdleft"><span class="SimpleMath">\(2^{[39]}.(L_3(2) \times 3S_6)\)</span>,</td>
<td class="tdright"></td>
<td class="tdleft">(3, 4)</td>
<td class="tdleft"><a href="chap6_mj.html#X87D468D07D7237CB"><span class="RefLink">6.4-14</span></a></td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
<td class="tdleft"><span class="SimpleMath">\(2^{2+11+22}.(M_{24} \times S_3)\)</span></td>
<td class="tdright"></td>
<td class="tdleft">(96)</td>
<td class="tdleft"></td>
</tr>
</table><br />
</div>
<p><a id="X876F77197B2FB84A" name="X876F77197B2FB84A"></a></p>
<h4>6.2 <span class="Heading">The Approach</span></h4>
<p>We combine the information in the <strong class="pkg">Atlas</strong> <a href="chapBib_mj.html#biBCCN85">[CCN+85]</a> with explicit computations using the <strong class="pkg">GAP</strong> system <a href="chapBib_mj.html#biBGAP">[GAP24]</a>, in particular its Character Table Library <a href="chapBib_mj.html#biBCTblLib">[Bre25]</a> and its library of Tables of Marks <a href="chapBib_mj.html#biBTomLib">[MNP19]</a>. First we load these two packages.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">LoadPackage( "CTblLib", "1.2", false );</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">LoadPackage( "TomLib", false );</span>
true
</pre></div>
<p>The orders of solvable subgroups of maximal order will be collected in a global record <code class="code">MaxSolv</code>.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">MaxSolv:= rec();;</span>
</pre></div>
<p><a id="X792957AB7B24C5E0" name="X792957AB7B24C5E0"></a></p>
<h5>6.2-1 <span class="Heading">Use the Table of Marks</span></h5>
<p>If the <strong class="pkg">GAP</strong> library of Tables of Marks <a href="chapBib_mj.html#biBTomLib">[MNP19]</a> contains the table of marks of a group <span class="SimpleMath">\(G\)</span> then we can easily inspect all conjugacy classes of subgroups of <span class="SimpleMath">\(G\)</span>. The following small <strong class="pkg">GAP</strong> function can be used for that. It returns <code class="keyw">false</code> if the table of marks of the group with the name <code class="code">name</code> is not available, and the list <code class="code">[ name, n, super ]</code> otherwise, where <code class="code">n</code> is the maximal order of solvable subgroups of <span class="SimpleMath">\(G\)</span>, and <code class="code">super</code> is a list of lists; for each conjugacy class of solvable subgroups <span class="SimpleMath">\(S\)</span> of order <code class="code">n</code>, <code class="code">super</code> contains the list of orders of representatives <span class="SimpleMath">\(M\)</span> of the classes of maximal subgroups of <span class="SimpleMath">\(G\)</span> such that <span class="SimpleMath">\(M\)</span> contains a conjugate of <span class="SimpleMath">\(S\)</span>.</p>
<p>Note that a subgroup in the <span class="SimpleMath">\(i\)</span>-th class of a table of marks contains a subgroup in the <span class="SimpleMath">\(j\)</span>-th class if and only if the entry in the position <span class="SimpleMath">\((i,j)\)</span> of the table of marks is nonzero. For tables of marks objects in <strong class="pkg">GAP</strong>, this is the case if and only if <span class="SimpleMath">\(j\)</span> is contained in the <span class="SimpleMath">\(i\)</span>-th row of the list that is stored as the value of the attribute <code class="code">SubsTom</code> of the table of marks object; for this test, one need not unpack the matrix of marks.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">MaximalSolvableSubgroupInfoFromTom:= function( name )</span>
<span class="GAPprompt">></span> <span class="GAPinput"> local tom, # table of marks for `name'</span>
<span class="GAPprompt">></span> <span class="GAPinput"> n, # maximal order of a solvable subgroup</span>
<span class="GAPprompt">></span> <span class="GAPinput"> maxsubs, # numbers of the classes of subgroups of order `n'</span>
<span class="GAPprompt">></span> <span class="GAPinput"> orders, # list of orders of the classes of subgroups</span>
<span class="GAPprompt">></span> <span class="GAPinput"> i, # loop over the classes of subgroups</span>
<span class="GAPprompt">></span> <span class="GAPinput"> maxes, # list of positions of the classes of max. subgroups</span>
<span class="GAPprompt">></span> <span class="GAPinput"> subs, # `SubsTom' value</span>
<span class="GAPprompt">></span> <span class="GAPinput"> cont; # list of list of positions of max. subgroups</span>
<span class="GAPprompt">></span> <span class="GAPinput"></span>
<span class="GAPprompt">></span> <span class="GAPinput"> tom:= TableOfMarks( name );</span>
<span class="GAPprompt">></span> <span class="GAPinput"> if tom = fail then</span>
<span class="GAPprompt">></span> <span class="GAPinput"> return false;</span>
<span class="GAPprompt">></span> <span class="GAPinput"> fi;</span>
<span class="GAPprompt">></span> <span class="GAPinput"> n:= 1;</span>
<span class="GAPprompt">></span> <span class="GAPinput"> maxsubs:= [];</span>
<span class="GAPprompt">></span> <span class="GAPinput"> orders:= OrdersTom( tom );</span>
<span class="GAPprompt">></span> <span class="GAPinput"> for i in [ 1 .. Length( orders ) ] do</span>
<span class="GAPprompt">></span> <span class="GAPinput"> if IsSolvableTom( tom, i ) then</span>
<span class="GAPprompt">></span> <span class="GAPinput"> if orders[i] = n then</span>
<span class="GAPprompt">></span> <span class="GAPinput"> Add( maxsubs, i );</span>
<span class="GAPprompt">></span> <span class="GAPinput"> elif orders[i] > n then</span>
<span class="GAPprompt">></span> <span class="GAPinput"> n:= orders[i];</span>
<span class="GAPprompt">></span> <span class="GAPinput"> maxsubs:= [ i ];</span>
<span class="GAPprompt">></span> <span class="GAPinput"> fi;</span>
<span class="GAPprompt">></span> <span class="GAPinput"> fi;</span>
<span class="GAPprompt">></span> <span class="GAPinput"> od;</span>
<span class="GAPprompt">></span> <span class="GAPinput"> maxes:= MaximalSubgroupsTom( tom )[1];</span>
<span class="GAPprompt">></span> <span class="GAPinput"> subs:= SubsTom( tom );</span>
<span class="GAPprompt">></span> <span class="GAPinput"> cont:= List( maxsubs, j -> Filtered( maxes, i -> j in subs[i] ) );</span>
<span class="GAPprompt">></span> <span class="GAPinput"></span>
<span class="GAPprompt">></span> <span class="GAPinput"> return [ name, n, List( cont, l -> orders{ l } ) ];</span>
<span class="GAPprompt">></span> <span class="GAPinput">end;;</span>
</pre></div>
<p><a id="X7B39A4467A1CCF8A" name="X7B39A4467A1CCF8A"></a></p>
<h5>6.2-2 <span class="Heading">Use Information from the Character Table Library</span></h5>
<p>The <strong class="pkg">GAP</strong> Character Table Library contains the character tables of all maximal subgroups of sporadic simple groups, except for the Monster group. This information can be used as follows.</p>
<p>We start, for a sporadic simple group <span class="SimpleMath">\(G\)</span>, with a known solvable subgroup of order <span class="SimpleMath">\(n\)</span>, say, in <span class="SimpleMath">\(G\)</span>. In order to show that <span class="SimpleMath">\(G\)</span> contains no solvable subgroup of larger order, it suffices to show that no maximal subgroup of <span class="SimpleMath">\(G\)</span> contains a larger solvable subgroup.</p>
<p>The point is that usually the orders of the maximal subgroups of <span class="SimpleMath">\(G\)</span> are not much larger than <span class="SimpleMath">\(n\)</span>, and that a maximal subgroup <span class="SimpleMath">\(M\)</span> contains a solvable subgroup of order <span class="SimpleMath">\(n\)</span> only if the factor group of <span class="SimpleMath">\(M\)</span> by its largest solvable normal subgroup <span class="SimpleMath">\(N\)</span> contains a solvable subgroup of order <span class="SimpleMath">\(n/|N|\)</span>. This reduces the question to relatively small groups.</p>
<p>What we can check <em>automatically</em> from the character table of <span class="SimpleMath">\(M/N\)</span> is whether <span class="SimpleMath">\(M/N\)</span> can contain subgroups (solvable or not) of indices between five and <span class="SimpleMath">\(|M|/n\)</span>, by computing possible permutation characters of these degrees. (Note that a solvable subgroup of a nonsolvable group has index at least five. This lower bound could be improved for example by considering the smallest degree of a nontrivial character, but this is not an issue here.)</p>
<p>Then we are left with a –hopefully short– list of maximal subgroups of <span class="SimpleMath">\(G\)</span>, together with upper bounds on the indices of possible solvable subgroups; excluding these possibilities then yields that the initially chosen solvable subgroup of <span class="SimpleMath">\(G\)</span> is indeed the largest one.</p>
<p>The following <strong class="pkg">GAP</strong> function can be used to compute this information for the character table <code class="code">tblM</code> of <span class="SimpleMath">\(M\)</span> and a given order <code class="code">minorder</code>. It returns <code class="keyw">false</code> if <span class="SimpleMath">\(M\)</span> cannot contain a solvable subgroup of order at least <code class="code">minorder</code>, otherwise a list <code class="code">[ tblM, m, k ]</code> where <code class="code">m</code> is the maximal index of a subgroup that has order at least <code class="code">minorder</code>, and <code class="code">k</code> is the minimal index of a possible subgroup of <span class="SimpleMath">\(M\)</span> (a proper subgroup if <span class="SimpleMath">\(M\)</span> is nonsolvable), according to the <strong class="pkg">GAP</strong> function <code class="func">PermChars</code> (<a href="../../../doc/ref/chap72_mj.html#X7D02541482C196A6"><span class="RefLink">Reference: PermChars</span></a>).</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">SolvableSubgroupInfoFromCharacterTable:= function( tblM, minorder )</span>
<span class="GAPprompt">></span> <span class="GAPinput"> local maxindex, # index of subgroups of order `minorder'</span>
<span class="GAPprompt">></span> <span class="GAPinput"> N, # class positions describing a solvable normal subgroup</span>
<span class="GAPprompt">></span> <span class="GAPinput"> fact, # character table of the factor by `N'</span>
<span class="GAPprompt">></span> <span class="GAPinput"> classes, # class sizes in `fact'</span>
<span class="GAPprompt">></span> <span class="GAPinput"> nsg, # list of class positions of normal subgroups</span>
<span class="GAPprompt">></span> <span class="GAPinput"> i; # loop over the possible indices</span>
<span class="GAPprompt">></span> <span class="GAPinput"></span>
<span class="GAPprompt">></span> <span class="GAPinput"> maxindex:= Int( Size( tblM ) / minorder );</span>
<span class="GAPprompt">></span> <span class="GAPinput"> if maxindex = 0 then</span>
<span class="GAPprompt">></span> <span class="GAPinput"> return false;</span>
<span class="GAPprompt">></span> <span class="GAPinput"> elif IsSolvableCharacterTable( tblM ) then</span>
<span class="GAPprompt">></span> <span class="GAPinput"> return [ tblM, maxindex, 1 ];</span>
<span class="GAPprompt">></span> <span class="GAPinput"> elif maxindex < 5 then</span>
<span class="GAPprompt">></span> <span class="GAPinput"> return false;</span>
<span class="GAPprompt">></span> <span class="GAPinput"> fi;</span>
<span class="GAPprompt">></span> <span class="GAPinput"></span>
<span class="GAPprompt">></span> <span class="GAPinput"> N:= [ 1 ];</span>
<span class="GAPprompt">></span> <span class="GAPinput"> fact:= tblM;</span>
<span class="GAPprompt">></span> <span class="GAPinput"> repeat</span>
<span class="GAPprompt">></span> <span class="GAPinput"> fact:= fact / N;</span>
<span class="GAPprompt">></span> <span class="GAPinput"> classes:= SizesConjugacyClasses( fact );</span>
<span class="GAPprompt">></span> <span class="GAPinput"> nsg:= Difference( ClassPositionsOfNormalSubgroups( fact ), [ [ 1 ] ] );</span>
<span class="GAPprompt">></span> <span class="GAPinput"> N:= First( nsg, x -> IsPrimePowerInt( Sum( classes{ x } ) ) );</span>
<span class="GAPprompt">></span> <span class="GAPinput"> until N = fail;</span>
<span class="GAPprompt">></span> <span class="GAPinput"></span>
<span class="GAPprompt">></span> <span class="GAPinput"> for i in Filtered( DivisorsInt( Size( fact ) ),</span>
<span class="GAPprompt">></span> <span class="GAPinput"> d -> 5 <= d and d <= maxindex ) do</span>
<span class="GAPprompt">></span> <span class="GAPinput"> if Length( PermChars( fact, rec( torso:= [ i ] ) ) ) > 0 then</span>
<span class="GAPprompt">></span> <span class="GAPinput"> return [ tblM, maxindex, i ];</span>
<span class="GAPprompt">></span> <span class="GAPinput"> fi;</span>
<span class="GAPprompt">></span> <span class="GAPinput"> od;</span>
<span class="GAPprompt">></span> <span class="GAPinput"></span>
<span class="GAPprompt">></span> <span class="GAPinput"> return false;</span>
<span class="GAPprompt">></span> <span class="GAPinput">end;;</span>
</pre></div>
<p><a id="X834298A87BF43AAF" name="X834298A87BF43AAF"></a></p>
<h4>6.3 <span class="Heading">Cases where the Table of Marks is available in <strong class="pkg">GAP</strong></span></h4>
<p>For twelve sporadic simple groups, the <strong class="pkg">GAP</strong> library of Tables of Marks knows the tables of marks, so we can use <code class="code">MaximalSolvableSubgroupInfoFromTom</code>.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">solvinfo:= Filtered( List(</span>
<span class="GAPprompt">></span> <span class="GAPinput"> AllCharacterTableNames( IsSporadicSimple, true,</span>
<span class="GAPprompt">></span> <span class="GAPinput"> IsDuplicateTable, false ),</span>
<span class="GAPprompt">></span> <span class="GAPinput"> MaximalSolvableSubgroupInfoFromTom ), x -> x <> false );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">for entry in solvinfo do</span>
<span class="GAPprompt">></span> <span class="GAPinput"> MaxSolv.( entry[1] ):= entry[2];</span>
<span class="GAPprompt">></span> <span class="GAPinput"> od;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">for entry in solvinfo do </span>
<span class="GAPprompt">></span> <span class="GAPinput"> Print( String( entry[1], 5 ), String( entry[2], 7 ),</span>
<span class="GAPprompt">></span> <span class="GAPinput"> String( entry[3], 28 ), "\n" );</span>
<span class="GAPprompt">></span> <span class="GAPinput"> od;</span>
Co3 69984 [ [ 3849120, 699840 ] ]
HS 2000 [ [ 252000, 252000 ] ]
He 13824 [ [ 138240 ], [ 138240 ] ]
J1 168 [ [ 168 ] ]
J2 1152 [ [ 1152 ] ]
J3 1944 [ [ 1944 ] ]
M11 144 [ [ 144 ] ]
M12 432 [ [ 432 ], [ 432 ] ]
M22 576 [ [ 5760 ] ]
M23 1152 [ [ 40320, 5760 ] ]
M24 13824 [ [ 138240 ] ]
McL 11664 [ [ 3265920, 58320 ] ]
</pre></div>
<p>We see that for <span class="SimpleMath">\(J_1\)</span>, <span class="SimpleMath">\(J_2\)</span>, <span class="SimpleMath">\(J_3\)</span>, <span class="SimpleMath">\(M_{11}\)</span>, and <span class="SimpleMath">\(M_{12}\)</span>, the subgroup <span class="SimpleMath">\(S\)</span> is maximal. For <span class="SimpleMath">\(M_{12}\)</span> and <span class="SimpleMath">\(He\)</span>, there are two classes of subgroups <span class="SimpleMath">\(S\)</span>. For the other groups, the class of subgroups <span class="SimpleMath">\(S\)</span> is unique, and there are one or two classes of maximal subgroups of <span class="SimpleMath">\(G\)</span> that contain <span class="SimpleMath">\(S\)</span>. From the shown orders of these maximal subgroups, their structures can be read off from the <strong class="pkg">Atlas</strong>, on the pages listed in Table II.</p>
<p>Similarly, the <strong class="pkg">Atlas</strong> tells us about the extensions of the subgroups <span class="SimpleMath">\(S\)</span> in Aut<span class="SimpleMath">\((G)\)</span>. In particular,</p>
<ul>
<li><p>the order <span class="SimpleMath">\(2\,000\)</span> subgroups of <span class="SimpleMath">\(HS\)</span> are contained in maximal subgroups of the type <span class="SimpleMath">\(U_3(5).2\)</span> (two classes) which do not extend to <span class="SimpleMath">\(HS.2\)</span>, but there are novelties of the type <span class="SimpleMath">\(5^{1+2}_+:[2^5]\)</span> and of the order <span class="SimpleMath">\(4\,000\)</span>, so the solvable subgroups of maximal order in <span class="SimpleMath">\(HS\)</span> do in fact extend to <span class="SimpleMath">\(HS.2\)</span>.</p>
</li>
<li><p>the order <span class="SimpleMath">\(13\,824\)</span> subgroups of <span class="SimpleMath">\(He\)</span> are contained in maximal subgroups of the type <span class="SimpleMath">\(2^6:3S_6\)</span> (two classes) which do not extend to <span class="SimpleMath">\(He.2\)</span>, but there are novelties of the type <span class="SimpleMath">\(2^{4+4}.(S_3 \times S_3).2\)</span> and of the order <span class="SimpleMath">\(18\,432\)</span>. (So the solvable subgroups <span class="SimpleMath">\(S\)</span> of maximal order in <span class="SimpleMath">\(He\)</span> do not extend to <span class="SimpleMath">\(He.2\)</span> but there are larger solvable subgroups in <span class="SimpleMath">\(He.2\)</span>.)</p>
<p>We inspect the maximal subgroups of <span class="SimpleMath">\(He.2\)</span> in order to show that these are in fact the solvable subgroups of maximal order (see <a href="chapBib_mj.html#biBCCN85">[CCN+85, p. 104]</a>): Any other solvable subgroup of order at least <span class="SimpleMath">\(n\)</span> in <span class="SimpleMath">\(He.2\)</span> must be contained in a subgroup of one of the types <span class="SimpleMath">\(S_4(4).4\)</span> (of index at most <span class="SimpleMath">\(212\)</span>), <span class="SimpleMath">\(2^2.L_3(4).D_{12}\)</span> (of index at most <span class="SimpleMath">\(52\)</span>), or <span class="SimpleMath">\(2^{1+6}_+.L_3(2).2\)</span> (of index at most <span class="SimpleMath">\(2\)</span>). By <a href="chapBib_mj.html#biBCCN85">[CCN+85, pp. 44, 23, 3]</a>, this is not the case.</p>
</li>
<li><p>the maximal subgroups of order <span class="SimpleMath">\(1\,152\)</span> in <span class="SimpleMath">\(J_2\)</span> extend to subgroups of order <span class="SimpleMath">\(2\,304\)</span> in <span class="SimpleMath">\(J_2.2\)</span>.</p>
</li>
<li><p>the maximal subgroups of order <span class="SimpleMath">\(1\,944\)</span> in <span class="SimpleMath">\(J_3\)</span> extend to subgroups of the type <span class="SimpleMath">\(3^2.3^{1+2}_+:8.2\)</span> and of order <span class="SimpleMath">\(3888\)</span> in <span class="SimpleMath">\(J_3.2\)</span>. (The structure stated in <a href="chapBib_mj.html#biBCCN85">[CCN+85, p. 82]</a> is not correct, see <a href="chapBib_mj.html#biBBN95">[BN95]</a>.)</p>
</li>
<li><p>the maximal subgroups of order <span class="SimpleMath">\(432\)</span> in <span class="SimpleMath">\(M_{12}\)</span> (two classes) do <em>not</em> extend in <span class="SimpleMath">\(M_{12}.2\)</span>, and we see from the table of marks of <span class="SimpleMath">\(M_{12}.2\)</span> that there are no larger solvable subgroups in this group, i. e., the solvable subgroups of maximal order in <span class="SimpleMath">\(M_{12}.2\)</span> lie in <span class="SimpleMath">\(M_{12}\)</span>.</p>
</li>
<li><p>the order <span class="SimpleMath">\(576\)</span> subgroups of <span class="SimpleMath">\(M_{22}\)</span> are contained in maximal subgroups of the type <span class="SimpleMath">\(2^4:A_6\)</span> which extend to subgroups of the type <span class="SimpleMath">\(2^4:S_6\)</span> in <span class="SimpleMath">\(M_{22}.2\)</span>, so the solvable subgroups of maximal order in <span class="SimpleMath">\(M_{22}.2\)</span> have the type <span class="SimpleMath">\(2^4:3^2:D_8\)</span> and the order <span class="SimpleMath">\(1\,152\)</span>. In fact the structure is <span class="SimpleMath">\(S_4 \wr S_2\)</span>.</p>
</li>
<li><p>the order <span class="SimpleMath">\(11\,664\)</span> subgroups of <span class="SimpleMath">\(McL\)</span> are contained in maximal subgroups of the type <span class="SimpleMath">\(3^{1+4}_+:2S_5\)</span> which extend to subgroups of the type <span class="SimpleMath">\(3^{1+4}:4S_5\)</span> in <span class="SimpleMath">\(McL.2\)</span>, so the solvable subgroups of maximal order in <span class="SimpleMath">\(McL.2\)</span> have the type <span class="SimpleMath">\(3^{1+4}:4S_4\)</span> and the order <span class="SimpleMath">\(23\,328\)</span>.</p>
</li>
</ul>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">MaxSolv.( "HS.2" ):= 2 * MaxSolv.( "HS" );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">n:= 2^(4+4) * ( 6 * 6 ) * 2; MaxSolv.( "He.2" ):= n;;</span>
18432
<span class="GAPprompt">gap></span> <span class="GAPinput">List( [ Size( CharacterTable( "S4(4).4" ) ),</span>
<span class="GAPprompt">></span> <span class="GAPinput"> Factorial( 5 )^2 * 2,</span>
<span class="GAPprompt">></span> <span class="GAPinput"> Size( CharacterTable( "2^2.L3(4).D12" ) ),</span>
<span class="GAPprompt">></span> <span class="GAPinput"> 2^7 * Size( CharacterTable( "L3(2)" ) ) * 2,</span>
<span class="GAPprompt">></span> <span class="GAPinput"> 7^2 * 2 * Size( CharacterTable( "L2(7)" ) ) * 2,</span>
<span class="GAPprompt">></span> <span class="GAPinput"> 3 * Factorial( 7 ) * 2 ], i -> Int( i / n ) );</span>
[ 212, 1, 52, 2, 1, 1 ]
<span class="GAPprompt">gap></span> <span class="GAPinput">MaxSolv.( "J2.2" ):= 2 * MaxSolv.( "J2" );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">MaxSolv.( "J3.2" ):= 2 * MaxSolv.( "J3" );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">info:= MaximalSolvableSubgroupInfoFromTom( "M12.2" );</span>
[ "M12.2", 432, [ [ 95040 ] ] ]
<span class="GAPprompt">gap></span> <span class="GAPinput">MaxSolv.( "M12.2" ):= info[2];;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">MaxSolv.( "M22.2" ):= 2 * MaxSolv.( "M22" );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">MaxSolv.( "McL.2" ):= 2 * MaxSolv.( "McL" );;</span>
</pre></div>
<p><a id="X85559C0F7AA73E48" name="X85559C0F7AA73E48"></a></p>
<h4>6.4 <span class="Heading">Cases where the Table of Marks is not available in <strong class="pkg">GAP</strong></span></h4>
<p>We use the <strong class="pkg">GAP</strong> function <code class="code">SolvableSubgroupInfoFromCharacterTable</code>, and individual arguments. In several cases, information about smaller sporadic simple groups is needed, so we deal with the groups in increasing order.</p>
<p><a id="X7E393459822E78B5" name="X7E393459822E78B5"></a></p>
<h5>6.4-1 <span class="Heading"><span class="SimpleMath">\(G = Ru\)</span></span></h5>
<p>The group <span class="SimpleMath">\(Ru\)</span> contains exactly two conjugacy classes of nonisomorphic solvable subgroups of order <span class="SimpleMath">\(n = 49\,152\)</span>, and no larger solvable subgroups.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">t:= CharacterTable( "Ru" );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">mx:= List( Maxes( t ), CharacterTable );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">n:= 49152;;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">info:= List( mx, x -> SolvableSubgroupInfoFromCharacterTable( x, n ) );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">info:= Filtered( info, IsList );</span>
[ [ CharacterTable( "2^3+8:L3(2)" ), 7, 7 ],
[ CharacterTable( "2.2^4+6:S5" ), 5, 5 ] ]
</pre></div>
<p>The maximal subgroups of the structure <span class="SimpleMath">\(2.2^{4+6}:S_5\)</span> in <span class="SimpleMath">\(Ru\)</span> contain one class of solvable subgroups of order <span class="SimpleMath">\(n\)</span> and with the structure <span class="SimpleMath">\(2.2^{4+6}:S_4\)</span>, see <a href="chapBib_mj.html#biBCCN85">[CCN+85, p. 126, p. 2]</a>.</p>
<p>The maximal subgroups of the structure <span class="SimpleMath">\(2^{3+8}:L_3(2)\)</span> in <span class="SimpleMath">\(Ru\)</span> contain two classes of solvable subgroups of order <span class="SimpleMath">\(n\)</span> and with the structure <span class="SimpleMath">\(2^{3+8}:S_4\)</span>, see <a href="chapBib_mj.html#biBCCN85">[CCN+85, p. 126, p. 3]</a>. These groups are the stabilizers of vectors and two-dimensional subspaces, respectively, in the three-dimensional submodule; note that each <span class="SimpleMath">\(2^{3+8}:L_3(2)\)</span> type subgroup <span class="SimpleMath">\(H\)</span> of <span class="SimpleMath">\(Ru\)</span> is the normalizer of an elementary abelian group of order eight all of whose involutions are in the <span class="SimpleMath">\(Ru\)</span>-class <code class="code">2A</code> and are conjugate in <span class="SimpleMath">\(H\)</span>. Since the <span class="SimpleMath">\(2.2^{4+6}:S_5\)</span> type subgroups of <span class="SimpleMath">\(Ru\)</span> are the normalizers of <code class="code">2A</code>-elements in <span class="SimpleMath">\(Ru\)</span>, the groups in one of the two classes in question coincide with the largest solvable subgroups in the <span class="SimpleMath">\(2.2^{4+6}:S_5\)</span> type subgroups. The groups in the other class do not centralize a <code class="code">2A</code>-element in <span class="SimpleMath">\(Ru\)</span> and are therefore not isomorphic with the <span class="SimpleMath">\(2.2^{4+6}:S_4\)</span> type groups.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">MaxSolv.( "Ru" ):= n;;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">s:= info[1][1];;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">cls:= SizesConjugacyClasses( s );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">nsg:= Filtered( ClassPositionsOfNormalSubgroups( s ),</span>
<span class="GAPprompt">></span> <span class="GAPinput"> x -> Sum( cls{ x } ) = 2^3 );</span>
[ [ 1, 2 ] ]
<span class="GAPprompt">gap></span> <span class="GAPinput">cls{ nsg[1] };</span>
[ 1, 7 ]
<span class="GAPprompt">gap></span> <span class="GAPinput">GetFusionMap( s, t ){ nsg[1] };</span>
[ 1, 2 ]
</pre></div>
<p><a id="X7AFF09337CCB7745" name="X7AFF09337CCB7745"></a></p>
<h5>6.4-2 <span class="Heading"><span class="SimpleMath">\(G = Suz\)</span></span></h5>
<p>The group <span class="SimpleMath">\(Suz\)</span> contains a unique conjugacy class of solvable subgroups of order <span class="SimpleMath">\(n = 139\,968\)</span>, and no larger solvable subgroups.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">t:= CharacterTable( "Suz" );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">mx:= List( Maxes( t ), CharacterTable );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">n:= 139968;;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">info:= List( mx, x -> SolvableSubgroupInfoFromCharacterTable( x, n ) );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">info:= Filtered( info, IsList );</span>
[ [ CharacterTable( "G2(4)" ), 1797, 416 ],
[ CharacterTable( "3_2.U4(3).2_3'" ), 140, 72 ],
[ CharacterTable( "3^5:M11" ), 13, 11 ],
[ CharacterTable( "2^4+6:3a6" ), 7, 6 ],
[ CharacterTable( "3^2+4:2(2^2xa4)2" ), 1, 1 ] ]
</pre></div>
<p>The maximal subgroups <span class="SimpleMath">\(S\)</span> of the structure <span class="SimpleMath">\(3^{2+4}:2(A_4 \times 2^2).2\)</span> in <span class="SimpleMath">\(Suz\)</span> are solvable and have order <span class="SimpleMath">\(n\)</span>, see <a href="chapBib_mj.html#biBCCN85">[CCN+85, p. 131]</a>.</p>
<p>In order to show that <span class="SimpleMath">\(Suz\)</span> contains no other solvable subgroups of order larger than or equal to <span class="SimpleMath">\(|S|\)</span>, we check that there are no solvable subgroups in <span class="SimpleMath">\(G_2(4)\)</span> of index at most <span class="SimpleMath">\(1\,797\)</span> (see <a href="chapBib_mj.html#biBCCN85">[CCN+85, p. 97]</a>), in <span class="SimpleMath">\(U_4(3).2_3^{\prime}\)</span> of index at most <span class="SimpleMath">\(140\)</span> (see <a href="chapBib_mj.html#biBCCN85">[CCN+85, p. 52]</a>), in <span class="SimpleMath">\(M_{11}\)</span> of index at most <span class="SimpleMath">\(13\)</span> (see <a href="chapBib_mj.html#biBCCN85">[CCN+85, p. 18]</a>), and in <span class="SimpleMath">\(A_6\)</span> of index at most <span class="SimpleMath">\(7\)</span> (see <a href="chapBib_mj.html#biBCCN85">[CCN+85, p. 4]</a>).</p>
<p>The group <span class="SimpleMath">\(S\)</span> extends to a group of the structure <span class="SimpleMath">\(3^{2+4}:2(S_4 \times D_8)\)</span> in the automorphism group <span class="SimpleMath">\(Suz.2\)</span>.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">MaxSolv.( "Suz" ):= n;;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">MaxSolv.( "Suz.2" ):= 2 * n;;</span>
</pre></div>
<p><a id="X7969AE067D3862A3" name="X7969AE067D3862A3"></a></p>
<h5>6.4-3 <span class="Heading"><span class="SimpleMath">\(G = ON\)</span></span></h5>
<p>The group <span class="SimpleMath">\(ON\)</span> contains a unique conjugacy class of solvable subgroups of order <span class="SimpleMath">\(25\,920\)</span>, and no larger solvable subgroups.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">t:= CharacterTable( "ON" );; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">mx:= List( Maxes( t ), CharacterTable );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">n:= 25920;;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">info:= List( mx, x -> SolvableSubgroupInfoFromCharacterTable( x, n ) );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">info:= Filtered( info, IsList );</span>
[ [ CharacterTable( "L3(7).2" ), 144, 114 ],
[ CharacterTable( "ONM2" ), 144, 114 ],
[ CharacterTable( "3^4:2^(1+4)D10" ), 1, 1 ] ]
</pre></div>
<p>The maximal subgroups <span class="SimpleMath">\(S\)</span> of the structure <span class="SimpleMath">\(3^4:2^{1+4}_-D_{10}\)</span> in <span class="SimpleMath">\(ON\)</span> are solvable and have order <span class="SimpleMath">\(n\)</span>, see <a href="chapBib_mj.html#biBCCN85">[CCN+85, pp. 132]</a>.</p>
<p>In order to show that <span class="SimpleMath">\(ON\)</span> contains no other solvable subgroups of order larger than or equal to <span class="SimpleMath">\(|S|\)</span>, we check that there are no solvable subgroups in <span class="SimpleMath">\(L_3(7).2\)</span> of index at most <span class="SimpleMath">\(144\)</span> (see <a href="chapBib_mj.html#biBCCN85">[CCN+85, p. 50]</a>); note that the groups in the second class of maximal subgroups of <span class="SimpleMath">\(ON\)</span> are isomorphic with <span class="SimpleMath">\(L_3(7).2\)</span>.</p>
<p>The group <span class="SimpleMath">\(S\)</span> extends to a group of order <span class="SimpleMath">\(|S.2|\)</span> in the automorphism group <span class="SimpleMath">\(ON.2\)</span>.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">MaxSolv.( "ON" ):= n;;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">MaxSolv.( "ON.2" ):= 2 * n;;</span>
</pre></div>
<p><a id="X84921B85845EDA31" name="X84921B85845EDA31"></a></p>
<h5>6.4-4 <span class="Heading"><span class="SimpleMath">\(G = Co_2\)</span></span></h5>
<p>The group <span class="SimpleMath">\(Co_2\)</span> contains a unique conjugacy class of solvable subgroups of order <span class="SimpleMath">\(2\,359\,296\)</span>, and no larger solvable subgroups.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">t:= CharacterTable( "Co2" );; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">mx:= List( Maxes( t ), CharacterTable );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">n:= 2359296;;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">info:= List( mx, x -> SolvableSubgroupInfoFromCharacterTable( x, n ) );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">info:= Filtered( info, IsList );</span>
[ [ CharacterTable( "U6(2).2" ), 7796, 672 ],
[ CharacterTable( "2^10:m22:2" ), 385, 22 ],
[ CharacterTable( "McL" ), 380, 275 ],
[ CharacterTable( "2^1+8:s6f2" ), 315, 28 ],
[ CharacterTable( "2^1+4+6.a8" ), 17, 8 ],
[ CharacterTable( "U4(3).D8" ), 11, 8 ],
[ CharacterTable( "2^(4+10)(S5xS3)" ), 5, 5 ] ]
</pre></div>
<p>The maximal subgroups of the structure <span class="SimpleMath">\(2^{4+10}(S_5 \times S_3)\)</span> in <span class="SimpleMath">\(Co_2\)</span> contain solvable subgroups <span class="SimpleMath">\(S\)</span> of order <span class="SimpleMath">\(n\)</span> and with the structure <span class="SimpleMath">\(2^{4+10}(S_4 \times S_3)\)</span>, see <a href="chapBib_mj.html#biBCCN85">[CCN+85, p. 154]</a>.</p>
<p>The subgroups <span class="SimpleMath">\(S\)</span> are contained also in the maximal subgroups of the type <span class="SimpleMath">\(2^{1+8}_+:S_6(2)\)</span>; note that the <span class="SimpleMath">\(2^{1+8}_+:S_6(2)\)</span> type subgroups are described as normalizers of elements in the <span class="SimpleMath">\(Co_2\)</span>-class <code class="code">2A</code>, and <span class="SimpleMath">\(S\)</span> normalizes an elementary abelian group of order <span class="SimpleMath">\(16\)</span> containing an <span class="SimpleMath">\(S\)</span>-class of length five that is contained in the <span class="SimpleMath">\(Co_2\)</span>-class <code class="code">2A</code>.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">s:= info[7][1];</span>
CharacterTable( "2^(4+10)(S5xS3)" )
<span class="GAPprompt">gap></span> <span class="GAPinput">cls:= SizesConjugacyClasses( s );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">nsg:= Filtered( ClassPositionsOfNormalSubgroups( s ),</span>
<span class="GAPprompt">></span> <span class="GAPinput"> x -> Sum( cls{ x } ) = 2^4 );</span>
[ [ 1 .. 3 ] ]
<span class="GAPprompt">gap></span> <span class="GAPinput">cls{ nsg[1] };</span>
[ 1, 5, 10 ]
<span class="GAPprompt">gap></span> <span class="GAPinput">GetFusionMap( s, t ){ nsg[1] };</span>
[ 1, 2, 3 ]
</pre></div>
<p>The stabilizers of these involutions in <span class="SimpleMath">\(2^{4+10}(S_5 \times S_3)\)</span> have index five, they are solvable, and they are contained in <span class="SimpleMath">\(2^{1+8}_+:S_6(2)\)</span> type subgroups, so they are <span class="SimpleMath">\(Co_2\)</span>-conjugates of <span class="SimpleMath">\(S\)</span>. (The corresponding subgroups of <span class="SimpleMath">\(S_6(2)\)</span> are maximal and have the type <span class="SimpleMath">\(2.[2^6]:(S_3 \times S_3)\)</span>.)</p>
<p>In order to show that <span class="SimpleMath">\(G\)</span> contains no other solvable subgroups of order larger than or equal to < | | |
