2016/08/16 by Christiaan Hattingh, Hattingh, C. J.
Computer Science · Engineering · Mathematics · #15-02 #Advanced Topics in Algebra #FOS: Mathematics #Matrix Theory and Algorithms #Rings and Algebras (math.RA) #graph theory and CDMA systems
paper · pdf · doi:10.48550/arxiv.1608.04666
openalex publication_date 2016/08/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let \mathscrF be a field. A matrix A of order n × n over \mathscrF is a product of two nilpotent matrices if and only if it is singular, except if A is a nonzero nilpotent matrix of order 2 × 2. This result was proved independently by Sourour and Laffey. While these results remain true and the general strategies and principles of the proofs correct, there are certain problematic details in the original proofs which are resolved in this article. A detailed and rigorous proof of the result based on Laffey's original proof is provided, and a problematic detail in the Proposition which is the main device underpinning the proof by Sourour is resolved.