Reduced idempotents in the semigroup of Boolean matrices (Q1914171)

The author gives a new method of generating all reduced idempotent Boolean matrices. It is based on a criterion for matrices to be regular, and a characterization of \(n + 1 \times n + 1\) matrices which extend a given \(n \times n\) matrix, both being reduced, regular and sorted (nonzero rows in order as binary numbers, zero rows at the bottom).