Hilbert C*-modules are JB*-triples

Jose M. Isidro

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.