Class Field Theory
《Class Field Theory》 · 第 11 页 · Chapter 1，Section 1.2.5
We similarly define the Poincaré group $\mathrm{P}(n;1)$ (also known as the inhomogeneous Lorentz group) to be the group of all transformations of $\mathbb R^{n+1}$ of the form $T = T_x A$ with $x \in \mathbb R^{n+1}$ and $A \in \mathrm{O}(n;1)$.