Выдержка из книги
Скотт П.N.
Геометрии на трехмерных многообразиях
Если а - нетривиальная сохраняющая ориентацию изометрия гиперболической плоскости Я2, то группа С ( а) всех сохраняющих ориентацию изометрий, которые коммутируют с а, является абелевой и изоморфна либо S1, в случае когда а - поворот, либо R - в остальных случаях.
