universalCover
144
triples
GPTKB property
Alternative names (7)
hasUniversalCover
•
is the universal cover of
•
isCoveringSpaceOf
•
isUniversalCoverOf
•
universal cover
•
universal covering group
•
universalCoverOf
Random triples
| Subject |
Object |
|
gptkb:projective_linear_group_PSL(2,C)
|
gptkb:SL(2,C)
|
|
gptkb:special_orthogonal_group_SO(n)
|
gptkb:Spin(n)
|
|
gptkb:SL_2(R)
|
universal covering group of SL_2(R)
|
|
gptkb:SL(2)
|
yes (over R: universal cover is infinite cyclic cover)
|
|
gptkb:Circle_group
|
real line
|
|
gptkb:Special_orthogonal_group_of_signature_(1,n)
|
gptkb:Spin(1,n)
|
|
gptkb:special_linear_group_SL(n,_R)
|
true
|
|
gptkb:RP^3
|
S^3
|
|
gptkb:SL(2,_ℝ)
|
universal covering group of SL(2, ℝ)
|
|
gptkb:SO(7,_R)
|
gptkb:Spin(7)
|
|
gptkb:RP^2
|
2-sphere
|
|
gptkb:S^1
|
itself
|
|
gptkb:primary_Kodaira_surface
|
C^2
|
|
gptkb:circle_group_S^1
|
gptkb:real_line_R
|
|
gptkb:rotation_group_SO(3)
|
gptkb:SU(2)
|
|
gptkb:torus_group
|
R^n
|
|
gptkb:SO(n,_R)
|
gptkb:Spin(n)
|
|
gptkb:SL(n,_ℂ)
|
PSL(n, ℂ)
|
|
gptkb:special_linear_group_SL(5)
|
itself (simply connected)
|
|
gptkb:Projective_linear_group_PGL(2,_C)
|
none
|