pith. sign in

arxiv: 2606.03454 · v1 · pith:56U5LL5Xnew · submitted 2026-06-02 · 🧮 math.RA

Automatic additivity for injective Jordan semi-triple maps on structural matrix rings over division rings

Ilja Gogi\'c , Mateo Toma\v{s}evi\'c This is my paper

Pith reviewed 2026-06-28 07:47 UTC · model grok-4.3

classification 🧮 math.RA
keywords Jordan semi-triple mapsstructural matrix ringsadditivitydivision ringsinjective mapspreordersobstructions
0
0 comments X

The pith

Injective Jordan semi-triple maps on structural matrix rings over division rings are additive except when one of two obstructions is present.

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

The paper determines when injective maps phi from a structural matrix ring R to the full matrix ring over a division ring D that satisfy phi(X Y X) = phi(X) phi(Y) phi(X) must be additive. It assumes the center of D has more than two elements and identifies exactly two obstructions to additivity. The scalar obstruction arises when R has a direct summand isomorphic to D, provided D is not the field with three or four elements. The order-theoretic obstruction arises when there is a one-way comparable pair of indices with no third index comparable to both. Absent both obstructions, every such map is additive, and the maps can then be described explicitly using ring endomorphisms and multipliers.

Core claim

Assuming that the centre of D has more than two elements, if neither the scalar obstruction (R has a direct summand isomorphic to D and D not isomorphic to F3 or F4) nor the order-theoretic obstruction (a nonsymmetric comparable pair with no third comparable index) occurs, then all injective Jordan semi-triple maps are additive.

What carries the argument

The scalar obstruction, occurring when R has a direct ring summand isomorphic to D and D is not isomorphic to F3 or F4, and the order-theoretic obstruction, occurring when a nonsymmetric comparable pair i ≼ j, j ⋠ i admits no third index k comparable with both i and j.

If this is right

  • If neither obstruction occurs, every injective Jordan semi-triple map is additive.
  • In the additive case the maps are described componentwise in terms of endomorphisms, anti-endomorphisms and transitive multipliers.
  • The assumption that the centre of D has more than two elements is necessary, as shown by the example of the upper-triangular ring over F2 for n at least 3.
  • Structural matrix rings are supported on the ordered pairs of a preorder on the index set.

Where Pith is reading between the lines

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

  • Similar automatic additivity results might hold for other classes of maps or rings without the injectivity assumption.
  • Testing the obstructions on concrete preorders could classify which structural matrix rings admit only additive maps.
  • The description of additive maps may allow explicit construction of examples or counterexamples in related settings.

Load-bearing premise

The centre of the division ring D has more than two elements.

What would settle it

An explicit construction of a non-additive injective Jordan semi-triple map on a structural matrix ring over a division ring whose centre has more than two elements, where the ring has no direct summand isomorphic to D (or D is F3 or F4) and every nonsymmetric comparable pair has a third comparable index.

read the original abstract

Let $\mathbb D$ be a division ring, and let $\mathcal{R}\subseteq M_n(\mathbb{D})$ be a structural matrix ring over $\mathbb{D}$, that is, the subring of $M_n(\mathbb{D})$ supported on the ordered pairs of a preorder on $\{1,\ldots,n\}$. We study injective Jordan semi-triple maps $\phi:\mathcal{R}\to M_n(\mathbb{D})$, namely injective maps satisfying \[ \phi(XYX)=\phi(X)\phi(Y)\phi(X), \qquad \text{for all } X,Y\in\mathcal{R}. \] Assuming that the centre of $\mathbb{D}$ has more than two elements, we give a criterion for automatic additivity and show that there are exactly two obstructions. The first one is scalar: it occurs precisely when $\mathcal{R}$ has a direct ring summand isomorphic to $\mathbb{D}$ and $\mathbb{D}$ is isomorphic to neither $\mathbb{F}_3$ nor $\mathbb{F}_4$. The second one is order-theoretic: it occurs when a nonsymmetric comparable pair $i\preceq j$, $j\not\preceq i$, admits no third index $k\notin\{i,j\}$ comparable with both $i$ and $j$. If neither obstruction occurs, all injective Jordan semi-triple maps are additive. The centre-size hypothesis is sharp: for $n\ge3$, the upper-triangular ring $T_n(\mathbb{F}_2)$ has neither obstruction but nevertheless admits nonadditive injective Jordan semi-triple maps. Finally, in the additive case, we describe the maps componentwise, in terms of endomorphisms, anti-endomorphisms, and transitive multipliers.

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

0 major / 2 minor

Summary. The manuscript proves that, assuming |Z(D)| > 2, an injective Jordan semi-triple map ϕ : R o M_n(D) on a structural matrix ring R ⊆ M_n(D) (defined via a preorder on {1,…,n}) is additive precisely when neither of two obstructions occurs: the scalar obstruction (R has a direct summand isomorphic to D with D ≇ F_3, F_4) or the order-theoretic obstruction (a nonsymmetric comparable pair i ≼ j, j ⋠ i with no third index k comparable to both). When neither obstruction is present the maps are additive; the center-size hypothesis is shown sharp by the example T_n(F_2) (n ≥ 3), which admits nonadditive maps; in the additive case the maps are described componentwise via endomorphisms, anti-endomorphisms and transitive multipliers.

Significance. If the stated criterion and classification hold, the work supplies a complete, obstruction-based characterization of automatic additivity for this class of maps, together with an explicit sharpness example and a componentwise description of the additive maps. This advances the study of Jordan-type functional equations and preserver problems on structural matrix rings over division rings by isolating the exact ring-theoretic and order-theoretic conditions that force additivity.

minor comments (2)
  1. Abstract, final sentence: the phrase 'transitive multipliers' is introduced without a brief gloss; a one-sentence definition or reference to the relevant section would improve readability for readers encountering the term for the first time.
  2. The manuscript would benefit from an explicit statement, early in the introduction, of the precise preorder axioms used to define the structural matrix ring (reflexivity, transitivity) and how they translate into the support condition on matrix entries.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The central theorem states that, when |Z(D)|>2 and neither the scalar obstruction (R having a direct summand ≅ D with D ≇ F3,F4) nor the order-theoretic obstruction (nonsymmetric comparable pair lacking a third comparable index) is present, every injective Jordan semi-triple map is additive. Both obstructions are defined purely in terms of the ring R and the preorder on {1,...,n}, independent of the maps φ. Sharpness is witnessed by the explicit external example Tn(F2) for n≥3, which satisfies the hypotheses yet admits nonadditive maps. No self-citations, fitted parameters renamed as predictions, or ansatzes appear in the load-bearing steps. The derivation therefore rests on direct verification of the stated ring-theoretic conditions rather than reducing to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard properties of division rings and preorders together with the explicit size assumption on the center; no free parameters or invented entities are introduced.

axioms (1)
  • domain assumption The centre of the division ring D has more than two elements
    This is the standing hypothesis under which the criterion is proved; the abstract shows it is sharp via the Tn(F2) counterexample.

pith-pipeline@v0.9.1-grok · 5850 in / 1128 out tokens · 19299 ms · 2026-06-28T07:47:27.042691+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

36 extracted references · 34 canonical work pages

  1. [1]

    Akkurt, M

    E. Akkurt, M. Akkurt and G. P. Barker,Jordan homomorphisms of the structural matrix algebras, Linear Multilinear Algebra 63 (2015), no. 12, 2518–2525, doi: 10.1080/03081087.2015.1023177

    work page doi:10.1080/03081087.2015.1023177 2015

  2. [2]

    Benkovič,Jordan homomorphisms on triangular matrices, Linear Multilinear Algebra 53 (2005), no

    D. Benkovič,Jordan homomorphisms on triangular matrices, Linear Multilinear Algebra 53 (2005), no. 5, 345–356, doi: 10.1080/03081080500054745

    work page doi:10.1080/03081080500054745 2005

  3. [3]

    M.Brešar,Introduction to Noncommutative Algebra, 2nded., Universitext, Springer, Cham, 2025, doi: 10.1007/978- 3-031-96296-7

    work page doi:10.1007/978- 2025

  4. [4]

    Brusamarello, É

    R. Brusamarello, É. Z. Fornaroli and M. Khrypchenko,Jordan isomorphisms of finitary incidence algebras, Linear Multilinear Algebra 66 (2018), no. 3, 565–579, doi: 10.1080/03081087.2017.1306019

    work page doi:10.1080/03081087.2017.1306019 2018

  5. [5]

    Brusamarello, É

    R. Brusamarello, É. Z. Fornaroli and M. Khrypchenko,Jordan isomorphisms of the finitary incidence ring of a partially ordered category, Colloq. Math. 159 (2020), no. 2, 285–307, doi: 10.4064/cm7777-1-2019

    work page doi:10.4064/cm7777-1-2019 2020

  6. [6]

    S. P. Coelho,The automorphism group of a structural matrix algebra, Linear Algebra Appl. 195 (1993), 35–58, doi: 10.1016/0024-3795(93)90255-M

    work page doi:10.1016/0024-3795(93)90255-m 1993

  7. [7]

    S. P. Coelho,Automorphism groups of certain structural matrix rings, Comm. Algebra 22 (1994), no. 14, 5567–5586, doi: 10.1080/00927879408825147

    work page doi:10.1080/00927879408825147 1994

  8. [8]

    P. M. Cohn,Centralisateurs dans les corps libres, in: J. Berstel (ed.),Séries formelles en variables non commutatives et applications, École de Printemps d’Informatique Théorique, Vieux-Boucau-les-Bains, 1977, École Nationale Supérieure de Techniques Avancées, Paris, 1978, 45–54

    1977

  9. [9]

    P. M. Cohn,Free Ideal Rings and Localization in General Rings, New Mathematical Monographs, vol. 3, Cambridge University Press, Cambridge, 2006, doi: 10.1017/CBO9780511542794

    work page doi:10.1017/cbo9780511542794 2006

  10. [10]

    D’Amour,Jordan triple homomorphisms of associative structures, Comm

    A. D’Amour,Jordan triple homomorphisms of associative structures, Comm. Algebra 19 (1991), no. 4, 1229–1247, doi: 10.1080/00927879108824199

    work page doi:10.1080/00927879108824199 1991

  11. [11]

    J. J. Garcés and M. Khrypchenko,Potent preservers of incidence algebras, Linear Algebra Appl. 635 (2022), 171–200, doi: 10.1016/j.laa.2021.11.020

    work page doi:10.1016/j.laa.2021.11.020 2022

  12. [12]

    J. J. Garcés and M. Khrypchenko,Linear maps preserving products equal to primitive idempotents of an incidence algebra, J. Algebra 612 (2022), 460–474, doi: 10.1016/j.jalgebra.2022.09.002. JORDAN SEMI-TRIPLE MAPS ON STRUCTURAL MATRIX RINGS 29

    work page doi:10.1016/j.jalgebra.2022.09.002 2022

  13. [13]

    Gogić, T

    I. Gogić, T. Petek and M. Tomašević,Characterizing Jordan embeddings between block upper-triangular subalgebras via preserving properties, Linear Algebra Appl. 704 (2025), 192–217, doi: 10.1016/j.laa.2024.10.005

    work page doi:10.1016/j.laa.2024.10.005 2025

  14. [14]

    Gogić and M

    I. Gogić and M. Tomašević,Jordan embeddings and linear rank preservers of structural matrix algebras, Linear Algebra Appl. 707 (2025), 1–48, doi: 10.1016/j.laa.2024.11.013

    work page doi:10.1016/j.laa.2024.11.013 2025

  15. [15]

    Gogić and M

    I. Gogić and M. Tomašević,An extension of Petek–Šemrl preserver theorems for Jordan embeddings of structural matrix algebras, J. Math. Anal. Appl. 549 (2025), no. 1, Paper No. 129497, 24 pp., doi: 10.1016/j.jmaa.2025.129497

    work page doi:10.1016/j.jmaa.2025.129497 2025

  16. [16]

    Gogić and M

    I. Gogić and M. Tomašević,Classification of Jordan multiplicative maps on matrix algebras, Aequationes Math. 99 (2025), no. 5, 2339–2355, doi: 10.1007/s00010-025-01208-y

    work page doi:10.1007/s00010-025-01208-y 2025

  17. [17]

    Gogić and M

    I. Gogić and M. Tomašević,Multiplicative and Jordan multiplicative maps on structural matrix algebras, Linear Multilinear Algebra 73 (2025), no. 18, 4131–4148, doi: 10.1080/03081087.2025.2590557

    work page doi:10.1080/03081087.2025.2590557 2025

  18. [18]

    Jacobson,Structure theory for algebraic algebras of bounded degree, Ann

    N. Jacobson,Structure theory for algebraic algebras of bounded degree, Ann. of Math. (2) 46 (1945), no. 4, 695–707, doi: 10.2307/1969205

    work page doi:10.2307/1969205 1945

  19. [19]

    Jacobson,Structure and representations of Jordan algebras, American Mathematical Society Colloquium Publications, Vol

    N. Jacobson,Structure and representations of Jordan algebras, American Mathematical Society Colloquium Publications, Vol. 39, American Mathematical Society, Providence, RI, 1968

    1968

  20. [20]

    Jacobson and C

    N. Jacobson and C. E. Rickart,Jordan homomorphisms of rings, Trans. Amer. Math. Soc. 69 (1950), 479–502, doi: 10.1090/S0002-9947-1950-0038335-X

    work page doi:10.1090/s0002-9947-1950-0038335-x 1950

  21. [21]

    P. S. Ji,Additivity of Jordan maps on Jordan algebras, Linear Algebra Appl. 431 (2009), no. 1–2, 179–188, doi: 10.1016/j.laa.2009.02.022

    work page doi:10.1016/j.laa.2009.02.022 2009

  22. [22]

    Jodeit Jr

    M. Jodeit Jr. and T. Y. Lam,Multiplicative maps of matrix semi-groups, Arch. Math. 20 (1969), 10–16, doi: 10.1007/BF01898985

    work page doi:10.1007/bf01898985 1969

  23. [23]

    A. A. Klein,Involutorial division rings with arbitrary centers, Proc. Amer. Math. Soc.34(1972), 38–42. doi:10.1090/S0002-9939-1972-0304425-7

    work page doi:10.1090/s0002-9939-1972-0304425-7 1972

  24. [24]

    Kokol Bukovšek and B

    D. Kokol Bukovšek and B. Mojškerc,Jordan triple product homomorphisms on triangular matrices to and from dimension one, Electron. J. Linear Algebra 33 (2018), 147–159, doi: 10.13001/1081-3810.3724

    work page doi:10.13001/1081-3810.3724 2018

  25. [25]

    Kuzma,Jordan triple product homomorphisms, Monatsh

    B. Kuzma,Jordan triple product homomorphisms, Monatsh. Math. 149 (2006), no. 2, 119–128, doi: 10.1007/s00605- 005-0361-9

    work page doi:10.1007/s00605- 2006

  26. [26]

    Lešnjak and N.-S

    G. Lešnjak and N.-S. Sze,On injective Jordan semi-triple maps of matrix algebras, Linear Algebra Appl. 414 (2006), no. 1, 383–388, doi: 10.1016/j.laa.2005.10.015

    work page doi:10.1016/j.laa.2005.10.015 2006

  27. [27]

    Lu,Jordan triple maps, Linear Algebra Appl

    F. Lu,Jordan triple maps, Linear Algebra Appl. 375 (2003), 311–317, doi: 10.1016/j.laa.2003.06.004

    work page doi:10.1016/j.laa.2003.06.004 2003

  28. [28]

    W. S. Martindale III,When are multiplicative mappings additive?, Proc. Amer. Math. Soc. 21 (1969), 695–698, doi: 10.1090/S0002-9939-1969-0240129-7

    work page doi:10.1090/s0002-9939-1969-0240129-7 1969

  29. [29]

    McCrimmon,A taste of Jordan algebras, Universitext, Springer, New York, 2004, doi: 10.1007/b97489

    K. McCrimmon,A taste of Jordan algebras, Universitext, Springer, New York, 2004, doi: 10.1007/b97489

    work page doi:10.1007/b97489 2004

  30. [30]

    Molnár,On isomorphisms of standard operator algebras, Studia Math

    L. Molnár,On isomorphisms of standard operator algebras, Studia Math. 142 (2000), no. 3, 295–302, doi: 10.4064/sm-142-3-295-302

    work page doi:10.4064/sm-142-3-295-302 2000

  31. [31]

    G. C. Rota,On the foundations of combinatorial theory. I. Theory of Möbius functions, Z. Wahrscheinlichkeits- theorie verw. Gebiete 2 (1964), 340–368, doi: 10.1007/BF00531932

    work page doi:10.1007/bf00531932 1964

  32. [32]

    Słowik,Jordan triple homomorphisms onT∞(F ), Beitr

    R. Słowik,Jordan triple homomorphisms onT∞(F ), Beitr. Algebra Geom. 63 (2022), 621–637, doi: 10.1007/s13366- 021-00589-w

    work page doi:10.1007/s13366- 2022

  33. [33]

    K. C. Smith and L. van Wyk,An internal characterisation of structural matrix rings, Comm. Algebra 22 (1994), no. 14, 5599–5622, doi: 10.1080/00927879408825149

    work page doi:10.1080/00927879408825149 1994

  34. [34]

    van Wyk,Special radicals in structural matrix rings, Comm

    L. van Wyk,Special radicals in structural matrix rings, Comm. Algebra 16 (1988), no. 2, 421–435, doi: 10.1080/00927878808823578

    work page doi:10.1080/00927878808823578 1988

  35. [35]

    van Wyk,Matrix rings satisfying column sum conditions versus structural matrix rings, Linear Algebra Appl

    L. van Wyk,Matrix rings satisfying column sum conditions versus structural matrix rings, Linear Algebra Appl. 249 (1996), 15–28, doi: 10.1016/0024-3795(95)00241-3

    work page doi:10.1016/0024-3795(95)00241-3 1996

  36. [36]

    Yang and F

    C. Yang and F. Lu,Surjective Jordan maps and Jordan triple maps, Linear Algebra Appl. 535 (2017), 1–11, doi: 10.1016/j.laa.2017.08.022. I. Gogić, Department of Mathematics, F aculty of Science, University of Zagreb, Bijenička 30, 10000 Zagreb, Croatia Email address:ilja@math.hr M. Tomašević, Department of Mathematics, F aculty of Science, University of Za...

    work page doi:10.1016/j.laa.2017.08.022 2017