Lorentz boost

Two observers travel at fixed speed relative to each other. They synchronize origins at x=0 and t=0, and their spacial axes are perfectly aligned. This is a subset of the Lorentz group. TODO confirm it does not form a subgroup however.