Definition:Euclidean Group

Definition
Let $\struct {M, g}$ be the $n$-dimensional Euclidean space.

Let $\map E n$ be the set of all isometries of $M$.

Then $\map E n$ is called the Euclidean group (of order $n$).