Prefer a chat interface with context about you and your work?
Polar decompositions of quaternion matrices in indefinite inner product spaces
Polar decompositions of quaternion matrices with respect to a given indefinite inner product are studied. Necessary and sufficient conditions for the existence of an $H$-polar decomposition are found. In the process an equivalent to Witt's theorem on extending $H$-isometries to $H$-unitary matrices is given for quaternion matrices.