Co-actions, Isometries, and isomorphism classes of Hilbert modules
{{output}}
We show that a A-linear map of Hilbert A-modules is induced by a unitary Hilbert module operator if and only if it extends to an ordinary unitary on appropriately defined enveloping Hilbert spaces. Applications to the theory of multiplicative unitaries let us ... ...
