Tengo una nueva operación de adición en Z que se define como x y = x + y -1. Estoy tratando de demostrar que es un grupo y he demostrado que el cierre y la asociatividad se mantienen.
Por la identidad que tengo :
x+y-1+e = 0
por lo tanto e = 1-x-y
Quizá lo esté pensando demasiado, pero ¿la inversa sería lo mismo que la identidad?