Free groups of semigroups in semi-simple Lie groups. (Q1769835)

Summary: Let \(G\) be a Lie group and \(S\subset G\) a Lie semigroup. \textit{K.-H. Neeb} [Glasg. Math. J. 34, No. 3, 379--394 (1992; Zbl 0765.22001)] studied the free group on a generating Lie semigroup \((S,G)\) using the image \(i_*(\pi_1(S))\), where \(i\colon S\to G\) is the inclusion mapping. Now, take \(G\) a noncompact semi-simple Lie group, \(G=KAN\) its Iwasawa decomposition and \(S\) a subsemigroup which contains a large Lie semigroup. With these assumptions, \textit{L. A. B. San Martin} and \textit{A. J. Santana} [Monatsh. Math. 136, No. 2, 151--173 (2002; Zbl 1012.22029)] showed that the homotopy groups \(\pi_n(S)\) and \(\pi_n(K(S))\) are isometric, where \(K(S)\subset K\) is a compact and connected subgroup. Here, using the technique developed in the above papers we extend the study of free group \(G(S)\) and prove that the results of Neeb can be applied for semigroups containing a ray semigroup.