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