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

является подгруппой Ли? Насчёт размерности - не подойдёт ли группа скалярных матриц (т.е. число, умнож. на един. матрицу)?