Donde el último grupo es precisamente el grupo de Lorentz.