Aquí tenemos identidad 1, en oposición a los grupos de adición donde la identidad es típicamente 0.