Все группы вращений
, в том числе
и
, являются
группами Ли
.
Группы вращений
и вообще
при
некоммутативны.
Группа
диффеоморфна
проективному пространству
размерности 3. По
теореме вращения Эйлера
любое вращение можно задать прямой (осью вращения, заданной единичным вектором
), проходящей через центр координат, и углом
. Можно было бы сопоставить каждому вращению вектор
и тем самым отождествить элементы группы вращения с точками шара радиуса
. Однако, такое сопоставление не было бы биективным, так как углам
и
соответствует одно и то же вращение. Поэтому, отождествив диаметрально противоположные точки на границе шара, получим
проективное пространство
.
Иногда группами вращений называют
специальную ортогональную группу
— группу вращения
-мерного евклидова пространства.
Особым случай является группа вращений плоскости
или
U(1)
; в отличие от случая вращения трёхмерного пространства, она является
коммутативной
.