En mathématiques et plus précisément en théorie des groupes, le groupe des quaternions est l'un des deux groupes non abéliens d'ordre 8.
Il admet une représentation réelle irréductible de degré 4, et la sous-algèbre des matrices 4×4 engendrée par son image est un corps gauche qui s'identifie au corps des quaternions de Hamilton.