|
gptkb:symplectic_group_over_algebraic_closure
|
true
|
|
gptkb:projective_special_linear_group_PSL_2(7)
|
true
|
|
gptkb:PSp(2n,q)
|
true
|
|
gptkb:symplectic_group_over_finite_fields
|
true
|
|
gptkb:special_linear_group_SL(n,_C)
|
true
|
|
gptkb:PSL_4(3)
|
true
|
|
gptkb:special_linear_group_SL(5)
|
yes
|
|
gptkb:SL(n,_ℂ)
|
true
|
|
gptkb:special_orthogonal_group_SO(n,q)
|
true
|
|
gptkb:GL(n,q)
|
true
|
|
gptkb:GL(2n,q)
|
true
|
|
gptkb:PSL(2,7)
|
true
|
|
gptkb:general_linear_group
|
true
|
|
gptkb:projective_special_linear_group_PSL(4,2)
|
true
|
|
gptkb:symplectic_group_over_finite_field
|
true
|
|
gptkb:PSL(n,_F)
|
true
|
|
gptkb:Special_Linear_Group_of_3x3_Complex_Matrices
|
true
|
|
gptkb:Sp(2n,q)
|
yes
|
|
gptkb:Sp_{2n}(q)
|
true
|
|
gptkb:${}^2F_4(2)'
|
false
|