Suppose that we have a matrix $A$ of a quadratic form $Q_A$ of signature $(n,1)$ and a matrix $B$ of a quadratic form $Q_B$ which also has signature $(n,1)$. Let $O(Q_A)$ be the orthogonal group that preserves the form $Q_A$ and let $O(Q_B)$ be the orthogonal group that preserves the form $Q_B$. Then $O(Q_A)$ and $O(Q_B)$ are isomorphic since $Q_A$ and $Q_B$ have the same signature. Let $G$ be a discrete subgroup of $O(Q_A)$, and suppose that $G$ is given by generators and relations. Does anyone know how to obtain a faithful representation of $G$ into $O(Q_B)$? Equivalently, how does one find generators of $G$ in $O(Q_B)$ that satisfy the defining relations for $G$?
