Exercise 25, § 1
Lie Groups and Lie Algebras, I, 81
The formal linear group in n variables over the field K, denoted by (when no confusion can arise), is the formal group of dimension
whose group law is defined by ( the Kronecker index; the indeterminates of the general definition of Exercise 24 are here denoted by with 2 indices varying from 1 to n). Show that, if , the left invariant derivations such that are given by
The Lie algebra of is identified with by identifying with the element of the canonical basis (use formula (3) of Exercise 24). If K is of characteristic , and for .
Solution
No solution has been written yet.