Бинарная циклическая группаБинарная циклическая группа n-угольника — это циклическая группа порядка 2n, , понимаемая как расширение циклической группы циклической группой 2-го порядка[1]. В терминах бинарной группы многогранника бинарная циклическая группа является прообразом циклической группы вращений () при 2:1 накрывающем гомоморфизме специальной ортогональной группы группой вращений. Как подгруппа группы вращений, бинарная группа многогранника может быть описана как дискретная подгруппа единиц кватернионов, при изоморфизме , где Sp(1) — мультипликативная группа единиц кватернионов. См. такжеПримечания
|