El grupo de Poincaré formula_1 es una extensión del grupo de Lorentz formula_2, más concretamente es el producto semidirecto con el grupo de traslaciones del espacio de Minkowski: