Hola, la respuesta es la siguiente.
En matemáticas, un grupo representa una estructura algebraica que tiene operaciones binarias que satisfacen cierre, asociatividad, elementos identidad y elementos inversos
Primero demuestra que tiene cierre
En segundo lugar demuestra que satisface la ley asociativa
Finalmente demuestra que tiene elemento identidad y elemento inverso
Espero que puedas comprobarlo en detalle.
Si no sabes algo, puedes hacer preguntas
Te ayudaré a responderlas cuando tenga tiempo.
Espero que estudies mucho.
Vive cada día al máximo.