A137863 -id:A137863 - cp's OEIS frontend

A119648 Orders for which there is more than one simple group.

20160, 4585351680, 228501000000000, 65784756654489600, 273457218604953600, 54025731402499584000, 3669292720793456064000, 122796979335906113871360, 6973279267500000000000000, 34426017123500213280276480

Offset: 1

N. J. A. Sloane, Jul 29 2006

nonn

All such orders are composite numbers (since there is only one group of any prime order).
Orders which are repeated in A109379.
Except for the first number, these are the orders of symplectic groups C_n(q)=Sp_{2n}(q), where n>2 and q is a power of an odd prime number (q=3,5,7,9,11,...). Also these are the orders of orthogonal groups B_n(q). - Dushan Pagon (dushanpag(AT)gmail.com), Jun 27 2010
a(1) = 20160 = 8!/2 is the order of the alternating simple group A_8 that is isomorphic to the Lie group PSL_4(2), but 20160 is also the order of the Lie group PSL_3(4) that is not isomorphic to A_8 (see A137863). - Bernard Schott, May 18 2020

			From Dushan Pagon (dushanpag(AT)gmail.com), Jun 27 2010: (Start)
a(1)=|A_8|=8!/2=20160,
a(2)=|C_3(3)|=4585351680,
a(3)=|C_3(5)|=228501000000000, and
a(4)=|C_4(3)|=65784756654489600. (End)

See A001034 for references and other links.
J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson, ATLAS of Finite Groups. Oxford Univ. Press, 1985 [for best online version see https://oeis.org/wiki/Welcome#Links_to_Other_Sites]. [From Dushan Pagon (dushanpag(AT)gmail.com), Jun 27 2010]

C. Cato, The orders of the known simple groups as far as one trillion, Math. Comp., 31 (1977), 574-577. [From Dushan Pagon (dushanpag(AT)gmail.com), Jun 27 2010]
L. E. Dickson, Linear Groups with an Exposition of the Galois Field Theory. See also. [From Dushan Pagon (dushanpag(AT)gmail.com), Jun 27 2010]
W. Kimmerle et al., Composition Factors from the Group Ring and Artin's Theorem on Orders of Simple Groups, Proc. London Math. Soc., (3) 60 (1990), 89-122. [From Dushan Pagon (dushanpag(AT)gmail.com), Jun 27 2010]
David A. Madore, Orders of non-Abelian simple groups
Wikipedia, Classification of finite simple groups [From Dushan Pagon (dushanpag(AT)gmail.com), Jun 27 2010]
Index entries for sequences related to groups

Cf. A000001, A000679, A005180, A001228, A060793, A056866, A056868, A119630.

Cf. A001034 (orders of simple groups without repetition), A109379 (orders with repetition), A137863 (orders of simple groups which are non-cyclic and non-alternating).

sp(n, q) 1/2 q^n^2.(q^(2.i) - 1, i, 1, n) [From Dushan Pagon (dushanpag(AT)gmail.com), Jun 27 2010] [This line contained some nonascii characters which were unreadable]

For n>1, a(n) is obtained as (1/2) q^(m^2)Prod(q^(2i)-1, i=1..m) for appropriate m>2 and q equal to a power of some odd prime number. [Dushan Pagon (dushanpag(AT)gmail.com), Jun 27 2010]

Extended up to the 10th term by Dushan Pagon (dushanpag(AT)gmail.com), Jun 27 2010

A334884 Order of the non-isomorphic groups PSL(m,q) [or PSL_m(q)] in increasing order as q runs through the prime powers.

Original entry on oeis.org

6, 12, 60, 168, 360, 504, 660, 1092, 2448, 3420, 4080, 5616, 6072, 7800, 9828, 12180, 14880, 20160, 20160, 25308, 32736, 34440, 39732, 51888, 58800, 74412, 102660, 113460, 150348, 178920, 194472, 246480, 262080, 265680, 285852, 352440, 372000, 456288

Offset: 1

Bernard Schott, May 14 2020

nonn

The projective special linear group PSL(m,q) is the quotient group of SL(m,q) with its center.
Theorem: The group PSL(m,q) is simple except for PSL(2,2) and PSL(2,3).
Exceptional isomorphisms (let "==" denote "isomorphic to"):
a(1) = 6 for PSL(2,2) == GL(2,2) == SL(2,2) == S_3 (see example).
a(2) = 12 for PSL(2,3) == A_4.
a(3) = 60 for PSL(2,4) and for PSL(2,5) with PSL(2,4) == PSL(2,5) == A_5 that is the smallest nonabelian simple group.
a(4) = 168 for PSL(2,7) and for PSL(3,2) with PSL(2,7) == PSL(3,2); PSL(2, 7) is the second smallest nonabelian simple group (see example).
a(5) = 360 for PSL(2,9) == A_6.
a(18) = a(19) = 20160 for PSL(4,2) == A_8 and for PSL(3,4) non-isomorphic to A_8 (see comment in A137863).
Array for order of PSL(m,q):
m\q|  2         3            4 =2^2            5               7
----------------------------------------------------------------------
2 |   6         12             60              60             168
3 |  168       5616           20160          372000         1876896
4 | 20160    6065280        987033600      7254000000    2317591180800
5 | 9999360 237783237120  258492255436800 56653740000000000  #PSL(5,7)
              with #PSL(5,7) = 187035198320488089600

			a(1) = #PSL(2,2) = (2^2-1)*2 = 6 and the 6 elements of PSL(2,2) that is isomorphic to S_3 are the 6 following 2 X 2 matrices with entries in F_2:
   (1 0)   (1 1)   (1 0)   (0 1)   (0 1)   (1 1)
   (0 1) , (0 1) , (1 1) , (1 0) , (1 1) , (1 0).
a(4) = #PSL(2,7) = (7^2-1)*7/gcd(2,6) = 168, and also,
a(4) = #PSL(3,2) = (2^3-1)*(2^3-2)*2^2/gcd(3,1) = 168.

Wikipedia, Projective linear group

Subsequence: A117762 (PSL(2,prime(n))).
Cf. A137863.
Cf. A334994 and A335000 for other versions of this sequence.

#PSL(m,q) = (Product_{j=0..m-2} (q^m - q^j)) * q^(m-1) / gcd(m,q-1).

cp's OEIS Frontend

A119648 Orders for which there is more than one simple group.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Other

Formula

Extensions