Polar Decomposition for Non-Adjointable Maps

We give conditions when not necessarily adjointable operators between Hilbert modules allow for a polar decomposition involving not necessarily adjointable partial isometries. While the latter have been introduced and discussed by Shalit and Skeide [SS23,Ske25], here we are led, as a basic new ingredient, to the notion of not necessarily adjointable operators $a$ that admit a modulus $|a|$, so-called modular operators.