Hilbert C*-modules are JB*-triples

We show that every Hilbert C*-module E is a JB*-triple in a canonical way and establish an explicit expression for the holomorphic automorphisms of the unit ball of E.

J. M. Isidro < jmisidro@zmat.usc.es >