Understanding the Relationship Between Lie Algebras and Lie Groups

  • Context: Graduate 
  • Thread starter Thread starter Lapidus
  • Start date Start date
  • Tags Tags
    Algebra Lie algebra
Click For Summary
SUMMARY

A Lie algebra is defined as a non-associative algebraic structure that describes a Lie group locally. The operation defined by the Lie bracket, denoted as [a, b], is fundamentally different from the associative group multiplication. Specifically, for a Lie group G, the corresponding Lie algebra represents the tangent space at the identity element of G, which consists of left invariant vector fields. This distinction clarifies the relationship between Lie algebras and Lie groups.

PREREQUISITES
  • Understanding of Lie algebras and their properties
  • Familiarity with Lie groups and their structure
  • Knowledge of vector fields and tangent spaces
  • Basic grasp of non-associative algebraic operations
NEXT STEPS
  • Study the properties of non-associative algebras
  • Explore the concept of tangent spaces in differential geometry
  • Learn about left invariant vector fields in the context of Lie groups
  • Investigate the applications of Lie algebras in physics and mathematics
USEFUL FOR

Mathematicians, physicists, and students of advanced algebra who are interested in the interplay between algebraic structures and geometric representations in the context of Lie groups and Lie algebras.

Lapidus
Messages
344
Reaction score
12
How come that a Lie algebra is defined as being non-associative and at same time it describes a Lie group locally? I wonder because groups are, again by definition, asscioative.

thanks
 
Physics news on Phys.org
Let

[tex] a \otimes b \equiv [a, b] = a b - b a[/tex]

Then:

[tex] a \otimes (b \otimes c) = [a,[b,c]] = [a, b c] - [a, c b] = a b c - b c a - a c b + c b a[/tex]

But:

[tex] (a \otimes b) \otimes c = [[a, b], c] = [a b, c] - [b a, c] = a b c - c a b - b a c + c b a[/tex]

These two expressions are not the same. Thus, the operation [itex]\otimes[/itex] is not associative. But, the Lie algebra is precisely defined through such an operation.
 
Lapidus said:
a Lie algebra is defined as being non-associative and at same time it describes a Lie group locally?
The way it "describes a Lie group locally" is somewhat involved. In any case, the product operation of the Lie group and the bracket operation of the corresponding Lie algebra are by no means the same. Specifically, for a Lie group G, the corresponding Lie algebra is the tangent space of G at the identity, which 'is' the space of left invariant vector fields. The Lie bracket is the usual commutator of two vector fields. This is an entirely different operation than the group multiplication of G.

For more information, see wikipedia.
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
3K
Replies
9
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 14 ·
Replies
14
Views
4K