О нулях определителя булевых матриц

В статье изучаются свойства внешностей и внутренностей матриц с элементами из произвольной булевой алгебры. Внешняя и внутренняя части образуют вырожденную часть матрицы, определитель которой равен нулю. Показано, в частности, что внешние матрицы образуют нормальные множества в булевой алгебре всех булевых квадратных матриц и нижнюю полурешетку, а внутренности – верхнюю полурешетку, которой принадлежат линейные комбинации и даже многочлены от внутренних матриц.