defines an operation on the [tangent space] at 1 by differentiation. The function it defines on the [tangent space] is bi-linear, and it turns out that it gives the [tangent space] a [Lie algebra] structure. |
defines an operation on the tangent space at 1 by differentiation. The function it defines on the tangent space is bi-linear, and it turns out that it gives the tangent space a Lie algebra structure. |