Regular Fréchet-Lie groups of invertible elements in some inverse limits of unital involutive Banach algebras

We consider a wide class of unital involutive topological algebras provided with aC*-norm and which are inverse limits of sequences of unital involutive Banach algebras; these algebra sare taking a prominent position in noncommutative differential geometry, where they are often called unital smooth algebras. In this paper we prove that the group of invertible elements of such a unital solution smooth algebra and the subgroup of its unitary elements are regular analytic Fréchet-Lie groups of Campbell-Baker-Hausdorff type and fulfill a nice infinite-dimensional version of Lie's second fundamental theorem.