Ладно. Они перемножаются так: угол складывается, а длины умножаются. Значит, если у нас длина вектора не 1, то умножая его на себя, мы получим бесконечное число элементов. => в нашей подгруппе все вектора должны иметь длину 1. Понятно?