Zulip Chat Archive
Stream: triage
Topic: issue !4#10068: A semisimple Lie algebra has non-degenera...
Random Issue Bot (Mar 05 2024 at 14:06):
Today I chose issue 10068 for discussion!
A semisimple Lie algebra has non-degenerate Killing form
Created by @Oliver Nash (@ocfnash) on 2024-01-28
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Sep 17 2024 at 14:09):
Today I chose issue 10068 for discussion!
A semisimple Lie algebra has non-degenerate Killing form
Created by @Oliver Nash (@ocfnash) on 2024-01-28
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Johan Commelin (Sep 17 2024 at 15:01):
Very relevant! But progress is slow.
Random Issue Bot (Dec 31 2024 at 14:12):
Today I chose issue 10068 for discussion!
A semisimple Lie algebra has non-degenerate Killing form
Created by @Oliver Nash (@ocfnash) on 2024-01-28
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Johan Commelin (Jan 03 2025 at 16:03):
I massaged
feat(Algebra/Lie): add Lie's theorem #13480
into a shape that is ready for review.
Johan Commelin (Jan 03 2025 at 16:03):
This is the main hurdle towards Cartan's criterion and then we can close this issue.
Johan Commelin (Jan 03 2025 at 18:35):
branch#jmc-lie-cartan-criterion contains partial progress towards #10068
Last updated: May 02 2025 at 03:31 UTC