Bài tập 10, § 4

Cho $G$ là một nhóm Lie trên $K$. Chứng minh rằng tồn tại một lân cận $V$ của $e$ có tính chất sau: đối với mọi dãy $(x_n)$ gồm các phần tử của $V$, nếu xác định đệ quy $y_1 = x_1, y_n = (x_n, y_{n-1})$, thì dãy $(y_n)$ tiến tới $e$.