|
gptkb:SO_{n+1}(C)
|
true
|
|
gptkb:general_linear_group_GL(n,C)
|
true
|
|
gptkb:Special_Linear_Group_of_3x3_Complex_Matrices
|
true
|
|
gptkb:GL(2,_ℂ)
|
true
|
|
gptkb:special_orthogonal_group_SO(n,_C)
|
true
|
|
gptkb:SL(n,C)
|
true
|
|
gptkb:PSL_2(C)
|
true
|
|
gptkb:SL(n+1)
|
true
|
|
gptkb:SL(n,_ℂ)
|
true
|
|
gptkb:special_linear_group_SL(n,_C)
|
true
|
|
gptkb:PSp(2n,q)
|
true
|
|
gptkb:GL(n,_C^n)
|
true
|
|
gptkb:special_linear_group_SL(5)
|
yes
|
|
gptkb:general_linear_group_GL(n,_C)
|
true
|
|
gptkb:symplectic_group_over_finite_field
|
true
|
|
gptkb:general_linear_group_GL(n,R)
|
true
|
|
gptkb:GL(n,C)
|
true
|
|
gptkb:general_linear_group
|
true
|
|
gptkb:general_linear_group_GL(n+1,C)
|
true
|
|
gptkb:GL_n(K)
|
true
|