Ранг формальной матрицы. Система формальных линейных уравнений. Делители нуля

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