{"id":"arxiv/2608.15664","url":"https://arxiv.org/abs/2608.15664","tags":["math.GR"],"score":0,"title":"Lie methods for countably categorical Engel groups: the Wilson conjecture for $4$-Engel $5$-groups","domain":"math.GR","source":"arxiv","authors":["Christian d'Elbée"],"reviews":0,"subject":"math.GR","summary":"We are interested in the following conjecture of Wilson from 1981: every locally nilpotent countably categorical group is nilpotent. Following our previous work on the Lie algebra analogue of the conjecture, we use Lie methods to deduce the first nontrivial cases of the Wilson conjecture for n-Engel groups: countably categorical 3-Engel groups and 4-Engel 5-groups are nilpotent, from which we also conclude that countably categorical 4-Engel groups of odd exponent are nilpotent. This is implemented via an exceptional case of the Lazard correspondence, checked using computer algebra systems.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-16","reactions":{}}