Теорема Ф. Холла о системе различных представителей для модулей

Получено необходимое и достаточное условие существования системы различных представителей для полупростых модулей. Доказана соответствующая теорема, являющаяся обобщением теоремы Ф. Холла для множеств. Исследован случай произвольных модулей над ассоциативным кольцом. При доказательстве использовался формализм теории модулей и теории матроидов.