special orthogonal group SO(n)

E524430

The special orthogonal group SO(n) is the group of all n×n real rotation matrices with determinant 1, representing orientation-preserving isometries of n-dimensional Euclidean space that fix the origin.

All labels observed (6)

Label Occurrences
SO(2) 5
special orthogonal group SO(n) canonical 5
SO(n) 3

How this entity was disambiguated

Statements (49)

Predicate Object
instanceOf mathematical group
matrix group
real algebraic group
rotation group in 3 dimensions
topological group
trivial group
actsOn ℝⁿ by linear isometries
consistsOf n×n real matrices
definedOver real numbers
dimension 3
6
n(n−1)/2 as real manifold
fullName special orthogonal group
fundamentalGroup ℤ for n = 2
ℤ/2ℤ
ℤ/2ℤ for n ≥ 3
groupOperation matrix multiplication
hasProperty determinant 1
orthogonal matrices
hasTwoComponentsIn O(n) with O(n) = SO(n) ⊔ (reflection coset)
identityElement n×n identity matrix
inverseOperation matrix transpose
isAbelian true
true for n ≤ 2
isClosedSubgroupOf GL(n,ℝ)
isCompact true
isConnected true for n ≥ 2
isDoubleCoveredBy SU(2)
isIsomorphicTo U(1)
circle group S¹
projective special unitary group PSU(2)
{1}
isKernelOf determinant map from O(n) to {±1}
isLocallyIsomorphicTo SU(2) × SU(2)
isMaximalCompactSubgroupOf SL(n,ℝ)
isNonAbelian true for n ≥ 3
isSimple false for n = 2,3,4
true for n ≥ 5
isSubsetOf GL(n,ℝ)
O(n)
isZariskiClosed true in Mₙ(ℝ)
LieAlgebra so(n)
LieAlgebraDescription skew-symmetric n×n real matrices
preserves orientation of ℝⁿ
standard Euclidean inner product on ℝⁿ
rank ⌊n/2⌋
represents orientation-preserving isometries of ℝⁿ fixing the origin
rotations of n-dimensional Euclidean space
symbol SO(n)

How these facts were elicited

Referenced by (17)

Full triples — surface form annotated when it differs from this entity's canonical label.

E(n) containsSubgroup special orthogonal group SO(n)
AdS isometry group SO(2,d) hasFullName special orthogonal group SO(2,d)
linked to: special orthogonal group SO(n)
Lie group hasExample special orthogonal group SO(n)
SO(3) maximalTorus SO(2)
subject linked to: rotation group SO(3)
linked to: special orthogonal group SO(n)
semisimple Lie group hasExample special orthogonal group SO(n)
subject linked to: semisimple Lie groups
orthogonal group O(n) hasSubgroup special orthogonal group SO(n)
orthogonal group O(n) hasConnectedComponentOfIdentity SO(n)
linked to: special orthogonal group SO(n)
affine group of R^n containsAsSubgroup special orthogonal group SO(n)
SO(n) fullName special orthogonal group
subject linked to: special orthogonal group SO(n)
linked to: special orthogonal group SO(n)
U(1) isIsomorphicTo SO(2)
linked to: special orthogonal group SO(n)
GL(n,ℝ) containsSubgroup SO(n)
subject linked to: general linear group GL(n,R)
linked to: special orthogonal group SO(n)
SL(n,ℝ) hasMaximalCompactSubgroup SO(n)
subject linked to: special linear group SL(n,R)
linked to: special orthogonal group SO(n)
SL(2,ℝ) hasMaximalCompactSubgroup SO(2)
subject linked to: special linear group SL(n,R)
linked to: special orthogonal group SO(n)
SO(2,d-1) isNonCompactVersionOf SO(d+1)
linked to: special orthogonal group SO(n)
PSL(2,ℝ) hasMaximalCompactSubgroup SO(2)
linked to: special orthogonal group SO(n)
SL(2,R) maximalCompactSubgroup SO(2)
linked to: special orthogonal group SO(n)
Grassmann manifolds isHomogeneousSpaceOf special orthogonal group
linked to: special orthogonal group SO(n)