The Cherlin–Zilber conjecture for infinite simple Lie rings of finite Morley rank

Let $\mathfrak{g}$ be an infinite simple Lie ring of finite Morley rank, and suppose that its characteristic is sufficiently large. Cherlin–Zilber conjecture for Lie rings. Then $\mathfrak{g}$ is a simple Lie algebra over an algebraically closed field. The source presents this as the logged version of the Cherlin–Zilber conjecture and cites DT1; the parser supplies no resolution evidence, so its status is recorded as open.