|
gptkb:Gal(ℚ̄/ℚ)
|
true
|
|
gptkb:Weil_group
|
true
|
|
gptkb:additive_group_of_real_numbers
|
true
|
|
gptkb:GL(n,_C^n)
|
true
|
|
gptkb:general_linear_group_GL(n,_C)
|
true
|
|
gptkb:GL_n(K)
|
true if K is topological field
|
|
gptkb:SL(2,_ℝ)
|
yes
|
|
gptkb:homeomorphism_group_of_the_Riemann_sphere
|
true
|
|
gptkb:SO(3)
|
true
|
|
gptkb:Gal(\\overline{\\mathbb{Q}}/\\mathbb{Q})
|
true
|
|
gptkb:General_Linear_Group_of_2x2_real_matrices
|
true
|
|
gptkb:R/Z
|
true
|
|
gptkb:special_linear_group_SL(n,_R)
|
true
|
|
gptkb:SE(3)_group
|
true
|
|
gptkb:general_linear_group
|
true
|
|
gptkb:general_linear_group_GL(n,C)
|
true
|
|
gptkb:GL(n,_K)
|
true if K is topological field
|
|
gptkb:GL(n,_F)
|
yes (if F is topological field)
|
|
gptkb:PSL(2,_R)
|
true
|
|
gptkb:general_linear_group_GL(n+1,C)
|
true
|