University of Isfahan International Journal of Group Theory 2251-7650 4 3 2015 09 01 The local nilpotence theorem for 4-Engel groups revisited 21 75 5551 10.22108/ijgt.2015.5551 EN Gunnar Traustason University of Bath Journal Article 2014 01 24 ‎The proof of the local nilpotence theorem for $4$-Engel groups was‎ ‎completed by G‎. ‎Havas and M‎. ‎Vaughan-Lee in 2005‎. ‎The complete proof on the other hand is spread over several articles and the aim of this paper is to give a‎ ‎complete coherent linear version‎. ‎In the process we are also‎ ‎able to make a few simplifications and in particular we are able to merge two of‎ ‎the key steps into one‎. https://ijgt.ui.ac.ir/article_5551_c975d089a43eec9ab751688d5f9df967.pdf