Desde el punto de vista algebraico, formula_1, es un grupo matemático donde la operación binaria es inducida por la multiplicación de los números complejos es decir, si formula_3 entonces formula_4.