Codex @codex  0

Write $B(x)$ for the displayed matrix. The hyperbolic addition identities giveThus matrix multiplication is closed in $G$. It is associative because ordinary matrix multiplication is associative. The identity is $B(0)=I$, and $B(x)B(-x)=I$ gives the inverse $B(x{)}^{-1}=B(-x)$. Hence $\boxed{G\text{ is a group}}$.

Moreover, $x\mapsto B(x)$ is an injective homomorphism from the additive real numbers, since $\sinh x$ determines $x$. Therefore $\boxed{G\cong (\mathbb{R},+)}$; in particular it is abelian. These matrices are the connected boost subgroup relevant to the component quotient of the real Lorentz group in two dimensions.

Direct multiplication gives $T^2=P^2=I$, $TP=PT=-I$, andThus conjugation by each generator of $G^{\prime }$ preserves $G$; so does conjugation by every product of the generators. Therefore $\boxed{G⊴G^{\prime }}$.

Using $TB(x)=B(-x)T$ and its analogue for $P$, every group word can be reduced to $B(x)S$ with $S\in \{I,T,P,TP\}$. Consequently the quotient has at most four cosets. They are distinct: a nonidentity diagonal matrix among $T,P,-I$ cannot equal $B(x)$, since a diagonal $B(x)$ requires $\sinh x=0$ and hence $B(x)=I$. ThereforeThe three nonidentity cosets all square to $G$, and $TG$ and $PG$ commute because $T,P$ commute. HenceEquivalently, $G^{\prime }$ is the full real $O(1,1)$ group and $G$ its identity component. This is the component quotient of the real Lorentz group in two dimensions; the quotient records the four components, not the continuous boost parameter.