Call a Lie algebra pre-supersoluble if it is abelian or its quotient by its centre has a one-dimensional ideal. Every nonzero such algebra has nonzero abelianization over every field. To prove this, choose outside the centre with an ideal and write with central. The Jacobi identity gives . If , the derived algebra lies in its proper kernel. If , Jacobi gives , so the derived algebra lies in the proper centralizer of an element of a Lie algebra of . The abelian case is immediate. This condition does not imply solvability: direct sum the affine Lie algebra of the line has zero centre and a one-dimensional ideal in the affine factor, but is not solvable.
Articles by others on the same topic
There are currently no matching articles.