next up previous
Next: Results for other groups. Up: The Subgroups of Previous: A Strategy.

The Table of Marks of tex2html_wrap_inline4377 .

 

In this section table of marks of the sporadic simple Mathieu group tex2html_wrap_inline4379 is determined. We assume that the maximal subgroups of tex2html_wrap_inline4381 are known, and that we have already computed their tables of marks. An implementation in GAP of the procedures described in sections 4 and 5 is used to determine the fusion map from the maximal subgroups into tex2html_wrap_inline4383 . We give only a short account of the development. This should give an impression of the amount and the type of work involved.

The permutation representation of tex2html_wrap_inline4385 we will work with is taken from the GAP library of primitive groups.

   gap> m24:= AllPrimitiveGroups(Size, 48 * Product([20..24]))[1];;
   gap> m24.name:= "m24"; 
   gap> m24.generators;
   [ ( 1, 7,12,16,19,21, 6)( 2, 8,13,17,20, 5,11)( 3, 9,14,18, 4,10,15), 
     ( 2,14,18,20, 8)( 3, 7,12,13,19)( 4,21,17,15,10)( 5,11,16, 6, 9), 
     ( 1,22)( 2,10)( 3,14)( 4,17)( 8,15)( 9,11)(13,20)(19,21), 
     ( 3,19)( 4,14)( 5,20)( 6,10)( 8,15)(11,18)(17,21)(22,23), 
     ( 2,10)( 3,13)( 4,11)( 5,18)( 8,15)( 9,17)(14,20)(23,24) ]

A complete list of conjugacy classes of maximal subgroups is given in Table 2 as it is found in the ATLAS ([Conway et al. 1985], p. 94). This is based on [Todd 1966] and [Choi 1972]. For a detailed combinatorial description see also [Conway 1971], [Curtis 1976], and [Curtis 1977].

   table759
Table 2: The maximal subgroups of tex2html_wrap_inline4459 .

Table 2 lists for each maximal subgroup of tex2html_wrap_inline4461 its name, its index in tex2html_wrap_inline4463 and its order. The specification describes the subgroup by the kind of object it stabilizes. We furthermore list the name that is used in the GAP session and the number of conjugacy classes of subgroups of each maximal subgroup.

In GAP, the maximal subgroups of tex2html_wrap_inline4465 are then constructed as stabilizers according to the above table or by explicit generating permutations.

   m23:= Stabilizer(m24, 24);  m23.name:= "m23";
   
   n22:= Stabilizer(m24, [23, 24], OnSets);  n22.name:= "n22";
   
   trio:=[[1,2,3,4,5,6,12,16],[8,10,13,20,21,22,23,24],[7,9,11,14,15,17,18,19]];
   ea8:= Stabilizer(m24, trio[2], OnSets);  ea8.name:= "ea8";
   
   duum:= [[1,5,8,10,11,14,17,18,20,21,23,24], [2,3,4,6,7,9,12,13,15,16,19,22]];
   m12:= Stabilizer(m24, duum[1], OnSets);  m12.name:= "m12";
   n12:= Normalizer(m24, m12);  n12.name:= "n12";
   
   sextet:= [[1,12,16,18],[2,15,21,23],[3,14,22,24],[4,7,8,20],[5,9,17,19]];
   grp:= m24;  for four in sextet do grp:= Stabilizer(grp, four, OnSets); od;
   e3s6:= Normalizer(m24, grp);  e3s6.name:= "e3s6";
   
   n21:= Stabilizer(m24, [22..24], OnSets);  n21.name:= "n21";
   trio:=[[1,6,10,11,12,13,16,18],[2,3,7,8,9,15,19,24],[4,5,14,17,20,21,22,23]];
   grp:= Stabilizer(Stabilizer(m24, trio[1], OnSets), trio[2], OnSets);
   nea:= Normalizer(m24, grp);  nea.name:= "nea";
   
   l23:= Subgroup(m24,
   [(1,7)(2,16)(3,14)(4,9)(5,6)(8,21)(10,11)(12,19)(13,15)(17,24)(18,20)(22,23),
    (1,23,2)(3,10,16)(4,19,20)(5,8,22)(6,24,17)(7,18,11)(9,21,13)(12,14,15)]);
   l23.name:= "l23";
   
   l7:= Subgroup(m24,
   [(1,14)(2,20)(3,9)(4,16)(5,12)(6,24)(7,10)(8,21)(11,23)(13,19)(15,18)(17,22),
    (1,11,18)(2,7,5)(3,21,16)(4,20,15)(6,24,8)(9,14,10)(12,13,19)(17,23,22)]);
   l7.name:= "l7";
   
   m24.max:= [m23, n22, ea8, n12, e3s6, n21, nea, l23, l7];

The computation of all but two of the tables of marks of the maximal subgroups via the lattice of subgroups is almost automatic. It requires up to 80 MB of main memory and some hours of cpu time. In addition to the permutation representation of a maximal subgroup M one has to supply a complete list of representatives of perfect subgroups of M as input for the lattice program.

For the maximal subgroups tex2html_wrap_inline4471 and tex2html_wrap_inline4473 (and for tex2html_wrap_inline4475 inside tex2html_wrap_inline4477 ) the method described here has been applied to obtain their table of marks together with a list of representatives of the conjugacy classes of subgroups.

We will skip quickly through the automatic part of the strategy, and just report some interesting figures.

The disjoint union tex2html_wrap_inline4479 of the conjugacy classes of maximal subgroups of tex2html_wrap_inline4481 consists of 7354 subgroups which initially fall into 116 tex2html_wrap_inline4483 -classes, i.e. which have 116 different orders. The refinement via RefineClassesFrame yields 445 classes. This tells us that there are at least 445 different isomorphism types of subgroups of tex2html_wrap_inline4485 (plus tex2html_wrap_inline4487 itself).

The inspection of the Sylow subgroups via CheckSylowFrame yields the fusion of the 6 tex2html_wrap_inline4489 -classes of Sylow subgroups. The tex2html_wrap_inline4491 -class of the trivial subgroups is detected and fused. Moreover, 31 tex2html_wrap_inline4493 -classes of 2-subgroups inside the Sylow 2-subgroup are fused. The Sylow p-subgroups for p = 5, 7, 11, and 23 are cyclic, so here is nothing left for CheckSylowFrame to do. The Sylow 3-subgroup has order tex2html_wrap_inline4511 , here are some tex2html_wrap_inline4513 -classes with more than one element. The routine CheckSylowFrame will prove most powerful inside the Sylow 2-subgroup of order tex2html_wrap_inline4517 which contains lots of classes of subgroups.

The application of CheckNormalizerFrame yields the fusion of 36 more classes. Then 302 fusions of single subgroups are caused by ConcludeFrame. We are left with 320 unfinished classes.

Since tex2html_wrap_inline4519 has this small permutation representation on 24 points, and all maximal subgroups are given explicitly as subgroups of this permutation group on 24 points, we have access to a representative for each conjugacy class of subgroups of each maximal subgroup of tex2html_wrap_inline4525 . Thus, we can use these permutation groups in order to distinguish groups which are not conjugate in tex2html_wrap_inline4527 .

Let U be a subgroup of tex2html_wrap_inline4531 . Then U acts on 24 points and the lengths of the orbits of U give a partition tex2html_wrap_inline4539 of 24. If U' is a subgroup of tex2html_wrap_inline4545 which is conjugate to U then tex2html_wrap_inline4549 . If we use this criterion on the tex2html_wrap_inline4551 -classes then 269 of them split into two or more classes. A further refinement with RefineClassesFrame yields a total of 1453 classes. Then CheckSylowFrame can fuse 523 classes inside the Sylow 2-subgroup and three classes inside the Sylow 3-subgroup. Moreover, CheckNormalizerFrame can fuse 479 classes. Then ConcludeFrame causes 1722 fusions of elements of tex2html_wrap_inline4557 . We are left with 93 unfinished classes.

The representatives of the conjugacy classes of subgroups of the maximal subgroups of tex2html_wrap_inline4559 can also be used to determine the size of their normalizers in tex2html_wrap_inline4561 . Of course, the normalizers of conjugate subgroups have the same size. This criterion can be used to split one of the tex2html_wrap_inline4563 -classes of subgroups of order 4 into three classes. RefineClassesFrame then yields a total of 1510 classes. CheckSylowFrame fuses 4 classes inside the Sylow 2-subgroup. CheckNormalizerFrame fuses 20 further classes. ConcludeFrame causes one additional fusion in tex2html_wrap_inline4569 .

Checking the sizes of normalizers of the tex2html_wrap_inline4571 -classes of small size (4, 8, 12, and 16) together with the application of RefineClassesFrame leads to a total of 1527 classes.

The remaining problem is quite small; we are faced with a pre-fusion map tex2html_wrap_inline4581 where only 28 of the tex2html_wrap_inline4583 -classes have more than one element. These classes contain subgroups of order 16, 60 [2 classes], 120 [3 classes], 168, 240 [3 classes], 336, 360 [2 classes], 480, 660, 720 [4 classes], 1320, 1344, 1440, 2520, 7920, 20160 [2 classes], 40320, and 443520.

Five of these classes can be solved by looking at intersections of the maximal subgroups.

The point stabilizer m23 and the duad stabilizer n22 intersect in a group of size 443520,

   gap> Size(Intersection(m23, n22));
   443520
(which is, of course, the 2-point stabilizer tex2html_wrap_inline4625 ) and, since the tex2html_wrap_inline4627 -class of groups of this size consists of a conjugacy class of subgroups of tex2html_wrap_inline4629 and a conjugacy class of subgroups of tex2html_wrap_inline4631 , we can fuse this class.

The point stabilizer m23 and the triad stabilizer n21 intersect in a group of size 40320 (which is tex2html_wrap_inline4635 , the duad stabilizer in tex2html_wrap_inline4637 ), so do the duad stabilizer n22 and n21.

   gap> Size(Intersection(m23, n21));
   40320
   gap> Size(Intersection(n22, n21));
   40320
Therefore, the three elements in the tex2html_wrap_inline4639 -class of groups of that size belong to one single conjugacy class of subgroups of tex2html_wrap_inline4641 .

We look at the size of the intersection of ea8 and the stabilizer of the point 1 in tex2html_wrap_inline4643

   gap> Size(Intersection(ea8, Stabilizer(m24, 1))); 
   20160
and can decide for one of the tex2html_wrap_inline4645 -classes of groups of size 20160, that they indicate a single conjugacy class.

Similarly we find a group of order 7920 ( tex2html_wrap_inline4651 ) as the intersection of n12 and m23 and a group of order 1440 ( tex2html_wrap_inline4655 ) as the intersection of n22 and n12. This allows to fuse the tex2html_wrap_inline4657 -classes of groups of these orders.

After the fusion of these five classes ConcludeFrame causes 23 further fusions. In particular, the class of groups of order 660 is fused into a singleton, and consequently the class of groups of order 1320 can be identified as the class of their normalizers, whence it also can be fused.

The tex2html_wrap_inline4663 -class of groups of order 480 consists of two elements, a subgroup of n12 and a subgroup of e3s6. The duums stabilized by each of these groups is exhibited by passing to the derived subgroups. Let rep1 and rep2 be representatives of the two elements in the tex2html_wrap_inline4667 -class and let der1 and der2 be their respective derived subgroups. We determine their orbits on the 24 points and an element g of tex2html_wrap_inline4671 that maps the duum of rep2 to that of rep1 (and thereby conjugates rep2 into n12).

   gap> o1:= Orbits(der1, [1..24]);
   [ [ 1, 23, 17, 24, 20, 5, 21, 10, 18, 8, 14, 11 ], 
     [ 2, 15, 13, 7, 19, 9, 16, 4, 22, 6, 12, 3 ] ]
   gap> o2:= Orbits(der2, [1..24]);
   [ [ 1, 11, 9, 4, 13, 22, 24, 7, 21, 2, 18, 5 ], 
     [ 3, 23, 8, 16, 15, 14, 6, 17, 12, 20, 10, 19 ] ]
   gap> g:= RepresentativeOperation(m24, Set(o2[1]), Set(o1[1]), OnSets);
   ( 2, 5,10,16, 4, 8,19,12, 3, 7,11,23,22,17,13,14, 6,15, 9,24,21,18,20)
The index of the subgroups in n12 is relatively small (396), and we can find a conjugating element inside n12.
   gap> h:= RepresentativeOperation(n12, rep1, rep2^g);
   ( 2,19, 6,15)( 3,22,16, 7)( 4,13)( 9,12)(10,24,14,17)(18,20,23,21)
   gap> rep1^h = rep2^g;
   true
We thus have explicitely shown that rep1 and rep2 are conjugate in tex2html_wrap_inline4675 and can now fuse the corresponding tex2html_wrap_inline4677 -class. ConcludeFrame then fuses all but one of the remaining classes.

The remaining tex2html_wrap_inline4679 -class of groups of order 16 consists of two elements. Each of them is the image under f of five elements of tex2html_wrap_inline4685 , where two are conjugacy classes of subgroups of nea, two of e3s6 and one of ea8.

Let rep1 and rep2 be representatives of the two elements in that tex2html_wrap_inline4687 -class. Again we look at the orbits of these groups on the 24 points.

   gap> Orbits(rep1, [1..24]);
   [ [ 1, 6, 10, 11, 13, 18, 16, 12 ], 
     [ 2, 3, 8, 7, 14, 9, 19, 23, 15, 5, 20, 4, 24, 17, 21, 22 ] ]
   gap> Orbits(rep2, [1..24]);
   [ [ 1, 6, 10, 11, 13, 18, 16, 12 ], 
     [ 2, 3, 7, 4, 8, 19, 5, 9, 21, 24, 23, 22, 15, 14, 17, 20 ] ]
The groups rep1 and rep2 both stabilize the same octad and they are not conjugate in the octad stabilizer ea8. Therefore they are not conjugate in tex2html_wrap_inline4689 and this class splits.

Finally the table of marks of tex2html_wrap_inline4691 can be computed via InducedFrame, a program that implements the induction formula 2.2. The number of subgroups of tex2html_wrap_inline4693 can now be derived from that table by means of Lemma 1.3.

   gap> tom:= InducedFrame(frame);;
   gap> Length(tom.subs);
   1529

Out of the 704 divisors of the order of tex2html_wrap_inline4695 only 117 occur as orders of subgroups of tex2html_wrap_inline4697 . Table 3 in the appendix lists for each such order the number of conjugacy classes of subgroups with that order and the total number of subgroups in these classes. The most popular orders among the conjugacy classes are 32 (212 classes) and 64 (209 classes). 32 is also the most popular order among the subgroups (186438483 subgroups). On the other hand, there are 44 conjugacy classes which are uniquely determined by the order of the subgroups they contain.


next up previous
Next: Results for other groups. Up: The Subgroups of Previous: A Strategy.

Götz Pfeiffer Wed Oct 30 09:52:08 GMT 1996