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 of dimension n ⓘ
linked to: Euclidean group

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 E(2) ⓘ
linked to: Euclidean group

Euclidean group E(3) ⓘ
linked to: Euclidean group
hasActionProperty acts transitively on R^n ⓘ
hasConnectedComponentOfIdentity orientation-preserving Euclidean group E^+(n) ⓘ
linked to: Euclidean group
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.