Lorentz group (source code)

= Lorentz group
{c}
{title2=$O(1,3)$}
{wiki}

The Lorentz group consists of real matrices preserving the <Minkowski metric>: $\Lambda^T\eta\Lambda=\eta$.