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:rotation_group_of_the_sphere
|
gptkb:SU(2)
|
|
gptkb:Poincaré_homology_sphere
|
gptkb:3-sphere
|
|
gptkb:compact_Riemann_surfaces
|
gptkb:complex_plane
|
|
gptkb:Sp(4,_C)
|
itself
|
|
gptkb:PSL(2,_R)
|
universal covering group of PSL(2, R)
|
|
gptkb:circle_group_S^1
|
gptkb:real_line_R
|
|
gptkb:Hadamard_manifold
|
itself
|
|
gptkb:SO(2n)
|
gptkb:Spin(2n)
|
|
gptkb:R^n_/_Z^n
|
R^n
|
|
gptkb:proper_orthochronous_Lorentz_group
|
gptkb:SL(2,C)
|
|
gptkb:torus_T^n
|
R^n
|
|
gptkb:SL(2)
|
yes (over R: universal cover is infinite cyclic cover)
|
|
gptkb:2-sphere_(S^2)
|
gptkb:real_projective_plane
|
|
gptkb:Lorentz_group_SO(1,_n-1)
|
Spin(1, n-1)
|
|
gptkb:special_orthogonal_group_SO(4)
|
Spin(4)
|
|
gptkb:Projective_linear_group_PGL(2,_C)
|
none
|
|
gptkb:SL(n,_R)
|
universal covering group of SL(n, R)
|
|
gptkb:the_circle_group
|
gptkb:real_line_R
|
|
gptkb:SO(7,_R)
|
gptkb:Spin(7)
|
|
gptkb:circle_(S^1)
|
real line (R)
|