{"id":"arxiv/2605.09451","url":"https://arxiv.org/abs/2605.09451","tags":["math.RA"],"score":0,"title":"Commutators of finite multiplicative order","domain":"math.RA","source":"arxiv","authors":["Arijit Mukherjee","Gobinda Sau","Arindam Sutradhar"],"reviews":0,"subject":"math.RA","summary":"This article studies the equation $[A,B]^k = \\Id_n$ for matrices over $\\CC$,characterizing the pairs $(k,n)$ for which solutions exist via a classical result of Lam and Leung on sums of roots of unity. The problem is next generalized to matrix rings $M_n(S)$ over arbitrary unital rings $S$, where a sufficient condition on the unity of $S$ is established and explicit constructions of solutions are provided. Beyond matrix rings, the structural implications of the equation $[a,b]^n = 1$ in a general unital ring $R$ are investigated, yielding a collection of idempotents whose properties govern…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-10","reactions":{}}