You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When searching for the group "Sp(2, 5)" in the groups database, it returns an error stating that this group has not yet been added to the database:
even though the group is indeed in the database as 120.5, under the name "SL(2,5)" . Similarly, searching for "PSp(2,5)" gives the same error, even though this is also in the database as 60.5.
Perhaps the ("trivial") symplectic families "Sp(2,q)" could maybe be added to the gps_special_names table, or alternatively, we could implement somewhere in the groups code to recognise "Sp(2,q)" as the same as "SL(2,q)". (and similarly "PSp(2,q)" as "PSL(2,q)")?