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.