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:

    “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)

    “... 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)

    “According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
    —Ana Castillo (b. 1953)