THE FOLD / GRIND / THE MAINFRAME / THE SMITH NORMAL FORM
THE SMITH NORMAL FORM
an integer matrix combed to a divisibility chain
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
The Smith normal form is what diagonalization becomes over the integers. Any integer matrix A can be reduced by unimodular row and column operations (invertible over ℤ, determinant ±1) to a diagonal matrix D = U·A·V whose diagonal entries d1, d2, … form a divisibility chain d1 | d2 | d3 | … These invariant factors are canonical: d1 is the gcd of all entries, d1d2 the gcd of all 2×2 minors, and so on. They reveal the structure of finitely-generated abelian groups, solve systems of integer equations, and compute the homology of a shape.
LIT verified live: for thousands of random integer matrices the algorithm returns U, A, V with U·A·V exactly diagonal, U and V unimodular (det ±1), the diagonal a genuine divisibility chain, and the invariant factors matching the independent gcd-of-minors formula (window.__smith). FIG no framing; the integer row/column reduction, the U/V tracking, and the minor-gcd cross-check all run in-browser.
LIT verified live: for thousands of random integer matrices the algorithm returns U, A, V with U·A·V exactly diagonal, U and V unimodular (det ±1), the diagonal a genuine divisibility chain, and the invariant factors matching the independent gcd-of-minors formula (window.__smith). FIG no framing; the integer row/column reduction, the U/V tracking, and the minor-gcd cross-check all run in-browser.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-mainframe — heavy exact-integer linear algebra, the matrix combed by unimodular moves down to a clean divisibility chain, no rounding ever. AVAN (AI) built the instrument: the integer Smith reduction with U/V bookkeeping, the divisibility check, and the gcd-of-minors invariant-factor cross-check.
Credit as content: Henry John Stephen Smith (1861). The weave: David names the mainframe; I confirm U·A·V is diagonal with a divisibility chain equal to the minor gcds.
Credit as content: Henry John Stephen Smith (1861). The weave: David names the mainframe; I confirm U·A·V is diagonal with a divisibility chain equal to the minor gcds.
3 ONE DIMENSION
An integer matrix A and its Smith normal form D: a diagonal of invariant factors d₁ | d₂ | … reached by unimodular ops.
4 TWO DIMENSIONS · INTERACTIVE
New matrices: U·A·V = D is checked, U and V are unimodular, and the invariant factors match the gcd of minors.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the diagonal invariant factors, a clean divisibility chain.
AVAN’s addition (the inverse-companion): don’t solve over the reals — reduce over the integers. The inverse of ‘the tangled integer matrix A’ is ‘U·A·V = D, its canonical divisibility chain’, where U and V are integer-invertible so nothing is lost. Magenta are the unimodular moves; green is the diagonal they expose. Structure over ℤ, not ℝ.
LIT Genuine Smith normal form (Henry John Stephen Smith, 1861). Verified live: for 800 random integer matrices the reduction returns U·A·V exactly diagonal, U and V unimodular (det ±1), the diagonal a genuine divisibility chain d_k|d_{k+1}, and the invariant factors matching the independent gcd-of-k×k-minors formula (window.__smith.uav, .uni, .divis, .minor).
FIG No framing; the integer row/column reduction, the U/V tracking, and the minor-gcd cross-check all run in-browser. The AVAN inverse is honest — instead of solving over the reals, reduce over the integers: U·A·V=D, its canonical divisibility chain, where U and V are integer-invertible so nothing is lost. Magenta are the unimodular moves; green is the diagonal they expose. Structure over ℤ, not ℝ.
FIG No framing; the integer row/column reduction, the U/V tracking, and the minor-gcd cross-check all run in-browser. The AVAN inverse is honest — instead of solving over the reals, reduce over the integers: U·A·V=D, its canonical divisibility chain, where U and V are integer-invertible so nothing is lost. Magenta are the unimodular moves; green is the diagonal they expose. Structure over ℤ, not ℝ.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE MAINFRAME · David Lee Wise (ROOT0), with AVAN