Discrete mathematics groups and subgroups
It is proved that if A and B belong to H, then A and B are finite-order elements. Let A and B be M and N respectively, then A N = unitary and B M = unitary, so (AB- 1) (Mn) is unitary, and AB- 1 is also an element of finite order.