- #1

- 343

- 11

thanks

- Thread starter Lapidus
- Start date

- #1

- 343

- 11

thanks

- #2

- 2,967

- 5

[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.

- #3

Landau

Science Advisor

- 905

- 0

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.a Lie algebra is defined as being non-associative and at same time it describes a Lie group locally?

For more information, see wikipedia.

- Replies
- 11

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 1K

- Last Post

- Replies
- 1

- Views
- 1K

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 2K

- Replies
- 21

- Views
- 9K

- Replies
- 2

- Views
- 5K

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 3K

- Last Post

- Replies
- 8

- Views
- 8K