pith. machine review for the scientific record. sign in

arxiv: 2604.13619 · v1 · submitted 2026-04-15 · 🧮 math.RA · math.CO

Recognition: unknown

Compositions of n-homomorphisms

Darij Grinberg

Pith reviewed 2026-05-10 12:17 UTC · model grok-4.3

classification 🧮 math.RA math.CO
keywords n-homomorphismsKhudaverdian-Voronovring homomorphismscomposition of mapscombinatorial identitiesgeneralized homomorphismsarbitrary rings
0
0 comments X

The pith

The sum of an n-homomorphism and an m-homomorphism is an (n+m)-homomorphism, while their composition is an nm-homomorphism.

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

The paper generalizes the notion of n-homomorphisms, originally from Khudaverdian and Voronov, to maps between arbitrary rings where the codomain is commutative. It establishes that these maps are closed under addition in an additive way on their indices and under composition in a multiplicative way. The proofs rely only on combinatorial identities rather than any deeper ring-theoretic structure. A reader might care because the results turn the collection of such maps into a simple arithmetic object, allowing systematic construction of higher-degree examples from basic ones.

Core claim

We show that the sum of an n-homomorphism and an m-homomorphism is an (n+m)-homomorphism, and that the composition of an n-homomorphism and an m-homomorphism is an nm-homomorphism. The proofs are entirely combinatorial.

What carries the argument

n-homomorphism (a map f from a ring R to a commutative ring S satisfying a specific polynomial identity of degree n on products of n+1 elements)

If this is right

  • Any n-homomorphism can be added to itself to produce a (2n)-homomorphism.
  • The composition of two such maps produces one whose index is the product of the originals.
  • The set of all n-homomorphisms for fixed n forms a module closed under the given operations.
  • Basic linear maps or derivations can be iterated or combined to generate families of higher n-homomorphisms.

Where Pith is reading between the lines

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

  • The arithmetic rules suggest that n-homomorphisms can be organized into a graded structure analogous to a ring or algebra of operators.
  • Combinatorial proofs open the possibility of lifting the statements to more general algebraic categories beyond rings.
  • The results may allow recursive construction of solutions to higher-order functional equations in noncommutative settings.

Load-bearing premise

The definition of an n-homomorphism extends meaningfully to maps out of noncommutative rings into commutative ones.

What would settle it

An explicit pair of maps, one an n-homomorphism and one an m-homomorphism between concrete rings, whose sum fails the (n+m)-identity or whose composition fails the nm-identity.

read the original abstract

We study $n$-homomorphisms in the sense of Khudaverdian--Voronov, but generalized to maps from arbitrary rings to arbitrary commutative rings. We show that the sum of an $n$-homomorphism and an $m$-homomorphism is an $\left( n+m\right) $-homomorphism, and that the composition of an $n$-homomorphism and an $m$-homomorphism is an $nm$-homomorphism. The proofs are entirely combinatorial.

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.

Referee Report

1 major / 1 minor

Summary. The manuscript generalizes n-homomorphisms in the sense of Khudaverdian-Voronov to maps from arbitrary (possibly non-commutative) rings to arbitrary commutative rings. It claims to prove, via purely combinatorial arguments, that the sum of an n-homomorphism and an m-homomorphism is an (n+m)-homomorphism and that the composition of an n-homomorphism and an m-homomorphism is an nm-homomorphism.

Significance. If the central identities hold in the stated generality, the results would establish useful closure properties under addition and composition for these generalized homomorphisms. This could support further structural investigations in ring theory and noncommutative algebra. The combinatorial character of the proofs is a strength, as it avoids analytic assumptions and relies only on counting arguments.

major comments (1)
  1. [Proof of the sum property] Proof of the sum property (the combinatorial expansion following the definition of n-homomorphism): when substituting f + g into the defining identity, the cross terms are products of the form f(a1⋯ak) g(ak+1⋯an) (and permutations) evaluated in the target commutative ring. Because the domain ring is arbitrary and non-commutative, these products cannot be freely reordered. The manuscript does not supply an explicit verification that the regrouping into the (n+m) identity survives without commutativity of the domain, nor does it include a check in a concrete non-commutative example such as matrix rings over a field.
minor comments (1)
  1. [Abstract] The abstract and introduction would benefit from a one-sentence reminder of the precise definition of an n-homomorphism (the multilinear identity in several variables) to make the paper more self-contained for readers outside the immediate subfield.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comment point by point below.

read point-by-point responses

  1. Referee: Proof of the sum property (the combinatorial expansion following the definition of n-homomorphism): when substituting f + g into the defining identity, the cross terms are products of the form f(a1⋯ak) g(ak+1⋯an) (and permutations) evaluated in the target commutative ring. Because the domain ring is arbitrary and non-commutative, these products cannot be freely reordered. The manuscript does not supply an explicit verification that the regrouping into the (n+m) identity survives without commutativity of the domain, nor does it include a check in a concrete non-commutative example such as matrix rings over a field.

    Authors: We appreciate the referee highlighting this aspect. The combinatorial argument counts the distributions of consecutive factors from the domain product into the n groups for f and m groups for g; each subproduct is formed by multiplying elements in their original sequential order, which requires no commutativity in the domain. The resulting values are then multiplied in the commutative target ring, so the cross terms f(...)g(...) may be freely regrouped by total part count without regard to order. We agree the manuscript would be strengthened by an explicit expansion of this regrouping step and by a concrete verification. We will revise the proof section to include both. revision: yes

Circularity Check

0 steps flagged

No significant circularity; combinatorial proofs are self-contained

full rationale

The paper extends the Khudaverdian--Voronov definition of n-homomorphisms to maps from arbitrary (possibly non-commutative) rings to commutative rings and states that the sum and composition theorems are established by entirely combinatorial arguments. These arguments consist of direct expansion and regrouping of the multi-variable defining identities for the sum f+g and the composition f∘g. No step reduces a claimed result to a fitted parameter, a self-citation chain, or a redefinition of the input; the cited source supplies only the initial notion, while the new identities are derived independently. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on the standard axioms of rings and commutative rings together with the prior definition of n-homomorphisms; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Rings satisfy the usual axioms of addition and multiplication (associativity, distributivity, additive inverses).
    Invoked implicitly when defining maps between rings.
  • domain assumption n-homomorphisms are defined in the sense of Khudaverdian--Voronov.
    The paper explicitly builds on this existing definition and generalizes its domain and codomain.

pith-pipeline@v0.9.0 · 5358 in / 1223 out tokens · 37628 ms · 2026-05-10T12:17:02.336447+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

14 extracted references · 10 canonical work pages

  1. [1]

    ://people.brandeis.edu/ jbellaic/RibetHawaii3.pdf

    Joel Bellaiche, Ribet's lemma, generalizations, and pseudocharacters, 2010. ://people.brandeis.edu/ jbellaic/RibetHawaii3.pdf

    2010

  2. [2]

    V. M. Buchstaber, E. G. Rees, Frobenius k -characters and n -ring homomorphisms, Russian Math. Surveys (Uspekhi Mat. Nauk) 52 (1997), issue 2, pp. 159--160. https://doi.org/10.1070/RM1997v052n02ABEH001788

    work page doi:10.1070/rm1997v052n02abeh001788 1997

  3. [3]

    V. M. Buchstaber, E. G. Rees, The Gelfand map and symmetric products, Selecta Mathematica 8 (2002), pp. 523--535. https://doi.org/10.1007/BF02637312 A preprint is available at arXiv:0109122v1 https://arxiv.org/abs/math/0109122v1

    work page doi:10.1007/bf02637312 2002

  4. [4]

    V. M. Buchstaber, E. G. Rees, Rings of continuous functions, symmetric products, and Frobenius algebras, Russian Math. Surveys 59 (2004), issue 1, pp. 125--145. https://doi.org/10.1070/RM2004v059n01ABEH000704 A preprint is available at arXiv:math/0403357v1 http://arXiv.org/abs/math/0403357v1

    work page doi:10.1070/rm2004v059n01abeh000704 2004

  5. [5]

    https://arxiv.org/abs/0809.0415v2

    Gaetan Chenevier, The p-adic analytic space of pseudocharacters of a profinite group and pseudorepresentations over arbitrary rings, arXiv:0809.0415v2. https://arxiv.org/abs/0809.0415v2

    work page arXiv

  6. [6]

    ://www.maths.tcd.ie/ vdots/research/files/Pseudo-characters.pdf

    Vladimir Dotsenko, Pseudo-characters (an extended discussion of 7 in Mazur's paper), 2011. ://www.maths.tcd.ie/ vdots/research/files/Pseudo-characters.pdf

    2011

  7. [7]

    https://arxiv.org/abs/2008.09862v3

    Darij Grinberg, Notes on the combinatorial fundamentals of algebra, 15 September 2022, arXiv:2008.09862v3. https://arxiv.org/abs/2008.09862v3

    work page arXiv 2022

  8. [8]

    H. M. Khudaverdian, Th. Th. Voronov, On the Buchstaber--Rees theory of Frobenius n -homomorphisms \ and its generalization, arXiv:2002.02395v2. https://arxiv.org/abs/2002.02395v2

    work page arXiv 2002

  9. [9]

    69 (1988), pp

    Hartmut Laue, A graph theoretic proof of the fundamental trace identity, Discrete Math. 69 (1988), pp. 197--198. https://doi.org/10.1016/0012-365X(88)90019-2 A digitized version is available at https://www.cip.ifi.lmu.de/ grinberg/algebra/laue-fundid.pdf

    work page doi:10.1016/0012-365x(88)90019-2 1988

  10. [10]

    ://web.math.princeton.edu/ smorel/rep_theory_notes.pdf

    Sophie Morel, Representation theory, 2019. ://web.math.princeton.edu/ smorel/rep_theory_notes.pdf

    2019

  11. [11]

    Procesi, The invariant theory of n n matrices, Adv

    C. Procesi, The invariant theory of n n matrices, Adv. in Math. 19 (1976), pp. 306--381. https://doi.org/10.1016/0001-8708(76)90027-X

    work page doi:10.1016/0001-8708(76)90027-x 1976

  12. [12]

    571--586

    https://doi.org/10.1006/jabr.1996.0083 Rapha\" e l Rouquier, Caract\' e risation des caract\` e res et Pseudo-caract\` e res , Journal of Algebra 180 (1996), Issue 2, pp. 571--586

    work page doi:10.1006/jabr.1996.0083 1996

  13. [13]

    Journal 63 (1991), no

    Richard Taylor, Galois representations associated to Siegel modular forms of low weight, Duke Math. Journal 63 (1991), no. 2, pp. 281--332. https://doi.org/10.1215/S0012-7094-91-06312-X

    work page doi:10.1215/s0012-7094-91-06312-x 1991

  14. [14]

    Andrew Wiles, On ordinary -adic representations associated to modular forms, Invent. Math. 94 (1988), pp. 529--573. https://eudml.org/doc/143636

    1988