gptkbp:instanceOf
|
gptkb:mathematical_concept
gptkb:topology
gptkb:Lie_group
flat manifold
parallelizable manifold
commutative Lie group
|
gptkbp:compact
|
true
|
gptkbp:definedIn
|
Cartesian product of n circles
|
gptkbp:dimensions
|
n
|
gptkbp:fundamentalGroup
|
Z^n
|
gptkbp:hasConnection
|
true
|
gptkbp:hasFlatMetric
|
true
|
gptkbp:hasSpecialCase
|
1-torus is the circle S^1
2-torus is the torus T^2
|
gptkbp:homologyGroup
|
H_k(T^n) = (Z^{n \\choose k})
|
https://www.w3.org/2000/01/rdf-schema#label
|
n-torus T^n
|
gptkbp:isAbelianLieGroup
|
true
|
gptkbp:isCompactConnectedLieGroup
|
true
|
gptkbp:isCompactLieGroup
|
true
|
gptkbp:isComplexManifold
|
true
|
gptkbp:isFiberBundleOver
|
T^{n-1}
|
gptkbp:isFlatManifold
|
true
|
gptkbp:isGroupManifold
|
true
|
gptkbp:isHomogeneousSpace
|
true
|
gptkbp:isHomotopyEquivalentTo
|
product of n circles
|
gptkbp:isKählerManifold
|
true
|
gptkbp:isMaximalTorusOf
|
gptkb:Sp(n)
gptkb:SU(n)
gptkb:SO(2n)
itself
U(n)
other compact Lie groups
|
gptkbp:isNonAbelian
|
true
|
gptkbp:isOrientable
|
true
|
gptkbp:isParallelizable
|
true
|
gptkbp:isParallelizableManifold
|
true
|
gptkbp:isPrincipalBundle
|
true
|
gptkbp:isProductOfCircles
|
true
|
gptkbp:isQuotientOf
|
gptkb:R^n_/_Z^n
R^n by Z^n
|
gptkbp:isRealManifold
|
true
|
gptkbp:isSmoothManifold
|
true
|
gptkbp:isSymplecticManifold
|
true
|
gptkbp:notation
|
(S^1)^n
T^n
|
gptkbp:universalCover
|
R^n
itself
|
gptkbp:bfsParent
|
gptkb:torus_group
|
gptkbp:bfsLayer
|
5
|