First put the nonabelian two-dimensional Lie algebra in a convenient form. For any basis , let . Then and . Since , some linear combination of has . In particular, are linearly independent. Taking gives a basis with
This is the affine Lie algebra of the line.
Every alternating bilinear form on this vector space is
For any alternating bilinear form , the expression
is an alternating trilinear form: it is trilinear, and setting any two arguments equal makes the terms cancel. Every alternating trilinear form on a two-dimensional vector space vanishes, since any triple is linearly dependent. Hence every satisfies the Lie algebra two-cocycle condition, and there are no others:

Articles by others on the same topic (0)

There are currently no matching articles.