Cuando se lo imagina como un grupo de Lie se lo suele denotar Sp(1) o U(1, H).