I'm interested in square matrices whose columns are orthogonal, but not necessarily orthonormal, non-zero vectors. Answers to other questions on this topic have noted that such matrices do not have an agreed name and that the natural name of "orthogonal matrix" means a matrix with orthonormal columns. So I'm going to use the name "merely-orthogonal" for these matrices and "orthonormal" for those matrices where $Q^TQ=I$, avoiding "orthogonal matrix" entirely.
The answer to one question usefully notes that if $M$ is merely-orthogonal then there exists an invertible diagonal matrix $D$ and an orthonormal matrix $Q$ such that $M=QD$. The elements of $D$ are easily found as the norms of each column. This also immediately implies that $$M^TM = (QD)^TQD = D^TQ^TQD = D^T D = D^2$$ which is diagonal and has non-zeros on the diagonal. And hence, $M$ is invertible with $$M^{-1} = D^{-2}M^T$$ It seems like merely-orthogonal matrices should form a group under multiplication and that there should be an analog to the $QR$ decomposition (call it the $MR$ decomposition) where for any matrix $A$, $A = MR$ with $M$ merely-orthogonal and $R$ upper triangular. It seems to me that the $MR$ decomposition would not require the underlying field to be algebraically closed, like the $QR$ decomposition does but would be computable over the rational numbers.
So my questions are:
- Has anyone studied merely-orthogonal matrices and established these or other results?
- Am I right that merely-orthogonal matrices form a group?
- Am I right that $MR$ decompositions can be done over the rationals?
- Nobody studies them because they aren't that useful
- No they don't form a group
- The $MR$ decomposition would be very hard to construct since you can't form $M$ as the product of simpler merely-orthogonal matrices like you form $Q$ from Householder reflections or Givens rotations
– Jamie Ballingall Oct 19 '23 at 18:14