SO(N, ℝ)

GPTKB entity

Statements (50)
Predicate Object
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