Abstract
A variation of the lemma of Jacobson–Morozov on the imbedding of a nonzero nilpotent element of the real symplectic algebra into the split simple three‐dimensional Lie algebra is proved. The proof is algorithmic and relies on our earlier work on the theory of normal forms for the real symplectic algebra.