ローレンツ変換
であり、ミンコフスキー内積を保ち、順時固有ローレンツ変換 を与える。さらに、 は同じローレンツ変換 を与えることから、これは から への2対1の準同型写像を与える。その核は であり、群の同型対応