# Dicyclic group

Algebraic structure → Group theory Group theory :
Basic notions
Subgroup
Normal subgroup
Group action
Quotient group
(Semi-)direct product
Direct sum
Free product
Wreath product
Group homomorphisms
kernel
image
simple
finite
infinite
continuous
multiplicative
additive
cyclic
abelian
dihedral
nilpotent
solvable
Glossary of group theory
List of group theory topics :
Finite groups
Cyclic group Z$_n$
Symmetric group S$_n$
Alternating group A$_n$
Dihedral group D$_n$
Quaternion group Q
Cauchy's theorem
Lagrange's theorem
Sylow theorems
Hall's theorem
p-group
Elementary abelian group
Frobenius group
Schur multiplier
Classification of finite simple groups
cyclic
alternating
Lie type
sporadic :
Discrete groupsLattices
Integers ($\mathbb {Z}$)
Free group
Modular groups PSL(2, $\mathbb {Z}$)SL(2, $\mathbb {Z}$)
Arithmetic group
Lattice
Hyperbolic group :
Topological and Lie groups
Solenoid
Circle
General linear GL(n)
Special linear SL(n)
Orthogonal O(n)
Euclidean E(n)
Special orthogonal SO(n)
Unitary U(n)
Special unitary SU(n)
Symplectic Sp(n)
G$_2$
F$_4$
E$_6$
E$_7$
E$_8$
Lorentz
Poincaré
Conformal
Diffeomorphism
Loop
Infinite dimensional Lie group O(∞)SU(∞)Sp(∞) :
Algebraic groups
Linear algebraic group
Reductive group
Abelian variety
Elliptic curve :
vte :
In group theory, a dicyclic group (notation Dic$_n$ or Q$_{4n}$, ⟨n,2,2⟩) is a particular kind of non-abelian group of order 4n (n > 1). It is an extension of the cyclic group of order 2 by a cyclic group of order 2n, giving the name di-cyclic. In the notation of exact sequences of groups, this extension can be expressed as:
    $1\to C_{2n}\to {\mbox{Dic}}_{n}\to C_{2}\to 1.\,$
More generally, given any finite abelian group with an order-2 element, one can define a dicyclic group.

## Definition

For each integer n > 1, the dicyclic group Dic$_n$ can be defined as the subgroup of the unit quaternions generated by
    ${\begin{aligned}a&=e^{\frac {i\pi }{n}}=\cos {\frac {\pi }{n}}+i\sin {\frac {\pi }{n}}\\x&=j\end{aligned}}$
More abstractly, one can define the dicyclic group Dic$_n$ as the group with the following presentation
    $\operatorname {Dic} _{n}=\left\langle a,x\mid a^{2n}=1,\ x^{2}=a^{n},\ x^{-1}ax=a^{-1}\right\rangle .\,\!$
Some things to note which follow from this definition:
* $x^{4}=1$
* $x^{2}a^{m}=a^{m+n}=a^{m}x^{2}$
* if $l=\pm 1$, then $x^{l}a^{m}=a^{-m}x^{l}$
* $a^{m}x^{-1}=a^{m-n}a^{n}x^{-1}=a^{m-n}x^{2}x^{-1}=a^{m-n}x$
Thus, every element of Dic$_n$ can be uniquely written as a$^m$x$^l$, where 0 ≤ m < 2n and l = 0 or 1. The multiplication rules are given by
* $a^{k}a^{m}=a^{k+m}$
* $a^{k}a^{m}x=a^{k+m}x$
* $a^{k}xa^{m}=a^{k-m}x$
* $a^{k}xa^{m}x=a^{k-m+n}$
It follows that Dic$_n$ has order 4n.
When n = 2, the dicyclic group is isomorphic to the quaternion group Q. More generally, when n is a power of 2, the dicyclic group is isomorphic to the generalized quaternion group.

## Properties

For each n > 1, the dicyclic group Dic$_n$ is a non-abelian group of order 4n. (For the degenerate case n = 1, the group Dic$_1$ is the cyclic group C$_4$, which is not considered dicyclic.)
Let A = ⟨a⟩ be the subgroup of Dic$_n$ generated by a. Then A is a cyclic group of order 2n, so [Dic$_n$:A] = 2. As a subgroup of index 2 it is automatically a normal subgroup. The quotient group Dic$_n$/A is a cyclic group of order 2.
Dic$_n$ is solvable; note that A is normal, and being abelian, is itself solvable.

## Binary dihedral group

The dicyclic group is a binary polyhedral group — it is one of the classes of subgroups of the Pin group Pin$_−$(2), which is a subgroup of the Spin group Spin(3) — and in this context is known as the binary dihedral group.
The connection with the binary cyclic group C$_{2n}$, the cyclic group C$_n$, and the dihedral group Dih$_n$ of order 2n is illustrated in the diagram at right, and parallels the corresponding diagram for the Pin group. Coxeter writes the binary dihedral group as ⟨2,2,n⟩ and binary cyclic group with angle-brackets, ⟨n⟩.
There is a superficial resemblance between the dicyclic groups and dihedral groups; both are a sort of "mirroring" of an underlying cyclic group. But the presentation of a dihedral group would have x$^2$ = 1, instead of x$^2$ = a$^n$; and this yields a different structure. In particular, Dic$_n$ is not a semidirect product of A and ⟨x⟩, since A ∩ ⟨x⟩ is not trivial.
The dicyclic group has a unique involution (i.e. an element of order 2), namely x$^2$ = a$^n$. Note that this element lies in the center of Dic$_n$. Indeed, the center consists solely of the identity element and x$^2$. If we add the relation x$^2$ = 1 to the presentation of Dic$_n$ one obtains a presentation of the dihedral group Dih$_n$, so the quotient group Dic$_n$/<x$^2$> is isomorphic to Dih$_n$.
There is a natural 2-to-1 homomorphism from the group of unit quaternions to the 3-dimensional rotation group described at quaternions and spatial rotations. Since the dicyclic group can be embedded inside the unit quaternions one can ask what the image of it is under this homomorphism. The answer is just the dihedral symmetry group Dih$_n$. For this reason the dicyclic group is also known as the binary dihedral group. Note that the dicyclic group does not contain any subgroup isomorphic to Dih$_n$.
The analogous pre-image construction, using Pin+(2) instead of Pin$_−$(2), yields another dihedral group, Dih$_{2n}$, rather than a dicyclic group.

## Generalizations

Let A be an abelian group, having a specific element y in A with order 2. A group G is called a generalized dicyclic group, written as Dic(A, y), if it is generated by A and an additional element x, and in addition we have that [G:A] = 2, x$^2$ = y, and for all a in A, x$^{−1}$ax = a$^{−1}$.
Since for a cyclic group of even order, there is always a unique element of order 2, we can see that dicyclic groups are just a specific type of generalized dicyclic group.
The dicyclic group is the case $(p,q,r)=(2,2,n)$ of the family of binary triangle groups $\Gamma (p,q,r)$ defined by the presentation:
   $\langle a,b,c\mid a^{p}=b^{q}=c^{r}=abc\rangle .$
Taking the quotient by the additional relation $abc=e$ produces an ordinary triangle group, which in this case is the dihedral quotient $\mathrm {Dic} _{n}\rightarrow \mathrm {Dih} _{n}$.