arxiv: 2605.09451 · v1 · submitted 2026-05-10 · 🧮 math.RA

Recognition: 2 theorem links

· Lean Theorem

Commutators of finite multiplicative order

Arijit Mukherjee, Arindam Sutradhar, Gobinda Sau

Pith reviewed 2026-05-12 04:40 UTC · model grok-4.3

classification 🧮 math.RA

keywords commutatorsfinite orderidempotentsmatrix ringsring isomorphismsunital ringsroots of unity

0 comments

The pith

If a commutator [a,b] has finite order n in a unital ring and the idempotents it generates satisfy a suitable condition, then the ring is isomorphic to an n by n matrix ring over some unital ring.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper investigates when commutators of finite multiplicative order appear in rings and what that reveals about the ring's structure. It begins by characterizing solutions to [A,B]^k = Id_n for matrices over the complex numbers, using a result on sums of roots of unity. The study then moves to matrix rings over any unital ring, providing a sufficient condition on the unit element and explicit constructions for when such commutators exist. In general unital rings, the equation [a,b]^n =1 produces a set of idempotents, and the paper shows that if these idempotents meet a certain condition, the ring must be a full matrix ring M_n(S) for some unital ring S. This work ties together commutator equations with ways to recognize when a ring is a matrix ring.

Core claim

The central discovery is that in a general unital ring R, if there exist a and b with [a,b]^n =1, and if the idempotents generated in this context satisfy a suitable condition, then R is isomorphic to M_n(S) for some unital ring S. This is established after first solving the corresponding problem for complex matrices via Lam and Leung's theorem and then giving constructions in general matrix rings M_n(S).

What carries the argument

The suitable condition imposed on the idempotents generated by the commutator [a,b] of order n; these idempotents arise from the powers of the commutator and their properties determine whether the ring decomposes as a matrix ring.

If this is right

Solutions to [A,B]^k = Id_n exist over complex matrices precisely for those pairs (k,n) allowed by the classical criterion on sums of roots of unity.
Explicit constructions of commutators satisfying the equation exist in M_n(S) whenever the unit of S meets the given sufficient condition.
The presence of [a,b]^n=1 together with the suitable condition on the associated idempotents forces R to be isomorphic to a full matrix ring M_n(S).
The results connect the study of finite-order commutator equations directly to structural criteria that recognize when a ring is a matrix ring.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same idempotent condition might be checkable in concrete families such as group rings or algebras of operators to decide whether they are matrix rings.
Similar commutator equations with a central element on the right-hand side could be analyzed by the same idempotent construction.
The framework might extend to non-unital rings by adjoining a unit and checking how the condition behaves after adjunction.

Load-bearing premise

The suitable condition on the idempotents generated by the commutator [a,b] must hold; without it, the isomorphism to a matrix ring may not follow even if the commutator has order n.

What would settle it

A counterexample ring R with elements a and b such that [a,b]^n=1, where the generated idempotents fail to satisfy the suitable condition, and R is not isomorphic to any M_n(S) for a unital ring S.

read the original abstract

This article studies the equation $[A,B]^k = {\rm Id}_n$ for matrices over $\mathbb{C}$, 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 $1_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 the ring's structure. We prove that under a suitable condition on these idempotents, $[a,b]^n = 1$ implies $R \cong M_n(S)$ for some unital ring $S$. These results together establish a framework connecting commutator equations and classical criteria for recognizing full matrix rings.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper extends Lam-Leung on finite-order commutators from complex matrices to arbitrary unital rings via explicit constructions in M_n(S) and a conditional theorem that [a,b]^n=1 plus idempotent conditions implies R ≅ M_n(S).

read the letter

The key point is that the work moves the Lam-Leung characterization of pairs (k,n) with solutions to [A,B]^k = Id_n over C into two new directions: explicit constructions of such pairs inside M_n(S) for any unital ring S, and a structural result in a general unital ring R that [a,b]^n = 1 plus a suitable condition on the idempotents from the Peirce decomposition forces R to be isomorphic to M_n(S) for some S. The constructions and the idempotent criterion are the genuinely new pieces; the complex-matrix case is just the classical input. The logic avoids circularity by treating the Lam-Leung result as a black box for the base case and then doing direct algebra with matrix units for the rest. The stress-test note confirms the claim is stated conditionally with no hidden assumptions or derivation gaps visible from the outline. The main soft spot is that the suitable condition on the idempotents (orthogonality and summing to 1) is not automatic from [a,b]^n=1 alone, so the isomorphism holds only when that extra property is verified. If the condition turns out to be hard to check in practice or fails in many natural examples, the theorem's reach is narrower than the abstract suggests, though the paper is honest about the conditional framing. This is solid, specialized ring-theory work for people who care about criteria for recognizing matrix rings or about commutator equations in noncommutative rings. It has enough new explicit content and formal grounding to merit referee time rather than a desk reject.

Referee Report

2 major / 2 minor

Summary. The paper studies commutators of finite multiplicative order. Over ℂ it characterizes pairs (k,n) for which [A,B]^k = I_n has solutions in M_n(ℂ) by invoking Lam-Leung on sums of roots of unity. It then treats the same equation in M_n(S) for arbitrary unital S, giving a sufficient condition on 1_S together with explicit constructions. In a general unital ring R the relation [a,b]^n = 1 is shown to produce a family of idempotents via the Peirce decomposition associated to the powers of the commutator; under a stated suitable condition on these idempotents the ring is proved isomorphic to M_n(S) for some unital S.

Significance. The results supply a concrete bridge between finite-order commutator equations and classical criteria for recognizing full matrix rings. The explicit constructions in M_n(S) and the conditional structural theorem in general rings are potentially useful for further work on commutator identities and ring recognition problems. The reliance on the classical Lam-Leung theorem is a strength.

major comments (2)

[structural theorem on general unital rings] The structural theorem in the general-ring section: the 'suitable condition' on the idempotents generated by [a,b]^n=1 is load-bearing for the claim R ≅ M_n(S). The manuscript must state the condition explicitly (e.g., mutual orthogonality, sum equal to 1, and any further relations needed to produce a full set of matrix units) and verify that the condition is satisfied in the matrix-ring case already treated.
[generalization from M_n(S) to arbitrary R] The transition from the matrix-ring constructions to the general-ring theorem: it is not clear whether the sufficient condition on 1_S established for M_n(S) is automatically inherited by the idempotents arising in an arbitrary ring satisfying [a,b]^n=1, or whether an additional hypothesis is required.

minor comments (2)

Notation for the idempotents (e.g., e_{ij} or e_i) should be introduced once and used consistently throughout the Peirce-decomposition argument.
The abstract states that the idempotents 'govern the ring's structure'; a brief sentence in the introduction summarizing the precise properties used would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable suggestions, which help strengthen the clarity of the structural results. We address each major comment below and will revise the manuscript to incorporate the requested clarifications.

read point-by-point responses

Referee: [structural theorem on general unital rings] The structural theorem in the general-ring section: the 'suitable condition' on the idempotents generated by [a,b]^n=1 is load-bearing for the claim R ≅ M_n(S). The manuscript must state the condition explicitly (e.g., mutual orthogonality, sum equal to 1, and any further relations needed to produce a full set of matrix units) and verify that the condition is satisfied in the matrix-ring case already treated.

Authors: We agree that the suitable condition on the idempotents must be stated explicitly rather than left implicit. In the revised manuscript we will define it precisely as the collection of idempotents e_0, …, e_{n-1} being mutually orthogonal, summing to 1_R, and together with the off-diagonal elements constructed from powers of the commutator forming a full set of matrix units. We will also insert a short verification paragraph confirming that the constructions already given in the M_n(S) section satisfy this condition whenever the stated hypothesis on 1_S holds. revision: yes
Referee: [generalization from M_n(S) to arbitrary R] The transition from the matrix-ring constructions to the general-ring theorem: it is not clear whether the sufficient condition on 1_S established for M_n(S) is automatically inherited by the idempotents arising in an arbitrary ring satisfying [a,b]^n=1, or whether an additional hypothesis is required.

Authors: The theorem in the general-ring section is explicitly conditional on the idempotents satisfying the (now to be stated) suitable condition; this is the same set of properties that the M_n(S) constructions are shown to satisfy under the hypothesis on 1_S. The transition therefore does not require an extra hypothesis beyond the condition itself. We will revise the exposition to make this equivalence explicit, adding a sentence that the M_n(S) case supplies concrete instances in which the idempotent condition is verified to hold, while the general theorem applies precisely when the condition is met in an arbitrary ring. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's derivation begins with the matrix equation [A,B]^k = Id_n over C, invoking an external classical result of Lam and Leung on sums of roots of unity to characterize solution pairs (k,n). It then extends to M_n(S) over arbitrary unital rings S by establishing a sufficient condition on 1_S and giving explicit constructions of solutions. For general unital rings R, the equation [a,b]^n=1 produces idempotents via the standard Peirce decomposition; the central theorem states that if these idempotents satisfy an explicitly defined suitable condition (orthogonality and sum-to-1), then R ≅ M_n(S). No step equates the isomorphism conclusion to its inputs by construction, renames a known result, or relies on a load-bearing self-citation whose content is unverified. The implication remains conditional on independently stated idempotent properties, and the matrix-over-C case rests on an external benchmark rather than internal fitting or self-reference.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper invokes one external classical theorem and introduces idempotents extracted from the commutator equation; no free parameters or new postulated entities are described in the abstract.

axioms (1)

standard math Lam and Leung theorem on sums of roots of unity
Used to characterize the pairs (k,n) for which solutions exist over C.

pith-pipeline@v0.9.0 · 5465 in / 1446 out tokens · 46764 ms · 2026-05-12T04:40:31.142222+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
We prove that under a suitable condition on these idempotents, [a,b]^n = 1 implies R ≅ M_n(S) for some unital ring S.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
the existence of elements a, b∈R with [a,b]^n=1 yields a collection of idempotents ... under a suitable condition on these idempotents

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

[1]

A. A. Albert and Benjamin Muckenhoupt, On matrices of trace zero, Michigan Math. J. 4 (1) (1957), 1-3. (https://doi.org/10.1307/mmj/1028990168)

work page doi:10.1307/mmj/1028990168 1957
[2]

T. Y. Lam, A First Course in Noncommutative Rings, Second Edition, Graduate Texts in Mathematics, 131, Springer-Verlag, New York, (2001), xx+385 pp. (https://doi.org/10.1007/978-1-4419-8616-0)

work page doi:10.1007/978-1-4419-8616-0 2001
[3]

Khurana and T.Y

D. Khurana and T.Y. Lam, Commutators and anti-commutators of idempotents in rings, AMS Contemporary Mathematics, 715 (2018), 205-224. (https://arxiv.org/abs/1808.02308)

work page arXiv 2018
[4]

T. Y. Lam and K. H. Leung, On Vanishing Sums of Roots of Unity, J. Algebra 224(1) (2000), 91-109. (https://doi.org/10.1006/jabr.1999.8089)

work page doi:10.1006/jabr.1999.8089 2000
[5]

Nayak, A conceptual approach towards understanding matrix commutators, Math

S. Nayak, A conceptual approach towards understanding matrix commutators, Math. Student 91 Nos. 1-2 (2022), 219-223. (https://www.indianmathsoc.org/ms/mathstudent-part-1-2022.pdf)

work page 2022
[6]

Shoda, Einige S\"atze \"uber Matrizen, Jpn

K. Shoda, Einige S\"atze \"uber Matrizen, Jpn. J. Math., 13(3) (1937), 361-365. (https://doi.org/10.4099/jjm1924.13.0_361)

work page doi:10.4099/jjm1924.13.0_361 1937