Una demostración alternativa de la existencia de grupos libres en algunos grupos ortogonales especiales usando cuaterniones integrales lleva a descomposiciones paradójicas del grupo de rotación.