He leído que una operación puede tener como máximo una identidad y entiendo perfectamente la prueba, sin embargo ¿qué pasa si defino una operación $*$ en $\mathbb Q$ como sigue?
$x*y=|x \times y|$ , $\forall x,y \in \mathbb Q$
Seguramente ambos $1$ y $-1$ ¿son identidades? ¿O me estoy perdiendo algo obvio?