pith. sign in

arxiv: 2510.20689 · v2 · submitted 2025-10-23 · 🧮 math.RA · math.HO

The trace Cayley-Hamilton theorem

Darij Grinberg This is my paper

Pith reviewed 2026-05-18 04:52 UTC · model grok-4.3

classification 🧮 math.RA math.HO
keywords trace Cayley-Hamilton theoremcommutative ringsmatrix adjugatecharacteristic polynomiallinear algebra over ringsmatrix tracesdeterminant identities
0
0 comments X

The pith

For any square matrix over a commutative ring, the traces of its powers satisfy kc_k plus a sum of Tr(A^i) c_{k-i} equals zero, where the c's are the coefficients of its characteristic polynomial.

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

The paper establishes an identity called the trace Cayley-Hamilton theorem that connects the traces of successive powers of a matrix to the coefficients of its characteristic polynomial. It proves this and related facts about traces, determinants, and adjugates using only the basic algebraic properties of these objects, which remain valid when the entries lie in an arbitrary commutative ring rather than a field. A reader would care because the result gives a uniform way to relate traces and characteristic polynomials without passing to the fraction field or assuming diagonalizability. The proofs are presented as illustrations of general techniques that work directly over rings.

Core claim

Let A be an n by n matrix over a commutative ring K whose characteristic polynomial is det(t I_n - A) = sum_{i=0}^n c_{n-i} t^i. Then for every natural number k the identity k c_k + sum_{i=1}^k Tr(A^i) c_{k-i} = 0 holds. The paper derives this by working with the adjugate matrix and its relation to the determinant, together with standard trace identities that continue to hold over rings.

What carries the argument

The adjugate matrix of A, which satisfies A times its adjugate equals the determinant times the identity matrix, and which is used to produce the trace identities that imply the main relation.

If this is right

  • The coefficients of the characteristic polynomial can be recovered recursively from the sequence of traces of powers of A.
  • The identity continues to hold after any base change of the ring K, including reduction modulo an ideal.
  • Special cases recover known trace identities such as the fact that the trace of A equals the sum of its eigenvalues when they exist in an extension.
  • The same technique yields analogous relations for other invariants that can be expressed via the adjugate.

Where Pith is reading between the lines

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

  • One could test the identity numerically by taking random integer matrices of moderate size and checking the relation holds exactly.
  • The recursive recovery of coefficients from traces might be used to compute characteristic polynomials in rings where determinant calculation is expensive but matrix multiplication is cheap.
  • Similar identities might exist for other matrix functions that commute with the adjugate construction, such as the derivative of the characteristic polynomial.

Load-bearing premise

The adjugate matrix exists and obeys the usual multiplication rule with the determinant over any commutative ring, and the characteristic polynomial is defined directly via the determinant.

What would settle it

Exhibit an explicit n by n matrix A with entries in a commutative ring K together with a specific natural number k for which the left-hand side k c_k + sum Tr(A^i) c_{k-i} is a nonzero element of K.

read the original abstract

In this expository paper, various properties of matrix traces, determinants and adjugate matrices are proved, including the *trace Cayley-Hamilton theorem*, which says that \[ kc_k + \sum_{i=1}^k \operatorname{Tr} (A^i) c_{k-i} = 0 \qquad \text{for every } k\in\mathbb{N} \] whenever $A$ is an $n\times n$-matrix with characteristic polynomial $\det (tI_n - A) = \sum_{i=0}^n c_{n-i} t^i$ over a commutative ring $\mathbb{K}$. While the results are not new, some of the proofs are. The proofs illustrate some general techniques in linear algebra over commutative 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.

Referee Report

0 major / 2 minor

Summary. The manuscript is an expository paper proving properties of traces, determinants, and adjugate matrices for n by n matrices over commutative rings. The central result is the trace Cayley-Hamilton theorem: if det(t I_n - A) = sum_{i=0}^n c_{n-i} t^i, then k c_k + sum_{i=1}^k Tr(A^i) c_{k-i} = 0 for every natural number k. Proofs are direct from the adjugate identity A adj(A) = det(A) I and the determinant definition of the characteristic polynomial.

Significance. If the derivations hold, the paper supplies self-contained proofs of the trace form of the Newton-Girard identities that work verbatim over any commutative ring, without localization or field hypotheses. This illustrates general techniques in linear algebra over rings and provides a useful reference or pedagogical resource for ring-theoretic linear algebra.

minor comments (2)
  1. The coefficient indexing in the characteristic polynomial (sum_{i=0}^n c_{n-i} t^i) is nonstandard; a brief remark relating c_j to the usual elementary symmetric functions or to the monic convention with leading coefficient 1 would improve readability.
  2. The abstract states that some proofs are new. Indicating in the introduction or §1 which lemmas or steps are original would help readers assess the contribution.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our expository paper and the recommendation to accept. The referee's summary correctly identifies the central result and the direct approach via the adjugate identity.

Circularity Check

0 steps flagged

Derivation self-contained from standard adjugate and determinant identities

full rationale

The paper proves the trace form of the Newton-Girard identities directly from the polynomial identity A adj(A) = det(A) I (valid over any commutative ring) together with the definition of the characteristic polynomial via det(tI - A). Lemmas on traces and adjugates are established from these ring axioms without any fitted parameters, self-citation chains, or reductions that presuppose the target identity. As an expository work supplying independent proofs, the derivation chain contains no load-bearing circular steps and stands on its own against external algebraic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard facts about determinants and traces over commutative rings; no free parameters or invented entities are introduced.

axioms (2)
  • standard math The determinant and adjugate are well-defined for matrices over any commutative ring and satisfy the usual algebraic identities.
    Invoked throughout the proofs of trace identities and the characteristic polynomial definition.
  • standard math Trace is a ring homomorphism from matrix rings to the base ring that is cyclic: Tr(AB) = Tr(BA).
    Used in the derivation of the trace Cayley-Hamilton relation.

pith-pipeline@v0.9.0 · 5643 in / 1391 out tokens · 41923 ms · 2026-05-18T04:52:39.402144+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A constructive proof of Orzech's theorem

    math.AC 2026-04 unverdicted novelty 5.0

    A constructive proof of Orzech's theorem is given using the Cayley-Hamilton theorem.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · cited by 1 Pith paper

  1. [1]

    [Almkvi73] Gert Almkvist,Endomorphisms of finetely generated projective modules over a commutative ring, Arkiv för matematik11(1973), pp. 263–301. [Axler25] Sheldon Axler,Linear Algebra Done Right, 4th edition, corrected ver- sion 9 March

    work page 1973

  2. [2]

    https://webspace.maths.qmul.ac.uk/p.j.cameron/notes/ linalg.pdf October 23, 2025 The trace Cayley-Hamilton theorem page 71 [Cayley58] Arthur Cayley,A Memoir on the Theory of Matrices, Philosophical Transactions of the Royal Society of LondonCXLVIII(1858), pp. 17–37. [Climen13] Vaughn Climenhaga,Lecture notes Math 4377/6308 – Advanced Linear Algebra I, 3 December

    work page 2025

  3. [3]

    Feldmann Jr.,The characteristic equation; minimal polyno- mials, The Mathematics Teacher,55(1962), no

    http://www.math.uconn.edu/~kconrad/blurbs/linmultialg/ univid.pdf [Feldma62] Richard W. Feldmann Jr.,The characteristic equation; minimal polyno- mials, The Mathematics Teacher,55(1962), no. 8, pp. 657–659. [Ford24] Timothy J. Ford,Abstract Algebra, draft of a text, 14 August

    work page 1962

  4. [4]

    See alsohttp://www.cip.ifi.lmu.de/~grinberg/primes2015/ sols.pdffor a version that gets updated

    [Grinbe15] Darij Grinberg,Notes on the combinatorial fundamentals of algebra, 16 September 2022,arXiv:2008.09862v3. See alsohttp://www.cip.ifi.lmu.de/~grinberg/primes2015/ sols.pdffor a version that gets updated. [Grinbe16a] Darij Grinberg,Collected trivialities on algebra derivations, 22 October

    work page arXiv 2022

  5. [5]

    http://joshua.smcvt.edu/linearalgebra/book.pdf October 23, 2025 The trace Cayley-Hamilton theorem page 72 [Kalman00] Dan Kalman,A Matrix Proof of Newton’s Identities, Mathematics Mag- azine73(2000), pp. 313–315. [Knapp16] Anthony W. Knapp,Basic Algebra, Digital Second Edition,

    work page 2025

  6. [6]

    http://www.math.stonybrook.edu/~aknapp/download.html [Laksov13] Dan Laksov,Diagonalization of matrices over rings, Journal of Algebra, Volume376, 15 February 2013, pp. 123–138. [Loehr14] Nicholas Loehr,Advanced Linear Algebra, CRC Press

    work page 2013

  7. [7]

    Finite projective modules, Series Algebra and Applications, Vol

    [LomQui16] Henri Lombardi, Claude Quitté,Commutative algebra: Constructive methods. Finite projective modules, Series Algebra and Applications, Vol. 20, Translated from the French (Calvage & Mounet, 2011, re- vised and extended by the authors) by Tania K. Roblot, Springer,

    work page 2011

  8. [8]

    [Macduf56] Cyrus Colton MacDuffee,The theory of matrices, Chelsea Publishing

    Published (with corrections) on arXiv as arXiv:1605.04832v4. [Macduf56] Cyrus Colton MacDuffee,The theory of matrices, Chelsea Publishing

    work page arXiv

  9. [9]

    [Prasol94] Viktor V

    [m.se1798703] J.E.M.S,Traces of powers of a matrix A over an algebra are zero implies A nilpotent, Mathematics Stack Exchange question #1798703,http: //math.stackexchange.com/q/1798703. [Prasol94] Viktor V . Prasolov,Problems and Theorems in Linear Algebra, Transla- tions of Mathematical Monographs, vol. #134, AMS

    work page arXiv

  10. [10]

    [Robins61] D. W. Robinson,A Matrix Application of Newton’s Identities, The American Mathematical Monthly68(1961), pp. 367–369. [Sage08] Marc Sage,Théorème de Cayley-Hamilton : quatre démonstrations, 15 March

    work page 1961

  11. [11]

    Part of the col- lectionCourse Materials for Mathematics 332: Algebra, available at http://people.reed.edu/~jerry/332/mat.html

    https://www.normalesup.org/~sage/Enseignement/Cours/ CaylHami.pdf [Shurma15] Jerry Shurman,The Cayley-Hamilton theorem via multilinear algebra, http://people.reed.edu/~jerry/332/28ch.pdf. Part of the col- lectionCourse Materials for Mathematics 332: Algebra, available at http://people.reed.edu/~jerry/332/mat.html. October 23, 2025 The trace Cayley-Hamilto...

    work page 2025

  12. [12]

    pdffor volume I.) [Straub83] Howard Straubing,A combinatorial proof of the Cayley-Hamilton theo- rem, Discrete Mathematics, Volume43, Issues 2–3, 1983, pp

    https://websites.math.leidenuniv.nl/algebra/linalg2.pdf (Seehttps://websites.math.leidenuniv.nl/algebra/linalg1. pdffor volume I.) [Straub83] Howard Straubing,A combinatorial proof of the Cayley-Hamilton theo- rem, Discrete Mathematics, Volume43, Issues 2–3, 1983, pp. 273–279. https://doi.org/10.1016/0012-365X(83)90164-4 [Zeilbe85] Doron Zeilberger,A comb...

    work page doi:10.1016/0012-365x(83)90164-4 1983