En un espacio euclídeo de dimensión "n" el grupo de isometría formula_5 de cualquier conjunto es un subgrupo del grupo producto formado a partir del grupo ortogonal y el grupo de traslaciones: