Question about Quaternion group $Q_8$ and Dihedral group $D_8$



$$\begin{align*}D_8&=\langle s,t\;;\;s^2=t^4=1\;,\;sts=t^3\}=\{1,s,t,t^2,t^3,st,st^2,st^3\}\;,\;\text{with usual relations}\\ Q_8&=\{a,b\;;\;a^4=1\,,\,a^2=b^2\,,\,aba=b\}=\{1,-1,i,j,k,-i,-j,-k:\}\;,\;\;\text{w.u.r.}\end{align*}$$

Check, for example, that


Now, how many elements of order two are there in $\;Q_8\;$ ? This solves (a)

For (b): put


and now verify that



Related videos on Youtube

Author by


Updated on September 03, 2022


  • charlie
    charlie 9 months

    pretty much got stuck with the following question (it has several parts):

    a). Show that $D_8$ isn't isomorphic to $Q_8$

    b). Let $K$ be a subgroup of $GL_2(\mathbb C)$ so that $$K=\left\langle \begin{pmatrix} 0 & 1 \\ -1 & 0 \\ \end{pmatrix}, \begin{pmatrix} 0 & 1 \\ 1 & 0 \\ \end{pmatrix}\right \rangle.$$ Show $K$ is non-abelian order 8 group and is isomorphic exactly to either $D_8$ or $Q_8$. Show this by building specific isomorphism.

    Thank you for any assistance!

    P.S. Can someone perhaps expand more on the notation of groups such as $K$? I know it means smaller subgroup containing both elements, but are there any more properties, etc'?

    • Tyler
      Tyler about 9 years
      for a) look at the order of the members of the groups. for b) do the same. The notation $\langle A,B \rangle$ means the group generated by those elements.
    • charlie
      charlie about 9 years
      How do I do the second part? Couldn't solve it...
    • ah11950
      ah11950 about 9 years
      You can also characterise $K$ as the set of all products $\{A_1^{e_1}A_2^{e_2}\ldots A_n^{e_n} : n\in \mathbb N,\; e_i = \pm 1 \}$ where the $A_i$ are equal to either of your two generating matrices. To construct an explicit isomorphism, it's easiest to see what relations you have between your matrices - how do they behave when you raise them to various powers, what does the effect of conjugating one by another have? You should see similarities with one of your groups of order 8...
  • charlie
    charlie about 9 years
    Thank you! You are very helpful all of the time, much gratitude.
  • charlie
    charlie about 9 years
    When generally approaching group generated by set such as in this case, what's the approach of knowing what's the entire group? Is there a way other than trial and error for finding out all of the element in $K$?
  • DonAntonio
    DonAntonio about 9 years
    @charlie , in general that can be a tough problem. In this case we have nice, easy-to-work-with complex matrices $\;2\times 2\;$, so calculating their first few powers and products is rather easy.