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