Esto implica que el conjunto U = {1,-1} determina con la multiplicación un grupo.