Some things to note which follow from this definition:
Thus, every element of Dicn can be uniquely written as akxj, where 0 ≤ k < 2n and j = 0 or 1. The multiplication rules are given by
It follows that Dicn has order 4n.
For each n > 1, the dicyclic group Dicn is a non-abelian group of order 4n. ("Dic1" is , the cyclic group of order 4, which is abelian, and is not considered dicyclic.)
Let A = <a> be the subgroup of Dicn generated by a. Then A is a cyclic group of order 2n, so [Dicn:A] = 2. As a subgroup of index 2 it is automatically a normal subgroup. The quotient group Dicn/A is a cyclic group of order 2.
Dicn is solvable; note that A is normal, and being abelian, is itself solvable.
The connection with the binary cyclic group , the cyclic group , and the dihedral group Dihn of order 2n is illustrated in the diagram at right, and parallels the corresponding diagram for the Pin group.
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 x2 = 1, instead of x2 = an; and this yields a different structure. In particular, Dicn 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 x2 = an. Note that this element lies in the center of Dicn. Indeed, the center consists solely of the identity element and x2. If we add the relation x2 = 1 to the presentation of Dicn one obtains a presentation of the dihedral group Dih2n, so the quotient group Dicn/<x2> is isomorphic to Dihn.
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 the just the dihedral symmetry group Dihn. 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 Dihn.
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, x2 = y, and for all a in A, x-1ax = 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.