Об одном классе 3-хороших колец формальных матриц

Исследуются кольца формальных матриц со значениями в данном кольце и с матрицей множителей, состоящей из 0 и 1. При указанных ограничениях кольцо формальных матриц может быть представлено как расщепляющееся расширение одного своего нильпотентного идеала с помощью произведения обычных колец матриц, а вопрос об обратимости формальной матрицы сводится к вопросу об обратимости обычных матриц над кольцом. При некоторых дополнительных условиях, наложенных на матрицу множителей, удается воспользоваться известной теоремой Хенриксена и доказать, что всякий элемент кольца формальных матриц представляет собой сумму трех обратимых элементов этого кольца. В конце мы приводим примеры таких колец формальных матриц порядка 4 и 5.