Boolean matrices

ФОРМУЛЫ КРАМЕРА ДЛЯ СИСТЕМ ЛИНЕЙНЫХ УРАВНЕНИЙ И НЕРАВЕНСТВ НАД БУЛЕВОЙ АЛГЕБРОЙ

Получены аналоги классических формул Крамера для систем линейных уравнений и неравенств с квадратной матрицей коэффициентов из произвольной булевой алгебры.

О НУЛЯХ ОПРЕДЕЛИТЕЛЯ БУЛЕВЫХ МАТРИЦ

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

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

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