arxiv: 2605.04464 · v1 · submitted 2026-05-06 · 🧮 math.RA

Recognition: unknown

On the structural behavior of images of polynomials

Tran Nam Son, Tsiu-Kwen Lee

Pith reviewed 2026-05-08 16:42 UTC · model grok-4.3

classification 🧮 math.RA

keywords polynomial imagessimple algebrasnoncentral polynomialscommutatorsassociative algebrasdecomposable polynomialsmultiplicative commutators

0 comments

The pith

The subring generated by the image of a noncentral polynomial in a simple algebra coincides with the whole algebra up to minor exceptions.

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

The paper examines images of noncommutative polynomials and the additive structures they generate in associative algebras. It shows that finite sums of products of these values on a nonzero ideal contain a nonzero ideal, except in minor cases. This property implies that the subring generated by the image of a noncentral polynomial equals the full simple algebra. The work also introduces decomposable polynomials whose images fill the algebra and proves that polynomial commutators generate every noncommutative infinite simple algebra.

Core claim

We show that finite sums of such products on a nonzero ideal must contain a nonzero ideal, with only minor exceptions. Consequently, for a simple algebra, the subring generated by the image of a noncentral polynomial coincides with the whole algebra, up to a small exceptional case. We further study representations of elements as sums of products of polynomial values, and examine products of additive commutators for matrices over division rings. To simplify multilinear polynomials, we introduce decomposable polynomials and show that, in many cases, their images equal the whole algebra. Finally, we consider polynomial commutators and prove that every noncommutative infinite simple algebra is a

What carries the argument

The image of a noncentral polynomial together with the subring generated by finite sums and products of its values

Load-bearing premise

The algebra is associative and the polynomial is noncentral or noncommutative, excluding certain finite or low-dimensional cases.

What would settle it

An explicit infinite noncommutative simple associative algebra together with a noncentral polynomial whose generated subring is a proper subalgebra would disprove the generation claim.

read the original abstract

The study of images of noncommutative polynomials on algebras has attracted considerable attention. We investigate polynomial images and the additive structures they generate in associative algebras, focusing on sums and products of values. Motivated by results on additive commutators, we show that finite sums of such products on a nonzero ideal must contains a nonzero ideal, with only minor exceptions. Consequently, for a simple algebra, the subring generated by the image of a noncentral polynomial coincides with the whole algebra, up to a small exceptional case. We further study representations of elements as sums of products of polynomial values, and examine products of additive commutators for matrices over division rings. To simplify multilinear polynomials, we introduce decomposable polynomials and show that, in many cases, their images equal the whole algebra. Finally, we consider polynomial commutators and prove that every noncommutative infinite simple algebra is generated by such elements, together with results on multiplicative commutators, including a complete description for real quaternions.

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 commutator results to show that polynomial images generate simple algebras as subrings (with exceptions) and that infinite ones are generated by polynomial commutators, but the step forward looks incremental.

read the letter

Colleague, the main things to know are that the authors prove finite sums of products of noncentral polynomial values on a nonzero ideal contain a nonzero ideal except in minor cases, so the subring generated by the image equals the simple algebra, and that every noncommutative infinite simple algebra is generated by polynomial commutators. They also give a full description of multiplicative commutators for real quaternions and introduce decomposable polynomials to handle multilinear cases more easily. These are concrete statements that go a bit beyond restating prior additive commutator work. The paper does a solid job carving out the finite and low-dimensional exceptions explicitly and separating the infinite case with its own argument. The quaternion result is a useful concrete check. The decomposable polynomial device is a practical tool for simplifying some proofs. The soft spots are modest. The overall advance stays inside the existing literature on commutators and polynomial images rather than opening a new direction, so the novelty is incremental. Without the full proofs it is hard to judge how cleanly the exception lists are handled or how much overlap exists with earlier generation theorems. The abstract states the claims clearly and the stress-test found no internal contradictions or circular steps, but the central ideal-containment argument still needs referee-level checking for completeness. This work is for people already working in noncommutative ring theory on commutator problems or classification of simple algebras. A reader focused on those topics could cite the generation statements or the quaternion case. It is worth sending to peer review; the claims are specific, the assumptions are stated, and the exceptions are flagged, so referees can verify the details and assess the literature fit without it being a desk-reject candidate.

Referee Report

2 major / 2 minor

Summary. The manuscript investigates images of noncommutative polynomials in associative algebras. It proves that finite sums of products of values of a noncentral polynomial on a nonzero ideal contain a nonzero ideal, except for minor cases. This implies that, for simple algebras, the subring generated by the image coincides with the algebra up to small exceptions. The work introduces decomposable polynomials to simplify multilinear cases (showing their images often equal the algebra), examines products of additive commutators for matrices over division rings, and proves that every noncommutative infinite simple algebra is generated by polynomial commutators, together with results on multiplicative commutators including a complete description for real quaternions.

Significance. If the central claims hold, the results extend prior work on additive commutators and polynomial images by providing structural generation theorems for simple algebras. The explicit carving out of finite/low-dimensional exceptions, the introduction of decomposable polynomials as a simplifying tool, and the separate treatment of the infinite case via commutators are strengths. The concrete result for real quaternions adds a verifiable contribution. These findings could aid further research on ring generation and commutator structures.

major comments (2)

[Core theorem on ideal containment] Main result on sums of products (stated in abstract and developed in the core theorems): the assertion that finite sums of products on a nonzero ideal contain a nonzero ideal (with only minor exceptions) is load-bearing for the consequence that the generated subring equals the simple algebra. The exceptions must be listed explicitly with verification that they are indeed minor and do not undermine the applications to infinite simple algebras.
[Decomposable polynomials] Section introducing decomposable polynomials: the claim that their images equal the whole algebra 'in many cases' supports the simplification of multilinear polynomials and the broader structural results. The precise conditions (e.g., on the polynomial or algebra) under which equality holds need to be stated sharply to confirm the reduction steps are valid without additional assumptions.

minor comments (2)

[Abstract] Abstract: phrases such as 'minor exceptions' and 'small exceptional case' are used without a brief parenthetical indication of their nature; adding one sentence would improve immediate readability.
[Throughout] Notation and terminology: ensure uniform distinction between 'noncentral' and 'noncommutative' polynomials when both appear, and verify that all references to prior commutator results are cited with page or theorem numbers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We appreciate the positive assessment of the significance of the results and address the major comments point by point below, with plans to incorporate clarifications in the revised version.

read point-by-point responses

Referee: [Core theorem on ideal containment] Main result on sums of products (stated in abstract and developed in the core theorems): the assertion that finite sums of products on a nonzero ideal contain a nonzero ideal (with only minor exceptions) is load-bearing for the consequence that the generated subring equals the simple algebra. The exceptions must be listed explicitly with verification that they are indeed minor and do not undermine the applications to infinite simple algebras.

Authors: We agree that explicit listing and verification of the exceptions strengthens the presentation. The exceptions (primarily low-dimensional or finite algebras, and certain central or degenerate polynomial cases) are already identified in the proofs of the core theorems, but we will add an explicit enumerated list in a new remark following the main ideal-containment theorem, together with a short paragraph confirming that the infinite simple algebra applications rely instead on the separate commutator-generation results, which are unaffected. revision: yes
Referee: [Decomposable polynomials] Section introducing decomposable polynomials: the claim that their images equal the whole algebra 'in many cases' supports the simplification of multilinear polynomials and the broader structural results. The precise conditions (e.g., on the polynomial or algebra) under which equality holds need to be stated sharply to confirm the reduction steps are valid without additional assumptions.

Authors: We accept that the phrasing 'in many cases' lacks precision. In the revised manuscript we will replace it with a sharp statement of the conditions: equality holds when the algebra is simple and infinite (or satisfies the standard polynomial identity hypotheses used elsewhere) and the decomposable polynomial is noncentral and multilinear. This will be stated as a proposition immediately after the definition, making the subsequent reduction for multilinear polynomials fully rigorous without hidden assumptions. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper derives its central claims on polynomial images and generated subrings directly from the axioms of associative algebras, explicit constructions of sums and products of values on nonzero ideals, and separate case arguments for simple algebras (including infinite noncommutative cases via polynomial commutators). Main theorems state assumptions and carve out finite/low-dimensional exceptions explicitly rather than defining results in terms of themselves. No load-bearing step reduces by construction to a fitted parameter, self-citation chain, or renamed input; prior commutator results are invoked as external support without uniqueness theorems imported from the authors' own prior work. The derivation remains self-contained against standard ring-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper rests on standard assumptions of associative algebra theory and introduces one new definitional entity.

axioms (2)

domain assumption The underlying algebra is associative
Invoked throughout the study of polynomial images and commutators in associative algebras.
domain assumption The base ring or field allows the stated matrix and division-ring constructions
Used when discussing matrices over division rings and real quaternions.

invented entities (1)

decomposable polynomials no independent evidence
purpose: To simplify multilinear polynomials so that their images equal the whole algebra in many cases
New class introduced to facilitate the structural results on images.

pith-pipeline@v0.9.0 · 5463 in / 1370 out tokens · 77802 ms · 2026-05-08T16:42:07.849805+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

60 extracted references · 1 canonical work pages

[1]

Abdi and A

M. Abdi and A. Leroy, Graphs of commutatively closed sets,Linear Multilinear Algebra70(21) (2022), 6965–6977

2022
[2]

S. A. Amitsur and L. H. Rowen, Elements of reduced trace 0,Israel J. Math.87 (1994), 161–179

1994
[3]

K. I. Beidar, W. S. Martindale III and A. V. Mikhalev,Rings with generalized iden- tities, Monographs and Textbooks in Pure and Applied Mathematics,196. Marcel Dekker, Inc., New York, 1996

1996
[4]

Bergelson and D

V. Bergelson and D. B. Shapiro, Multiplicative subgroups of finite index in a ring, Proc. Amer. Math. Soc.116(1992), no. 4, 885–896

1992
[5]

M. H. Bien, T. H. Dung, N. T. T. Ha and T. N. Son, Decompositions of matrices over division algebras into products of commutators,Linear Algebra Appl.646(2022), 119–131

2022
[6]

M. H. Bien, T. H. Dung and N. T. T. Ha, A certain decomposition of infinite invertible matrices over division algebras,Linear Multilinear Algebra.71(2023), 1948–1956

2023
[7]

M. H. Bien, T. H. Dung, N. T. T. Ha and T. N. Son, Involution widths of skew linear groups generated by involutions,Linear Algebra Appl.679(2023), 305–326

2023
[8]

Bolotnikov,On a Sylvester Equation over a Division Ring, In: Cerejeiras, P., Reissig, M., Sabadini, I., Toft, J

V. Bolotnikov,On a Sylvester Equation over a Division Ring, In: Cerejeiras, P., Reissig, M., Sabadini, I., Toft, J. (eds) Current Trends in Analysis, its Applications and Computation, Trends in Mathematics, Birkh¨ auser, Cham, 2022

2022
[9]

J. D. Botha, Products of matrices with prescribed nullities and traces,Linear Algebra Appl.252(1997), 173–198

1997
[10]

Breˇ sar, Commutators and images of noncommutative polynomials,Adv

M. Breˇ sar, Commutators and images of noncommutative polynomials,Adv. Math. 374(2020), 107346, 21 pp. 32

2020
[11]

Breˇ sar and I

M. Breˇ sar and I. Klep, Values of noncommutative polynomials, Lie skew-ideals and tracial Nullstellens¨ atze.Math. Res. Lett.16(4) (2009), 605–626

2009
[12]

Breˇ sar and P.ˇSemrl, The Waring problem for matrix algebras,Israel J

M. Breˇ sar and P.ˇSemrl, The Waring problem for matrix algebras,Israel J. Math. 253(2023), no. 1, 381–405

2023
[13]

Breˇ sar and P.ˇSemrl, The Waring problem for matrix algebras, II,Bull

M. Breˇ sar and P.ˇSemrl, The Waring problem for matrix algebras, II,Bull. Lond. Math. Soc.55(2023), no. 4, 1880–1889

2023
[14]

Breˇ sar, E

M. Breˇ sar, E. Gardella and H. Thiel, Products of commutators in matrix rings, Canad. Math. Bull.68(2025), no. 2, 512–529

2025
[15]

Breˇ sar and J

M. Breˇ sar and J. Volˇ ciˇ c, Matrix evaluations of noncommutative rational functions and Waring problems,Selecta Math. (N.S.)31(2025), no. 5, Paper No. 97, 16 pp

2025
[16]

C˘ alug˘ areanu, T.-K

G. C˘ alug˘ areanu, T.-K. Lee and J. Matczuk, TheX-semiprimeness of rings,J. Algebra Appl.25(2026), no. 6, (pages 24)

2026
[17]

Chang and T.-K

C.-M. Chang and T.-K. Lee, Additive subgroups generated by polynomial values on right ideals,Comm. Algebra29(2001), no. 7, 2977–2984

2001
[18]

Chuang, The additive subgroup generated by a polynomial,Israel J

C.-L. Chuang, The additive subgroup generated by a polynomial,Israel J. Math.59 (1987), no. 1, 98–106

1987
[19]

Chuang, GPIs having coefficients in Utumi quotient rings,Proc

C.-L. Chuang, GPIs having coefficients in Utumi quotient rings,Proc. Amer. Math. Soc.103(1988), no. 3, 723–728

1988
[20]

Chuang and P.- H

C.-L. Chuang and P.- H. Lee, Idempotents in simple rings,J. Algebra56(1979), no. 2, 510–515

1979
[21]

P. M. Cohn, The similarity reduction of matrices over a skew field,Math. Z.132 (1973), 151–163

1973
[22]

P. M. Cohn,Skew Fields - Theory of General Division Rings, Cambridge University Press, 1995

1995
[23]

P. V. Danchev, T. H. Dung and T. N. Son, Products of traceless and semi-traceless matrices over division rings and their applications,Internat. J. Algebra Comput.34 (2024), no. 3, 331–349

2024
[24]

P. V. Danchev, T. H. Dung and T. N. Son, Images of multilinear polynomials on gen- eralized quaternion algebras,J. Algebra Appl.24(2025), no. 9, Paper No. 2550209, 18 pp

2025
[25]

D. ˇZ. Djokovi´ c, Inner derivations of division rings and canonical Jordan form of triangular operators,Proc. Amer. Math. Soc.94(1985), no. 3, 383–386

1985
[26]

T. H. Dung, B. X. Hai and T. N. Son, Reversibility in matrix rings and group algebras,Period. Math. Hungar.90(2025), no. 1, 203–216

2025
[27]

T. H. Dung, T. N. Son and P. D. Vinh, A nonlinear analogue of additive commuta- tors, arXiv preprint (2025), arXiv:2505.08268

work page arXiv 2025
[28]

E. A. Egorchenkova and N. L. Gordeev, Products of commutators on a general linear group over a division algebra,J. Math. Sci.243(2019), 561–572. 33

2019
[29]

M. P. Eroˇ glu, On the subring generated by commutators,J. Algebra Appl.21(2022), no. 3, Paper No. 2250059, 3 pp

2022
[30]

P. S. Fagundes, T. C. De Mello and P. H. Da Silva Dos Santos, On the Mesyan conjecture,Turkish J. Math.46(2022), no. 5, 1794–1808

2022
[31]

Gardella and H

E. Gardella and H. Thiel, Rings andC*-algebras generated by commutators,J. Algebra662(2025), 214–241

2025
[32]

Gnutov and N

F. Gnutov and N. Gordeev, Recursive sequences of surjective word maps for the algebraic groups PGL 2 and SL2,Arch. Math. (Basel)114(2020), no. 6, 609–618

2020
[33]

N. T. T. Ha, P. H. Nam and T. N. Son, Products of commutators of involutions in skew linear groups,Acta Math. Vietnam.49(2024), 253–263

2024
[34]

Harris, Commutators in division rings.Proc

B. Harris, Commutators in division rings.Proc. Amer. Math. Soc.9(1958), no. 4, 628–630

1958
[35]

I. N. Herstein,Topics in ring theory, University of Chicago Press, Chicago, Ill.- London, 1969. xi+132 pp

1969
[36]

Jacobson,The theory of rings, Amer

N. Jacobson,The theory of rings, Amer. Math. Soc. Math. Surv.2, Amer. Math. Soc., New York, 1943

1943
[37]

Jacobson,Structure of rings, ColI., Pub., Vol

N. Jacobson,Structure of rings, ColI., Pub., Vol. 37, Amer. Math. Soc., Providence, R.I., (1956)

1956
[38]

Jang and W.-F

H.-Y. Jang and W.-F. Ke, Commutator products in skew Laurent series division rings,Comm. Algebra54(2026), no. 2, 560–566

2026
[39]

Kanel-Belov, S

A. Kanel-Belov, S. Malev and L. H. Rowen, The images of non-commutative poly- nomials evaluated on 2×2 matrices,Proc. Amer. Math. Soc.140(2012), no. 2, 465–478

2012
[40]

Kanel-Belov, S

A. Kanel-Belov, S. Malev, L. Rowen and R. Yavich, Evaluations of noncommutative polynomials on algebras: methods and problems, and the L’vov-Kaplansky conjec- ture,SIGMA Symmetry Integrability Geom. Methods Appl.16(2020), Paper No. 071, 61 pp

2020
[41]

Kaplansky, Rings with a polynomial identity,Bull

I. Kaplansky, Rings with a polynomial identity,Bull. Amer. Math. Soc.54(1948), no. 6, 575–580

1948
[42]

Kaufman and L

M. Kaufman and L. Pasley, On commutators of matrices over unital rings,Involve 7(2014), 769–772

2014
[43]

T. J. Laffey and T. T. West, Trace-zero matrices and polynomial commutators,Irish Math. Soc. Bull.31(1993), 11–13

1993
[44]

T. Y. Lam,A first course in noncommutative rings, in: GTM 131, 2nd ed., Springer, 1991

1991
[45]

Lee, Power reduction property for generalized identities of one-sided ideals, Algebra Colloq

T-K. Lee, Power reduction property for generalized identities of one-sided ideals, Algebra Colloq. 3(1996), no. 1, 19–24

1996
[46]

Lee, Additive subgroups generated by noncommutative polynomials,Monatsh

T-K. Lee, Additive subgroups generated by noncommutative polynomials,Monatsh. Math.199(2022), no. 1, 149–165. 34

2022
[47]

Lee and J.-H

T.-K. Lee and J.-H. Lin, Values of polynomials on centrally closed prime algebras, J. Algebra Appl.22(2023), no. 11, Paper No. 2350246, 16 pp

2023
[48]

Lee and J.-H

T.-K. Lee and J.-H. Lin, Commutators and products of Lie ideals of prime rings, Expo. Math.43(2025), no. 1, 125658

2025
[49]

A. I. Lichtman, Verbal subgroups and subalgebras in skew fields,Algebr. Represent. Theory8(2005), no. 2, 157–163

2005
[50]

Mahdavi-Hezavehi, Commutators in division rings revisited,Bull

M. Mahdavi-Hezavehi, Commutators in division rings revisited,Bull. Iranian Math. Soc.26(2000), no. 2, 7–88

2000
[51]

Makar-Limanov, An example of a skew field without a trace.Comm

L. Makar-Limanov, An example of a skew field without a trace.Comm. Algebra17 (1989), no. 9, 2303–2307

1989
[52]

Malev, The images of non-commutative polynomials evaluated on 2×2 matrices over an arbitrary field,J

S. Malev, The images of non-commutative polynomials evaluated on 2×2 matrices over an arbitrary field,J. Algebra Appl.13(2014), no. 6, 1450004, 12 pp

2014
[53]

Malev, The images of noncommutative polynomials evaluated on the quaternion algebra,J

S. Malev, The images of noncommutative polynomials evaluated on the quaternion algebra,J. Algebra Appl.20(2021), no. 5, Paper No. 2150074, 8 pp

2021
[54]

Mesyan, Polynomials of small degree evaluated on matrices,Linear Multilinear Algebra61(2013), no

Z. Mesyan, Polynomials of small degree evaluated on matrices,Linear Multilinear Algebra61(2013), no. 11, 1487–1495

2013
[55]

Paran and T

E. Paran and T. N. Son, Images of polynomial maps and the Ax-Grothendieck theorem over algebraically closed division rings,J. Pure Appl. Algebra230(2026), no. 2, Paper No. 108186

2026
[56]

L. H. Rowen, Some results on the center of a ring with polynomial identity,Bull. Amer. Math. Soc.79(1973), no. 1, 219–223

1973
[57]

T. N. Son and T. H. Dung, Products of commutators in certain rings,J. Algebra Appl.24(2025), no. 8, Paper No. 2550188, 16 pp

2025
[58]

Vitas, Images of multilinear polynomials in the algebra of finitary matrices contain trace zero matrices,Linear Algebra Appl.626(2021), 221–233

D. Vitas, Images of multilinear polynomials in the algebra of finitary matrices contain trace zero matrices,Linear Algebra Appl.626(2021), 221–233

2021
[59]

Wang, On the commutator group of a simple algebra,Amer

S. Wang, On the commutator group of a simple algebra,Amer. J. Math.72(1950), no. 2, 323–334

1950
[60]

P. Y. Wu, The operator factorization problems,Linear Algebra Appl.117(1989), 35–63. Tsiu-Kwen Lee Department of Mathematics, National Taiwan University, Taipei, Taiwan Email: tklee@math.ntu.edu.tw, ORCID: 0000-0002-1262-1491 Tran Nam Son Department of Mathematics, Dong Nai University, 9 Le Quy Don Str., Tam Hiep Ward, Dong Nai City, Vietnam Email: trannam...

1989