абелевы группы гомоморфизмы групп конечные группы многообразия нильпотентные группы разрешимые группы свободные группы условия конечности автоморфизм автоморфизмы аксиоматика алгебра голоморф гомоморфизм гомоморфизмы групп теория группы подстановок изоморфизм классы куроша-черникова коммутант конечность ранга логика математика обобщения разрешимости подгруппа подгруппы пределы простые конечные группы размерность разрешимые группы матриц