Table of contents |
2 Properties 3 Generalizations |
Some things to note which follow from this definition:
If A has order which is a power of 2, then Dic(A) is called a generalized quaternion group; if A = C4, then we get the quaternion group.
By its definition, a dicyclic group is always non-abelian (one doesn't consider "Dic(C2)" as dicyclic).
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, Dic(A) is not a semidirect product of A and <x>, since A ∩ <x> is not trivial. Instead, Dic(A) is a cyclic extension of A.
Dic(A) is solvable; note that A is normal, and being abelian, is itself solvable.
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.
Generalized dicyclic groups, in turn, are examples of cyclic extensions.Definition
Let A = <a> be a cyclic group of even order 2n for n>1, generated by a. We define the dicyclic group Dic(A) as a group having a presentation with generators {a, x} and relations a2n =1, x2 = an, and x-1ax = a-1.
Thus, every element of Dic(A) can be uniquely written as akxj, where j = 0 or 1; so [Dic(A):A] = 2, and |Dic(A)| = 2|A|.Properties
Generalizations