Puede probarse que el conjunto de sistemas inerciales forma un grupo decaparamétrico que incluye las traslaciones y las rotaciones.