Pith. sign in

REVIEW 1 cited by

Frobenius's last proof

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1904.06573 v1 pith:KD27T4RK submitted 2019-04-13 math.HO math.CO

Peter G. Doyle This is my paper · ORCID
classification math.HOmath.CO
keywords prooffrobeniusidentitiesschurdirectlastpolynomialsimple
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Around about 1917, Issai Schur rediscovered the Rogers-Ramanujan identities, and proved a system of polynomial identities that imply them. Schur wrote that Georg Frobenius (his former advisor) had shown him a simple, direct proof of these polynomial identities. Schur did not see fit to reveal Frobenius's proof, preferring his own rather complicated proof. But it is easy enough to guess what this `simple, direct' proof must have been. As Frobenius died in 1917, we may call this `Frobenius's last proof'.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. An Introduction to Algebraic Combinatorics

    math.CO 2025-05 conditional novelty 2.0 of 10

    A proof-heavy, open-access graduate textbook on algebraic combinatorics, including a full proof of the Littlewood-Richardson rule.

Pith tools