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)