gptkbp:instanceOf
|
gptkb:Lie_group
|
gptkbp:actsOn
|
gptkb:Euclidean_space
|
gptkbp:application
|
gptkb:geometry
computer vision
physics
robotics
rotations in N-dimensional Euclidean space
|
gptkbp:centralTo
|
{I, -I} for even N
{I} for odd N
|
gptkbp:compact
|
true
|
gptkbp:defines
|
Group of N×N real orthogonal matrices with determinant 1
|
gptkbp:determinant
|
1
|
gptkbp:dimensions
|
N(N-1)/2
|
gptkbp:field
|
real numbers
|
gptkbp:fullName
|
Special orthogonal group of degree N over the real numbers
|
gptkbp:fundamentalGroup
|
Z for N=2
Z_2 for N ≥ 3
|
gptkbp:hasConnection
|
true
|
gptkbp:hasSubgroup
|
O(N, ℝ)
|
https://www.w3.org/2000/01/rdf-schema#label
|
SO(N, ℝ)
|
gptkbp:identityElement
|
identity matrix
|
gptkbp:isClosedSubgroupOf
|
GL(N, ℝ)
|
gptkbp:isConnectedComponentOf
|
O(N, ℝ)
|
gptkbp:isHomogeneousSpace
|
true
|
gptkbp:isMatrixGroup
|
true
|
gptkbp:isNonAbelian
|
true for N ≥ 3
|
gptkbp:isPathConnected
|
true
|
gptkbp:isReductive
|
true
|
gptkbp:isSemisimple
|
true for N ≥ 3
|
gptkbp:isSimple
|
false for N=4
true for N ≥ 3 except N=4
|
gptkbp:Lie_algebra
|
so(N, ℝ)
|
gptkbp:matrixCondition
|
A^T A = I
det(A) = 1
|
gptkbp:maximalCompactSubgroupOf
|
GL(N, ℝ)
|
gptkbp:notation
|
gptkb:SO(N)
SO(N, R)
|
gptkbp:realForm
|
SO(N, ℂ)
|
gptkbp:relatedGroup
|
gptkb:group_of_people
gptkb:rotation_group
gptkb:SU(N)
gptkb:U(N)
orthogonal group
O(N, ℝ)
SL(N, ℝ)
Spin(N)
special group
|
gptkbp:universalCover
|
Spin(N)
|
gptkbp:bfsParent
|
gptkb:SO(N)
|
gptkbp:bfsLayer
|
6
|