« 单纯百科 Simplopedia
Wiki.
“Lorentz 群”
[Lorentz群]
SimplicialCat
$\mathrm{SO}(1,3)$