E(n)

E121355

E(n) is the Euclidean group of dimension n, consisting of all distance-preserving transformations (rotations, reflections, and translations) of n-dimensional Euclidean space.

All labels observed (1)

Label Occurrences
E(n) canonical 2

How this entity was disambiguated

Statements (49)

Predicate Object
instanceOf Lie group
isometry group
mathematical group
topological group
actsOn n-dimensional Euclidean space
alsoKnownAs Euclidean group
surface form: Euclidean group of dimension n

group of Euclidean isometries of R^n
canBeRepresentedBy (A,b) with A in O(n) and b in R^n
containsSubgroup orthogonal group O(n)
special orthogonal group SO(n)
translation group of R^n
generalizes Euclidean group
surface form: Euclidean group E(2)

Euclidean group
surface form: Euclidean group E(3)
hasActionProperty acts transitively on R^n
hasConnectedComponentOfIdentity Euclidean group
surface form: orientation-preserving Euclidean group E^+(n)
hasDimension n(n+1)/2 as a Lie group
hasElementType distance-preserving transformation of R^n
glide reflection
reflection
rotation
rotoreflection
translation
hasGroupOperation composition of transformations
hasIdentityComponent E^+(n)
hasIdentityElement identity isometry of R^n
hasInverseOperation inverse isometry
hasLieAlgebra e(n)
hasLieAlgebraDimension n(n+1)/2
hasNormalSubgroup translation group R^n
hasQuotientByNormalSubgroup O(n)
hasSemidirectProductDecomposition R^n ⋊ O(n)
hasStabilizerOfPoint O(n)
hasTopology subspace topology from GL(n+1,R) via matrix representation
isClosedSubgroupOf affine group of R^n
isHausdorff true
isHomogeneousSpace R^n ≅ E(n)/O(n)
isIsometryGroupOf R^n
isLocallyCompact true
isNonabelian true
isNoncompact true
isSecondCountable true
isSemidirectProductOf O(n)
R^n
isSubgroupOf affine group of R^n
isUsedIn classical mechanics
geometry of Euclidean spaces
rigid body kinematics
preserves Euclidean distance
Euclidean metric

How these facts were elicited

Referenced by (2)

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