{"id":"arxiv/2607.21171","url":"https://arxiv.org/abs/2607.21171","tags":["math.GR","math.AC","math.RA"],"score":0,"title":"Surjectivity of Engel Maps over trace zero matrices in $\\mathrm{M}_2(\\mathcal{O})$","domain":"math.GR","source":"arxiv","authors":["Ayon Roy","Anupam Singh"],"reviews":0,"subject":"math.GR","summary":"The surjectivity of various noncommutative polynomials has been studied extensively on Lie algebras over fields of different characteristics. In this article, we study the surjectivity of Engel Maps over trace zero matrices in $\\mathrm{M}_2(\\mathcal{O})$, where $\\mathcal{O}$ is a local principal ideal ring complete with respect to its maximal ideal and has a residue field $k$ of characteristic $\\neq 2$. We show that the image of $(m+1)$-th Engel map induced by the Engel polynomial $e_{m+1}(x, y) = [\\cdots[[x, \\underbrace{y], y], \\dots, y]}_{m+1 \\text{ times}}$ over…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-23","reactions":{}}