да, то есть получается, что любая конечная подгруппа есть прямая сумма циклических подгрупп, так? Понятно?