|
gptkb:symplectic_group_over_algebraic_closure
|
true
|
|
gptkb:SL(2,_F)
|
true
|
|
gptkb:general_linear_group_GL(n,_C)
|
true
|
|
gptkb:GL(2,_ℂ)
|
true
|
|
gptkb:GL(2n,q)
|
true
|
|
gptkb:special_linear_group_SL(n,_C)
|
true
|
|
gptkb:special_orthogonal_group_SO(n,_C)
|
true
|
|
gptkb:SO(10,R)
|
true
|
|
gptkb:general_linear_group
|
true
|
|
gptkb:special_linear_group_SL(5)
|
yes
|
|
gptkb:GL_n(K)
|
true
|
|
gptkb:symplectic_group_over_finite_field
|
true
|
|
gptkb:GL(n,q)
|
true
|
|
gptkb:SL(n,C)
|
true
|
|
gptkb:special_linear_group_SL(n,C)
|
true
|
|
gptkb:Special_Linear_Group_of_3x3_Complex_Matrices
|
true
|
|
gptkb:SO(32)
|
true
|
|
gptkb:PSL_2(C)
|
true
|
|
gptkb:general_linear_group_GL(n,C)
|
true
|
|
gptkb:SO(10,C)
|
true
|