{"id":"86c12f6b-e88e-427c-ad87-38d8026fdf5d","arxiv_id":"2505.13303","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"For several classes of noncommutative algebras, every element splits as a central element plus a sum of commutators, and a rigidity theorem holds for twisted group algebras of locally finite groups.","lead":"This paper studies when an algebra can be written as its center plus the additive group generated by commutators, and proves such decompositions for matrix rings over division rings, quaternion algebras, and semisimple algebras. It also shows that a twisted group algebra of a locally finite group over a characteristic-zero field must be commutative if all commutators are central.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.1(i) and the characteristic-zero corollaries rest entirely on [14, Lemma 5.8], which is not stated or proved here; until that lemma is verified to have exactly the quoted hypotheses, the central decomposition is not independently established.","rationale":"The reader's weakest assumption identifies exactly the same load-bearing point: the characteristic-zero algebraic case of the central theorem is imported from an external lemma that is not reproduced or checked. I agree with that assessment. The central decomposition is plausible and the positive-characteristic proof is internally coherent, but the paper does not give enough information to verify the decisive characteristic-zero branch. The internal problem in Corollary 2.3, where the proof invokes the later, omitted Theorem 2.7, reinforces this concern, although it is reparable by citing Theorem 2.1 directly. The alleged false generation theorem, Theorem 2.8, is a real issue for the paper's further claims but is not the load-bearing point for Theorem 2.1 and does not change the conditional verdict. Since the reader's verdict is already CONDITIONAL and this stress-test confirms the corresponding concern rather than overturning it, the recommended verdict remains unchanged.","tokens_in":9316,"tokens_out":27335,"duration_ms":286062,"concrete_test":"Obtain [14, Lemma 5.8] and check the exact statement and proof. Specifically, verify that it assumes only that D is algebraic over its center and of characteristic zero, and that it concludes M_n(D)=Z(M_n(D))+[M_n(D),M_n(D)] for every positive integer n, with no additional finiteness or separability hypothesis. Then insert the verified statement into the proof of Theorem 2.1(i) and rederive Corollaries 2.2 through 2.5. As a second check, rewrite Corollary 2.3 using Theorem 2.1(i) directly instead of the omitted Theorem 2.7; if the reorganized proof goes through, the omitted theorem is not load-bearing for the main decomposition.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing point is Theorem 2.1(i): for an algebraic division ring D of characteristic zero, the claim is M_n(D)=Z(M_n(D))+[M_n(D),M_n(D)]. Its proof is one sentence citing [14, Lemma 5.8], a lemma from the corresponding author's previous work. No statement, hypotheses, or proof is reproduced, so the reader cannot check whether it applies to arbitrary algebraic division rings, whether it really gives the matrix-ring decomposition for every n, or whether it has hidden finiteness or separability assumptions. If that lemma is misquoted or is weaker than stated, Theorem 2.1(i) collapses, and with it Corollaries 2.2, 2.3, 2.4, and the twisted-group-algebra application in Corollary 2.5. The route to Corollary 2.3 is additionally tense: it invokes Theorem 2.7, whose proof is omitted, even though the needed case can be reached directly from Theorem 2.1; this should be reorganized. The positive-characteristic branch (ii) is less suspect because [11] is cited and a trace argument is supplied, but the paper still does not state the precise form of [11, Lemma 2]. Finally, the paper itself concedes that it has not verified counterexamples in the non-algebraic case, so the exact boundary of Theorem 2.1 remains open.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the additive decomposition A = Z(A) + [A,A] for unital associative algebras, where [A,A] is the additive subgroup generated by commutators. The main results are: Theorem 2.1 gives this decomposition for matrix rings M_n(D) when D is an algebraic division ring of characteristic zero, or when D is finite-dimensional over its center F in positive characteristic with p not dividing either n or √dim_F D. Corollaries are drawn for generalized quaternion algebras, finite-dimensional semisimple algebras, finite-dimensional C*-algebras, and twisted group algebras of locally finite groups. A second group of results concerns linear spans of images of noncommutative polynomials: Theorem 2.7 claims a decomposition M_n(D) = Z(M_n(D)) + span f(M_n(D)) under the hypotheses of Theorem 2.1, and Theorems 2.8 and 2.13 claim that, under an algebraic-degree condition, the image of a noncommutative polynomial generates a division algebra. The paper relies heavily on external results, including a key lemma from the corresponding author's previous work.","tokens_in":9673,"tokens_out":5975,"duration_ms":63858,"significance":"If Theorem 2.1(i) is correct, the paper gives a clean unified statement that matrix rings over algebraic division rings in characteristic zero decompose as center plus additive commutators, and the positive-characteristic condition involving √dim_F D is a useful quantitative refinement. The applications to quaternion algebras and to twisted group algebras are appealing, and the final theorem on generation by images of noncommutative polynomials is a natural analogue of recent results. The paper is also honest in flagging the open boundary of the non-algebraic case. However, the central characteristic-zero statement is not proved in this paper; it is quoted from a lemma in [14] that is neither stated nor reproduced. Several later results depend on an omitted proof or on missing centrality hypotheses, so the significance in its present form is conditional on repairs that could be made in a revision.","major_comments":[{"comment":"The proof of Theorem 2.1(i) is a single sentence: 'Part (i) follows directly from [14, Lemma 5.8].' That lemma is not stated in the paper, and its hypotheses are not reproduced. Since every characteristic-zero application in the paper — Corollaries 2.2, 2.3, 2.4, and the use of Corollary 2.3 in Corollary 2.5 — rests on this quotation, the keystone of the paper is not verifiable from the manuscript alone. The revision should either state [14, Lemma 5.8] in full and explain why it applies to arbitrary algebraic division rings of characteristic zero for every n, or prove Theorem 2.1(i) directly.","section":"§2, Theorem 2.1(i)"},{"comment":"The proof of Corollary 2.3 invokes Theorem 2.7 to obtain the decomposition for each matrix algebra M_{n_i}(D_i). However, Theorem 2.7 is stated later and its proof is omitted ('we omit the details'). This is both an ordering problem and a logical gap: an unproved result cannot support a corollary. The same conclusion for Corollary 2.3 is already available from Theorem 2.1(i), since each D_i is finite-dimensional over its center and hence algebraic in characteristic zero; the proof should be reorganized accordingly.","section":"§2, Corollary 2.3 proof"},{"comment":"Theorem 2.7 is a main stated theorem, yet its proof is entirely omitted. The sentence preceding it says 'With Lemmas 2.6 and 2.1 in place, we are now fully equipped' and the proof is deferred with 'we omit the details.' A stated theorem of this level, which is also used in Corollary 2.3, needs a proof. Additionally, the reference should be to Theorem 2.1, not 'Lemma 2.1.'","section":"§2, Theorem 2.7"},{"comment":"Theorems 2.8 and 2.13 are false as stated because they omit the condition that F is the center of D. Lemma 2.10 relies on Amitsur's theorem for central simple algebras: the equality I(R)=I(M_n(F)) requires F=Z(D). If F is a proper subfield of Z(D), counterexamples exist; for instance, if D has degree 2 over its center C and [C:F]=4, then dim_F D=16 so n=4, but the standard identity S_4 vanishes on D and on M_2(C) while it does not vanish on M_4(F), contradicting I(D)=I(M_4(F)). Lemma 2.12 similarly requires F=Z(D): a maximal subfield K containing a proper subfield F can have dim_F K strictly larger than n=√dim_F D. Theorems 2.8 and 2.13 must include the hypothesis that D is central over F, and Lemmas 2.10 and 2.12 must be stated with that hypothesis.","section":"§2, Theorems 2.8 and 2.13; Lemmas 2.10 and 2.12"}],"minor_comments":[{"comment":"The phrase 'over a fieldFof of characteristic zero' contains a duplicated word 'of'; it should read 'over a field F of characteristic zero.'","section":"§1, paragraph 1"},{"comment":"In the final paragraph of the proof of Theorem 2.8, the text says 'both f(a_1,...,a_m) and its conjugate belong to p(D)'; the symbol 'p(D)' should be 'f(D).'","section":"§2, Theorem 2.8 proof"},{"comment":"The notation for twisted group algebras is inconsistent: the paper uses 'F τG' and 'F τH' without spacing or a clear multiplication symbol, which makes formulas such as 'FτH=Z(FτH)+[FτH,FτH]' harder to read. A consistent notation such as F^τ G would improve clarity.","section":"§2, Corollary 2.5 proof"},{"comment":"The case 'If F is finite, then D is also finite-dimensional over a finite field, so the result is immediate' is not, by itself, evident: a nonzero polynomial can vanish identically on a finite field (e.g., x^q - x), so the nonzero-polynomial hypothesis alone does not guarantee that f(D) generates D. The argument for the finite-field case should be expanded or the hypothesis should be adjusted.","section":"§2, Theorem 2.13 proof"}],"recommendation":"major_revision","confidential_remarks":"The paper's central characteristic-zero theorem is quoted from [14, Lemma 5.8], a paper co-authored by the corresponding author. I do not view this as evidence of misconduct, but it does strengthen the need to reproduce that lemma fully in a revision so that the referee and readers can verify the quoted result. The omitted proof of Theorem 2.7 and the missing centrality hypotheses in Theorems 2.8 and 2.13 also make the current version unsuitable for publication without substantive revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. The genuinely new material is Theorem 2.1(ii) — the positive-characteristic decomposition M_n(D)=Z(M_n(D))+[M_n(D),M_n(D)] when p divides neither sqrt(dim_F D) nor n — and Corollary 2.5, the twisted-group-algebra version of the commutativity theorem. Both are useful, and part (ii) contains a real trace argument rather than a citation. That is the part worth keeping.\n\nThe characteristic-zero branch is another story. Theorem 2.1(i) simply quotes [14, Lemma 5.8], a lemma from the corresponding author's previous paper, with no statement and no proof. Everything else in characteristic zero — quaternion algebras, semisimple algebras, the C*-algebra remark, and Corollary 2.5 — leans on that unexamined lemma. It may be correct, but the paper as submitted gives a reader no way to check it. The citation pattern is heavy at exactly the point where the load is greatest.\n\nSeveral smaller problems are easy to fix. Corollary 2.3's proof cites Theorem 2.7, an unproved later theorem about polynomial images, when the needed case is a direct application of Theorem 2.1; the proof should be reorganized. Theorem 2.7 itself has no proof, which would be acceptable for a throwaway lemma but not for a theorem used downstream. The printed definition of g_n is garbled enough to make Lemma 2.9 unverifiable as typeset.\n\nTheorem 2.8 is the real problem. The statement claims that an arbitrary finite-dimensional division F-algebra is generated by the image of a noncommutative polynomial. The proof applies Lemmas 2.10 and 2.12, and both of those require F to be the center of D. The theorem has no such assumption. As stated, Theorem 2.8 is not supported; it needs either a centrality hypothesis or a different proof. The introduction also advertises the theorem as about division rings finite-dimensional over their center, which is not what the theorem says.\n\nBottom line: the positive-characteristic decomposition and the twisted group algebra corollary are real, salvageable results. The paper deserves a referee, because the kernel is genuine, but it should not be accepted in this form. I would not cite it until the [14] lemma is either stated and verified or proved, and until Theorem 2.8 is repaired or removed.","headline":"A salvageable short note: the positive-characteristic matrix decomposition and twisted-group-algebra corollary are the genuine contributions, but the characteristic-zero core is an unstated self-citation and Theorem 2.8 is unsupported as written.","tokens_in":10152,"tokens_out":8324,"would_cite":false,"duration_ms":85835,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["12E15","15B33","16K40","16S50","20C07"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that matrix rings over division rings decompose as center plus additive commutators under algebraic or dimension conditions, and applies this to quaternion, semisimple, C*-algebras and twisted group algebras.","keywords":["Division ring","Additive commutator","Commutator subgroup","Twisted group algebra","Matrix algebra","Semisimple algebra","C*-algebra","Polynomial image"],"falsifier":"Take an algebraic division ring $D$ of characteristic zero that is infinite-dimensional over its center and test whether $D=Z(D)+[D,D]$ for $n=1$: any element outside $Z(D)+[D,D]$ refutes Theorem 2.1(i). Since the proof of the characteristic-zero case is not given here, reconstructing or verifying the quoted lemma on such a $D$ is the direct way to settle the claim; the paper's own discussion shows the analogous positive-characteristic failure when $p$ divides $\\sqrt{\\dim_F D}$.","tokens_in":9129,"feed_emoji":"🧮","tokens_out":15476,"duration_ms":137465,"temperature":0.7,"pith_summary":"Every associative algebra has a commutative core, its center, and a part generated by additive commutators $ab-ba$. This paper asks when the whole algebra is exactly the sum of those two parts, written $A=Z(A)+[A,A]$. For matrix rings over division rings it gives two sufficient conditions: the division ring is algebraic in characteristic zero, or it is finite-dimensional over its center in characteristic $p>0$ with $p$ dividing neither $\\sqrt{\\dim_F D}$ nor the matrix size. The same center-plus-commutator decomposition is then obtained for matrix rings over generalized quaternion algebras in characteristic zero, for finite-dimensional semisimple algebras in characteristic zero, and for finite-dimensional C*-algebras. The paper also proves a commutativity theorem for twisted group algebras of locally finite groups over characteristic zero: if every additive commutator is central, the algebra is commutative.","feed_headline":"Matrix rings split into center plus commutators","feed_subtitle":"For algebraic division rings, every matrix is a central part plus a sum of commutators.","key_machinery":"The central object is the additive commutator subgroup $[A,A]$, the additive subgroup generated by all elements of the form $ab-ba$, and the identity at stake is $A=Z(A)+[A,A]$. The argument's engine is the reduction of the matrix case to the base case $n=1$: once $D=Z(D)+[D,D]$ is known, cited results pass the decomposition to $M_n(D)$, and the trace decomposition of a matrix into a scalar part and a traceless part handles the remainder. In positive characteristic the condition $p\\nmid n$ is exactly what permits division by $n$ in the trace formula; in characteristic zero no such obstruction appears. The twisted group algebra result reduces a locally finite group to its finitely generated subgroups, each finite, so the finite-dimensional semisimple decomposition applies. The quaternion and semisimple corollaries ride on the classification facts that a generalized quaternion algebra is either a division ring or $M_2(F)$, and that finite-dimensional semisimple algebras are products of matrix algebras over division rings.","core_discovery":"The central claim is Theorem 2.1: if $D$ is a division ring with center $F$ and $n$ is positive, then $M_n(D)=Z(M_n(D))+[M_n(D),M_n(D)]$ whenever (i) $D$ is algebraic over $F$ in characteristic zero, or (ii) the characteristic of $F$ is $p>0$, $D$ is finite-dimensional over $F$, and $p$ divides neither $\\sqrt{\\dim_F D}$ nor $n$. In words, every matrix is a scalar matrix with entries in the center plus a finite sum of additive commutators. The authors show this structural fact propagates: for a generalized quaternion algebra $A$ over a characteristic zero field, every matrix ring $M_n(A)$ satisfies the same equality; and finite-dimensional semisimple algebras over characteristic zero, as well as finite-dimensional C*-algebras, satisfy $A=Z(A)+[A,A]$. For the twisted group algebra of a locally finite group over a characteristic zero field, the condition that all additive commutators lie in the center forces the algebra to be commutative. The same idea is carried from commutators to arbitrary noncommutative polynomials, yielding that under the hypotheses of Theorem 2.1 the linear span of the image of any noncommutative polynomial that is neither an identity nor central already contains the commutator subspace.","pith_inferences":["If the quoted characteristic-zero lemma is sound, the center-plus-commutator decomposition should extend from matrix rings over division rings to algebraic algebras over characteristic zero fields, a case the paper does not state.","The positive-characteristic obstruction $p\\nmid n$ is a concrete boundary; a natural next test is whether $M_n(D)$ fails to decompose when $p\\mid n$ but $D$ still satisfies $D=Z(D)+[D,D]$.","The twisted group algebra theorem suggests a sharpened general principle: in any semisimple algebra over a characteristic zero field, if all additive commutators are central then the algebra is commutative; the paper proves this for algebras built from locally finite groups.","The polynomial-image results hint that commutators are not special here: replacing $[A,A]$ by the linear span of any sufficiently noncommutative polynomial image should preserve the decomposition, so the same structural phenomenon may hold for a whole family of subspaces."],"forward_implications":["Every matrix over an algebraic division ring in characteristic zero is a central scalar block plus a finite sum of additive commutators, with no further hypotheses on the matrix size.","The same decomposition holds in every matrix size over a generalized quaternion algebra over a characteristic zero field.","Every finite-dimensional semisimple algebra over a characteristic zero field, and every finite-dimensional C*-algebra, can be written as center plus additive-commutator subgroup.","For twisted group algebras of locally finite groups over characteristic zero, centrality of all additive commutators implies commutativity of the whole algebra.","Under the same division-ring hypotheses, the linear span of the image of any noncommutative polynomial that is neither an identity nor central contains the whole commutator subspace; under a further condition the division algebra is generated by such an image."],"supporting_citations":[{"why":"Supplies the characteristic-zero algebraic case through its Lemma 5.8, so that part of Theorem 2.1 rests on this reference.","marker":"[14]"},{"why":"Supplies the positive-characteristic machinery: D=F+[D,D] and the transition to matrix rings via its Theorem 5, Theorems 1 and 3, and Lemma 2.","marker":"[11]"},{"why":"Gives the theorem that a finite-dimensional division ring over its center has square dimension, motivating the square-root condition in Theorem 2.1.","marker":"[15]"},{"why":"Establishes that every traceless matrix over a field is a single additive commutator, the classical base model for the decomposition.","marker":"[2]"},{"why":"Provides the semisimplicity of finite twisted group algebras when the characteristic does not divide the group order, used in Corollary 2.5.","marker":"[25]"},{"why":"Supplies the classification facts for quaternion algebras and the Wedderburn-Artin structure used by the corollaries.","marker":"[27]"},{"why":"Provides the lemma that the commutator subspace of a simple algebra lies in the linear span of a non-identity, non-central polynomial image, used in Theorem 2.7.","marker":"[10]"},{"why":"Supplies the result used in Theorem 2.8 that a finite-dimensional division algebra is generated, as an algebra, by a single element generating a maximal subfield and a conjugate of it.","marker":"[23]"}],"fun_headline_variants":["Matrix rings equal center plus additive commutators","Every matrix is central part plus sum of commutators","Division ring matrices decompose into center and commutators","Commutators and center span full matrix ring","Additive commutators cover all matrices in division rings"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Both halves of the main theorem rest on cited results rather than proofs reproduced in this note, and the characteristic-zero half rests on a single quoted lemma about algebraic division rings; if that lemma gives way, the central decomposition and most of its corollaries collapse.","fun_headline_variants_meta":{"raw":{"variants":["Matrix rings equal center plus additive commutators","Every matrix is central part plus sum of commutators","Division ring matrices decompose into center and commutators","Commutators and center span full matrix ring","Additive commutators cover all matrices in division rings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000246,"raw_usage":{"total_tokens":1544,"prompt_tokens":955,"completion_tokens":589,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":571,"completion_tokens_details":{"reasoning_tokens":517}},"tokens_in":571,"tokens_out":589,"duration_ms":6221,"temperature":1.0,"reasoning_tokens":517,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:17:20.078948+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take an algebraic division ring $D$ of characteristic zero that is infinite-dimensional over its center and test whether $D=Z(D)+[D,D]$ for $n=1$: any element outside $Z(D)+[D,D]$ refutes Theorem 2.1(i). Since the proof of the characteristic-zero case is not given here, reconstructing or verifying the quoted lemma on such a $D$ is the direct way to settle the claim; the paper's own discussion shows the analogous positive-characteristic failure when $p$ divides $\\sqrt{\\dim_F D}$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the characteristic-zero algebraic case through its Lemma 5.8, so that part of Theorem 2.1 rests on this reference."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the positive-characteristic machinery: D=F+[D,D] and the transition to matrix rings via its Theorem 5, Theorems 1 and 3, and Lemma 2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the theorem that a finite-dimensional division ring over its center has square dimension, motivating the square-root condition in Theorem 2.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes that every traceless matrix over a field is a single additive commutator, the classical base model for the decomposition."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the semisimplicity of finite twisted group algebras when the characteristic does not divide the group order, used in Corollary 2.5."},{"cited_title":"Voight,Quaternion algebras, Graduate Texts in Mathematics288, Springer, 2021","cited_arxiv_id":null,"evidence_quote":"Supplies the classification facts for quaternion algebras and the Wedderburn-Artin structure used by the corollaries."},{"cited_title":"Breˇ sar, Commutators and images of noncommutative polynomials.Adv","cited_arxiv_id":null,"evidence_quote":"Provides the lemma that the commutator subspace of a simple algebra lies in the linear span of a non-identity, non-central polynomial image, used in Theorem 2.7."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the result used in Theorem 2.8 that a finite-dimensional division algebra is generated, as an algebra, by a single element generating a maximal subfield and a conjugate of it."}],"review_version":1}