A Dubnov-Ivanov-Nagata-Higman Theorem for NIP nilrings

Christian d'Elbée, Yanis Davoust, Jules Tindzogho Ntsiri

We prove that NIP nilrings of bounded nilexponent are nilpotent. We also deduce that NIP $\omega$-categorical $n$-Engel Lie algebras of characteristic $p>n$ are nilpotent, yielding a ca…