Commit 2024-05-25 06:25 e33ed907

chore(Algebra/Lie): rename IsSemisimple to HasTrivialRadical (#13131) This frees up the name IsSemisimple so that it can be used for the notion that matches the categorical concept. In characteristic 0, this is equivalent to having a trivial radical. In characteristic p > 0, there are counterexamples. With this change, we depart from the terminology used by Seligman, but we feel that the change is justified because we need a name for the categorical version of semisimplicity, and the naming convention proposed in this PR is the "least surprising" one. This PR also changes the definition of LieModule.IsIrreducible to exclude the trivial module.