title: Gruppo dei quaternioni
text: # Gruppo dei quaternioni
  
  In matematica, e specialmente in teoria dei gruppi, il gruppo dei quaternioni (spesso indicato con $Q_{8}$) è il gruppo formato dagli otto elementi {1, -1, i, -i, j, -j, k, -k} caratteristici del corpo dei quaternioni. Essi sono legati dalle relazioni
  
      $i^{2}=j^{2}=k^{2}=-1$
      $ij=k,~ji=-k$
      $ik=-j,~ki=j$
      $jk=i,~kj=-i$
  
  È ovviamente non abeliano e generato da due elementi distinti presi tra i, j e k; inoltre è il più piccolo gruppo non abeliano in cui tutti i sottogruppi sono normali (un gruppo di questo tipo è detto hamiltoniano), e il più piccolo gruppo non abeliano il cui ordine è la potenza di un primo. È anche il secondo gruppo non abeliano più piccolo (quello col minor numero di elementi è il gruppo simmetrico $S_{3}$, con 6 elementi).
  
  Tutti i suoi sottogruppi (diversi dal solo elemento neutro) si intersecano in modo non banale nel sottogruppo {1, -1}, che è anche il centro del gruppo. Questo implica che $Q_{8}$ non è né un prodotto diretto né un prodotto semidiretto di gruppi più piccoli.
  
  Il gruppo degli automorfismi di $Q_{8}$ è il gruppo simmetrico $S_{4}$, mentre quello degli automorfismi interni è il gruppo di Klein.
  
  ## Rappresentazione mediante matrici
  
  Il gruppo dei quaternioni può anche essere visto come un sottogruppo di $\mathrm {GL} _{2}(\mathbb {C} )$ (cioè della matrici invertibili a valori complessi) tramite l'isomorfismo
  
      $i\mapsto {\begin{pmatrix}i&0\\0&-i\end{pmatrix}},\qquad j\mapsto {\begin{pmatrix}0&1\\-1&0\end{pmatrix}},\qquad k\mapsto {\begin{pmatrix}0&i\\i&0\end{pmatrix}}$
  