We study the subset in a unital C*-algebra composed of elements a such that is invertible, where denotes the Moore-Penrose inverse of a. A distinguished subset of this set is also investigated. Furthermore we study sequences of elements belonging to the aforementioned subsets.
We describe all surjective isometries between open subgroups of the groups of invertible elements in unital C*-algebras. As a consequence the two C*-algebras are Jordan *-isomorphic if and only if the groups of invertible elements in those C*-algebras are isometric as metric spaces.
We give a complete description of the structure of surjective isometries between the unitary groups of unital C*-algebras. While any surjective isometry between the unitary groups of von Neumann algebras can be extended to a real-linear Jordan *-isomorphism between the relevant von Neumann algebras, this is not the case for general unital C*-algebras. We show that the unitary groups of two C*-algebras are isomorphic as metric groups if and only if the C*-algebras are isomorphic in the sense that...
If A is a normed power-associative complex algebra such that the selfadjoint part is normally ordered with respect to some order, then the Korovkin closure (see the introduction for definitions) of T ∪ {t* ∘ t| t ∈ T} contains J*(T) for any subset T of A. This can be applied to C*-algebras, minimal norm ideals on a Hilbert space, and to H*-algebras. For bounded H*-algebras and dual C*-algebras there is even equality. This answers a question posed in [1].