Dicyclic group

WARNING: POTENTIAL TERMINOLOGICAL CONFUSION: Please don't confuse this with metacyclic group

WARNING: POTENTIAL TERMINOLOGICAL CONFUSION: Please don't confuse this with dihedral group

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

This is a family of groups parametrized by the natural numbers, viz, for each natural number, there is a unique group (upto isomorphism) in the family corresponding to the natural number. The natural number is termed the parameter for the group family

Definition

The dicyclic group, also called the binary dihedral group with parameter $n$ is defined in the following equivalent ways:

It is given by the presentation:

$⟨ a, x ∣ a^{2 n} = e, x^{2} = a^{n}, x^{- 1} a x = a^{- 1} ⟩$

Here, $e$ is the identity element.

It has the following faithful representation as a subgroup of the quaternions: $a = e^{i π / n}, x = j$ .
It is the binary von Dyck group with parameters $(n, 2, 2)$ , i.e., it has the presentation:

$⟨ a, b, c ∣ a^{n} = b^{2} = c^{2} = a b c ⟩$ .

The dicyclic group with parameter $n$ has order $4 n$ , and it is an extension of a cyclic group of order $2 n$ by a cyclic group of order 2.

Arithmetic functions

Here, the $n$ is as in the parametrization. The order of the group is $4 n$ .

Function	Value	Explanation
order	$4 n$
exponent	least common multiple of $4$ and $2 n$
nilpotency class	$k + 1$ if $n = 2^{k}$ , undefined otherwise.
derived length	2 for $n \geq 2$
number of conjugacy classes	$n + 3$

Group properties

Property	Satisfied	Explanation
Abelian group	False for $n \geq 2$ .
Nilpotent group	True only for $n$ a power of two.
Solvable group	Yes
Supersolvable group	Yes
Metacyclic group	Yes

Particular cases

For small values

Note that all dihedral groups are metacyclic and hence supersolvable. A dihedral group is nilpotent if and only if it is of order $2^{k}$ for some $k$ . It is abelian only if it has order $2$ or $4$ .

Order of group	Degree	Common name for the group	Comment
4	1	Cyclic group:Z4	Not typically considered a dicyclic group
8	2	Quaternion group
12	3	Dicyclic group:Dic12
16	4	Generalized quaternion group:Q16

Elements

Further information: Element structure of dicyclic groups

The dicyclic group of order $4 n$ has $n + 3$ conjugacy classes. In the discussion below, we use the presentation:

$⟨ a, x ∣ a^{2 n} = e, x^{2} = a^{n}, x^{- 1} a x = a^{- 1} ⟩$

The elements are:

The identity element. (1)
The unique central non-identity element, which is given by $a^{n} = x^{2}$ . (1)
The remaining elements in $⟨ a ⟩$ . There are $2 n - 2$ of these elements, and they occur in conjugacy classes of size two: each element is conjugate to its inverse. There are thus $n - 1$ conjugacy classes of size $2$ each.
The elements outside $⟨ a ⟩$ come in two conjugacy classes: the conjugacy class of $x$ , which contains all elements of the form $a^{2 k} x$ , and the conjugacy class of $a x$ . These two conjugacy classes are related by an outer automorphism and each has $n$ elements.

Internal links