MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I found the following exercise at page 85 of the Strade-Farnsteiner's book "Modular Lie algebras and their representation": Let $D$ be a finite-dimensional division ring over a field $F$ of characteristic $p>0$. Consider $D$ as a restricted Lie algebra via the Lie product $[x,y]=xy-yx$ and $p$-mapping $x \mapsto x^p$. Show that every element $x \in D$ is semisimple. Is this claim actually true in general?

share|cite|improve this question
up vote 3 down vote accepted

The claim is true under the assumption that the ground field $F$ is perfect. This follows from Exercise 2 in the same page which is, in turn, an immediate consequence of Theorem 3.7 in the same section of the book of Strade and Farnsteiner. On the other hand, if $F$ is not perfect then the previous result does not hold in general, as an inseparable extension field of $F$ already shows.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.