Dicyclic Group - Definition

Definition

For each integer n > 1, the dicyclic group Dicn can be defined as the subgroup of the unit quaternions generated by

\begin{align} a & = e^{i\pi/n} = \cos\frac{\pi}{n} + i\sin\frac{\pi}{n} \\ x & = j \end{align}

More abstractly, one can define the dicyclic group Dicn as any group having the presentation

Some things to note which follow from this definition:

  • x4 = 1
  • x2ak = ak+n = akx2
  • if j = ±1, then xjak = a-kxj.
  • akx−1 = ak−nanx−1 = ak−nx2x−1 = ak−nx.

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.

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.

Read more about this topic:  Dicyclic Group

Famous quotes containing the word definition:

    “The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
    —Samuel Taylor Coleridge (1772–1834)

    “... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
    —Adrienne Rich (b. 1929)

    “Was man made stupid to see his own stupidity?
    Is God by definition indifferent, beyond us all?
    Is the eternal truth man’s fighting soul
    Wherein the Beast ravens in its own avidity?”
    —Richard Eberhart (b. 1904)