en el conjunto C de los números complejos se define * tal que a*b = a+b-i, con + la suma de números complejos e"i" la unidad imaginaria demuestra que (c,*) es grupo Abeliano​