Pessoal,
Alguém pode me ajudar?
Seja G um conjunto finito e munido de uma operação * que é associativa. Mostre que, se a operação * satisfaz a lei do cancelamento, então (G,*) é um grupo.
Aqui eu teria que mostrar que G possui elemento neutro e possui simétricos (elementos invertíveis), certo? Como?
O contrário é simples demonstrar (que se uma operação é associativa, tem elemento neutro e se "a" pertencente a G é simetrizável, então "a" satisfaz a lei do cancelamento).
obrigado.
Daniel S. Braz