How Do Engel and Lie Arise Naturally?

  • A
  • Thread starter bolbteppa
  • Start date
In summary, Lie's theorem and Engel's theorem are two important theorems in the theory of Lie algebras, which were founded by Lie, Engel, Cartan, Jordan, Levi, Chevalley, and Weyl in the second 19th and early 20th century. They are motivated by the Levi decomposition and the Jordan normal form decomposition for operators, and arise naturally when trying to classify Lie algebras through the use of the adjoint operation. The idea of decomposing linear transformations into diagonalizable and nilpotent parts simultaneously is essential in these theorems. However, the history of when they first appeared is irrelevant, as the internal logic and necessity of these concepts was present before they were even defined
  • #1
bolbteppa
309
41
I am wondering how Lie's theorem and Engel's theorem fit into the theory of Lie algebras naturally, perhaps they are motivated by the Levi decomposition and the Jordan normal form decomposition for operators?

I find it jarring to prove Engel for nilpotent Lie algebras for no real reason, or even the concept of nilpotency (Serre mentions ##T^n(v) = 0## being equivalent to ##T^{n-1}(v) = (I + \varepsilon T)T^{n-1}(v)## as another way of looking at it, that's about it!) but nilpotent operators arise naturally in the JNF, so perhaps this motivates Engel's theorem? It would be great to run into the necessity of needing these theorems without realizing it, as can be done for the Levi decomposition!

Overall, my best attempt so far is:

In a general real/complex Lie algebra ##L##, if you write a JNF decomposition $$x = n + s,$$ with ##s## diagonalizable, ##n## nilpotent, what happens to ##x## when you do a Levi decomposition $$L = N \rtimes S,$$ ##N## solvable, ##S## semi-simple? On the one hand it kind of looks like a Levi decomposition is motivated by the JNF decomposition, but Erdmann's Lie Algebras book seems to only apply the JNF to the semi-simple part ##S## of ##J##, so it seems like they are different things?

If the JNF applies only to the semi-simple part, then am I right in saying, given ##L##, you first do a Levi decomposition $$L = N \rtimes S,$$ apply Lie's theorem on solvable Lie algebras to ##N## to decompose some of ##x## into upper triangular form ##u## and the rest, ##x'##, then just needs to be dealt with, $$x = u + x',$$ so for ##x'## we can decompose it using the JNF into $$x' = n + s,$$ so that $$x = u + n + s,$$ and then on the nilpotent part ##n## we apply *Engel's theorem* to bring ##n## into strictly-upper-triangular form?
 
Physics news on Phys.org
  • #2
bolbteppa said:
I am wondering how Lie's theorem and Engel's theorem fit into the theory of Lie algebras naturally, perhaps they are motivated by the Levi decomposition and the Jordan normal form decomposition for operators?
You should reset your priorities. Lie, Engel (and Cartan) where basically the founding fathers of Lie Theory. Not the other way around.
The two theorems arise naturally, if one tries to classify Lie Algebras. The natural operation is the adjoint operation, i.e. the left multiplication in the Lie algebra. So when one thinks about criteria for Lie algebras, the radical and nilradical, along with its center automatically show up.
If one considers, e.g. the resulting Levi-Malcev decomposition, one sees why.

Engel's thesis in 1883 (the year Levi was born) has been: About the theory of tangent transformations.
 
  • #3
fresh_42 said:
You should reset your priorities.

What?

Seems like your answer is tantamount to 'because it works'.
 
  • #4
bolbteppa said:
What?

Seems like your answer is tantamount to 'because it works'.
Yep, that has been unlucky, sorry. I recognized it a little late. I hope the rest of my answer is clearer.
 
  • #5
fresh_42 said:
Yep, that has been unlucky, sorry. I recognized it a little late. I hope the rest of my answer is clearer.

No problem, but if you check p. 208 of Hawkins Emergence of the Theory of Lie Groups you'll see Cartan was basically using the Levi decompositon and Engel's theorem before either of them, so the history of when X appeared is irrelevant, the internal logic motivating the necessity of such concepts before even defining them is the issue.
 
  • #6
The decomposition into diagonalizable and nilpotent linear transformations is basic linear algebra. The idea to do it simultaneously is the essential point here, together with the representation ##X \mapsto ad X##. Linear transformations, which were first called linear substitutions originate in publications by Lagrange and Gauß, i.e. a century earlier than Engels and Levi. E.g. the first time a solution of a system of linear equations was presented was in 1748 by MacLaurin.
However, this doesn't change the fact that Lie, Engels and Cartan founded the theory of Lie algebras, as the title of Engel's thesis shows.

Edit: In my textbooks, this decomposition of linear transformation is called Jordan-Chevalley decomposition. And Lie, Engel, Cartan, Jordan, Levi and Chevalley all lived in the second 19th and early 20th century. Unfortunately my sources don't tell who has proven what in which year and one may assume they all knew the publications of the others, if available. The foundations in terms of linear transformation, however, have already been laid.

Edit: H. Weyl has to be added to the list as well.
 
Last edited:

FAQ: How Do Engel and Lie Arise Naturally?

1. How do Engel and Lie arise naturally?

Engel and Lie arise naturally through the process of evolution. These two concepts are based on the principle of natural selection, where organisms with certain traits are more likely to survive and reproduce, passing on those traits to future generations. In this way, Engel and Lie are the result of millions of years of natural selection.

2. What is the significance of Engel and Lie in science?

Engel and Lie are significant in science because they help explain the diversity and complexity of life on Earth. They also provide a framework for understanding how organisms adapt to their environments and how new species arise over time.

3. Can Engel and Lie be observed in nature?

No, Engel and Lie cannot be directly observed in nature. They are concepts that are used to describe the evolutionary process, rather than physical entities that can be seen. However, the effects of Engel and Lie can be observed in the diversity of species and the adaptations they possess.

4. Are Engel and Lie the only factors that contribute to evolution?

No, Engel and Lie are not the only factors that contribute to evolution. Other factors such as genetic drift, gene flow, and mutation also play a role in shaping the genetic makeup of populations and driving evolutionary change.

5. How do Engel and Lie differ from one another?

Engel and Lie are two separate but related concepts. Engel refers to the process of organisms adapting to their environment through natural selection, while Lie refers to the process of new species arising through the accumulation of genetic changes over time. Both concepts are essential for understanding the complexity of life on Earth.

Back
Top