Proper orthochronous Lorentz group (source code)

= Proper orthochronous Lorentz group
{c}
{wiki=Lorentz_group#The_restricted_Lorentz_group}

The proper orthochronous Lorentz group is the identity component of the <Lorentz group>. Its elements have determinant one and preserve the future light cone.