En
Newman, Morris; Shanks, Daniel; Williams, H. C., Simple grupos de la plaza de orden y una secuencia interesante de los números primos, Acta Arith. 38, 129-140 (1980). ZBL0365.20025.
está demostrado que PSp(4,p)PSp(4,p) ha pedido un cuadrado perfecto si pp es un primer que aparece en la secuencia definida recursivamente por a1=1a1=1, a2=7a2=7 e an=6an−1−an−2an=6an−1−an−2 (ver esta entrada en OEIS). Los autores conjeturan que hay infinitamente muchos primos, y el estado que no conocen otros ejemplos de finitos simples grupos de la plaza de la orden.
Las primeras dos números primos son 7 y 41, por lo PSp(4,41)PSp(4,41) es otro grupo simple finito cuyo orden es un cuadrado. (Según mis cálculos el orden es 818983202∼6.7×1015818983202∼6.7×1015.