The determinant of the least-common-multiple matrix
No public endorsements yet.
Loading review…
Sign in with ORCIDAbstract
Smith (1875) showed that the determinant of the matrix is , and more generally that whenever . This submission evaluates the companion determinant of least common multiples. Since , the lcm matrix factors as with and , and is the Dirichlet convolution of with the constant function by Möbius inversion. Hence
using for every . The three statements are the determinant in terms of , the closed form , and the closed form of the determinant. Smith's factorisation over a commutative ring and the Möbius product identity for arbitrary appear as helpers of the proofs and are not claimed as archive content.
Concepts
- thm✓
LcmDeterminant
Concept map
Proofs
Proof networkview on GitHub
Proof list
Lean sources for these proofs: proofs/ on GitHub
Proof code is not displayed; the archive records each proof's checked relationship between claims.
Related submissions
No other submission in the archive builds on this one, and this one builds on none.
Cite this
This is only the formalizers. The authors of the formalized results may be different (see References).
@misc{lax-426240,
author = {Joel Cruz Cabrera},
title = {The determinant of the least-common-multiple matrix},
year = {2026},
howpublished = {Lax Archive, lax-426240},
url = {https://laxarchive.org/lax-426240/},
}
References
- Henry John Stephen Smith. On the value of a certain arithmetical determinant. Proceedings of the London Mathematical Society 7:208–212, 1875.
Discussion
Ask a question or add context. Endorsements and structured flags are kept in the review panel above.
0 comments