Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@Alejandro Thank you very much for your very interesting comment. I think about its details and also I try to remedy the post. regarding the surjectivity we may add extra assumption "compact connected Lie group"
@BenjaminSteinberg What would be an apprpriate analogues of Caley theorem? On the other jand assume that $H$ is a closed subgroup of $G$. Assume that $a,b\in H$ are equivalent as elements of H are they equivalent as elements of $G$? this question is obvious for the algebraic conjugacy but what about topological congugacy?
this situation remind me some papers of F.Ghahrqmany about extension of cerain maps between spheres of Banach space to linear maps between Banach space. I vaguely remember th e details. I read them about 10 or 15 years ago
@Callum yes you are right that one side of the Frobenius theorem is obvious. But I think that the question of this post is not trivial. in fqct it would be a good ideq I change the title to "extening the Frobenious Lie algebra of a Foliation". I think that this title is more clear. the aim is to extend the Lie algebra of foliation to a bigger Lie algebra so is the space if F-uniform vector fields a Lie algebra?
@BenjaminSteinberg Thank you for your interesting comment. Since "order" plays a crucial role so your comment is a motivation to consider a concept of order for elements of a topological group. The order is not a number but is an equivalent class.