Algebraic Polar Decomposition
Irving Kaplansky · SIAM Journal on Matrix Analysis and Applications · 1990
Choudhury and Horn made a conjecture concerning conditions for a complex matrix to admit a decomposition as a product of an orthogonal matrix and a symmetric matrix. This conjecture, in a stronger form, is confirmed.