In the area of modern algebra known as group theory, the Suzuki group Suz or Sz is a sporadic simple group of order

:&nbsp;&nbsp;&nbsp;448,345,497,600 = 2<sup>13</sup> · 3<sup>7</sup> · 5<sup>2</sup> · 7 · 11 · 13 ≈ 4.

History

Suz is one of the 26 Sporadic groups and was discovered by as a rank 3 permutation group on 1782 points with point stabilizer G<sub>2</sub>(4). It is not related to the Suzuki groups of Lie type. The Schur multiplier has order 6 and the outer automorphism group has order 2.

Complex Leech lattice

The 24-dimensional Leech lattice has a fixed-point-free automorphism of order 3. Identifying this with a complex cube root of 1 makes the Leech lattice into a 12 dimensional lattice over the Eisenstein integers, called the complex Leech lattice. The automorphism group of the complex Leech lattice is the universal cover 6 · Suz of the Suzuki group. This makes the group 6 · Suz · 2 into a maximal subgroup of Conway's group Co<sub>0</sub> = 2 · Co<sub>1</sub> of automorphisms of the Leech lattice, and shows that it has two complex irreducible representations of dimension 12. The group 6 · Suz acting on the complex Leech lattice is analogous to the group 2&nbsp;·&nbsp;Co<sub>1</sub> acting on the Leech lattice.

Suzuki chain

The Suzuki chain or Suzuki tower is the following tower of rank 3 permutation groups from , each of which is the point stabilizer of the next.

  • G<sub>2</sub>(2) = U(3, 3) · 2 has a rank 3 action on 36 = 1 + 14 + 21 points with point stabilizer PSL(3, 2) · 2
  • J<sub>2</sub> · 2 has a rank 3 action on 100 = 1 + 36 + 63 points with point stabilizer G<sub>2</sub>(2)
  • G<sub>2</sub>(4) · 2 has a rank 3 action on 416 = 1 + 100 + 315 points with point stabilizer J<sub>2</sub> · 2
  • Suz · 2 has a rank 3 action on 1782 = 1 + 416 + 1365 points with point stabilizer G<sub>2</sub>(4) · 2

Maximal subgroups

found the 17 conjugacy classes of maximal subgroups of Suz as follows:

{| class="wikitable"

|+ Maximal subgroups of Suz

|-

! No. !! Structure !! Order !! Index !! Comments

|-

| 1 ||G<sub>2</sub>(4) ||align=right|251,596,800<br />=&nbsp;2<sup>12</sup>·3<sup>3</sup>·5<sup>2</sup>·7·13||align=right|1,782 <br />=&nbsp;2·3<sup>4</sup>·11 ||

|-

| 2 ||3<sub>2</sub><sup>·&thinsp;</sup>U(4, 3) : 2'<sub>3</sub> ||align=right|19,595,520 <br />=&nbsp;2<sup>8</sup>·3<sup>7</sup>·5·7 ||align=right|22,880 <br />=&nbsp;2<sup>5</sup>·5·11·13 ||normalizer of a subgroup of order 3 (class 3A)

|-

| 3 ||U(5, 2) ||align=right|13,685,760 <br />=&nbsp;2<sup>10</sup>·3<sup>5</sup>·5·11 ||align=right|32,760 <br />=&nbsp;2<sup>3</sup>·3<sup>2</sup>·5·7·13 ||

|-

| 4 ||2<sup>&thinsp;·&thinsp;</sup>U(4, 2) ||align=right|3,317,760 <br />=&nbsp;2<sup>13</sup>·3<sup>4</sup>·5 ||align=right|135,135 <br />=&nbsp;3<sup>3</sup>·5·7·11·13 ||centralizer of an involution of class 2A

|-

| 5 ||3<sup>5</sup> : M<sub>11</sub> ||align=right|1,924,560 <br />=&nbsp;2<sup>4</sup>·3<sup>7</sup>·5·11 ||align=right|232,960 <br />=&nbsp;2<sup>9</sup>·5·7·13 ||

|-

| 6 ||J<sub>2</sub> : 2 ||align=right|1,209,600 <br />=&nbsp;2<sup>8</sup>·3<sup>3</sup>·5<sup>2</sup>·7 ||align=right|370,656 <br />=&nbsp;2<sup>5</sup>·3^4·11·13 ||the subgroup fixed by an outer involution of class 2C

|-

| 7 ||2<sup>4+6</sup> : 3A<sub>6</sub> ||align=right|1,105,920 <br />=&nbsp;2<sup>13</sup>·3<sup>3</sup>·5 ||align=right|405,405 <br />=&nbsp;3<sup>4</sup>·5·7·11·13 ||

|-

| 8 ||(A<sub>4</sub> × L<sub>3</sub>(4)) : 2 ||align=right|483,840 <br />=&nbsp;2<sup>9</sup>·3<sup>3</sup>·5·7 ||align=right|926,640 <br />=&nbsp;2<sup>4</sup>·3<sup>4</sup>·5·11·13 ||

|-

| 9 ||2<sup>2+8</sup> : (A<sub>5</sub> × S<sub>3</sub>) ||align=right|368,640 <br />=&nbsp;2<sup>13</sup>·3<sup>2</sup>·5 ||align=right|1,216,215 <br />=&nbsp;3<sup>5</sup>·5·7·11·13 ||

|-

|10 ||M<sub>12</sub> : 2 ||align=right|190,080 <br />=&nbsp;2<sup>7</sup>·3<sup>3</sup>·5·11 ||align=right|2,358,720 <br />=&nbsp;2<sup>6</sup>·3<sup>4</sup>·5·7·13 ||the subgroup fixed by an outer involution of class 2D

|-

|11 ||3<sup>2+4</sup> : 2(A<sub>4</sub> × 2<sup>2</sup>).2 ||align=right|139,968 <br />=&nbsp;2<sup>6</sup>·3<sup>7</sup> ||align=right|3,203,200 <br />=&nbsp;2<sup>7</sup>·5<sup>2</sup>·7·11·13 ||

|-

|12 ||(A<sub>6</sub> × A<sub>5</sub>) · 2 ||align=right|43,200 <br />=&nbsp;2<sup>6</sup>·3<sup>3</sup>·5<sup>2</sup> ||align=right|10,378,368 <br />=&nbsp;2<sup>7</sup>·3^4·7·11·13 ||

|-

|13 ||(A<sub>6</sub> × 3<sup>2</sup> : 4)<sup>&thinsp;·&thinsp;</sup>2 ||align=right|25,920 <br />=&nbsp;2<sup>6</sup>·3<sup>4</sup>·5 ||align=right|17,297,280 <br />=&nbsp;2<sup>7</sup>·3<sup>3</sup>·5·7·11·13||

|-

|14,15||L<sub>3</sub>(3) : 2 ||align=right|11,232 <br />=&nbsp;2<sup>5</sup>·3<sup>3</sup>·13 ||align=right|39,916,800 <br />=&nbsp;2<sup>8</sup>·3<sup>4</sup>·5^2·7·11 ||two classes, fused by an outer automorphism

|-

|16 ||L<sub>2</sub>(25) ||align=right|7,800 <br />=&nbsp;2<sup>3</sup>·3·5<sup>2</sup>·13 ||align=right|57,480,192 <br />=&nbsp;2<sup>10</sup>·3<sup>6</sup>·7·11 ||

|-

|17 ||A<sub>7</sub> ||align=right|2,520 <br />=&nbsp;2<sup>3</sup>·3<sup>2</sup>·5·7 ||align=right|177,914,880<br />=&nbsp;2<sup>10</sup>·3<sup>5</sup>·5·11·13 ||

|-

|}

Bibliography

  • Conway, J. H.; Curtis, R. T.; Norton, S. P.; Parker, R. A.; and Wilson, R. A.: "Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups." Oxford, England 1985.
  • MathWorld: Suzuki group
  • Atlas of Finite Group Representations: Suzuki group