Algebra abstrata

[iaslei]

Seja (G, . ) um semigrupo e suponhamos que a . G = G . a, para todo a pertencente a G (³). Demonstre que (G, . ) é um grupo;

(³) a . G = {a . G | g pertence G}, analogamente G . a ={g . a | g pertence G}

[MarceloFantini]

Iaslei, não poste a mesma questão duas vezes. Aguarde e eventualmente alguém irá ajudar.

[iaslei]

Desculpa Marcelo, acho que eu havia colocado a dúvida no lugar errado e não consegui deletar. Não acontecerá novamente. Obrigado pela dica.