Pregunta: Sean G no vacío & ** una operación binaria asociativa en G tal que:I. existe neutro por la izquierda e inG, es decir, e **a=a, para todo ainG; yII. dado ainG existe inverso por la izquierda, es decir, existe a'inG tal que a'**a=e,demuestra que (G,**) es un grupo.

Sean $G$ no vac$í$o & $**$ una operaci$ó$n binaria asociativa en $G$ tal que:

I. existe neutro por la izquierda e inG, es decir, e $**a=a,$ para todo ainG; y

II$.$ dado ainG existe inverso por la izquierda, es decir, existe $a^{\text{'}}$inG tal que $a^{\text{'}}**a=e,$

demuestra que $(G,**)$ es un grupo.