gptkbp:instanceOf
|
gptkb:topology
3-manifold
|
gptkbp:class
|
classified by p and q up to homeomorphism
|
gptkbp:compact
|
true
|
gptkbp:definedIn
|
a quotient of the 3-sphere by a free action of a cyclic group
|
gptkbp:dimensions
|
3
|
gptkbp:example
|
L(1,0) is the 3-sphere
L(2,1) is real projective 3-space
|
gptkbp:field
|
gptkb:topology
geometric topology
|
gptkbp:fundamentalGroup
|
cyclic group of order p
|
gptkbp:generalizes
|
real projective 3-space
|
gptkbp:hasConnection
|
true
|
gptkbp:hasCoveringSpace
|
gptkb:3-sphere
|
gptkbp:hasInvariant
|
gptkb:fundamental_group
gptkb:Reidemeister_torsion
homology group
|
gptkbp:hasQuotientGroupAction
|
cyclic group
|
gptkbp:homology
|
same as that of S^2 × S^1 for some cases
|
https://www.w3.org/2000/01/rdf-schema#label
|
lens space
|
gptkbp:introduced
|
gptkb:Heinz_Hopf
|
gptkbp:introducedIn
|
1924
|
gptkbp:isClosed
|
true
|
gptkbp:isHausdorff
|
true
|
gptkbp:isOrientable
|
true
|
gptkbp:isPathConnected
|
true
|
gptkbp:isSeparable
|
true
|
gptkbp:notation
|
L(p,q)
|
gptkbp:relatedTo
|
gptkb:3-sphere
cyclic group
spherical space form
|
gptkbp:usedIn
|
study of 3-manifolds
|
gptkbp:bfsParent
|
gptkb:Seifert_fiber_space
|
gptkbp:bfsLayer
|
6
|