Para formula_97, esta presentación nos da el grupo conocido de quaterniones de orden 8.